polyglot.ast

Interface Term

All Superinterfaces:

java.lang.Cloneable, Copy<Node>, Node, NodeOps, java.io.Serializable

All Known Subinterfaces:

AmbAssign, AmbExpr, AmbTypeNode, AnnotationElem, AnnotationElemDecl, ArrayAccess, ArrayAccessAssign, ArrayInit, ArrayTypeNode, Assert, Assign, Binary, Block, BooleanLit, Branch, Call, CanonicalTypeNode, Case, Cast, Catch, CharLit, ClassBody, ClassDecl, ClassLit, ClassMember, CodeBlock, CodeDecl, CodeNode, CompoundStmt, Conditional, ConstructorCall, ConstructorDecl, Do, ElementValueArrayInit, ElementValuePair, Empty, EnumConstant, EnumConstantDecl, Eval, Expr, ExtendedFor, Field, FieldAssign, FieldDecl, FloatLit, For, ForInit, Formal, ForUpdate, If, Initializer, Instanceof, IntLit, Labeled, Lit, Local, LocalAssign, LocalClassDecl, LocalDecl, Loop, MethodDecl, MultiCatch, NamedVariable, New, NewArray, NullLit, NumLit, ParamTypeNode, ProcedureCall, ProcedureDecl, Return, Special, Stmt, StringLit, Switch, SwitchBlock, SwitchElement, Synchronized, Throw, Try, TryWithResources, TypeNode, Unary, VarDecl, Variable, While

All Known Implementing Classes:

AbstractBlock_c, AmbAssign_c, AmbDiamondTypeNode, AmbExpr_c, AmbTypeInstantiation, AmbTypeNode_c, AmbUnionType, AmbWildCard, AnnotationElem_c, AnnotationElemDecl_c, ArrayAccess_c, ArrayAccessAssign_c, ArrayInit_c, ArrayTypeNode_c, Assert_c, Assign_c, Binary_c, Block_c, BooleanLit_c, Branch_c, Call_c, CanonicalTypeNode_c, Case_c, Cast_c, Catch_c, CharLit_c, ClassBody_c, ClassDecl_c, ClassLit_c, Conditional_c, ConstructorCall_c, ConstructorDecl_c, Do_c, ElementValueArrayInit_c, ElementValuePair_c, Empty_c, EnumConstant_c, EnumConstantDecl_c, Eval_c, Expr_c, ExtendedFor_c, Field_c, FieldAssign_c, FieldDecl_c, FloatLit_c, For_c, Formal_c, If_c, Initializer_c, Instanceof_c, IntLit_c, Labeled_c, Lit_c, Local_c, LocalAssign_c, LocalClassDecl_c, LocalDecl_c, Loop_c, Loop.Instance, MethodDecl_c, MultiCatch_c, New_c, NewArray_c, NullLit_c, NumLit_c, ParamTypeNode_c, ProcedureDecl_c, Return_c, Special_c, Stmt_c, StringLit_c, Switch_c, SwitchBlock_c, Synchronized_c, Term_c, Term.Instance, Throw_c, Try_c, TryWithResources_c, TypeNode_c, TypeNode.Instance, Unary_c, While_c

public interface Term
extends Node

A Term represents any Java expression or statement on which dataflow can be performed.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Term.Instance

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Field Summary

Fields

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.

Method Summary

Methods

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.

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

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

Methods inherited from interface polyglot.util.Copy

copy

Field Detail

ENTRY

static final int ENTRY

Indicates to dataflow methods that we are looking at the entry of a term.

See Also:

Constant Field Values

EXIT

static final int EXIT

Indicates to dataflow methods that we are looking at the exit of a term.

See Also:

Constant Field Values

Method Detail

reachable

boolean reachable()

Returns true if the term is reachable. This attribute is not guaranteed correct until after the reachability pass.

See Also:

ReachChecker

reachable

Term reachable(boolean reachable)

Set the reachability of this term.

exceptions

SubtypeSet exceptions()

List of Types with all exceptions possibly thrown by this term. The list is not necessarily correct until after exception-checking. polyglot.ast.NodeOps.throwTypes() is similar, but exceptions are not propagated to the containing node.

exceptions

Term exceptions(SubtypeSet exceptions)