(&self)
| 74 | } |
| 75 | |
| 76 | pub fn get_paths_iter(&self) -> Vec<Rc<Path>> { |
| 77 | let paths: HashSet<Rc<Path>> = self |
| 78 | .numerical_domain |
| 79 | .get_paths_iter() |
| 80 | .into_iter() |
| 81 | .chain(self.nullness_domain.get_paths_iter()) |
| 82 | .collect(); |
| 83 | paths.into_iter().collect() |
| 84 | } |
| 85 | |
| 86 | /// Drop all local/parameter variables that belong to callee call frames created with a fresh |
| 87 | /// variable offset >= `cutoff_ordinal`. |
no test coverage detected