********************************************************************
* NOTE: This file is generated automatically from the event * definition file Subtype.evt. ********************************************************************INTERFACESubtypeAlgClass ; <*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.