********************************************************************
* NOTE: This file is generated automatically from the event * definition file PQueue.evt. ********************************************************************<* PRAGMA LL *> MODULE; <*NOWARN*> IMPORT PQueue, ZeusClass, PQueueAlgClass, ViewClass; REVEAL T = Public BRANDED OBJECT OVERRIDES <* LL.sup = VBT.mu *> isCompat := IsCompat; <* LL.sup < VBT.mu *> oeSetup := Setup; oeInitSort := InitSort; oeInsert := Insert; oeHeapOpInit := HeapOpInit; oeUpHeapStep := UpHeapStep; oeHeapStep := HeapStep; oePlaceElement := PlaceElement; oeRemove := Remove; oeCompare := Compare; oePause := Pause; oeSortStep := SortStep; <* LL.sup = VBT.mu *> END; PROCEDURE PQueueViewClass IsCompat (<*UNUSED*> v: T; alg: ZeusClass.T): BOOLEAN = <* LL.sup = VBT.mu *> BEGIN RETURN ISTYPE(alg, PQueueAlgClass.T) END IsCompat; PROCEDURESetup (view: T ; <*UNUSED*> size: INTEGER ; <*UNUSED*> doSort: BOOLEAN ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Setup; PROCEDUREInitSort (view: T ; <*UNUSED*> vals: PQueue.Array ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END InitSort; PROCEDUREInsert (view: T ; <*UNUSED*> el: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Insert; PROCEDUREHeapOpInit (view: T ; <*UNUSED*> k: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END HeapOpInit; PROCEDUREUpHeapStep (view: T ; <*UNUSED*> k: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END UpHeapStep; PROCEDUREHeapStep (view: T ; <*UNUSED*> k: INTEGER ; <*UNUSED*> n: INTEGER ; <*UNUSED*> down: BOOLEAN ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END HeapStep; PROCEDUREPlaceElement (view: T ; <*UNUSED*> k: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END PlaceElement; PROCEDURERemove (view: T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Remove; PROCEDURECompare (view: T ; <*UNUSED*> k: INTEGER ; <*UNUSED*> n: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Compare; PROCEDUREPause (view: T ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END Pause; PROCEDURESortStep (view: T ; <*UNUSED*> k: INTEGER ) = <* LL.sup < VBT.mu *> BEGIN view.evtHandled := FALSE; END SortStep; BEGIN END PQueueViewClass.