public interface Block extends CompoundStmt
Block
represents a Java block statement -- an immutable
sequence of statements.Term.Instance
Modifier and Type | Method and Description |
---|---|
Block |
append(Stmt stmt)
Append a statement to the block, returning a new block.
|
Block |
prepend(Stmt stmt)
Prepend a statement to the block, returning a new block.
|
java.util.List<Stmt> |
statements()
Get the statements in the block.
|
Block |
statements(java.util.List<Stmt> statements)
Set the statements in the block.
|
exceptions, exceptions, reachable, reachable
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList