Struct type_checking::type_system::ClassDef

pub struct ClassDef<'src, 'ast> {
    pub name: Symbol<'src>,
    pub comparable: bool,
    // some fields omitted
}

Fields

name: Symbol<'src>

comparable: bool

Methods

impl<'src, 'ast> ClassDef<'src, 'ast>

pub fn new(name: Symbol<'src>) -> ClassDef<'src, 'ast>

pub fn get_new_redefinition_number(&mut self) -> usize

pub fn add_field(&mut self, field: ClassFieldDef<'src>) -> Result<(), ()>

pub fn field_names(&self) -> Vec<&Symbol<'src>>

pub fn field(&self, name: Symbol<'src>) -> Option<Rc<ClassFieldDef<'src>>>

pub fn iter_fields<'a>(     &'a self ) -> impl Iterator<Item = Rc<ClassFieldDef<'src>>> + 'a

pub fn iter_methods<'a>(     &'a self ) -> impl Iterator<Item = Rc<ClassMethodDef<'src, 'ast>>> + 'a

pub fn add_method(     &mut self,     method: ClassMethodDef<'src, 'ast> ) -> Result<(), ()>

pub fn method(     &self,     name: Symbol<'src> ) -> Option<Rc<ClassMethodDef<'src, 'ast>>>

Trait Implementations

impl<'src, 'ast> Debug for ClassDef<'src, 'ast>

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

Formats the value using the given formatter.