Trait kailua_types::env::ClassProvider

pub trait ClassProvider: Send + Sync {
    fn fmt_class_name(
        &self, 
        cid: ClassId, 
        f: &mut Formatter, 
        st: &DisplayState
    ) -> Result;
    fn fmt_class_system_name(
        &self, 
        csid: ClassSystemId, 
        f: &mut Formatter, 
        st: &DisplayState
    ) -> Result;
    fn is_subclass_of(&self, lhs: ClassId, rhs: ClassId) -> bool;
}

Provides the specific knowledge about defined classes and class systems.

Required Methods

fn fmt_class_name(
    &self,
    cid: ClassId,
    f: &mut Formatter,
    st: &DisplayState
) -> Result

Should print a type name for given nominal identifier to the formatter.

fn fmt_class_system_name(
    &self,
    csid: ClassSystemId,
    f: &mut Formatter,
    st: &DisplayState
) -> Result

Should print a type name for given nominal set identifier to the formatter.

fn is_subclass_of(&self, lhs: ClassId, rhs: ClassId) -> bool

Should return true if the nominal identifier lhs is a subtype of another nominal identifier rhs.

Implementors

• impl<'a, T: ClassProvider + ?Sized> ClassProvider for &'a T
• impl<T: ClassProvider + ?Sized> ClassProvider for Box<T>
• impl ClassProvider for DummyClassProvider