mentor/derived/HullIE.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 Hull.evt.
      ********************************************************************



<* PRAGMA LL *>

INTERFACE HullIE;

<*NOWARN*> IMPORT HullFmt, IntList, SiteList, Algorithm, View;
<*NOWARN*> IMPORT Thread;

 call the following to generate an event: 


PROCEDURE Setup (
      initiator: Algorithm.T;
       trueSites, auxSites: SiteList.T
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE SetHalfPlane (
      initiator: Algorithm.T;
       tail, head: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE ClearHead (
      initiator: Algorithm.T;

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

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

PROCEDURE ClearTest (
      initiator: Algorithm.T;

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

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

PROCEDURE ClearTail (
      initiator: Algorithm.T;

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

PROCEDURE MoveHalfPlane (
      initiator: Algorithm.T;
       tail, head: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Confirm (
      initiator: Algorithm.T;
       tail, head: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Deny (
      initiator: Algorithm.T;
       tail, head: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Swap (
      initiator: Algorithm.T;
       i, j: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Sentinel (
      initiator: Algorithm.T;
       i, j: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE ReOrder (
      initiator: Algorithm.T;
       l: IntList.T
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Stretch (
      initiator: Algorithm.T;
       hullSites, otherSites: IntList.T
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Snap (
      initiator: Algorithm.T;
       hullSites, otherSites: IntList.T
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Shuffle (
      initiator: Algorithm.T;
       hullSites, otherSites: IntList.T
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

END HullIE.





interface View is in: