cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationJoinListener Interface Reference

Inheritance diagram for cz::muni::stanse::pointeranalyzer::shapirohorwitz::AbstractLocationJoinListener:

[legend]

List of all members.

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.

Author:

Michal

---

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::AbstractLocationSet, cz::muni::stanse::pointeranalyzer::shapirohorwitz::FunctionPointerType, cz::muni::stanse::pointeranalyzer::shapirohorwitz::LocationPointerType, and cz::muni::stanse::pointeranalyzer::shapirohorwitz::TypeTable.

---

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

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