Struct uvls::core::module::Module

pub struct Module {
    instance_files: Vec<FileID>,
    instances: IndexSet<(InstanceID, Symbol)>,
    pub timestamp: Instant,
    pub files: HashMap<FileID, Arc<LinkedAstDocument>>,
    pub ok: bool,
}

An actual instance of a root file with all subfiles

A module is basically a depth first iteration of all features and recusive sub file contents Each import statement creates a new instance of some ast file. So features and attributes can exist multiple times in diffrent instances. This struct allows for easy instance iteration and resolution. Since references in diffrent instances have diffrent resolutions, we currently reresolve references to non local symbols, TODO this can be avoided using a static instance encoding scheme?.

Fields

instance_files: Vec<FileID>

instances: IndexSet<(InstanceID, Symbol)>

timestamp: Instant

files: HashMap<FileID, Arc<LinkedAstDocument>>

ok: bool

Implementations

impl Module

pub fn get_instance(&self, instance: InstanceID, sym: Symbol) -> InstanceID

pub fn new( root: FileID, fs: &FileSystem, files: &HashMap<FileID, Arc<LinkedAstDocument>>, ) -> Module

pub fn resolve_value(&self, src_sym: ModuleSymbol) -> ModuleSymbol

Resolves references inside this module

pub fn resolve_config<E: FnMut(Range<usize>, String)>( &self, doc: &Vec<ConfigEntry>, err: E, ) -> (HashMap<ModuleSymbol, ConfigValue>, HashMap<ModuleSymbol, Range<usize>>)

Bind a recursive configuration doc to a linear set of symbols Add layer for cardinality

pub fn file(&self, instance: InstanceID) -> &AstDocument

pub fn type_of(&self, sym: ModuleSymbol) -> Type

pub fn instances<'a>( &'a self, ) -> impl Iterator<Item = (InstanceID, &'a AstDocument)>

Visit all instances in the module

pub fn instances_depth<'a>( &'a self, ) -> impl Iterator<Item = (ModuleSymbol, InstanceID, &'a AstDocument, u32)>

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.