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: