Class JDTJava2CAstTranslator.MethodContext

java.lang.Object

com.ibm.wala.cast.ir.translator.TranslatorToCAst.DelegatingContext<JDTJava2CAstTranslator.WalkContext, org.eclipse.jdt.core.dom.ASTNode>

com.ibm.wala.cast.java.translator.jdt.JDTJava2CAstTranslator.DelegatingContext

com.ibm.wala.cast.java.translator.jdt.JDTJava2CAstTranslator.MethodContext

All Implemented Interfaces:

TranslatorToCAst.WalkContext<JDTJava2CAstTranslator.WalkContext, org.eclipse.jdt.core.dom.ASTNode>, JDTJava2CAstTranslator.WalkContext

Enclosing class:

JDTJava2CAstTranslator<T extends CAstSourcePositionMap.Position>

public class JDTJava2CAstTranslator.MethodContext
extends JDTJava2CAstTranslator.DelegatingContext

Field Summary

Fields inherited from class TranslatorToCAst.DelegatingContext

parent

Constructor Summary

Constructors

Constructor	Description
MethodContext(JDTJava2CAstTranslator.WalkContext parent, Map<CAstNode, CAstEntity> entities)

Method Summary

Modifier and Type	Method	Description
void	addNameDecl(CAstNode v)	Add a name declaration to this context.
void	addScopedEntity(CAstNode node, CAstEntity entity)	associate a child entity with a given CAstNode, e.g.
CAstControlFlowRecorder	cfg()	for recording control-flow relationships among the CAst nodes
Collection<Pair<org.eclipse.jdt.core.dom.ITypeBinding, Object>>	getCatchTargets(org.eclipse.jdt.core.dom.ITypeBinding label)
Map<org.eclipse.jdt.core.dom.ASTNode, String>	getLabelMap()
List<CAstNode>	getNameDecls()
CAstNodeTypeMapRecorder	getNodeTypeMap()	for recording types of nodes
boolean	needLValue()
CAstSourcePositionRecorder	pos()	for recording source positions

Methods inherited from class TranslatorToCAst.DelegatingContext

getParent, top

Methods inherited from class Object

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

Methods inherited from interface TranslatorToCAst.WalkContext

getBreakFor, getCatchTarget, getCatchTarget, getContinueFor, getParent, getScopedEntities, top

Constructor Details

MethodContext

public MethodContext(JDTJava2CAstTranslator.WalkContext parent,
 Map<CAstNode, CAstEntity> entities)

Method Details

addNameDecl

public void addNameDecl(CAstNode v)

Description copied from interface: TranslatorToCAst.WalkContext

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

public List<CAstNode> getNameDecls()

getLabelMap

public Map<org.eclipse.jdt.core.dom.ASTNode, String> getLabelMap()

Specified by:

getLabelMap in interface JDTJava2CAstTranslator.WalkContext

Overrides:

getLabelMap in class JDTJava2CAstTranslator.DelegatingContext

cfg

public CAstControlFlowRecorder cfg()

Description copied from interface: TranslatorToCAst.WalkContext

for recording control-flow relationships among the CAst nodes

addScopedEntity

public void addScopedEntity(CAstNode node,
 CAstEntity entity)

Description copied from interface: TranslatorToCAst.WalkContext

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

pos

public CAstSourcePositionRecorder pos()

Description copied from interface: TranslatorToCAst.WalkContext

for recording source positions

getNodeTypeMap

public CAstNodeTypeMapRecorder getNodeTypeMap()

Description copied from interface: TranslatorToCAst.WalkContext

for recording types of nodes

getCatchTargets

public Collection<Pair<org.eclipse.jdt.core.dom.ITypeBinding, Object>> getCatchTargets(org.eclipse.jdt.core.dom.ITypeBinding label)

Specified by:

getCatchTargets in interface JDTJava2CAstTranslator.WalkContext

Overrides:

getCatchTargets in class JDTJava2CAstTranslator.DelegatingContext

needLValue

public boolean needLValue()

Specified by:

needLValue in interface JDTJava2CAstTranslator.WalkContext

Overrides:

needLValue in class JDTJava2CAstTranslator.DelegatingContext