cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClassJoinListener Interface Reference

Inheritance diagram for cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClassJoinListener:

[legend]

List of all members.

Public Member Functions
void	notifyEquivalenceClassJoined (EquivalenceClass oldClass, EquivalenceClass newClass)

---

Detailed Description

Classes implementing this interface are able to process notifications when two equivalence classes get joined.

Author:

Michal Strehovsky

---

Member Function Documentation

void cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClassJoinListener::notifyEquivalenceClassJoined	(	EquivalenceClass	oldClass,
		EquivalenceClass	newClass
	)

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

---

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

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