com.ibm.wala.cast.ir.translator

Class TranslatorToCAst.FunctionContext<C extends TranslatorToCAst.WalkContext<C,T>,T>

java.lang.Object

com.ibm.wala.cast.ir.translator.TranslatorToCAst.DelegatingContext<C,T>

com.ibm.wala.cast.ir.translator.TranslatorToCAst.FunctionContext<C,T>

All Implemented Interfaces:

TranslatorToCAst.WalkContext<C,T>

Enclosing interface:

TranslatorToCAst

public static class TranslatorToCAst.FunctionContext<C extends TranslatorToCAst.WalkContext<C,T>,T>
extends TranslatorToCAst.DelegatingContext<C,T>

Field Summary

Fields inherited from class com.ibm.wala.cast.ir.translator.TranslatorToCAst.DelegatingContext

parent

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FunctionContext(C parent, T s)

Method Summary

Modifier and Type	Method and Description
void	addScopedEntity(CAstNode construct, CAstEntity e) associate a child entity with a given CAstNode, e.g.
CAstControlFlowRecorder	cfg() for recording control-flow relationships among the CAst nodes
java.util.Map<CAstNode,java.util.Collection<CAstEntity>>	getScopedEntities() get a mapping from CAstNodes to the scoped entities (e.g.
CAstSourcePositionRecorder	pos() for recording source positions
T	top()

Methods inherited from class com.ibm.wala.cast.ir.translator.TranslatorToCAst.DelegatingContext

getParent

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.cast.ir.translator.TranslatorToCAst.WalkContext

addNameDecl, getBreakFor, getCatchTarget, getCatchTarget, getContinueFor, getNameDecls, getNodeTypeMap

Constructor Detail

FunctionContext

protected FunctionContext(C parent,
                          T s)

Method Detail

top

public T top()

Specified by:

top in interface TranslatorToCAst.WalkContext<C extends TranslatorToCAst.WalkContext<C,T>,T>

Overrides:

top in class TranslatorToCAst.DelegatingContext<C extends TranslatorToCAst.WalkContext<C,T>,T>

addScopedEntity

public void addScopedEntity(CAstNode construct,
                            CAstEntity e)

Description copied from interface: TranslatorToCAst.WalkContext

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

getScopedEntities

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

Description copied from interface: TranslatorToCAst.WalkContext

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)

cfg

public CAstControlFlowRecorder cfg()

Description copied from interface: TranslatorToCAst.WalkContext

for recording control-flow relationships among the CAst nodes

pos

public CAstSourcePositionRecorder pos()

Description copied from interface: TranslatorToCAst.WalkContext

for recording source positions