mentor/derived/PQueueIE.i3


 Copyright (C) 1995, Digital Equipment Corporation.       
 All rights reserved.                                     
 See the file COPYRIGHT for a full description.           
                                                          
 Last modified on Thu Feb  9 08:50:12 PST 1995 by kalsow  
      modified on Sun Jun  5 21:58:07 PDT 1994 by mhb     
      modified on Wed Feb 17 16:46:35 PST 1993 by johnh   

********************************************************************

      *  NOTE: This file is generated automatically from the event
      *        definition file PQueue.evt.
      ********************************************************************


<* PRAGMA LL *>

INTERFACE PQueueIE;

<*NOWARN*> IMPORT PQueue, Algorithm, View, Thread;
call the following to generate an event:

PROCEDURE Setup (
      initiator: Algorithm.T;
       size: INTEGER; doSort: BOOLEAN
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE InitSort (
      initiator: Algorithm.T;
       vals: PQueue.Array
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Insert (
      initiator: Algorithm.T;
       el: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE HeapOpInit (
      initiator: Algorithm.T;
       k: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE UpHeapStep (
      initiator: Algorithm.T;
       k: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE HeapStep (
      initiator: Algorithm.T;
       k, n: INTEGER; down: BOOLEAN
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE PlaceElement (
      initiator: Algorithm.T;
       k: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Remove (
      initiator: Algorithm.T;

    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Compare (
      initiator: Algorithm.T;
       k: INTEGER; n: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Pause (
      initiator: Algorithm.T;

    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE SortStep (
      initiator: Algorithm.T;
       k: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

END PQueueIE.

interface View is in: