mentor/derived/SubtypeAlgClass.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:47:37 PST 1995 by kalsow  
 Last modified on Wed Feb 17 16:44:58 PST 1993 by johnh   
      modified on Tue Jun  9 00:35:07 1992 by mhb         

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

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


INTERFACE SubtypeAlgClass;

<*NOWARN*> IMPORT Algorithm, AlgSubtype, AlgorithmClass;

<* PRAGMA LL *>

TYPE
  EventDataRec = RECORD
    stopAtSetup: BOOLEAN := TRUE;
    waitAtSetup: CARDINAL := 1;
    ctOfSetup: CARDINAL := 0;
    stopAtBegin: BOOLEAN := TRUE;
    waitAtBegin: CARDINAL := 1;
    ctOfBegin: CARDINAL := 0;
    stopAtNewBot: BOOLEAN := TRUE;
    waitAtNewBot: CARDINAL := 1;
    ctOfNewBot: CARDINAL := 0;
    stopAtNewTop: BOOLEAN := TRUE;
    waitAtNewTop: CARDINAL := 1;
    ctOfNewTop: CARDINAL := 0;
    stopAtNewFun: BOOLEAN := TRUE;
    waitAtNewFun: CARDINAL := 1;
    ctOfNewFun: CARDINAL := 0;
    stopAtNewDomRng: BOOLEAN := TRUE;
    waitAtNewDomRng: CARDINAL := 1;
    ctOfNewDomRng: CARDINAL := 0;
    stopAtNewLoop: BOOLEAN := TRUE;
    waitAtNewLoop: CARDINAL := 1;
    ctOfNewLoop: CARDINAL := 0;
    stopAtEnter: BOOLEAN := TRUE;
    waitAtEnter: CARDINAL := 1;
    ctOfEnter: CARDINAL := 0;
    stopAtExit: BOOLEAN := TRUE;
    waitAtExit: CARDINAL := 1;
    ctOfExit: CARDINAL := 0;
    stopAtSeenOK: BOOLEAN := TRUE;
    waitAtSeenOK: CARDINAL := 1;
    ctOfSeenOK: CARDINAL := 0;
    stopAtNotice: BOOLEAN := TRUE;
    waitAtNotice: CARDINAL := 1;
    ctOfNotice: CARDINAL := 0;
    stopAtBotLessAnyOK: BOOLEAN := TRUE;
    waitAtBotLessAnyOK: CARDINAL := 1;
    ctOfBotLessAnyOK: CARDINAL := 0;
    stopAtTopLessTopOK: BOOLEAN := TRUE;
    waitAtTopLessTopOK: CARDINAL := 1;
    ctOfTopLessTopOK: CARDINAL := 0;
    stopAtTopLessNonTopKO: BOOLEAN := TRUE;
    waitAtTopLessNonTopKO: CARDINAL := 1;
    ctOfTopLessNonTopKO: CARDINAL := 0;
    stopAtFunLessBotKO: BOOLEAN := TRUE;
    waitAtFunLessBotKO: CARDINAL := 1;
    ctOfFunLessBotKO: CARDINAL := 0;
    stopAtFunLessTopOK: BOOLEAN := TRUE;
    waitAtFunLessTopOK: CARDINAL := 1;
    ctOfFunLessTopOK: CARDINAL := 0;
    stopAtFunLessFun: BOOLEAN := TRUE;
    waitAtFunLessFun: CARDINAL := 1;
    ctOfFunLessFun: CARDINAL := 0;
    stopAtOK: BOOLEAN := TRUE;
    waitAtOK: CARDINAL := 1;
    ctOfOK: CARDINAL := 0;
    stopAtKO: BOOLEAN := TRUE;
    waitAtKO: CARDINAL := 1;
    ctOfKO: CARDINAL := 0;
  END;

  T <: Public;
  Public = Algorithm.T OBJECT
      eventDataRec: EventDataRec;

      METHODS
      END;

REVEAL
  Algorithm.T <: AlgorithmClass.T;

END SubtypeAlgClass.