DEFINITION OrderedCollections

DEFINITION OrderedCollections;

   IMPORT Collections, Objects;

   (* 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: Collections.Collection;
		 index: INTEGER; VAR object: Objects.Object);

END OrderedCollections.