Struct sdml_core::model::modules::ModuleBody

pub struct ModuleBody { /* private fields */ }

Corresponds the grammar rule module_body.

Implementations

impl ModuleBody

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 definitions_len(&self) -> usize

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

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

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

where I: Into<Definition>,

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

where I: IntoIterator<Item = Definition>,

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

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

pub fn imported_types(&self) -> HashSet<&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) -> HashSet<&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 annotations_len(&self) -> usize

fn annotations(&self) -> Box<dyn Iterator<Item = &Annotation> + '_>

fn annotations_mut(&mut self) -> Box<dyn 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 has_annotation_properties(&self) -> bool

fn annotation_properties( &self ) -> Box<dyn Iterator<Item = &AnnotationProperty> + '_>

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

fn rdf_types(&self) -> Box<dyn Iterator<Item = &IdentifierReference> + '_>

fn preferred_label(&self) -> Box<dyn Iterator<Item = &LanguageString> + '_>

fn alternate_labels(&self) -> Box<dyn Iterator<Item = &LanguageString> + '_>

fn descriptions(&self) -> Box<dyn Iterator<Item = &LanguageString> + '_>

fn definitions(&self) -> Box<dyn Iterator<Item = &LanguageString> + '_>

fn has_constraints(&self) -> bool

fn annotation_constraints<I>( &self ) -> Box<dyn Iterator<Item = &Constraint> + '_>

impl HasBody<ModuleBody> for Module

fn body(&self) -> &ModuleBody

Get the body of the enclosing type.

fn body_mut(&mut self) -> &mut ModuleBody

Get a mutable reference to the body of the enclosing type.

fn set_body(&mut self, body: ModuleBody)

Set the body of the enclosing type.

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: &ModuleCache) -> bool

impl References for ModuleBody

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

fn referenced_annotations<'a>( &'a self, names: &mut HashSet<&'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: &ModuleCache, 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