Struct StateWorkingSet

pub struct StateWorkingSet<'a> {
    pub permanent_state: &'a EngineState,
    pub delta: StateDelta,
    pub external_commands: Vec<Vec<u8>>,
    pub type_scope: TypeScope,
    pub currently_parsed_cwd: Option<PathBuf>,
    pub parsed_module_files: Vec<PathBuf>,
}

A temporary extension to the global state. This handles bridging between the global state and the additional declarations and scope changes that are not yet part of the global scope.

This working set is created by the parser as a way of handling declarations and scope changes that may later be merged or dropped (and not merged) depending on the needs of the code calling the parser.

Fields

permanent_state: &'a EngineState

delta: StateDelta

external_commands: Vec<Vec<u8>>

type_scope: TypeScope

currently_parsed_cwd: Option<PathBuf>

Current working directory relative to the file being parsed right now

parsed_module_files: Vec<PathBuf>

All previously parsed module files. Used to protect against circular imports.

Implementations

impl<'a> StateWorkingSet<'a>

pub fn new(permanent_state: &'a EngineState) -> StateWorkingSet<'a>

pub fn num_files(&self) -> usize

pub fn num_decls(&self) -> usize

pub fn num_aliases(&self) -> usize

pub fn num_blocks(&self) -> usize

pub fn num_modules(&self) -> usize

pub fn unique_overlay_names(&self) -> HashSet<&Vec<u8>>

pub fn num_overlays(&self) -> usize

pub fn add_decl(&mut self, decl: Box<dyn Command>) -> usize

pub fn use_decls(&mut self, decls: Vec<(Vec<u8>, usize)>)

pub fn use_aliases(&mut self, aliases: Vec<(Vec<u8>, usize)>)

pub fn add_predecl(&mut self, decl: Box<dyn Command>) -> Option<usize>

pub fn merge_predecl(&mut self, name: &[u8]) -> Option<usize>

pub fn move_predecls_to_overlay(&mut self)

pub fn hide_decl(&mut self, name: &[u8]) -> Option<usize>

pub fn use_alias(&mut self, alias_id: &usize)

pub fn hide_alias(&mut self, name: &[u8]) -> Option<usize>

pub fn hide_decls(&mut self, decls: &[Vec<u8>])

pub fn hide_aliases(&mut self, aliases: &[Vec<u8>])

pub fn add_block(&mut self, block: Block) -> usize

pub fn add_module(&mut self, name: &str, module: Module) -> usize

pub fn next_span_start(&self) -> usize

pub fn global_span_offset(&self) -> usize

pub fn files(&'a self) -> impl Iterator<Item = &'a (String, usize, usize)>

pub fn get_filename(&self, file_id: usize) -> String

pub fn get_file_source(&self, file_id: usize) -> String

pub fn add_file(&mut self, filename: String, contents: &[u8]) -> usize

pub fn get_span_contents(&self, span: Span) -> &[u8]

pub fn enter_scope(&mut self)

pub fn exit_scope(&mut self)

pub fn find_predecl(&self, name: &[u8]) -> Option<usize>

pub fn find_decl(&self, name: &[u8], input: &Type) -> Option<usize>

pub fn find_alias(&self, name: &[u8]) -> Option<usize>

pub fn find_module(&self, name: &[u8]) -> Option<usize>

pub fn contains_decl_partial_match(&self, name: &[u8]) -> bool

pub fn next_var_id(&self) -> usize

pub fn find_variable(&self, name: &[u8]) -> Option<usize>

pub fn add_variable(&mut self, name: Vec<u8>, span: Span, ty: Type) -> usize

pub fn add_alias(&mut self, name: Vec<u8>, replacement: Vec<Span>)

pub fn get_cwd(&self) -> String

pub fn get_env_var(&self, name: &str) -> Option<&Value>

pub fn get_config(&self) -> &Config

pub fn list_env(&self) -> Vec<String>

pub fn set_variable_type(&mut self, var_id: usize, ty: Type)

pub fn get_variable(&self, var_id: usize) -> &Variable

pub fn get_decl(&self, decl_id: usize) -> &Box<dyn Command>

pub fn get_decl_mut(&mut self, decl_id: usize) -> &mut Box<dyn Command>

pub fn get_alias(&self, alias_id: usize) -> &[Span]

pub fn find_commands_by_predicate( &self, predicate: impl Fn(&[u8]) -> bool, ) -> Vec<(Vec<u8>, Option<String>)>

pub fn find_aliases_by_predicate( &self, predicate: impl Fn(&[u8]) -> bool + Copy, ) -> Vec<Vec<u8>>

pub fn get_block(&self, block_id: usize) -> &Block

pub fn get_module(&self, module_id: usize) -> &Module

pub fn get_block_mut(&mut self, block_id: usize) -> &mut Block

pub fn has_overlay(&self, name: &[u8]) -> bool

pub fn find_overlay(&self, name: &[u8]) -> Option<&OverlayFrame>

pub fn last_overlay_name(&self) -> &Vec<u8>

pub fn last_overlay(&self) -> &OverlayFrame

pub fn last_overlay_mut(&mut self) -> &mut OverlayFrame

pub fn decls_of_overlay(&self, name: &[u8]) -> HashMap<Vec<u8>, usize>

Collect all decls that belong to an overlay

pub fn aliases_of_overlay(&self, name: &[u8]) -> HashMap<Vec<u8>, usize>

Collect all aliases that belong to an overlay

pub fn add_overlay( &mut self, name: Vec<u8>, origin: usize, decls: Vec<(Vec<u8>, usize)>, aliases: Vec<(Vec<u8>, usize)>, prefixed: bool, )

pub fn remove_overlay(&mut self, name: &[u8], keep_custom: bool)

pub fn render(self) -> StateDelta

Trait Implementations

impl<'a> SourceCode for &StateWorkingSet<'a>

fn read_span<'b>( &'b self, span: &SourceSpan, context_lines_before: usize, context_lines_after: usize, ) -> Result<Box<dyn SpanContents<'b> + 'b>, MietteError>

Read the bytes for a specific span from this SourceCode, keeping a certain number of lines before and after the span as context.