Constructor Detail

• CodeEntityContext

  public CodeEntityContext​(AstTranslator.WalkContext parent,
                           AstTranslator.Scope entityScope,
                           CAstEntity s)

Method Detail

• getAccesses

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

  Specified by:

  getAccesses in interface AstTranslator.WalkContext

• exposeNameSet

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

  Specified by:

  exposeNameSet in interface AstTranslator.WalkContext

• getControlFlow

  public CAstControlFlowMap getControlFlow()

  Specified by:

  getControlFlow in interface AstTranslator.WalkContext

• cfg

  public AstTranslator.IncipientCFG cfg()

  Specified by:

  cfg 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

• getUnwindState

  public AstTranslator.UnwindState getUnwindState()

  Specified by:

  getUnwindState in interface AstTranslator.WalkContext

• setCatchType

  public void setCatchType​(CAstNode catchNode,
                           TypeReference catchType)

  Specified by:

  setCatchType in interface AstTranslator.WalkContext

• setCatchType

  public void setCatchType​(IBasicBlock bb,
                           TypeReference catchType)

  Specified by:

  setCatchType in interface AstTranslator.WalkContext

• getCatchTypes

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

  Specified by:

  getCatchTypes in interface AstTranslator.WalkContext

• hasValue

  public boolean hasValue​(CAstNode n)

  Specified by:

  hasValue in interface AstTranslator.WalkContext

• setValue

  public final int setValue​(CAstNode n,
                            int v)

  Specified by:

  setValue in interface AstTranslator.WalkContext

• getValue

  public final int getValue​(CAstNode n)

  Specified by:

  getValue in interface AstTranslator.WalkContext