Struct DefinitionStore 

pub struct DefinitionStore { /* private fields */ }

Thread-safe storage for type definitions.

Uses DashMap for concurrent access from multiple checking threads.

Usage

let store = DefinitionStore::new();

// Register a type alias
let def_id = store.register(DefinitionInfo::type_alias(
    interner.intern_string("Foo"),
    vec![],
    TypeId::NUMBER,
));

// Look up later
let info = store.get(def_id).expect("definition exists");

Implementations

impl DefinitionStore

pub fn new() -> Self

Create a new definition store.

pub fn register(&self, info: DefinitionInfo) -> DefId

Register a new definition and return its DefId.

pub fn get(&self, id: DefId) -> Option<DefinitionInfo>

Get definition info by DefId.

pub fn get_symbol_id(&self, id: DefId) -> Option<u32>

Get the binder SymbolId for a DefId.

Returns the SymbolId (as raw u32) that this DefId was created from. This is available across checker contexts because it’s stored directly in the DefinitionInfo (which is shared via DefinitionStore).

pub fn contains(&self, id: DefId) -> bool

Check if a DefId exists.

pub fn get_kind(&self, id: DefId) -> Option<DefKind>

Get the kind of a definition.

pub fn get_type_params(&self, id: DefId) -> Option<Vec<TypeParamInfo>>

Get type parameters for a definition.

pub fn get_body(&self, id: DefId) -> Option<TypeId>

Get the body TypeId for a definition.

pub fn get_instance_shape(&self, id: DefId) -> Option<Arc<ObjectShape>>

Get the instance shape for a class/interface.

pub fn get_static_shape(&self, id: DefId) -> Option<Arc<ObjectShape>>

Get the static shape for a class.

pub fn get_extends(&self, id: DefId) -> Option<DefId>

Get parent class DefId for a class.

pub fn get_implements(&self, id: DefId) -> Option<Vec<DefId>>

Get implemented interfaces for a class/interface.

pub fn set_body(&self, id: DefId, body: TypeId)

Update the body TypeId for a definition (for lazy evaluation).

pub fn set_instance_shape(&self, id: DefId, shape: Arc<ObjectShape>)

Update the instance shape for a type definition.

This is used by checker code when a concrete object-like shape is computed for an interface/class definition and should be recorded for diagnostics.

pub fn len(&self) -> usize

Number of definitions.

pub fn is_empty(&self) -> bool

Check if empty.

pub fn clear(&self)

Clear all definitions (for testing).

pub fn get_exports(&self, id: DefId) -> Option<Vec<(Atom, DefId)>>

Get exports for a namespace/module DefId.

pub fn get_enum_members( &self, id: DefId, ) -> Option<Vec<(Atom, EnumMemberValue)>>

Get enum members for an enum DefId.

pub fn get_name(&self, id: DefId) -> Option<Atom>

Get the name of a definition.

pub fn set_exports(&self, id: DefId, exports: Vec<(Atom, DefId)>)

Update exports for a definition (for lazy population).

pub fn add_export(&self, id: DefId, name: Atom, export_def: DefId)

Add an export to an existing definition.

pub fn set_enum_members(&self, id: DefId, members: Vec<(Atom, EnumMemberValue)>)

Update enum members for a definition (for lazy population).

pub fn all_ids(&self) -> Vec<DefId>

Get all DefIds (for debugging/testing).

pub fn find_def_by_shape(&self, shape: &ObjectShape) -> Option<DefId>

Find a DefId by its instance shape.

This is used by the TypeFormatter to preserve interface names in error messages. When an Object type matches an interface’s instance shape, we use the interface name instead of expanding the object literal.

Trait Implementations

impl Debug for DefinitionStore

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

Formats the value using the given formatter.

impl Default for DefinitionStore

fn default() -> Self

Returns the “default value” for a type.