public final class AstTranslator.RootContext extends Object implements AstTranslator.WalkContext
Constructor and Description |
---|
RootContext(CAstEntity N,
ModuleEntry module) |
Modifier and Type | Method and Description |
---|---|
void |
addEntityName(CAstEntity e,
String name) |
AstTranslator.IncipientCFG |
cfg() |
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,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 castNode,
TypeReference catchType) |
void |
setCatchType(IBasicBlock bb,
TypeReference catchType) |
int |
setValue(CAstNode n,
int v) |
CAstEntity |
top() |
public RootContext(CAstEntity N, ModuleEntry module)
public ModuleEntry getModule()
getModule
in interface AstTranslator.WalkContext
public String file()
file
in interface AstTranslator.WalkContext
public CAstEntity top()
top
in interface CAstVisitor.Context
public AstTranslator.Scope currentScope()
currentScope
in interface AstTranslator.WalkContext
public Set<AstTranslator.Scope> entityScopes()
entityScopes
in interface AstTranslator.WalkContext
public CAstSourcePositionMap getSourceMap()
getSourceMap
in interface AstTranslator.WalkContext
getSourceMap
in interface CAstVisitor.Context
public CAstControlFlowMap getControlFlow()
getControlFlow
in interface AstTranslator.WalkContext
public AstTranslator.IncipientCFG cfg()
cfg
in interface AstTranslator.WalkContext
public AstTranslator.UnwindState getUnwindState()
getUnwindState
in interface AstTranslator.WalkContext
public String getName()
getName
in interface AstTranslator.WalkContext
public void setCatchType(IBasicBlock bb, TypeReference catchType)
setCatchType
in interface AstTranslator.WalkContext
public void setCatchType(CAstNode castNode, TypeReference catchType)
setCatchType
in interface AstTranslator.WalkContext
public Map<IBasicBlock,TypeReference[]> getCatchTypes()
getCatchTypes
in interface AstTranslator.WalkContext
public void addEntityName(CAstEntity e, String name)
addEntityName
in interface AstTranslator.WalkContext
public String getEntityName(CAstEntity e)
getEntityName
in interface AstTranslator.WalkContext
public boolean hasValue(CAstNode n)
hasValue
in interface AstTranslator.WalkContext
public int setValue(CAstNode n, int v)
setValue
in interface AstTranslator.WalkContext
public int getValue(CAstNode n)
getValue
in interface AstTranslator.WalkContext
public Set<Pair<Pair<String,String>,Integer>> exposeNameSet(CAstEntity entity, boolean writeSet)
exposeNameSet
in interface AstTranslator.WalkContext
public Set<AstLexicalAccess.Access> getAccesses(CAstEntity e)
getAccesses
in interface AstTranslator.WalkContext
public AstTranslator.Scope getGlobalScope()
getGlobalScope
in interface AstTranslator.WalkContext