UseCollector Class Reference

#include <include/dataflow.h>

List of all members.


Detailed Description

UseCollector class.

This class collects all uses (live variables) that will be defined by the statement that contains this collector (or the UserProc that contains it). Typically the entries are not subscripted, like parameters or locations on the LHS of assignments

Definition at line 222 of file dataflow.h.

Public Types

typedef LocationSet::iterator iterator

Public Member Functions

iterator begin ()
void clear ()
void dump ()
iterator end ()
bool exists (Exp *e)
void fromSSAform (UserProc *proc, Statement *def)
LocationSetgetLocSet ()
void insert (Exp *e)
bool isInitialised ()
void makeCloneOf (UseCollector &other)
 makeCloneOf(): clone the given Collector into this one
bool operator== (UseCollector &other)
void print (std::ostream &os, bool html=false)
char * prints ()
void remove (iterator it)
void remove (Exp *loc)
void updateLocs (Statement *u)
 UseCollector ()
 Constructor.

Private Attributes

bool initialised
LocationSet locs
 The set of locations.


Member Typedef Documentation

typedef LocationSet::iterator UseCollector::iterator
 

Definition at line 271 of file dataflow.h.


Constructor & Destructor Documentation

UseCollector::UseCollector  )  [inline]
 

Constructor.

Definition at line 236 of file dataflow.h.


Member Function Documentation

iterator UseCollector::begin  )  [inline]
 

Definition at line 272 of file dataflow.h.

References LocationSet::begin(), and locs.

Referenced by CallStatement::accept(), UserProc::initialParameters(), makeCloneOf(), and UserProc::propagateToCollector().

void UseCollector::clear  )  [inline]
 

Definition at line 251 of file dataflow.h.

References LocationSet::clear(), initialised, and locs.

Referenced by CallStatement::clearUseCollector(), UserProc::clearUses(), and CallStatement::removeAllLive().

void UseCollector::dump  ) 
 

Definition at line 672 of file dataflow.cpp.

References print().

iterator UseCollector::end  )  [inline]
 

Definition at line 273 of file dataflow.h.

References LocationSet::end(), and locs.

Referenced by CallStatement::accept(), UserProc::initialParameters(), makeCloneOf(), and UserProc::propagateToCollector().

bool UseCollector::exists Exp e  )  [inline]
 

Definition at line 274 of file dataflow.h.

References LocationSet::exists(), and locs.

Referenced by CallStatement::calcResults().

void UseCollector::fromSSAform UserProc proc,
Statement def
 

Definition at line 705 of file dataflow.cpp.

References LocationSet::begin(), LocationSet::end(), LocationSet::insert(), and locs.

Referenced by CallStatement::useColFromSsaForm().

LocationSet& UseCollector::getLocSet  )  [inline]
 

Definition at line 275 of file dataflow.h.

References locs.

void UseCollector::insert Exp e  )  [inline]
 

Definition at line 256 of file dataflow.h.

References LocationSet::insert(), and locs.

Referenced by CallStatement::useBeforeDefine(), and UserProc::useBeforeDefine().

bool UseCollector::isInitialised  )  [inline]
 

Definition at line 246 of file dataflow.h.

References initialised.

void UseCollector::makeCloneOf UseCollector other  ) 
 

makeCloneOf(): clone the given Collector into this one

Definition at line 684 of file dataflow.cpp.

References begin(), LocationSet::clear(), end(), initialised, LocationSet::insert(), and locs.

bool UseCollector::operator== UseCollector other  ) 
 

Definition at line 725 of file dataflow.cpp.

References LocationSet::begin(), LocationSet::end(), initialised, locs, and LocationSet::size().

void UseCollector::print std::ostream &  os,
bool  html = false
 

Definition at line 618 of file dataflow.cpp.

References LocationSet::begin(), LocationSet::end(), and locs.

Referenced by dump(), UserProc::print(), and prints().

char * UseCollector::prints  ) 
 

Definition at line 656 of file dataflow.cpp.

References debug_buffer, DEBUG_BUFSIZE, and print().

void UseCollector::remove iterator  it  )  [inline]
 

Definition at line 284 of file dataflow.h.

References locs, and LocationSet::remove().

void UseCollector::remove Exp loc  )  [inline]
 

Definition at line 281 of file dataflow.h.

References locs, and LocationSet::remove().

Referenced by CallStatement::removeLiveness().

void UseCollector::updateLocs Statement u  ) 
 


Member Data Documentation

bool UseCollector::initialised [private]
 

Definition at line 227 of file dataflow.h.

Referenced by clear(), isInitialised(), makeCloneOf(), and operator==().

LocationSet UseCollector::locs [private]
 

The set of locations.

Use lessExpStar to compare properly

Definition at line 231 of file dataflow.h.

Referenced by begin(), clear(), end(), exists(), fromSSAform(), getLocSet(), insert(), makeCloneOf(), operator==(), print(), and remove().


The documentation for this class was generated from the following files:
Generated on Tue Sep 19 21:18:47 2006 for Boomerang by  doxygen 1.4.6