cz.muni.stanse.pointeranalyzer.steensgaard.PointerType Interface Reference

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

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

Public Member Functions
void	unifyWith (PointerType that)
Public Member Functions inherited from cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClassJoinListener
void	notifyEquivalenceClassJoined (EquivalenceClass oldClass, EquivalenceClass newClass)

Detailed Description

Author

Michal Strehovsky

Member Function Documentation

void cz.muni.stanse.pointeranalyzer.steensgaard.PointerType.unifyWith

(

PointerType

that

)

Implemented in cz.muni.stanse.pointeranalyzer.steensgaard.FunctionPointerType, and cz.muni.stanse.pointeranalyzer.steensgaard.LocationPointerType.

---

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

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