|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
java.lang.Object | +--coins.aflow.SetRefReprImpl | +--coins.aflow.SetRefReprHirImpl | +--coins.aflow.SetRefReprHirEImpl
Implementation of the SetRefRepr interface for HIR
フィールドの概要 | |
protected java.util.Set |
fAllSubexps
fAllSubexps: ExpId's of all subexpressions under the node corresponding to this. |
protected boolean |
fCallWithSideEffectIncluded
fCallIncluded: True if call with side effect is included in the subtree fIR, false if call with side effect is not included. |
protected java.util.Set |
fLeafOperands
fLeafOperands: Symbols of subexpressions used as operands by the node corresponding to this. |
protected java.util.Set |
fModSyms
fModSyms: Symbols that may be modified by the node corresponding to this. |
protected java.util.Set |
fModSymsStmt
fModSymsStmt: Symbols that may be modified by the simple statement containing the subtree corresponding to this SetRefRepr. |
protected java.util.Set |
fOperandExp
fOperandExp: ExpId's of subexpressions used as direct operands by the node corresponding to this. |
クラス coins.aflow.SetRefReprHirImpl から継承したフィールド |
flow, fStmt, hirRoot |
クラス coins.aflow.SetRefReprImpl から継承したフィールド |
fBBlock, fDefSym, fFlags, fIR, flowRoot, fOpCode, fResults, fUseExpIdList, fUseNodeList, symRoot |
インタフェース coins.aflow.SetRefRepr から継承したフィールド |
HAS_CONTROL, IS_RETURN, SETS |
コンストラクタの概要 | |
SetRefReprHirEImpl(HIR pSubtree,
BBlock pBBlock,
boolean pDef,
java.util.Set pModSymsStmt)
SetRefReprHirEImpl instanciates SetRefRepr for the subtree pSubtree by computing SetRefRepr for child subtrees. |
メソッドの概要 | |
java.util.Set |
allSubexps()
operandExp: ExpId's of all subexpressions of the subtree corresponding to this. |
protected void |
computeSetRefRepr(HIR pHir,
BBlock pBBlock,
boolean pDef,
java.util.Set pModSymsStmt)
computeSetRefRepr: Compute defined symbols (fDefSym) and set of possibly modified variables (fModSyms), variables used as leaf operand (fLeafOperands). |
IR |
defNode()
Returns the IR node which links to the definitely defined (set) symbol. |
Stmt |
getStmt()
Returns the Stmt node that originated this SetRefReprHir . |
boolean |
hasCallWithSideEffect()
|
java.util.Set |
leafOperands()
leafOperands: Get the set of symbols used as operands gathered from all leaf nodes of the subtree corresponding to this. |
java.util.Set |
modSyms()
modSyms returns the set of symbols that are possibly defined in this SetRefRepr. |
java.util.Set |
modSyms0()
modSyms0 returns the set of symbols that are possibly defined in this SetRefRepr as modSyms() and symbols externally defined (i.e. via external calls) if call is included. |
java.util.Set |
modSymsStmt()
modSymsStmt returns the set of symbols that are possibly defined in the this SetRefRepr. |
java.util.Set |
operandExp()
operandExp: ExpId's of subexpressions used as direct operands by the node corresponding to this. |
クラス coins.aflow.SetRefReprHirImpl から継承したメソッド |
callNodes, checkWhetherBranch, defSym, exps, exps, expsUnder, flowAnalSymNodesUnder, flowAnalSymsUnder, hasDefiniteValue, lhsSyms, modSyms00, modSymsUnder, symsModifiedForLhsExp, useNodeList, useNodeList, writesToDefiniteAddress |
クラス java.lang.Object から継承したメソッド |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
インタフェース coins.aflow.SetRefRepr から継承したメソッド |
allFalse, callNodes, defFlowExpId, defSym, expIterator, expListIterator, expListIterator, getBBlock, getDAvailIn, getDDefIn, getDDefined, getDefSym, getDExposed, getDKill, getDReach, getDUsed, getFlag, getIR, getPDefined, getPEKill, getPExposed, getPKill, getPLiveOut, getPReach, getPUsed, hasControl, isReturn, lhsSyms, modSyms00, nodeIterator, nodeListIterator, nodeListIterator, setFlag, sets, topUseNode, toString, useNodeIterator, useNodeList, useSyms, writesToDefiniteAddress |
フィールドの詳細 |
protected java.util.Set fModSyms
protected java.util.Set fModSymsStmt
protected java.util.Set fLeafOperands
protected java.util.Set fOperandExp
protected java.util.Set fAllSubexps
protected boolean fCallWithSideEffectIncluded
コンストラクタの詳細 |
public SetRefReprHirEImpl(HIR pSubtree, BBlock pBBlock, boolean pDef, java.util.Set pModSymsStmt)
メソッドの詳細 |
protected void computeSetRefRepr(HIR pHir, BBlock pBBlock, boolean pDef, java.util.Set pModSymsStmt)
public Stmt getStmt()
SetRefReprHir
の記述: Stmt
node that originated this SetRefReprHir
. This is usually same as getIR()
, but is differnet when this SetRefReprHir
originates from an IfStmt
.
SetRefReprHir
内の getStmt
SetRefReprHirImpl
内の getStmt
public IR defNode()
SetRefRepr
の記述: sets()
returns
false
.
SetRefRepr
内の defNode
SetRefReprHirImpl
内の defNode
public java.util.Set modSyms()
SetRefRepr
内の modSyms
SetRefReprHirImpl
内の modSyms
public java.util.Set modSymsStmt()
public java.util.Set modSyms0()
public java.util.Set leafOperands()
public java.util.Set operandExp()
public java.util.Set allSubexps()
public boolean hasCallWithSideEffect()
SetRefRepr
内の hasCallWithSideEffect
SetRefReprHirImpl
内の hasCallWithSideEffect
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |