mentor/derived/SubtypeIE.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 Subtype.evt.
      ********************************************************************



<* PRAGMA LL *>

INTERFACE SubtypeIE;

<*NOWARN*> IMPORT Algorithm, AlgSubtype, View, Thread;

 call the following to generate an event: 


PROCEDURE Setup (
      initiator: Algorithm.T;

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

PROCEDURE Begin (
      initiator: Algorithm.T;
       lftRoot, rhtRoot: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

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

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

PROCEDURE NewFun (
      initiator: Algorithm.T;
       index, domEdgeIndex, rngEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE NewDomRng (
      initiator: Algorithm.T;
       index, domIndex, rngIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE NewLoop (
      initiator: Algorithm.T;
       fromIndex, toIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Enter (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Exit (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER; result: BOOLEAN
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE SeenOK (
      initiator: Algorithm.T;
       fromIndex, toIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE Notice (
      initiator: Algorithm.T;
       fromIndex, toIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE BotLessAnyOK (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE TopLessTopOK (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE TopLessNonTopKO (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE FunLessBotKO (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE FunLessTopOK (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE FunLessFun (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE OK (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

PROCEDURE KO (
      initiator: Algorithm.T;
       lftIndex, rhtIndex, lftLeadingEdgeIndex, rhtLeadingEdgeIndex: INTEGER
    ) RAISES {Thread.Alerted};
    <* LL = {} *>

END SubtypeIE.





interface View is in: