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

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

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

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

LocationPointerType cz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType.dereference ( )

inline

Dereferences the type.

Returns

the dereferenced type.

AbstractLocation cz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType.getLambda ( )

inline

Gets the function component of the type.

AbstractLocationSet cz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType.getTau ( )

inline

Gets the location component of the type.

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.

void cz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType.unifyWith ( PointerType  that )

inline

Unifies this type with another LocationPointerType.

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

---

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

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