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

Inheritance diagram for cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType:

[legend]

Collaboration diagram for cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType:

[legend]

List of all members.

Public Member Functions
	LocationPointerType (CategorizationProvider catProvider, AbstractLocation tau, AbstractLocation lambda)
	LocationPointerType (CategorizationProvider catProvider)
AbstractLocationSet	getTau ()
AbstractLocation	getLambda ()
LocationPointerType	dereference ()
void	unifyWith (PointerType that)
void	notifyAbstractLocationsJoined (AbstractLocation oldClass, AbstractLocation newClass)

---

Detailed Description

Represents the location pointer type.

Author:

Michal Strehovsky

---

Constructor & Destructor Documentation

cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType::LocationPointerType	(	CategorizationProvider	catProvider,
		AbstractLocation	tau,
		AbstractLocation	lambda
	)			[inline]

cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType::LocationPointerType

(

CategorizationProvider

catProvider

)

[inline]

---

Member Function Documentation

AbstractLocationSet cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType::getTau

(

)

[inline]

Gets the location component of the type.

AbstractLocation cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType::getLambda

(

)

[inline]

Gets the function component of the type.

LocationPointerType cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType::dereference

(

)

[inline]

Dereferences the type.

Returns:

the dereferenced type.

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType::unifyWith

(

PointerType

that

)

[inline]

Unifies this type with another LocationPointerType.

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

void cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType::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/LocationPointerType.java