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

Modifier and Type	Field	Description
protected final JDTJava2CAstTranslator.WalkContext	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

Modifier and Type	Method	Description
TranslatorToCAst.WalkContext<JDTJava2CAstTranslator.WalkContext, org.eclipse.jdt.core.dom.ASTNode>	getParent()
org.eclipse.jdt.core.dom.ASTNode	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, getScopedEntities

Modifier and Type	Method	Description
default org.eclipse.jdt.core.dom.ASTNode	getBreakFor(String label)	for a 'break' style goto, return the control flow target
default CAstNode	getCatchTarget()
default CAstNode	getCatchTarget(String s)
default org.eclipse.jdt.core.dom.ASTNode	getContinueFor(String label)	for a 'continue' style goto, return the control flow target
default Map<CAstNode, Collection<CAstEntity>>	getScopedEntities()	get a mapping from CAstNodes to the scoped entities (e.g.

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