Struct ImportStatement 

pub struct ImportStatement { /* private fields */ }

Corresponds the grammar rule import_statement.

Implementations

impl ImportStatement

pub const fn new(imports: Vec<Import>) -> Self

pub fn new_module(import: Identifier) -> Self

pub fn new_module_with_version_uri(import: Identifier, version_uri: Url) -> Self

pub fn new_member(import: QualifiedIdentifier) -> Self

pub fn has_from_module_path(&self) -> bool

pub fn from_module_path(&self) -> Option<&ModulePath>

pub fn set_from_module_path(&mut self, path: ModulePath)

pub fn unset_from_module_path(&mut self)

pub fn has_imports(&self) -> bool

pub fn imports_len(&self) -> usize

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

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

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

where I: Into<Import>,

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

where I: IntoIterator<Item = Import>,

pub fn as_slice(&self) -> &[Import]

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>

Trait Implementations

impl Clone for ImportStatement

fn clone(&self) -> ImportStatement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImportStatement

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

Formats the value using the given formatter.

impl Default for ImportStatement

fn default() -> ImportStatement

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ImportStatement

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<Import> for ImportStatement

fn from(value: Import) -> Self

Converts to this type from the input type.

impl From<ImportStatement> for Vec<Import>

fn from(value: ImportStatement) -> Self

Converts to this type from the input type.

impl From<Vec<Import>> for ImportStatement

fn from(value: Vec<Import>) -> Self

Converts to this type from the input type.

impl FromIterator<Import> for ImportStatement

fn from_iter<T: IntoIterator<Item = Import>>(iter: T) -> Self

Creates a value from an iterator.

impl HasSourceSpan for ImportStatement

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 Serialize for ImportStatement

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 ImportStatement

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

Checks

• For each Import:
  • If module import:
    1. Ensure it is in the cache
    2. If the import has a version URI ensure the imported module has a matching one