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

Inheritance diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationSet:

Collaboration diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationSet:

Public Member Functions
AbstractLocation	get (int i)
	AbstractLocationSet (CategorizationProvider provider, AbstractLocation...initList)
void	joinWith (AbstractLocation that)
void	joinWith (AbstractLocationSet that)
Iterator< AbstractLocation >	iterator ()
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.

Iterator<AbstractLocation> cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationSet.iterator ( )

inline

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.

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:

• src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/AbstractLocationSet.java