|
|||||||||
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.
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 |
---|
Term entry()
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 |