|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Term
A Term
represents any Java expression or statement on which
dataflow can be performed.
Field Summary | |
---|---|
static int |
ENTRY
Indicates to dataflow methods that we are looking at the entry of a term. |
static int |
EXIT
Indicates to dataflow methods that we are looking at the exit of a term. |
Method Summary | |
---|---|
java.util.List |
acceptCFG(CFGBuilder v,
java.util.List succs)
Visit this node, calling calling v.edge() for each successor in succs, if data flows on that edge. |
SubtypeSet |
exceptions()
List of Types with all exceptions possibly thrown by this term. |
Term |
exceptions(SubtypeSet exceptions)
|
Term |
firstChild()
Return the first direct subterm performed when evaluating this term. |
boolean |
reachable()
Returns true if the term is reachable. |
Term |
reachable(boolean reachability)
Set the reachability of this term. |
Methods inherited from interface polyglot.ast.Node |
---|
childExpectedType, del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitChild, visitEdge, visitList |
Methods inherited from interface polyglot.ast.JL |
---|
init, node |
Methods inherited from interface polyglot.ast.NodeOps |
---|
addDecls, buildTypes, buildTypesEnter, checkConstants, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChildren |
Methods inherited from interface polyglot.util.Copy |
---|
copy |
Field Detail |
---|
static final int ENTRY
static final int EXIT
Method Detail |
---|
Term firstChild()
java.util.List acceptCFG(CFGBuilder v, java.util.List succs)
boolean reachable()
ReachChecker
Term reachable(boolean reachability)
SubtypeSet exceptions()
polyglot.ast.NodeOps.throwTypes()
is similar, but exceptions
are not propagated to the containing node.
Term exceptions(SubtypeSet exceptions)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |