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