|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
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
内の getIR
public java.util.Set useSyms()
SetRefRepr
の記述:
SetRefRepr
内の useSyms
public IR topUseNode()
SetRefRepr
の記述: getIR()
.
SetRefRepr
内の topUseNode
public java.util.Set getFlowExpIds()
public java.util.Set getUseFlowExpIds()
public FlowExpId defFlowExpId()
SetRefRepr
の記述: FlowExpId
that correponds to the node returned by getDefNode()
.
SetRefRepr
内の defFlowExpId
public FlowAnalSym getDefSym()
SetRefRepr
内の getDefSym
public java.lang.String toString()
SetRefRepr
の記述:
SetRefRepr
内の toString
java.lang.Object
内の toString
public NodeIterator nodeIterator()
SetRefRepr
の記述: getIR
.
SetRefRepr
内の nodeIterator
public NodeListIterator nodeListIterator()
SetRefRepr
内の nodeListIterator
public NodeListIterator nodeListIterator(boolean pFromTop, boolean pFromLeft)
SetRefRepr
の記述: getIR()
.
SetRefRepr
内の nodeListIterator
pFromTop
- 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
内の useNodeIterator
public java.util.Iterator expIterator()
SetRefRepr
内の expIterator
SetRefRepr.defNode()
public java.util.ListIterator expListIterator()
SetRefRepr
の記述:
SetRefRepr
内の expListIterator
public 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
内の expListIterator
pFromTop
- iterate from top?pFromLeft
- iterate from left?public boolean getFlag(int pFlagNumber)
SetRefRepr
内の getFlag
public void setFlag(int pFlagNumber, boolean pYesNo)
SetRefRepr
内の setFlag
public boolean allFalse()
SetRefRepr
内の allFalse
public boolean sets()
SetRefRepr
の記述: true
if this SetRefRepr
involves value-setting, other than via the external call.
SetRefRepr
内の sets
public 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
内の hasControl
public boolean isReturn()
SetRefRepr
内の isReturn
public DefVector getDKill()
SetRefRepr
内の getDKill
public DefVector getPReach()
SetRefRepr
内の getPReach
public BBlock getBBlock()
SetRefRepr
内の getBBlock
public DefVector getDReach()
SetRefRepr
内の getDReach
public DefVector getPKill()
SetRefRepr
内の getPKill
public ExpVector getDAvailIn()
SetRefRepr
内の getDAvailIn
public ExpVector getPEKill()
SetRefRepr
内の getPEKill
public FlowAnalSymVector getDDefIn()
SetRefRepr
内の getDDefIn
public FlowAnalSymVector getDDefined()
SetRefRepr
内の getDDefined
public FlowAnalSymVector getPDefined()
SetRefRepr
内の getPDefined
public FlowAnalSymVector getDExposed()
SetRefRepr
内の getDExposed
public FlowAnalSymVector getDUsed()
SetRefRepr
内の getDUsed
public FlowAnalSymVector getPExposed()
SetRefRepr
内の getPExposed
public FlowAnalSymVector getPLiveOut()
SetRefRepr
内の getPLiveOut
public FlowAnalSymVector getPUsed()
SetRefRepr
内の getPUsed
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |