com.ibm.wala.cast.ir.translator

Interface AstTranslator.WalkContext

All Superinterfaces:

CAstVisitor.Context

All Known Implementing Classes:

AstTranslator.CodeEntityContext, AstTranslator.RootContext, AstTranslator.TypeContext

Enclosing class:

AstTranslator

public static interface AstTranslator.WalkContext
extends CAstVisitor.Context

Method Summary

Modifier and Type	Method and Description
void	addEntityName(CAstEntity e, java.lang.String name)
AstTranslator.IncipientCFG	cfg()
AstTranslator.WalkContext	codeContext()
AstTranslator.Scope	currentScope()
java.util.Set<AstTranslator.Scope>	entityScopes()
java.util.Set<com.ibm.wala.util.collections.Pair<com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String>,java.lang.Integer>>	exposeNameSet(CAstEntity entity, boolean writeSet)
java.lang.String	file()
java.util.Set<AstLexicalAccess.Access>	getAccesses(CAstEntity e)
java.util.Map<com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction>,com.ibm.wala.types.TypeReference[]>	getCatchTypes()
CAstControlFlowMap	getControlFlow()
java.lang.String	getEntityName(CAstEntity e)
AstTranslator.Scope	getGlobalScope()
com.ibm.wala.classLoader.ModuleEntry	getModule()
java.lang.String	getName()
CAstSourcePositionMap	getSourceMap()
AstTranslator.UnwindState	getUnwindState()
int	getValue(CAstNode n)
boolean	hasValue(CAstNode n)
void	setCatchType(CAstNode catchNode, com.ibm.wala.types.TypeReference catchType)
void	setCatchType(com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction> bb, com.ibm.wala.types.TypeReference catchType)
int	setValue(CAstNode n, int v)

Methods inherited from interface com.ibm.wala.cast.tree.visit.CAstVisitor.Context

top

Method Detail

codeContext

AstTranslator.WalkContext codeContext()

getModule

com.ibm.wala.classLoader.ModuleEntry getModule()

getName

java.lang.String getName()

file

java.lang.String file()

getSourceMap

CAstSourcePositionMap getSourceMap()

Specified by:

getSourceMap in interface CAstVisitor.Context

getControlFlow

CAstControlFlowMap getControlFlow()

currentScope

AstTranslator.Scope currentScope()

entityScopes

java.util.Set<AstTranslator.Scope> entityScopes()

cfg

AstTranslator.IncipientCFG cfg()

getUnwindState

AstTranslator.UnwindState getUnwindState()

setCatchType

void setCatchType(com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction> bb,
                  com.ibm.wala.types.TypeReference catchType)

setCatchType

void setCatchType(CAstNode catchNode,
                  com.ibm.wala.types.TypeReference catchType)

getCatchTypes

java.util.Map<com.ibm.wala.cfg.IBasicBlock<com.ibm.wala.ssa.SSAInstruction>,com.ibm.wala.types.TypeReference[]> getCatchTypes()

addEntityName

void addEntityName(CAstEntity e,
                   java.lang.String name)

getEntityName

java.lang.String getEntityName(CAstEntity e)

hasValue

boolean hasValue(CAstNode n)

setValue

int setValue(CAstNode n,
             int v)

getValue

int getValue(CAstNode n)

exposeNameSet

java.util.Set<com.ibm.wala.util.collections.Pair<com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String>,java.lang.Integer>> exposeNameSet(CAstEntity entity,
                                                                                                                                                         boolean writeSet)

getAccesses

java.util.Set<AstLexicalAccess.Access> getAccesses(CAstEntity e)

getGlobalScope

AstTranslator.Scope getGlobalScope()