Struct espr::ir::Namespace

pub struct Namespace<'st> {
    pub names: HashMap<Scope, Vec<(ScopeType, String, usize)>>,
    pub ast: Vec<(Path, Named<'st>)>,
}

Namespace of loaded EXPRESS schema

This struct will be constructed at the first time of IR creation, and is responsible for

• Resolving name in each Scope into Path
• Get a reference to AST portion corresponding to Path

Fields

names: HashMap<Scope, Vec<(ScopeType, String, usize)>>

ast: Vec<(Path, Named<'st>)>

Indexed AST portion

Implementations

impl<'st> Namespace<'st>

pub fn new(st: &'st SyntaxTree) -> Self

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

Size of indexed AST

pub fn resolve(
    &self,
    scope: &Scope,
    name: &str
) -> Result<(Path, usize), SemanticError>

Resolve a name referred in a scope into the full path.

Error

• If no corresponding definition found.

pub fn get(&self, path: &Path) -> Result<(Named<'_>, usize), SemanticError>

Get an AST portion and its index corresponding the Path

Error

• Input path is invalid, i.e. No item is specified by the path.

Trait Implementations

impl<'st> Clone for Namespace<'st>

fn clone(&self) -> Namespace<'st>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'st> Debug for Namespace<'st>

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

Formats the value using the given formatter.

impl<'st> Index<&'_ Scope> for Namespace<'st>

type Output = [(ScopeType, String, usize)]

The returned type after indexing.

fn index(&self, id: &Scope) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<'st> Index<usize> for Namespace<'st>

type Output = (Path, Named<'st>)

The returned type after indexing.

fn index(&self, id: usize) -> &Self::Output

Performs the indexing (container[index]) operation.