|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A Term
represents any Java expression or statement on which
dataflow can be performed.
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. |
Term |
entry()
Return the first (sub)term performed when evaluating this term. |
SubtypeSet |
exceptions()
List of Types with all exceptions possibly thrown by this term. |
Term |
exceptions(SubtypeSet exceptions)
|
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, ext, ext, ext, ext, position, position, visit, visitChild, visitEdge, visitList |
Methods inherited from interface polyglot.ast.JL |
init, node |
Methods inherited from interface polyglot.ast.NodeOps |
addDecls, addMembers, addMembersEnter, buildTypes, buildTypesEnter, disambiguate, disambiguateEnter, enterScope, enterScope, exceptionCheck, exceptionCheckEnter, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, visitChildren |
Methods inherited from interface polyglot.util.Copy |
copy |
Method Detail |
public Term entry()
public java.util.List acceptCFG(CFGBuilder v, java.util.List succs)
public boolean reachable()
ReachChecker
public Term reachable(boolean reachability)
public SubtypeSet exceptions()
polyglot.ast.NodeOps.throwTypes()
is similar, but exceptions
are not propagated to the containing node.
public Term exceptions(SubtypeSet exceptions)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |