abstract class compiler::Stmt

sys::Obj
  compiler::Node
    compiler::Stmt

Stmt

id

const StmtId id

isDefiniteAssign

abstract Bool isDefiniteAssign(|Expr->Bool| f)

Check for definite assignment where the given function returns true for the LHS of an assignment in all code paths.

isExit

abstract Bool isExit()

Does this statement always cause us to exit the method (or does it cause us to loop forever without a break to the next statement)

isOnceFieldInit

virtual Bool isOnceFieldInit()

Is this statement a field initialization for a once storage field. This is used in compilerEs to skip initializing fields to "_once_"

make

new make(Loc loc, StmtId id)

walk

Stmt[]? walk(Visitor v, VisitDepth depth)

walkChildren

virtual Void walkChildren(Visitor v, VisitDepth depth)

walkExpr

static Expr? walkExpr(Visitor v, VisitDepth depth, Expr? expr)

Fantom