Struct Scope 

pub struct Scope {

    pub parent: Option<ScopePtr>,
    pub children: Vec<*mut Scope>,
    pub bindings: HashMap<Symbol, Binding>,
    pub return_type: TypePackId,
    pub vararg_pack: Option<TypePackId>,
    pub level: TypeLevel,
    pub location: Location,
    pub exported_type_bindings: HashMap<Name, TypeFun>,
    pub private_type_bindings: HashMap<Name, TypeFun>,
    pub type_alias_locations: HashMap<Name, Location>,
    pub type_alias_name_locations: HashMap<Name, Location>,
    pub imported_modules: HashMap<Name, ModuleName>,
    pub imported_type_bindings: HashMap<Name, HashMap<Name, TypeFun>>,
    pub builtin_type_names: DenseHashSet<Name>,
    pub private_type_pack_bindings: HashMap<Name, TypePackId>,
    pub refinements: RefinementMap,
    pub lvalue_types: DenseHashMap<*const Def, TypeId>,
    pub rvalue_refinements: DenseHashMap<*const Def, TypeId>,
    pub globals_to_warn: DenseHashSet<String>,
    pub type_alias_type_parameters: HashMap<Name, TypeId>,
    pub type_alias_type_pack_parameters: HashMap<Name, TypePackId>,
    pub interior_free_types: Option<Vec<TypeId>>,
    pub interior_free_type_packs: Option<Vec<TypePackId>>,
    pub invalid_type_aliases: DenseHashMap<String, Location>,
}

Fields

parent: Option<ScopePtr>

children: Vec<*mut Scope>

bindings: HashMap<Symbol, Binding>

return_type: TypePackId

vararg_pack: Option<TypePackId>

level: TypeLevel

location: Location

the spanning location associated with this scope

exported_type_bindings: HashMap<Name, TypeFun>

private_type_bindings: HashMap<Name, TypeFun>

type_alias_locations: HashMap<Name, Location>

type_alias_name_locations: HashMap<Name, Location>

imported_modules: HashMap<Name, ModuleName>

Mapping from the name in the require statement to the internal moduleName.

imported_type_bindings: HashMap<Name, HashMap<Name, TypeFun>>

builtin_type_names: DenseHashSet<Name>

private_type_pack_bindings: HashMap<Name, TypePackId>

refinements: RefinementMap

lvalue_types: DenseHashMap<*const Def, TypeId>

rvalue_refinements: DenseHashMap<*const Def, TypeId>

globals_to_warn: DenseHashSet<String>

type_alias_type_parameters: HashMap<Name, TypeId>

type_alias_type_pack_parameters: HashMap<Name, TypePackId>

interior_free_types: Option<Vec<TypeId>>

interior_free_type_packs: Option<Vec<TypePackId>>

invalid_type_aliases: DenseHashMap<String, Location>

Implementations

impl Scope

pub fn add_builtin_type_binding(&mut self, name: &Name, ty_fun: &TypeFun)

impl Scope

pub fn find_narrowest_scope_containing( &mut self, location: Location, ) -> *mut Scope

impl Scope

pub fn inherit_assignments(&mut self, child_scope: &ScopePtr)

impl Scope

pub fn inherit_refinements(&mut self, child_scope: &ScopePtr)

impl Scope

pub fn is_invalid_type_alias(&self, name: &String) -> Option<Location>

impl Scope

pub fn linear_search_for_binding( &self, name: &String, traverse_scope_chain: bool, ) -> Option<Binding>

impl Scope

pub fn linear_search_for_binding_pair( &self, name: &String, traverse_scope_chain: bool, ) -> Option<(Symbol, Binding)>

impl Scope

pub fn lookup_ex_def_id(&mut self, def: DefId) -> Option<(TypeId, *mut Scope)>

impl Scope

pub fn lookup_ex_symbol( &mut self, sym: Symbol, ) -> Option<(*mut Binding, *mut Scope)>

impl Scope

pub fn lookup_imported_type( &self, module_alias: &Name, name: &Name, ) -> Option<TypeFun>

impl Scope

pub fn lookup_pack(&self, name: &Name) -> Option<TypePackId>

impl Scope

pub fn lookup_r_value_refinement_type(&self, def: DefId) -> Option<TypeId>

std::optional<TypeId> Scope::lookupRValueRefinementType(DefId def) const (Scope.cpp:87-96).

impl Scope

pub fn lookup_symbol(&self, sym: Symbol) -> Option<TypeId>

impl Scope

pub fn lookup_def_id(&self, def: DefId) -> Option<TypeId>

std::optional<TypeId> Scope::lookup(DefId def) const (Scope.cpp:98-110).

impl Scope

pub fn lookup_type(&self, name: &Name) -> Option<TypeFun>

impl Scope

pub fn lookup_unrefined_type(&self, def: DefId) -> Option<TypeId>

impl Scope

pub fn new(parent: &ScopePtr, sub_level: i32) -> Self

impl Scope

pub fn scope_type_pack_id(return_type: TypePackId) -> Self

impl Scope

pub fn scope_scope_ptr_i32(&mut self, parent: &ScopePtr, sub_level: i32)

impl Scope

pub fn should_warn_global(&self, name: String) -> bool

Trait Implementations

impl Debug for Scope

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

Formats the value using the given formatter.