cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet Class Reference

Inheritance diagram for cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet:
[legend]
Collaboration diagram for cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet:
[legend]

List of all members.

Public Member Functions

AbstractLocation get (int i)
 AbstractLocationSet (CategorizationProvider provider, AbstractLocation...initList)
void joinWith (AbstractLocation that)
void joinWith (AbstractLocationSet that)
Iterator< AbstractLocationiterator ()
void notifyAbstractLocationsJoined (AbstractLocation oldClass, AbstractLocation newClass)


Detailed Description

Represents a set of k abstract location, where k is the number of categories.

Author:
Michal Strehovsky

Constructor & Destructor Documentation

cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet::AbstractLocationSet ( CategorizationProvider  provider,
AbstractLocation...  initList 
) [inline]


Member Function Documentation

AbstractLocation cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet::get ( int  i  )  [inline]

Gets i'th AbstractLocation in the set.

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet::joinWith ( AbstractLocation  that  )  [inline]

Joins the specified abstract location to the set. If AbstractLocation having the same category is already contained, it will join it with specified abstract location.

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet::joinWith ( AbstractLocationSet  that  )  [inline]

Joins this AbstractLocationSet with another.

Iterator<AbstractLocation> cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet::iterator (  )  [inline]

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationSet::notifyAbstractLocationsJoined ( AbstractLocation  oldClass,
AbstractLocation  newClass 
) [inline]

Called when the abstract location this class points to has been joined with a new class. Implementers should replace all stored references to oldClass by newClass.

Parameters:
oldClass 
newClass 

Implements cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationJoinListener.


The documentation for this class was generated from the following file:

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6