Struct sdml_core::model::modules::Module

pub struct Module { /* private fields */ }

Corresponds the grammar rule module.

Implementations

impl Module

pub fn empty(name: Identifier) -> Self

pub fn new(name: Identifier, body: ModuleBody) -> Self

pub fn with_base_uri(self, base_uri: Url) -> Self

pub fn with_version_info<S>(self, version_info: S) -> Self

where S: Into<String>,

pub fn with_version_uri(self, version_uri: Url) -> Self

pub const fn has_source_file(&self) -> bool

pub const fn source_file(&self) -> Option<&PathBuf>

pub fn set_source_file(&mut self, source_file: PathBuf)

pub fn unset_source_file(&mut self)

pub const fn has_base_uri(&self) -> bool

pub const fn base_uri(&self) -> Option<&Url>

pub fn set_base_uri(&mut self, base_uri: Url)

pub fn unset_base_uri(&mut self)

pub const fn has_version_info(&self) -> bool

pub const fn version_info(&self) -> Option<&String>

pub fn set_version_info(&mut self, version_info: String)

pub fn unset_version_info(&mut self)

pub const fn has_version_uri(&self) -> bool

pub const fn version_uri(&self) -> Option<&Url>

pub fn set_version_uri(&mut self, version_uri: Url)

pub fn unset_version_uri(&mut self)

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

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

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

pub fn is_complete(&self, cache: &ModuleCache) -> Result<bool, Error>

pub fn is_valid( &self, check_constraints: bool, cache: &ModuleCache ) -> Result<bool, Error>

pub fn is_library_module(&self) -> bool

pub fn validate( &self, check_constraints: bool, cache: &ModuleCache, errors: &mut Vec<Error> ) -> Result<(), Error>

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

Trait Implementations

impl Clone for Module

fn clone(&self) -> Module

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Module

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Module

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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 HasName for Module

fn name(&self) -> &Identifier

Get the name of the enclosing type.

fn set_name(&mut self, name: Identifier)

Set the name of the enclosing type.

impl HasSourceSpan for Module

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 References for Module

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 Module

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

where __S: Serializer,

Serialize this value into the given Serde serializer.