(&self, path: &Rc<Path>)
| 145 | } |
| 146 | |
| 147 | pub fn get_nullness(&self, path: &Rc<Path>) -> Option<PointerNullness> { |
| 148 | self.nullness_domain.get(path) |
| 149 | } |
| 150 | |
| 151 | fn update_nullness_at(&mut self, path: &Rc<Path>, value: Option<PointerNullness>) { |
| 152 | if let Some(nullness) = value { |
no test coverage detected