public interface Labeled extends CompoundStmt
Term.Instance
Modifier and Type | Method and Description |
---|---|
java.lang.String |
label()
The label.
|
Labeled |
label(java.lang.String label)
Set the label.
|
Id |
labelNode()
The label.
|
Labeled |
labelNode(Id label)
Set the label.
|
Stmt |
statement()
The statement to label.
|
Labeled |
statement(Stmt statement)
Set the statement to label.
|
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