Get an iterator of all data declarations
(&self)
| 720 | |
| 721 | /// Get an iterator of all data declarations |
| 722 | pub fn get_data_objects(&self) -> impl Iterator<Item = (DataId, &DataDeclaration)> { |
| 723 | self.data_objects.iter() |
| 724 | } |
| 725 | |
| 726 | /// Get the `DataDeclaration` for the data object named by `name`. |
| 727 | pub fn get_data_decl(&self, data_id: DataId) -> &DataDeclaration { |