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

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

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

Public Member Functions
	FunctionPointerType (EquivalenceClass< LocationPointerType >[] parameterTypes, EquivalenceClass< LocationPointerType > returnType)
List< EquivalenceClass < LocationPointerType > >	getParameterTypes ()
EquivalenceClass < LocationPointerType >	getReturnType ()
void	notifyEquivalenceClassJoined (EquivalenceClass oldClass, EquivalenceClass newClass)
void	unifyWith (PointerType that)

Detailed Description

Author

Michal Strehovsky

Constructor & Destructor Documentation

cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType.FunctionPointerType ( EquivalenceClass< LocationPointerType >[]  parameterTypes, EquivalenceClass< LocationPointerType >  returnType  )

inline

Member Function Documentation

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

inline

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

inline

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

inline

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

void cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType.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/FunctionPointerType.java