Trait kailua_types::env::ClassProvider
[−]
[src]
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
&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
&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