Homogenität eines sortierten binären Baumes

SortedBinaryTrees.od

TYPE ComparableProc = PROCEDURE (object: Objects.Object) : BOOLEAN; PROCEDURE Create(VAR tree: Tree; compare: CompareProc; comparable: ComparableProc); (* creates a binary tree that - requires all inserted objects to be comparable, and - sorts its nodes according to compare *)

Im Vergleich zu unsortierten Datenstrukturen muß bei sortierten Kollektionen darauf geachtet werden, daß die vorgegebene vollständige Ordnungsrelation für alle einzufügenden Objekte anwendbar ist.

Bei dem Konstruktor SortedBinaryTrees.Create wird dann neben der Vergleichsoperation compare auch die Überprüfungsprozedur comparable mit übergeben, die sicherstellt, daß nur Objekte aufgenommen werden, die auch vergleichbar sind.

CalendarManager.om

PROCEDURE Comparable(object: Objects.Object) : BOOLEAN; BEGIN RETURN object IS Appointment END Comparable;

	Im Vergleich zu unsortierten Datenstrukturen muß bei sortierten Kollektionen darauf geachtet werden, daß die vorgegebene vollständige Ordnungsrelation für alle einzufügenden Objekte anwendbar ist.
	Bei dem Konstruktor SortedBinaryTrees.Create wird dann neben der Vergleichsoperation compare auch die Überprüfungsprozedur comparable mit übergeben, die sicherstellt, daß nur Objekte aufgenommen werden, die auch vergleichbar sind.