Struct TypeScope

pub struct TypeScope { /* private fields */ }

Implementations

impl TypeScope

pub fn find(&self, name: &str) -> Option<VariableType>

Find a value/reference in this scope by iterating over the scopes from back to front.

pub fn is_mutable(&self, name: &str) -> bool

pub fn contains(&self, name: &str) -> bool

Check, if a variable with a given name is present.

pub fn contains_in_current_scope(&self, name: &str) -> bool

Check, if a variable is present in the current scope.

pub fn push(&mut self)

Push a new scope frame.

pub fn pop(&mut self)

Pop the last scope frame.

pub fn set(&mut self, name: &str, value: VariableType, is_mutable: bool)

Create a new variable on the current scope.

pub fn update( &mut self, name: &str, value: VariableType, position: &(String, usize, usize), ) -> Result<(), TypeError>

Update a value of an already present variable.

pub fn flatten(&self) -> HashMap<String, Variable>

Trait Implementations

impl Clone for TypeScope

fn clone(&self) -> TypeScope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeScope

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

Formats the value using the given formatter.

impl Default for TypeScope

fn default() -> TypeScope

Returns the “default value” for a type.

impl PartialEq for TypeScope

fn eq(&self, _: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

const fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TypeScope