Enum type_checking::type_system::CheckedType

pub enum CheckedType<'src> {
    Int,
    Boolean,
    Void,
    Null,
    TypeRef(ClassDefId<'src>),
    UnknownType(Symbol<'src>),
    Array(Box<CheckedType<'src>>),
}

Variants

IntBooleanVoidNullTypeRef(ClassDefId<'src>)UnknownType(Symbol<'src>)Array(Box<CheckedType<'src>>)

Methods

impl<'src> CheckedType<'src>

pub fn create_array_type(     item_type: CheckedType<'src>,     dimension: u64 ) -> CheckedType<'src>

pub fn inner_type(&self) -> Option<&CheckedType<'src>>

pub fn is_assignable_from(     &self,     other: &CheckedType<'src>,     ts: &TypeSystem<'src, '_> ) -> bool

Trait Implementations

impl<'src> PartialEq<CheckedType<'src>> for CheckedType<'src>

fn eq(&self, other: &CheckedType<'src>) -> bool

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

fn ne(&self, other: &CheckedType<'src>) -> bool

This method tests for !=.

impl<'src, 'ast, 'ts> From<CheckedType<'src>> for ExprInfo<'src, 'ast>

fn from(item: CheckedType<'src>) -> ExprInfo<'src, 'ast>

Performs the conversion.

impl<'src, 'ts> From<ClassDefId<'src>> for CheckedType<'src>

fn from(id: ClassDefId<'src>) -> CheckedType<'src>

Performs the conversion.

impl<'src> Clone for CheckedType<'src>

fn clone(&self) -> CheckedType<'src>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'src> Display for CheckedType<'src>

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

Formats the value using the given formatter.

impl<'src> Debug for CheckedType<'src>

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

Formats the value using the given formatter.