logo

class

compiler::TypeCheckExpr

sys::Obj
  compiler::Node
    compiler::Expr
      compiler::TypeCheckExpr

TypeCheckExpr is an expression which is composed of an arbitrary expression and a type - is, as, & casts

Slots

cast

new cast(Expr target, CType to)

check

CType check

make

new make(Location location, ExprId id, Expr target, CType check)

target

Expr target

toStr

override Str toStr()

walkChildren

override Void walkChildren(Visitor v)