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.
- 関連項目:
- 直列化された形式
クラス java.util.HashMap から継承したフィールド |
|
クラス java.util.AbstractMap から継承したフィールド |
|
メソッドの概要 |
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