Inheritance diagram for cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationJoinListener:
Public Member Functions | |
| void | notifyAbstractLocationsJoined (AbstractLocation oldClass, AbstractLocation newClass) |
Detailed Description
Represents the ability of implementing class to listen to join operations on abstract locations.
Member Function Documentation
| void cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationJoinListener.notifyAbstractLocationsJoined | ( | AbstractLocation | oldClass, |
| AbstractLocation | newClass | ||
| ) |
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
Implemented in cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocation, cz.muni.stanse.pointeranalyzer.shapirohorwitz.TypeTable, cz.muni.stanse.pointeranalyzer.shapirohorwitz.LocationPointerType, cz.muni.stanse.pointeranalyzer.shapirohorwitz.AbstractLocationSet, and cz.muni.stanse.pointeranalyzer.shapirohorwitz.FunctionPointerType.
The documentation for this interface was generated from the following file:
- src/cz/muni/stanse/pointeranalyzer/shapirohorwitz/AbstractLocationJoinListener.java
