polyglot.ast

Interface TermOps

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, EnumConstantDeclExt, 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, JL5AnnotatedElementExt, JL5AssertExt, JL5AssignExt, JL5BinaryExt, JL5CallExt, JL5CanonicalTypeNodeExt, JL5CaseExt, JL5CatchExt, JL5ClassBodyExt, JL5ClassDeclExt, JL5ClassLitExt, JL5ConditionalExt, JL5ConstructorCallExt, JL5ConstructorDeclExt, JL5EnumDeclExt, JL5ExprExt, JL5FieldDeclExt, JL5FieldExt, JL5FormalExt, JL5LocalDeclExt, JL5LoopExt, JL5MethodDeclExt, JL5NewArrayExt, JL5NewExt, JL5ProcedureCallExt, JL5ProcedureDeclExt, JL5SpecialExt, JL5SwitchExt, JL5TermExt, JL5UnaryExt, 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 TermOps

This interface allows extensions both to override and reuse functionality in Term_c.

Method Summary

Methods

Modifier and Type	Method and Description
<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.
Term	firstChild() Return the first direct subterm performed when evaluating this term.

Method Detail

firstChild

Term firstChild()

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.

acceptCFG

<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.