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

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

Public Member Functions
void	unifyWith (PointerType that)

Detailed Description

Represents a general pointer type.

Author

Michal Strehovsky

Member Function Documentation

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

(

PointerType

that

)

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

---

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

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