public class AstTranslator.CodeEntityContext extends Object
Constructor and Description |
---|
CodeEntityContext(AstTranslator.WalkContext parent,
AstTranslator.Scope entityScope,
CAstEntity s) |
Modifier and Type | Method and Description |
---|---|
AstTranslator.IncipientCFG |
cfg() |
AstTranslator.Scope |
currentScope() |
Set<AstTranslator.Scope> |
entityScopes() |
Set<Pair<Pair<String,String>,Integer>> |
exposeNameSet(CAstEntity entity,
boolean writeSet) |
Set<AstLexicalAccess.Access> |
getAccesses(CAstEntity e) |
Map<IBasicBlock,TypeReference[]> |
getCatchTypes() |
CAstControlFlowMap |
getControlFlow() |
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) |
public CodeEntityContext(AstTranslator.WalkContext parent, AstTranslator.Scope entityScope, CAstEntity s)
public Set<AstLexicalAccess.Access> getAccesses(CAstEntity e)
getAccesses
in interface AstTranslator.WalkContext
public Set<Pair<Pair<String,String>,Integer>> exposeNameSet(CAstEntity entity, boolean writeSet)
exposeNameSet
in interface AstTranslator.WalkContext
public CAstControlFlowMap getControlFlow()
getControlFlow
in interface AstTranslator.WalkContext
public AstTranslator.IncipientCFG cfg()
cfg
in interface AstTranslator.WalkContext
public AstTranslator.Scope currentScope()
currentScope
in interface AstTranslator.WalkContext
public Set<AstTranslator.Scope> entityScopes()
entityScopes
in interface AstTranslator.WalkContext
public AstTranslator.UnwindState getUnwindState()
getUnwindState
in interface AstTranslator.WalkContext
public void setCatchType(CAstNode catchNode, TypeReference catchType)
setCatchType
in interface AstTranslator.WalkContext
public void setCatchType(IBasicBlock bb, TypeReference catchType)
setCatchType
in interface AstTranslator.WalkContext
public Map<IBasicBlock,TypeReference[]> getCatchTypes()
getCatchTypes
in interface AstTranslator.WalkContext
public boolean hasValue(CAstNode n)
hasValue
in interface AstTranslator.WalkContext
public final int setValue(CAstNode n, int v)
setValue
in interface AstTranslator.WalkContext
public final int getValue(CAstNode n)
getValue
in interface AstTranslator.WalkContext