********************************************************************
* 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.