Struct ModuleBody

pub struct ModuleBody { /* private fields */ }

Corresponds the grammar rule module_body.

Implementations

impl ModuleBody

pub fn with_imports<I>(self, import_statements: I) -> Self

where I: IntoIterator<Item = ImportStatement>,

pub fn with_definitions<I>(self, definitions: I) -> Self

where I: IntoIterator<Item = Definition>,

pub fn set_library_status(&mut self, module_name: &Identifier)

pub fn has_imports(&self) -> bool

pub fn imports_len(&self) -> usize

pub fn imports(&self) -> impl Iterator<Item = &ImportStatement>

pub fn imports_mut(&mut self) -> impl Iterator<Item = &mut ImportStatement>

pub fn add_to_imports<I>(&mut self, value: I)

where I: Into<ImportStatement>,

pub fn extend_imports<I>(&mut self, extension: I)

where I: IntoIterator<Item = ImportStatement>,

pub fn has_definitions(&self) -> bool

pub fn definition_count(&self) -> usize

pub fn contains_definition(&self, name: &Identifier) -> bool

pub fn definition(&self, name: &Identifier) -> Option<&Definition>

pub fn definition_mut(&mut self, name: &Identifier) -> Option<&mut Definition>

pub fn definitions(&self) -> impl Iterator<Item = &Definition>

pub fn definitions_mut(&mut self) -> impl Iterator<Item = &mut Definition>

pub fn definition_names(&self) -> impl Iterator<Item = &Identifier>

pub fn add_to_definitions<I>(&mut self, value: I) -> Result<(), Error>

where I: Into<Definition>,

pub fn extend_definitions<I>(&mut self, extension: I) -> Result<(), Error>

where I: IntoIterator<Item = Definition>,

pub fn imported_modules(&self) -> BTreeSet<&Identifier>

pub fn imported_module_versions( &self, ) -> BTreeMap<&Identifier, Option<&HeaderValue<Url>>>

pub fn imported_types(&self) -> BTreeSet<&QualifiedIdentifier>

pub fn get_definition(&self, name: &Identifier) -> Option<&Definition>

pub fn datatype_definitions(&self) -> impl Iterator<Item = &DatatypeDef>

pub fn entity_definitions(&self) -> impl Iterator<Item = &EntityDef>

pub fn enum_definitions(&self) -> impl Iterator<Item = &EnumDef>

pub fn event_definitions(&self) -> impl Iterator<Item = &EventDef>

pub fn property_definitions(&self) -> impl Iterator<Item = &PropertyDef>

pub fn rdf_definitions(&self) -> impl Iterator<Item = &RdfDef>

pub fn structure_definitions(&self) -> impl Iterator<Item = &StructureDef>

pub fn type_class_definitions(&self) -> impl Iterator<Item = &TypeClassDef>

pub fn union_definitions(&self) -> impl Iterator<Item = &UnionDef>

pub fn defined_names(&self) -> BTreeSet<&Identifier>

Trait Implementations

impl Clone for ModuleBody

fn clone(&self) -> ModuleBody

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ModuleBody

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ModuleBody

fn default() -> ModuleBody

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ModuleBody

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl HasAnnotations for ModuleBody

fn has_annotations(&self) -> bool

fn annotation_count(&self) -> usize

fn annotations(&self) -> impl Iterator<Item = &Annotation>

fn annotations_mut(&mut self) -> impl Iterator<Item = &mut Annotation>

fn add_to_annotations<I>(&mut self, value: I)

where I: Into<Annotation>,

fn extend_annotations<I>(&mut self, extension: I)

where I: IntoIterator<Item = Annotation>,

fn with_annotations<I>(self, annotations: I) -> Self

where I: IntoIterator<Item = Annotation>, Self: Sized,

fn has_annotation_properties(&self) -> bool

fn annotation_properties(&self) -> impl Iterator<Item = &AnnotationProperty>

fn has_rdf_type(&self, type_id: &IdentifierReference) -> bool

fn rdf_types(&self) -> impl Iterator<Item = &IdentifierReference>

fn preferred_label(&self) -> impl Iterator<Item = &LanguageString>

fn alternate_labels(&self) -> impl Iterator<Item = &LanguageString>

fn descriptions(&self) -> impl Iterator<Item = &LanguageString>

fn skos_definitions(&self) -> impl Iterator<Item = &LanguageString>

fn has_constraints(&self) -> bool

fn annotation_constraints(&self) -> impl Iterator<Item = &Constraint>

impl HasSourceSpan for ModuleBody

fn with_source_span(self, span: Span) -> Self

fn source_span(&self) -> Option<&Span>

fn set_source_span(&mut self, span: Span)

fn unset_source_span(&mut self)

fn has_source_span(&self) -> bool

impl MaybeIncomplete for ModuleBody

fn is_incomplete(&self, top: &Module, cache: &impl ModuleStore) -> bool

impl References for ModuleBody

fn referenced_types<'a>(&'a self, names: &mut BTreeSet<&'a IdentifierReference>)

fn referenced_annotations<'a>( &'a self, names: &mut BTreeSet<&'a IdentifierReference>, )

impl Serialize for ModuleBody

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Validate for ModuleBody

fn validate( &self, top: &Module, cache: &impl ModuleStore, loader: &impl ModuleLoader, check_constraints: bool, )

Checks

1. All import statements are valid ImportStatements
2. All annotations are valid Annotations
3. All definitions are valid Definitions