Package com.ibm.wala.cast.ir.translator

Class AstTranslator.TypeContext

java.lang.Object

com.ibm.wala.cast.ir.translator.AstTranslator.TypeContext

All Implemented Interfaces:

AstTranslator.WalkContext, CAstVisitor.Context

Enclosing class:

AstTranslator

protected final class AstTranslator.TypeContext
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected final String	name
protected final CAstEntity	topNode

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

topNode

protected final CAstEntity topNode

name

protected final String name

Method Details

getControlFlow

public CAstControlFlowMap getControlFlow()

Specified by:

getControlFlow in interface AstTranslator.WalkContext

cfg

public AstTranslator.IncipientCFG cfg()

Specified by:

cfg in interface AstTranslator.WalkContext

getUnwindState

public AstTranslator.UnwindState getUnwindState()

Specified by:

getUnwindState in interface AstTranslator.WalkContext

getName

public String getName()

Specified by:

getName in interface AstTranslator.WalkContext

top

public CAstEntity top()

Specified by:

top in interface CAstVisitor.Context

getSourceMap

public CAstSourcePositionMap getSourceMap()

Specified by:

getSourceMap in interface AstTranslator.WalkContext

Specified by:

getSourceMap in interface CAstVisitor.Context

codeContext

public AstTranslator.WalkContext codeContext()

Specified by:

codeContext in interface AstTranslator.WalkContext

getAccesses

public Set<AstLexicalAccess.Access> getAccesses(CAstEntity e)

Specified by:

getAccesses in interface AstTranslator.WalkContext

getModule

public ModuleEntry getModule()

Specified by:

getModule in interface AstTranslator.WalkContext

file

public String file()

Specified by:

file in interface AstTranslator.WalkContext

currentScope

public AstTranslator.Scope currentScope()

Specified by:

currentScope in interface AstTranslator.WalkContext

entityScopes

public Set<AstTranslator.Scope> entityScopes()

Specified by:

entityScopes in interface AstTranslator.WalkContext

setCatchType

public void setCatchType(IBasicBlock<SSAInstruction> bb,
 TypeReference catchType)

Specified by:

setCatchType in interface AstTranslator.WalkContext

setCatchType

public void setCatchType(CAstNode catchNode,
 TypeReference catchType)

Specified by:

setCatchType in interface AstTranslator.WalkContext

getCatchTypes

public Map<IBasicBlock<SSAInstruction>,TypeReference[]> getCatchTypes()

Specified by:

getCatchTypes in interface AstTranslator.WalkContext

addEntityName

public void addEntityName(CAstEntity e,
 String name)

Specified by:

addEntityName in interface AstTranslator.WalkContext

getEntityName

public String getEntityName(CAstEntity e)

Specified by:

getEntityName in interface AstTranslator.WalkContext

hasValue

public boolean hasValue(CAstNode n)

Specified by:

hasValue in interface AstTranslator.WalkContext

setValue

public int setValue(CAstNode n,
 int v)

Specified by:

setValue in interface AstTranslator.WalkContext

getValue

public int getValue(CAstNode n)

Specified by:

getValue in interface AstTranslator.WalkContext

exposeNameSet

public Set<Pair<Pair<String,String>,Integer>> exposeNameSet(CAstEntity entity,
 boolean writeSet)

Specified by:

exposeNameSet in interface AstTranslator.WalkContext

getGlobalScope

public AstTranslator.Scope getGlobalScope()

Specified by:

getGlobalScope in interface AstTranslator.WalkContext