| 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, reachabledel, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdgeaddDecls, 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, visitListstatic 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)