coins.aflow
Class SetRefReprEImpl

java.lang.Object
  coins.aflow.SetRefReprImpl
      coins.aflow.SetRefReprEImpl

All Implemented Interfaces:

SetRefRepr

public abstract class SetRefReprEImpl

extends SetRefReprImpl

implements SetRefRepr

Implementation of the SetRefRepr interface

Field Summary

Fields inherited from class coins.aflow.SetRefReprImpl

fBBlock, fDefSym, fFlags, fIR, flowRoot, fOpCode, fResults, fUseExpIdList, fUseNodeList, symRoot

Fields inherited from interface coins.aflow.SetRefRepr

HAS_CONTROL, IS_RETURN, SETS

Constructor Summary

protected

SetRefReprEImpl(IR pIR, BBlock pBBlock)

Method Summary

java.util.Set

useSyms() Returns the Set of the FlowAnalSyms used in this SetRefRepr.

Methods inherited from class coins.aflow.SetRefReprImpl

allFalse, defFlowExpId, expIterator, expListIterator, expListIterator, expListIteratorFromBottom, exps, exps, getBBlock, getDAvailIn, getDDefIn, getDDefined, getDefSym, getDExposed, getDKill, getDReach, getDUsed, getFlag, getFlowExpIds, getIR, getPDefined, getPEKill, getPExposed, getPKill, getPLiveOut, getPReach, getPUsed, getUseFlowExpIds, hasControl, isReturn, nodeIterator, nodeListIterator, nodeListIterator, setFlag, sets, topUseNode, toString, useNodeIterator

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface coins.aflow.SetRefRepr

allFalse, callNodes, defFlowExpId, defNode, defSym, expIterator, expListIterator, expListIterator, getBBlock, getDAvailIn, getDDefIn, getDDefined, getDefSym, getDExposed, getDKill, getDReach, getDUsed, getFlag, getIR, getPDefined, getPEKill, getPExposed, getPKill, getPLiveOut, getPReach, getPUsed, hasCallWithSideEffect, hasControl, isReturn, lhsSyms, modSyms, modSyms00, nodeIterator, nodeListIterator, nodeListIterator, setFlag, sets, topUseNode, toString, useNodeIterator, useNodeList, writesToDefiniteAddress

Constructor Detail

SetRefReprEImpl

protected SetRefReprEImpl(IR pIR,
                          BBlock pBBlock)

Method Detail

useSyms

public java.util.Set useSyms()

Description copied from interface: SetRefRepr

Returns the Set of the FlowAnalSyms used in this SetRefRepr. All symbols whose values can possibly referred within this SetRefRepr are included, but those that can be referred to through the external calls (i.e. global symbols) within this SetRefRepr are not considered.

Specified by:

useSyms in interface SetRefRepr

Overrides:

useSyms in class SetRefReprImpl