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

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

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

Public Member Functions
	FunctionPointerType (List< AbstractLocation > parameters, AbstractLocation returnParameter)
void	unifyWith (PointerType that)
void	notifyAbstractLocationsJoined (AbstractLocation oldClass, AbstractLocation newClass)

Detailed Description

Represents a type for functions.

Author

Michal Strehovsky

Constructor & Destructor Documentation

cz.muni.stanse.pointeranalyzer.shapirohorwitz.FunctionPointerType.FunctionPointerType ( List< AbstractLocation >  parameters, AbstractLocation  returnParameter  )

inline

Member Function Documentation

void cz.muni.stanse.pointeranalyzer.shapirohorwitz.FunctionPointerType.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.FunctionPointerType.unifyWith ( PointerType  that )

inline

Unifies this type with another FunctionPointerType.

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

---

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

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