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

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

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

Public Member Functions
	LocationPointerType (EquivalenceClass< LocationPointerType > tau, EquivalenceClass< FunctionPointerType > lambda)
EquivalenceClass < LocationPointerType >	getTau ()
EquivalenceClass < FunctionPointerType >	getLambda ()
void	notifyEquivalenceClassJoined (EquivalenceClass oldClass, EquivalenceClass newClass)
void	unifyWith (PointerType that)

Detailed Description

Author

Michal Strehovsky

Constructor & Destructor Documentation

cz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType.LocationPointerType ( EquivalenceClass< LocationPointerType >  tau, EquivalenceClass< FunctionPointerType >  lambda  )

inline

Member Function Documentation

EquivalenceClass<FunctionPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType.getLambda ( )

inline

EquivalenceClass<LocationPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType.getTau ( )

inline

void cz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType.notifyEquivalenceClassJoined ( EquivalenceClass  oldClass, EquivalenceClass  newClass  )

inline

Implements cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClassJoinListener.

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

inline

Implements cz.muni.stanse.pointeranalyzer.steensgaard.PointerType.

---

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

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