Struct ClassTypeBuilder 

pub struct ClassTypeBuilder<'a> { /* private fields */ }

Builder for constructing class instance types.

This is a pure type computation - it knows nothing about AST nodes. It takes a base type and a list of member properties, and produces the merged instance type.

Implementations

impl<'a> ClassTypeBuilder<'a>

pub fn new(db: &'a dyn TypeDatabase) -> Self

pub fn create_instance_type( &self, base_type: TypeId, own_members: Vec<PropertyInfo>, symbol: SymbolId, ) -> TypeId

Creates a class instance type by merging base class properties with own members.

Arguments

• base_type - The TypeId of the base class (or TypeId::ANY if no base)
• own_members - Properties/methods declared directly in this class
• symbol - The SymbolId of the class (for creating Ref type if needed)

Returns

The TypeId representing the merged instance type.

pub fn create_constructor_type( &self, static_members: Vec<PropertyInfo>, instance_type: TypeId, constructor_params: Vec<ParamInfo>, type_params: Vec<TypeParamInfo>, symbol: SymbolId, ) -> TypeId

Creates a class constructor type.

The constructor type is a callable type with:

• A construct signature that returns the instance type
• Static properties as own properties
• Optional nominal identity via the class symbol