Modifier and Type | Interface and Description |
---|---|
static class |
Branch.Kind
Branch kind: either break or continue.
|
Term.Instance
Modifier and Type | Field and Description |
---|---|
static Branch.Kind |
BREAK |
static Branch.Kind |
CONTINUE |
Modifier and Type | Method and Description |
---|---|
Branch.Kind |
kind()
The kind of the branch.
|
Branch |
kind(Branch.Kind kind)
Set the kind of the branch.
|
java.lang.String |
label()
Target label of the branch.
|
Branch |
label(java.lang.String label)
Set the target label of the branch.
|
Id |
labelNode()
Target label of the branch.
|
Branch |
labelNode(Id label)
Set the target label of the branch.
|
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
static final Branch.Kind BREAK
static final Branch.Kind CONTINUE
Branch.Kind kind()
Branch kind(Branch.Kind kind)
Id labelNode()
java.lang.String label()
Branch label(java.lang.String label)