class compiler::TypeCheckExpr

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

Source

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

check

CType check

Source

coerce

new coerce(Expr target, CType to)

Source

from

CType? from

Source

From type if coerce

isAlwaysNullable

virtual override Bool isAlwaysNullable()

Source

isDefiniteAssign

virtual override Bool isDefiniteAssign(|Expr->Bool| f)

Source

isStmt

virtual override Bool isStmt()

Source

make

new make(Loc loc, ExprId id, Expr target, CType check)

Source

opStr

Str opStr()

Source

serialize

virtual override Str serialize()

Source

synthetic

virtual override Bool synthetic := false

Source

target

Expr target

Source

toStr

virtual override Str toStr()

Source

walkChildren

virtual override Void walkChildren(Visitor v)

Source