Branch.Kind
Term.Instance
Modifier and Type | Field and Description |
---|---|
protected Branch.Kind |
kind |
protected Id |
label |
exceptions, reachable
Constructor and Description |
---|
Branch_c(Position pos,
Branch.Kind kind,
Id label) |
Branch_c(Position pos,
Branch.Kind kind,
Id label,
Ext ext) |
Modifier and Type | Method and Description |
---|---|
<T> java.util.List<T> |
acceptCFG(CFGBuilder<?> v,
java.util.List<T> succs)
Visit this term in evaluation order, calling v.edge() for each successor
in succs, if data flows on that edge.
|
Node |
copy(NodeFactory nf)
Produce a copy of this node using the given NodeFactory.
|
Term |
firstChild()
Return the first direct subterm performed when evaluating this term.
|
Branch.Kind |
kind()
The kind of the branch.
|
Branch |
kind(Branch.Kind kind)
Set the kind of the branch.
|
protected <N extends Branch_c> |
kind(N n,
Branch.Kind kind) |
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.
|
protected <N extends Branch_c> |
labelNode(N n,
Id label) |
void |
prettyPrint(CodeWriter w,
PrettyPrinter tr)
Pretty-print the AST using the given
CodeWriter . |
protected <N extends Branch_c> |
reconstruct(N n,
Id label)
Reconstruct the expression.
|
java.lang.String |
toString() |
Node |
visitChildren(NodeVisitor v)
Visit the children of the node.
|
exceptionCheck, exceptions, exceptions, exceptions, extRewrite, listChild, reachable, reachable, reachable
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isDisambiguated, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitEdge, visitList
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
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, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitList
protected Branch.Kind kind
protected Id label
public Branch_c(Position pos, Branch.Kind kind, Id label)
public Branch_c(Position pos, Branch.Kind kind, Id label, Ext ext)
public Branch.Kind kind()
Branch
public Branch kind(Branch.Kind kind)
Branch
protected <N extends Branch_c> N kind(N n, Branch.Kind kind)
public Id labelNode()
Branch
public Branch labelNode(Id label)
Branch
public java.lang.String label()
Branch
public Branch label(java.lang.String label)
Branch
public Node visitChildren(NodeVisitor v)
NodeOps
visitChildren
in interface NodeOps
visitChildren
in class Node_c
v
- The visitor that will traverse/rewrite the AST.this
.public void prettyPrint(CodeWriter w, PrettyPrinter tr)
Node_c
CodeWriter
.prettyPrint
in interface NodeOps
prettyPrint
in class Node_c
w
- The code writer to which to write.tr
- The pretty printer. This is not a visitor.public Term firstChild()
TermOps
firstChild
in interface TermOps
firstChild
in class Term_c
public <T> java.util.List<T> acceptCFG(CFGBuilder<?> v, java.util.List<T> succs)
TermOps