Stanse  -1
Public Member Functions | List of all members
cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType Class Reference
Inheritance diagram for cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType:
Inheritance graph
[legend]
Collaboration diagram for cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType:
Collaboration graph
[legend]

Public Member Functions

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

Detailed Description

Author
Michal Strehovsky

Constructor & Destructor Documentation

◆ FunctionPointerType()

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

Member Function Documentation

◆ getParameterTypes()

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

◆ getReturnType()

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

◆ notifyEquivalenceClassJoined()

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

◆ unifyWith()

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

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