Struct CommonClass 

pub struct CommonClass { /* private fields */ }

Implementations

impl CommonClass

pub fn new(parent_scope: Weak<dyn Scope>, class: ClassDef) -> Rc<Self>

Creates a class type from its parsed definition, including nested members.

Trait Implementations

impl Class for CommonClass

fn parents(&self) -> &[Vec<String>]

fn constructors(&self) -> Vec<Rc<Constructor>>

fn constructor(&self, args: &[Rc<dyn Type>]) -> Option<Rc<Constructor>>

fn predicates(&self) -> Vec<Rc<Predicate>>

fn classes(&self) -> Vec<Rc<dyn Class>>

fn instances(&self) -> Vec<ObjectId>

impl Scope for CommonClass

fn core(&self) -> Rc<dyn Core>

fn scope(&self) -> Option<Rc<dyn Scope>>

fn as_class(self: Rc<Self>) -> Option<Rc<dyn Class>>

fn get_fields(&self) -> Vec<Rc<Field>>

fn get_field(&self, name: &str) -> Option<Rc<Field>>

fn get_function( &self, name: &str, types: &[Rc<dyn Type>], ) -> Option<Rc<Function>>

fn get_type(&self, name: &str) -> Option<Rc<dyn Type>>

fn get_predicate(&self, name: &str) -> Option<Rc<Predicate>>

impl Type for CommonClass

fn name(&self) -> &str

fn full_name(&self) -> String

fn as_any(self: Rc<Self>) -> Rc<dyn Any>

fn as_class(self: Rc<Self>) -> Option<Rc<dyn Class>>

fn new_instance(self: Rc<Self>) -> Slot