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< 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.

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:

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