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

Inheritance diagram for cz::muni::stanse::pointeranalyzer::steensgaard::FunctionPointerType:
[legend]
Collaboration diagram for cz::muni::stanse::pointeranalyzer::steensgaard::FunctionPointerType:
[legend]

List of all members.

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]

void cz::muni::stanse::pointeranalyzer::steensgaard::FunctionPointerType::unifyWith ( PointerType  that  )  [inline]


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

Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6