Struct Scope 

pub struct Scope { /* private fields */ }

Represents a variable scope during static analysis.

A scope tracks the variables and their types that are currently in scope during type checking. This is used to resolve variable references and ensure type correctness.

Implementations

impl Scope

pub fn is_empty(&self) -> bool

Checks if the scope contains no entries.

pub fn declare(&mut self, name: StrRef, tpe: Type) -> bool

Declares a new variable binding in this scope.

Returns true if the binding was newly inserted, or false if a binding with the same name already existed (in which case the old value is replaced).

pub fn get(&self, name: StrRef) -> Option<Type>

Looks up the type of a variable by name.

Returns None if the variable is not declared in this scope.

pub fn get_mut(&mut self, name: StrRef) -> Option<&mut Type>

Returns a mutable reference to the type of a variable, allowing in-place updates.

Returns None if the variable is not declared in this scope.

pub fn exists(&self, name: StrRef) -> bool

Returns true if a variable with the given name is declared in this scope.

Trait Implementations

impl Clone for Scope

fn clone(&self) -> Scope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Scope

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

Formats the value using the given formatter.

impl Default for Scope

fn default() -> Scope

Returns the “default value” for a type.

impl Serialize for Scope

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.