polyglot.ast

Class Term_c

java.lang.Object

polyglot.ast.Node_c

polyglot.ast.Term_c

All Implemented Interfaces:

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

Direct Known Subclasses:

AnnotationElem_c, AnnotationElemDecl_c, ClassBody_c, ClassDecl_c, ElementValueArrayInit_c, ElementValuePair_c, EnumConstantDecl_c, Expr_c, FieldDecl_c, Formal_c, Initializer_c, ProcedureDecl_c, Stmt_c, Term.Instance, TypeNode_c

public abstract class Term_c
extends Node_c
implements Term, TermOps

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

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.ast.Term

Term.Instance

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

Copy.Util

Field Summary

Fields

Modifier and Type	Field and Description
protected SubtypeSet	exceptions
protected boolean	reachable

Fields inherited from class polyglot.ast.Node_c

del, error, ext, position

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Constructor Summary

Constructors

Constructor and Description
Term_c(Position pos)
Term_c(Position pos, Ext ext)

Method Summary

Methods

Modifier and Type	Method and Description
abstract <T> java.util.List<T>	acceptCFG(CFGBuilder<?> v, java.util.List<T> succs) Visit this term in evaluation order, calling v.edge() for each successor in succs, if data flows on that edge.
Node	exceptionCheck(ExceptionChecker ec) Check that exceptions are properly propagated throughout the AST.
SubtypeSet	exceptions() List of Types with all exceptions possibly thrown by this term.
protected <N extends Term_c> N	exceptions(N n, SubtypeSet exceptions)
Term	exceptions(SubtypeSet exceptions)
Node	extRewrite(ExtensionRewriter rw) Rewrite the AST for the compilation in this language.
abstract Term	firstChild() Return the first direct subterm performed when evaluating this term.
static <T extends Term,U extends T,V extends T> T	listChild(java.util.List<U> l, V alt) Utility function to get the first entry of a list, or else alt.
boolean	reachable() Returns true if the term is reachable.
Term	reachable(boolean reachable) Set the reachability of this term.
protected <N extends Term_c> N	reachable(N n, boolean reachable)

Methods inherited from class polyglot.ast.Node_c

addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, copy, copyIfNeeded, del, del, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, dump, enterChildScope, enterScope, error, error, error, exceptionCheckEnter, ext, ext, ext, ext, extRewriteEnter, isDisambiguated, isTypeChecked, lang, position, position, position, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, print, printBlock, printSubStmt, throwTypes, toString, translate, typeCheck, typeCheckEnter, typeCheckOverride, visit, visitChild, visitChildren, visitEdge, visitList

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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, exceptionCheckEnter, 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

reachable

protected boolean reachable

exceptions

protected SubtypeSet exceptions

Constructor Detail

Term_c

public Term_c(Position pos)

Term_c

public Term_c(Position pos,
      Ext ext)

Method Detail

reachable

public boolean reachable()

Description copied from interface: Term

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

Specified by:

reachable in interface Term

See Also:

ReachChecker

reachable

public Term reachable(boolean reachable)

Description copied from interface: Term

Set the reachability of this term.

Specified by:

reachable in interface Term

reachable

protected <N extends Term_c> N reachable(N n,
                             boolean reachable)

exceptions

public SubtypeSet exceptions()

Description copied from interface: Term

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.

Specified by:

exceptions in interface Term

exceptions

public Term exceptions(SubtypeSet exceptions)

Specified by:

exceptions in interface Term

exceptions

protected <N extends Term_c> N exceptions(N n,
                              SubtypeSet exceptions)

listChild

public static <T extends Term,U extends T,V extends T> T listChild(java.util.List<U> l,
                                                   V alt)

Utility function to get the first entry of a list, or else alt.

exceptionCheck

public Node exceptionCheck(ExceptionChecker ec)
                    throws SemanticException

Description copied from interface: NodeOps

Check that exceptions are properly propagated throughout the AST. This method is called by the leave() method of the visitor. The method should perform work that should be done after visiting the children of the node. The method may return this or a new copy of the node which will be installed as a child of the node's parent.

Specified by:

exceptionCheck in interface NodeOps

Overrides:

exceptionCheck in class Node_c

Parameters:

ec - The visitor.

Throws:

SemanticException

extRewrite

public Node extRewrite(ExtensionRewriter rw)
                throws SemanticException

Description copied from interface: NodeOps

Rewrite the AST for the compilation in this language. This method is called by the leave() method of the visitor. The method should perform work that should be done after visiting the children of the node. The method may return this or a new copy of the node which will be installed as a child of the node's parent.

Specified by:

extRewrite in interface NodeOps

Overrides:

extRewrite in class Node_c

Parameters:

rw - The visitor.

Throws:

SemanticException

firstChild

public abstract Term firstChild()

Description copied from interface: TermOps

Return the first direct subterm performed when evaluating this term. If this term has no subterms, this should return null. This method is similar to the deprecated entry(), but it should *not* recursively drill down to the innermost subterm. The direct child visited first in this term's dataflow should be returned.

Specified by:

firstChild in interface TermOps

acceptCFG

public abstract <T> java.util.List<T> acceptCFG(CFGBuilder<?> v,
                              java.util.List<T> succs)

Description copied from interface: TermOps

Visit this term in evaluation order, calling v.edge() for each successor in succs, if data flows on that edge.

Specified by:

acceptCFG in interface TermOps