coins.aflow
クラス FlowResults

java.lang.Object
  |
  +--java.util.AbstractMap
        |
        +--java.util.HashMap
              |
              +--coins.aflow.util.SelfCollectingResults
                    |
                    +--coins.aflow.FlowResults
すべての実装インタフェース:
java.lang.Cloneable, java.util.Map, java.io.Serializable

public class FlowResults
extends SelfCollectingResults

This class is a SelfCollectingResults class that has several convenience methods. It also has its own map (fCFGInfo) that holds some CFG related info, and that won't be destroyed by calling clear().

Because this class is associated with CFG, it has to be instantiated for every SubpFlow object. This is not what was originally intended.

関連項目:
直列化された形式

フィールドの概要
protected  java.util.Map fCFGInfo
          Holds the Map from Label to BBlock.
protected  int fDbgLevel
           
 FlowRoot flowRoot
           
 
クラス coins.aflow.util.SelfCollectingResults から継承したフィールド
fAnalDependenceGraph, fComrades, regClasses
 
クラス java.util.HashMap から継承したフィールド
 
クラス java.util.AbstractMap から継承したフィールド
 
コンストラクタの概要
FlowResults(FlowRoot pFlowRoot)
          Creates a new instance of FlowResults
 
メソッドの概要
 void clearAll()
          Clear all the information this object holds.
 void find(java.lang.String pAnal, java.lang.Object pObj)
           
 void find(java.lang.String pAnal, java.lang.Object pObj, java.lang.Object pObj0)
           
 java.lang.Object get(java.lang.String pAnal, java.lang.Object pObj)
          Obtains the information specified by the argument pAnal and pObj from the pResults argument.
 java.lang.Object get(java.lang.String pAnal, java.lang.Object pObj, java.lang.Object pObj0)
           
 BBlock getBBlockForLabel(Label pLabel)
           
 BBlock getBBlockForNode(HIR pHIR)
           
 FlowExpId getFlowExpIdForNode(IR pIR)
           
 java.lang.Object getRaw(java.lang.String pAnal)
           
 java.lang.Object getRaw(java.lang.String pAnal, java.lang.Object pObj)
           
 java.lang.Object getRaw(java.lang.String pAnal, java.lang.Object pObj, java.lang.Object pObj0)
           
 void putAnalyzer(java.lang.String pAnal, java.lang.Class pAnalClass)
           
 void putAnalyzer(java.lang.String pAnal, java.lang.Class pAnalClass, java.lang.String pMethodName)
           
static void putRegClasses(RegisterFlowAnalClasses pRegClasses)
           
 void setBBlockForLabel(Label pLabel, BBlock pBBlock)
           
 void setFlowExpIdForNode(IR pIR, FlowExpId pFlowExpId)
           
 
クラス coins.aflow.util.SelfCollectingResults から継承したメソッド
containsKey, containsKey, containsKey, find, get, list, list, list, put, put, put, putRegClasses
 
クラス java.util.HashMap から継承したメソッド
clear, clone, containsKey, containsValue, entrySet, get, isEmpty, keySet, put, putAll, remove, size, values
 
クラス java.util.AbstractMap から継承したメソッド
equals, hashCode, toString
 
クラス java.lang.Object から継承したメソッド
finalize, getClass, notify, notifyAll, wait, wait, wait
 
インタフェース java.util.Map から継承したメソッド
equals, hashCode
 

フィールドの詳細

fCFGInfo

protected final java.util.Map fCFGInfo
Holds the Map from Label to BBlock.


fDbgLevel

protected final int fDbgLevel

flowRoot

public final FlowRoot flowRoot
コンストラクタの詳細

FlowResults

public FlowResults(FlowRoot pFlowRoot)
Creates a new instance of FlowResults

メソッドの詳細

putRegClasses

public static void putRegClasses(RegisterFlowAnalClasses pRegClasses)

clearAll

public void clearAll()
Clear all the information this object holds.


getBBlockForLabel

public BBlock getBBlockForLabel(Label pLabel)

setBBlockForLabel

public void setBBlockForLabel(Label pLabel,
                              BBlock pBBlock)

getFlowExpIdForNode

public FlowExpId getFlowExpIdForNode(IR pIR)

setFlowExpIdForNode

public void setFlowExpIdForNode(IR pIR,
                                FlowExpId pFlowExpId)

getBBlockForNode

public BBlock getBBlockForNode(HIR pHIR)

putAnalyzer

public void putAnalyzer(java.lang.String pAnal,
                        java.lang.Class pAnalClass)
オーバーライド:
クラス SelfCollectingResults 内の putAnalyzer

putAnalyzer

public void putAnalyzer(java.lang.String pAnal,
                        java.lang.Class pAnalClass,
                        java.lang.String pMethodName)
オーバーライド:
クラス SelfCollectingResults 内の putAnalyzer

find

public void find(java.lang.String pAnal,
                 java.lang.Object pObj)
オーバーライド:
クラス SelfCollectingResults 内の find

find

public void find(java.lang.String pAnal,
                 java.lang.Object pObj,
                 java.lang.Object pObj0)
オーバーライド:
クラス SelfCollectingResults 内の find

get

public java.lang.Object get(java.lang.String pAnal,
                            java.lang.Object pObj)
クラス SelfCollectingResults の記述:
Obtains the information specified by the argument pAnal and pObj from the pResults argument. If pResults does not contain the requested information, analyses to obtain the requested information will be performed, and the result eventually returned.

オーバーライド:
クラス SelfCollectingResults 内の get
パラメータ:
pAnal - name of the information to retrieve, which serves as a key for the requested information.
pObj - object that serves as another key for the requested information.
戻り値:
the requested information.

get

public java.lang.Object get(java.lang.String pAnal,
                            java.lang.Object pObj,
                            java.lang.Object pObj0)
オーバーライド:
クラス SelfCollectingResults 内の get

getRaw

public java.lang.Object getRaw(java.lang.String pAnal)
オーバーライド:
クラス SelfCollectingResults 内の getRaw

getRaw

public java.lang.Object getRaw(java.lang.String pAnal,
                               java.lang.Object pObj)
オーバーライド:
クラス SelfCollectingResults 内の getRaw

getRaw

public java.lang.Object getRaw(java.lang.String pAnal,
                               java.lang.Object pObj,
                               java.lang.Object pObj0)
オーバーライド:
クラス SelfCollectingResults 内の getRaw