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)

Source

check

CType check

Source

isStmt

override Bool isStmt()

Does this expression make up a complete statement. If you override this to true, then you must make sure the expr is popped in CodeAsm.

Source

make

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

Source

synthetic

Bool synthetic := false

Source

target

Expr target

Source

toStr

override Str toStr()

Return a string representation of this object.

Source

walkChildren

override Void walkChildren(Visitor v)

Source