Stmt
Slots
- idSource
-
readonly StmtId id
- isDefiniteAssignSource
-
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.
- isExitSource
-
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)
- makeSource
- walkSource
-
Stmt[]? walk(Visitor v, VisitDepth depth)
- walkChildrenSource
-
virtual Void walkChildren(Visitor v, VisitDepth depth)
- walkExprSource
-
static Expr? walkExpr(Visitor v, VisitDepth depth, Expr? expr)