Class JDTJava2CAstTranslator.DelegatingContext

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

All Implemented Interfaces:

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

Direct Known Subclasses:

JDTJava2CAstTranslator.MethodContext

Enclosing class:

JDTJava2CAstTranslator<T extends CAstSourcePositionMap.Position>

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

Default context functions. When one context doesn't handle something, it the next one up does. For example, there is only one source pos. mapping per MethodContext, so loop contexts delegate it up.

Field Summary

Fields inherited from class TranslatorToCAst.DelegatingContext

parent

Modifier and Type	Field	Description
protected final JDTJava2CAstTranslator.WalkContext	parent

Constructor Summary

Constructors

Constructor	Description
DelegatingContext(JDTJava2CAstTranslator.WalkContext parent)

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.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

addNameDecl, addScopedEntity, cfg, getBreakFor, getCatchTarget, getCatchTarget, getContinueFor, getNameDecls, getNodeTypeMap, getScopedEntities, pos

Modifier and Type	Method	Description
default void	addNameDecl(CAstNode n)	Add a name declaration to this context.
default void	addScopedEntity(CAstNode newNode, CAstEntity visit)	associate a child entity with a given CAstNode, e.g.
default CAstControlFlowRecorder	cfg()	for recording control-flow relationships among the CAst nodes
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 List<CAstNode>	getNameDecls()
default CAstNodeTypeMapRecorder	getNodeTypeMap()	for recording types of nodes
default Map<CAstNode, Collection<CAstEntity>>	getScopedEntities()	get a mapping from CAstNodes to the scoped entities (e.g.
default CAstSourcePositionRecorder	pos()	for recording source positions

Constructor Details

DelegatingContext

public DelegatingContext(JDTJava2CAstTranslator.WalkContext parent)

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