Struct ClassScope 

pub struct ClassScope<'a> {
    pub tree: &'a ItemTree,
    pub base: Ty,
    pub self_ty: Ty,
    pub member_types: FxHashMap<SmolStr, Ty>,
    /* private fields */
}

The class-member tier of the binder (Playbook §3.2 step 2): this file’s own members + the resolved base type. Anonymous-enum variants are flattened in as int constants.

Fields

tree: &'a ItemTree

The lowered item tree this scope describes.

base: Ty

The resolved base type (Object(id) for an engine base, else Unknown).

self_ty: Ty

The static type of self in this class’s bodies. Defaults to base, but analyze_file overrides it with the script’s own Ty::ScriptRef so that member access on an aliased self (var me := self; me.own_method()) walks the file’s own members instead of only the engine base — otherwise a real own-method call would false-warn UNSAFE_METHOD_ACCESS. (Direct self.member already uses the own-member fast path.)

member_types: FxHashMap<SmolStr, Ty>

Resolved types of this class’s own fields (var/const), seeded by a first inference pass over the field initializers so member references see the inferred type (e.g. var n := 0 → int), not just the annotation. Empty until populated.

Implementations

impl<'a> ClassScope<'a>

pub fn new( db: &dyn Db, api: &EngineApi, tree: &'a ItemTree, anchor: Option<&str>, ) -> Self

Build the scope for tree against the engine model.

pub fn lookup(&self, name: &str) -> Option<ClassItem>

Resolve a name against this class’s own members (not the base chain).

pub fn member(&self, item: ClassItem) -> Option<&'a Member>

The member behind a ClassItem::Member.

Trait Implementations

impl<'a> Clone for ClassScope<'a>

fn clone(&self) -> ClassScope<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for ClassScope<'a>

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

Formats the value using the given formatter.