Package com.ibm.wala.cast.java.translator.jdt

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 com.ibm.wala.cast.ir.translator.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 com.ibm.wala.cast.ir.translator.TranslatorToCAst.DelegatingContext

getParent, top

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

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