Struct moore_svlog::typeck::CastType

pub struct CastType<'a> {
    pub init: Type<'a>,
    pub ty: Type<'a>,
    pub casts: Vec<(CastOp, Type<'a>)>,
}

A type resulting from a sequence of casts.

Fields

init: Type<'a>

The initial type before casting.

ty: Type<'a>

The final type after casting.

casts: Vec<(CastOp, Type<'a>)>

The cast operations that lead to the result.

Implementations

impl<'a> CastType<'a>

pub fn is_error(&self) -> bool

Check if this cast type is a tombstone.

pub fn add_cast(&mut self, op: CastOp, ty: Type<'a>)

Add a cast operation.

Trait Implementations

impl<'a> Clone for CastType<'a>

fn clone(&self) -> CastType<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for CastType<'a>

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

Formats the value using the given formatter.

impl<'_> Display for CastType<'_>

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

Formats the value using the given formatter.

impl<'a> Eq for CastType<'a>

impl<'a> From<&'a TypeKind<'a>> for CastType<'a>

fn from(ty: Type<'a>) -> CastType<'a>

Performs the conversion.

impl<'a> PartialEq<CastType<'a>> for CastType<'a>

fn eq(&self, other: &CastType<'a>) -> bool

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

fn ne(&self, other: &CastType<'a>) -> bool

This method tests for !=.

impl<'a> StructuralEq for CastType<'a>

impl<'a> StructuralPartialEq for CastType<'a>