DEFINITION OrderedCollections

DEFINITION OrderedCollections;

   IMPORT Collections, Objects;

   TYPE
      OrderedCollection = POINTER TO OrderedCollectionRec;
      OrderedCollectionRec = RECORD (Collections.CollectionRec) END;

   (* Schnittstelle fuer Implementierungen *)

   TYPE
      Message = RECORD (Collections.Message) END;
      GetMessage =
	 RECORD
	    (Message)
	    index: INTEGER;         (* in *)
	    object: Objects.Object; (* out *)
	 END;

   (* Schnittstelle fuer Klienten *)

   PROCEDURE Get(collection: OrderedCollection;
		 index: INTEGER;
		 VAR object: Objects.Object);

END OrderedCollections.