Enum Exp 

pub enum Exp {
    Typed(Type, UntypedExp),
    Untyped(UntypedExp),
}

Variants

Typed(Type, UntypedExp)

Untyped(UntypedExp)

Implementations

impl Exp

pub fn get_type(&self) -> Option<Type>

pub fn set_type(self, t: Type) -> Self

pub fn conditional(c: ConditionalExp) -> Self

pub fn cast(t: Type, e: Box<Exp>) -> Self

pub fn binary(op: AstBinaryOp, src: Box<Exp>, dst: Box<Exp>) -> Self

pub fn unary(op: AstUnaryOp, e: Box<Exp>) -> Self

pub fn assignment(dst: Box<Exp>, src: Box<Exp>) -> Self

pub fn call(name: Identifier, args: Vec<Exp>) -> Self

pub fn var(name: Identifier) -> Self

pub fn constant(cs: AstConst) -> Self

pub fn constant_from_unsigned(u: u64) -> Self

pub fn constant_from_signed(i: i64) -> Self

Methods from Deref<Target = UntypedExp>

pub fn is_var(&self) -> bool

Trait Implementations

impl Clone for Exp

fn clone(&self) -> Exp

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Exp

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

Formats the value using the given formatter.

impl Deref for Exp

type Target = UntypedExp

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl From<Exp> for UntypedExp

fn from(value: Exp) -> Self

Converts to this type from the input type.

impl From<UntypedExp> for Exp

fn from(value: UntypedExp) -> Self

Converts to this type from the input type.