coins.alias.alias2
クラス Prescan

java.lang.Object
  |
  +--coins.ir.hir.HirVisitorModel2
        |
        +--coins.alias.alias2.Prescan
すべての実装インタフェース:
HirVisitor

class Prescan
extends HirVisitorModel2

Scans HIR nodes and collects some info.


フィールドの概要
(パッケージプライベート)  java.util.Set fAccessedConstSubscripts
           
(パッケージプライベート)  java.util.Set fAccessedElems
           
(パッケージプライベート)  java.util.Set fAccessedVars
           
(パッケージプライベート)  java.util.Set fmallocs
           
(パッケージプライベート)  int fTagBitCount
          Total number of Tags that have a bit position assigned in the TagVector.
 
クラス coins.ir.hir.HirVisitorModel2 から継承したフィールド
fDbgLevel, hirRoot, ioRoot, symRoot
 
コンストラクタの概要
(パッケージプライベート) Prescan(SubpDefinition pSubpDef, AliasAnalHir2 pAliasAnal)
          Creates a new instance of TagTreeBuilder
 
メソッドの概要
 void atFunctionExp(FunctionExp pExp)
           
 void atPointedExp(PointedExp pExp)
          Visits the children of the specified argument, creates a Tag for the MyExpId attached to the specified argument if it is not yet done, and registers the node-Tag correspondence into a global map.
 void atQualifiedExp(QualifiedExp pExp)
           
 void atSubscriptedExp(SubscriptedExp pExp)
           
 void atVarNode(VarNode pVarNode)
           
(パッケージプライベート)  void process()
           
 
クラス coins.ir.hir.HirVisitorModel2 から継承したメソッド
atAsmStmt, atAssignStmt, atBlockStmt, atConstNode, atElemNode, atExp, atExpStmt, atForStmt, atHirList, atHirSeq, atIfStmt, atIndexedLoopStmt, atInfNode, atInfStmt, atIrList, atJumpStmt, atLabelDef, atLabeledStmt, atLabelNode, atLoopStmt, atNullNode, atPhiExp, atProgram, atRepeatStmt, atReturnStmt, atSubpDefinition, atSubpNode, atSwitchStmt, atSymNode, atTypeNode, atUntilStmt, atWhileStmt, visit, visitChildren
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

fTagBitCount

int fTagBitCount
Total number of Tags that have a bit position assigned in the TagVector.


fAccessedVars

java.util.Set fAccessedVars

fAccessedElems

java.util.Set fAccessedElems

fAccessedConstSubscripts

java.util.Set fAccessedConstSubscripts

fmallocs

java.util.Set fmallocs
コンストラクタの詳細

Prescan

Prescan(SubpDefinition pSubpDef,
        AliasAnalHir2 pAliasAnal)
Creates a new instance of TagTreeBuilder

パラメータ:
pSubpDef - the SubpDefinition object this module is responsible for.
メソッドの詳細

process

void process()

atVarNode

public void atVarNode(VarNode pVarNode)
定義:
インタフェース HirVisitor 内の atVarNode
オーバーライド:
クラス HirVisitorModel2 内の atVarNode

atSubscriptedExp

public void atSubscriptedExp(SubscriptedExp pExp)
定義:
インタフェース HirVisitor 内の atSubscriptedExp
オーバーライド:
クラス HirVisitorModel2 内の atSubscriptedExp

atQualifiedExp

public void atQualifiedExp(QualifiedExp pExp)
定義:
インタフェース HirVisitor 内の atQualifiedExp
オーバーライド:
クラス HirVisitorModel2 内の atQualifiedExp

atPointedExp

public void atPointedExp(PointedExp pExp)
Visits the children of the specified argument, creates a Tag for the MyExpId attached to the specified argument if it is not yet done, and registers the node-Tag correspondence into a global map.

定義:
インタフェース HirVisitor 内の atPointedExp
オーバーライド:
クラス HirVisitorModel2 内の atPointedExp
パラメータ:
pExp - the PointedExp the MyExpId attached to which is going to be assigned a Tag.

atFunctionExp

public void atFunctionExp(FunctionExp pExp)
定義:
インタフェース HirVisitor 内の atFunctionExp
オーバーライド:
クラス HirVisitorModel2 内の atFunctionExp