public interface Term extends Node
Term
represents any Java expression or statement on which
dataflow can be performed.Modifier and Type | Interface and Description |
---|---|
static class |
Term.Instance |
Modifier and Type | Field and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
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 reachable)
Set the reachability of this term.
|
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
static final int ENTRY
static final int EXIT
boolean reachable()
ReachChecker
Term reachable(boolean reachable)
SubtypeSet exceptions()
polyglot.ast.NodeOps.throwTypes()
is similar, but exceptions
are not propagated to the containing node.Term exceptions(SubtypeSet exceptions)