Struct debris_llir::class::Class

pub struct Class {
    pub kind: ClassKind,
    pub properties: OnceCell<ObjectProperties>,
}

A class combines ClassKind and corresponding properties (Mostly associated methods).

Fields

kind: ClassKind

properties: OnceCell<ObjectProperties>

Implementations

impl Class

pub fn new_empty(kind: ClassKind) -> Self

Constructs a new class with an empty properties map

pub fn matches(&self, other: &Class) -> bool

Returns if the value class other matches this pattern

pub fn matches_type(&self, other: &Class) -> bool

Returns whether the other class has the same type as this class or diverges.

pub fn diverges(&self) -> bool

Whether it is impossible to construct a value of this class

pub fn get_property(&self, ident: &Ident) -> Option<ObjectRef>

Returns a property of this class

Panics

panics if this class is not initialized yet

pub fn new_obj_from_allocator( &self, ctx: &TypeContext, allocator: &ItemIdAllocator ) -> Option<ObjectRef>

Constructs a new runtime object that corresponds to this class, if possible

Trait Implementations

impl Debug for Class

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

Formats the value using the given formatter.

impl Display for Class

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

Formats the value using the given formatter.

impl PartialEq for Class

fn eq(&self, other: &Class) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Class

impl StructuralEq for Class

impl StructuralPartialEq for Class