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

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

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.TypeTable, 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/EquivalenceClassJoinListener.java