Class JDTJava2CAstTranslator.RootContext

java.lang.Object

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

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

All Implemented Interfaces:

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

Enclosing class:

JDTJava2CAstTranslator<T extends CAstSourcePositionMap.Position>

public static class JDTJava2CAstTranslator.RootContext
extends TranslatorToCAst.RootContext<JDTJava2CAstTranslator.WalkContext, org.eclipse.jdt.core.dom.ASTNode>
implements JDTJava2CAstTranslator.WalkContext

Constructor Summary

Constructors

Constructor	Description
RootContext()

Method Summary

Modifier and Type	Method	Description
Collection<Pair<org.eclipse.jdt.core.dom.ITypeBinding, Object>>	getCatchTargets(org.eclipse.jdt.core.dom.ITypeBinding type)
Map<org.eclipse.jdt.core.dom.ASTNode, String>	getLabelMap()
boolean	needLValue()

Methods inherited from class TranslatorToCAst.RootContext

addScopedEntity, cfg, getBreakFor, getContinueFor, getNameDecls, getNodeTypeMap, getParent, getScopedEntities, pos, top

Modifier and Type	Method	Description
void	addScopedEntity(CAstNode newNode, CAstEntity visit)	associate a child entity with a given CAstNode, e.g.
CAstControlFlowRecorder	cfg()	for recording control-flow relationships among the CAst nodes
org.eclipse.jdt.core.dom.ASTNode	getBreakFor(String label)	for a 'break' style goto, return the control flow target
org.eclipse.jdt.core.dom.ASTNode	getContinueFor(String label)	for a 'continue' style goto, return the control flow target
List<CAstNode>	getNameDecls()
CAstNodeTypeMapRecorder	getNodeTypeMap()	for recording types of nodes
TranslatorToCAst.WalkContext<JDTJava2CAstTranslator.WalkContext, org.eclipse.jdt.core.dom.ASTNode>	getParent()
Map<CAstNode, Collection<CAstEntity>>	getScopedEntities()	get a mapping from CAstNodes to the scoped entities (e.g.
CAstSourcePositionRecorder	pos()	for recording source positions
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

addNameDecl, getCatchTarget, getCatchTarget

Modifier and Type	Method	Description
default void	addNameDecl(CAstNode n)	Add a name declaration to this context.
default CAstNode	getCatchTarget()
default CAstNode	getCatchTarget(String s)

Constructor Details

RootContext

public RootContext()

Method Details

getCatchTargets

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

Specified by:

getCatchTargets in interface JDTJava2CAstTranslator.WalkContext

getLabelMap

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

Specified by:

getLabelMap in interface JDTJava2CAstTranslator.WalkContext

needLValue

public boolean needLValue()

Specified by:

needLValue in interface JDTJava2CAstTranslator.WalkContext