com.ibm.wala.cast.ir.translator

Interface TranslatorToCAst.WalkContext<C extends TranslatorToCAst.WalkContext<C,T>,T>

All Known Implementing Classes:

TranslatorToCAst.BreakContext, TranslatorToCAst.DelegatingContext, TranslatorToCAst.FunctionContext, TranslatorToCAst.LoopContext, TranslatorToCAst.RootContext, TranslatorToCAst.TryCatchContext

Enclosing interface:

TranslatorToCAst

public static interface TranslatorToCAst.WalkContext<C extends TranslatorToCAst.WalkContext<C,T>,T>

Method Summary

Modifier and Type	Method and Description
default void	addNameDecl(CAstNode n) Add a name declaration to this context.
default void	addScopedEntity(CAstNode newNode, CAstEntity visit) associate a child entity with a given CAstNode, e.g.
default CAstControlFlowRecorder	cfg() for recording control-flow relationships among the CAst nodes
default T	getBreakFor(java.lang.String label) for a 'break' style goto, return the control flow target
default CAstNode	getCatchTarget()
default CAstNode	getCatchTarget(java.lang.String s)
default T	getContinueFor(java.lang.String label) for a 'continue' style goto, return the control flow target
default java.util.List<CAstNode>	getNameDecls()
default CAstNodeTypeMapRecorder	getNodeTypeMap() for recording types of nodes
TranslatorToCAst.WalkContext<C,T>	getParent()
default java.util.Map<CAstNode,java.util.Collection<CAstEntity>>	getScopedEntities() get a mapping from CAstNodes to the scoped entities (e.g.
default CAstSourcePositionRecorder	pos() for recording source positions
default T	top()

Method Detail

getParent

TranslatorToCAst.WalkContext<C,T> getParent()

addNameDecl

default void addNameDecl(CAstNode n)

Add a name declaration to this context. For variables or constants, n should be a CAstNode.DECL_STMT, and the initialization of the variable (if any) may occur in a separate assignment. For functions, n should be a CAstNode.FUNCTION_STMT, including the function body.

getNameDecls

default java.util.List<CAstNode> getNameDecls()

getScopedEntities

default java.util.Map<CAstNode,java.util.Collection<CAstEntity>> getScopedEntities()

get a mapping from CAstNodes to the scoped entities (e.g. functions or local classes) introduced by those nodes. Also maps null to those entities not corresponding to any node (e.g nested classes)

getCatchTarget

default CAstNode getCatchTarget()

getCatchTarget

default CAstNode getCatchTarget(java.lang.String s)

top

default T top()

addScopedEntity

default void addScopedEntity(CAstNode newNode,
                             CAstEntity visit)

associate a child entity with a given CAstNode, e.g. for a function declaration

cfg

default CAstControlFlowRecorder cfg()

for recording control-flow relationships among the CAst nodes

pos

default CAstSourcePositionRecorder pos()

for recording source positions

getNodeTypeMap

default CAstNodeTypeMapRecorder getNodeTypeMap()

for recording types of nodes

getContinueFor

default T getContinueFor(java.lang.String label)

for a 'continue' style goto, return the control flow target

getBreakFor

default T getBreakFor(java.lang.String label)

for a 'break' style goto, return the control flow target