|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||
java.lang.Object | +--coins.aflow.SetRefReprImpl
Implementation of the SetRefRepr interface
| フィールドの概要 | |
protected BBlock |
fBBlock
|
protected FlowAnalSym |
fDefSym
Symbol or ExpId defined by this SetRefRepr. |
protected FlagBox |
fFlags
|
protected IR |
fIR
|
FlowRoot |
flowRoot
|
protected int |
fOpCode
|
(パッケージプライベート) FlowResults |
fResults
|
protected java.util.List |
fUseExpIdList
|
protected java.util.List |
fUseNodeList
|
SymRoot |
symRoot
|
| インタフェース coins.aflow.SetRefRepr から継承したフィールド |
HAS_CONTROL, IS_RETURN, SETS |
| コンストラクタの概要 | |
protected |
SetRefReprImpl(IR pIR,
BBlock pBBlock)
SetRefReprImpl //##25-1 Make an instance of SetRefRepr for the subtree pIR in the basic block pBBlock. |
| メソッドの概要 | |
boolean |
allFalse()
|
FlowExpId |
defFlowExpId()
Returns the FlowExpId that correponds to the node returned by getDefNode(). |
java.util.Iterator |
expIterator()
Returns the Set of nodes that have FlowAnalSym attached and are not a Def node. |
java.util.ListIterator |
expListIterator()
Returns a DFO iterator that iterates over nodes that have a FlowExpId attached, and, if "this" is value-setting, is not a Def node. // NEEDED |
java.util.ListIterator |
expListIterator(boolean pFromTop,
boolean pFromLeft)
Returns an DFO iterator that iterates over nodes that have a FlowExpId attached, and, if "this" is value-setting, is not a Def node. // NEEDED |
java.util.ListIterator |
expListIteratorFromBottom()
|
abstract java.util.List |
exps()
|
(パッケージプライベート) abstract java.util.List |
exps(boolean pFromTop,
boolean pFromLeft)
|
BBlock |
getBBlock()
|
ExpVector |
getDAvailIn()
|
FlowAnalSymVector |
getDDefIn()
|
FlowAnalSymVector |
getDDefined()
|
FlowAnalSym |
getDefSym()
|
FlowAnalSymVector |
getDExposed()
|
DefVector |
getDKill()
|
DefVector |
getDReach()
|
FlowAnalSymVector |
getDUsed()
|
boolean |
getFlag(int pFlagNumber)
|
java.util.Set |
getFlowExpIds()
|
IR |
getIR()
Returns the (top) node this SetRefRepr represents. |
FlowAnalSymVector |
getPDefined()
|
ExpVector |
getPEKill()
|
FlowAnalSymVector |
getPExposed()
|
DefVector |
getPKill()
|
FlowAnalSymVector |
getPLiveOut()
|
DefVector |
getPReach()
|
FlowAnalSymVector |
getPUsed()
|
java.util.Set |
getUseFlowExpIds()
|
boolean |
hasControl()
Does this SetRefRepr is at the end of the
BBlock and has a role to determine the flow of control
after this SetRefRepr? |
boolean |
isReturn()
|
NodeIterator |
nodeIterator()
DFO iterator over the nodes under the subtree returned by getIR. |
NodeListIterator |
nodeListIterator()
|
NodeListIterator |
nodeListIterator(boolean pFromTop,
boolean pFromLeft)
DFO iterator over the nodes under the subtree returned by getIR(). |
void |
setFlag(int pFlagNumber,
boolean pYesNo)
|
boolean |
sets()
Returns true if this SetRefRepr involves value-setting, other than via the external call. |
IR |
topUseNode()
If this is a value-setting node, returns the top node of the RHS. |
java.lang.String |
toString()
Converts to a String object. |
java.util.Iterator |
useNodeIterator()
DFO iterator over the nodes under the subtree returned by getIR(), but the node returned by getDefNode() excluded. |
java.util.Set |
useSyms()
Returns the Set of the FlowAnalSyms used in this SetRefRepr. |
| クラス java.lang.Object から継承したメソッド |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| インタフェース coins.aflow.SetRefRepr から継承したメソッド |
callNodes, defNode, defSym, hasCallWithSideEffect, lhsSyms, modSyms, modSyms00, useNodeList, writesToDefiniteAddress |
| フィールドの詳細 |
public final FlowRoot flowRoot
public final SymRoot symRoot
protected IR fIR
protected java.util.List fUseNodeList
protected java.util.List fUseExpIdList
protected int fOpCode
FlowResults fResults
protected FlagBox fFlags
protected BBlock fBBlock
protected FlowAnalSym fDefSym
| コンストラクタの詳細 |
protected SetRefReprImpl(IR pIR,
BBlock pBBlock)
| メソッドの詳細 |
public IR getIR()
SetRefRepr の記述:
SetRefRepr 内の getIRpublic java.util.Set useSyms()
SetRefRepr の記述:
SetRefRepr 内の useSymspublic IR topUseNode()
SetRefRepr の記述: getIR().
SetRefRepr 内の topUseNodepublic java.util.Set getFlowExpIds()
public java.util.Set getUseFlowExpIds()
public FlowExpId defFlowExpId()
SetRefRepr の記述: FlowExpId that correponds to the node returned by getDefNode().
SetRefRepr 内の defFlowExpIdpublic FlowAnalSym getDefSym()
SetRefRepr 内の getDefSympublic java.lang.String toString()
SetRefRepr の記述:
SetRefRepr 内の toStringjava.lang.Object 内の toStringpublic NodeIterator nodeIterator()
SetRefRepr の記述: getIR.
SetRefRepr 内の nodeIteratorpublic NodeListIterator nodeListIterator()
SetRefRepr 内の nodeListIterator
public NodeListIterator nodeListIterator(boolean pFromTop,
boolean pFromLeft)
SetRefRepr の記述: getIR().
SetRefRepr 内の nodeListIteratorpFromTop - If true, iterates from the top of the subtree.pFromLeft - if true, iterates from the left of the subtree.public java.util.Iterator useNodeIterator()
SetRefRepr の記述: getIR(), but the node returned by getDefNode() excluded.
SetRefRepr 内の useNodeIteratorpublic java.util.Iterator expIterator()
SetRefRepr 内の expIteratorSetRefRepr.defNode()public java.util.ListIterator expListIterator()
SetRefRepr の記述:
SetRefRepr 内の expListIteratorpublic java.util.ListIterator expListIteratorFromBottom()
public abstract java.util.List exps()
abstract java.util.List exps(boolean pFromTop,
boolean pFromLeft)
public java.util.ListIterator expListIterator(boolean pFromTop,
boolean pFromLeft)
SetRefRepr の記述:
SetRefRepr 内の expListIteratorpFromTop - iterate from top?pFromLeft - iterate from left?public boolean getFlag(int pFlagNumber)
SetRefRepr 内の getFlag
public void setFlag(int pFlagNumber,
boolean pYesNo)
SetRefRepr 内の setFlagpublic boolean allFalse()
SetRefRepr 内の allFalsepublic boolean sets()
SetRefRepr の記述: true if this SetRefRepr involves value-setting, other than via the external call.
SetRefRepr 内の setspublic boolean hasControl()
SetRefRepr の記述: SetRefRepr is at the end of the
BBlock and has a role to determine the flow of control
after this SetRefRepr?
SetRefRepr 内の hasControlpublic boolean isReturn()
SetRefRepr 内の isReturnpublic DefVector getDKill()
SetRefRepr 内の getDKillpublic DefVector getPReach()
SetRefRepr 内の getPReachpublic BBlock getBBlock()
SetRefRepr 内の getBBlockpublic DefVector getDReach()
SetRefRepr 内の getDReachpublic DefVector getPKill()
SetRefRepr 内の getPKillpublic ExpVector getDAvailIn()
SetRefRepr 内の getDAvailInpublic ExpVector getPEKill()
SetRefRepr 内の getPEKillpublic FlowAnalSymVector getDDefIn()
SetRefRepr 内の getDDefInpublic FlowAnalSymVector getDDefined()
SetRefRepr 内の getDDefinedpublic FlowAnalSymVector getPDefined()
SetRefRepr 内の getPDefinedpublic FlowAnalSymVector getDExposed()
SetRefRepr 内の getDExposedpublic FlowAnalSymVector getDUsed()
SetRefRepr 内の getDUsedpublic FlowAnalSymVector getPExposed()
SetRefRepr 内の getPExposedpublic FlowAnalSymVector getPLiveOut()
SetRefRepr 内の getPLiveOutpublic FlowAnalSymVector getPUsed()
SetRefRepr 内の getPUsed
|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||