abstract class compiler::Stmt

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

Source

Stmt

id

const StmtId id

Source

isDefiniteAssign

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

Source

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

isExit

abstract Bool isExit()

Source

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)

make

new make(Loc loc, StmtId id)

Source

walk

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

Source

walkChildren

virtual Void walkChildren(Visitor v, VisitDepth depth)

Source

walkExpr

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

Source