(* Copyright 1992 Digital Equipment Corporation. *) (* Distributed only by permission. *) (* Last modified on Tue Aug 25 0:05:40 PDT 1992 by johnh*) (* modified on Tue Jun 9 00:35:07 1992 by mhb *) (********************************************************************* |* NOTE: This file is generated automatically from the event |* definition file #(_ALGNAME_).evt. *********************************************************************) INTERFACE #(_ALGNAME_)AlgClass; #(_IMPORTS_) IMPORT Algorithm, AlgorithmClass; <* PRAGMA LL *> TYPE EventDataRec = RECORD #{_OUTPUT stopAt#(_EVENT_): BOOLEAN := TRUE; waitAt#(_EVENT_): CARDINAL := 1; ctOf#(_EVENT_): CARDINAL := 0; #} END; T <: Public; Public = Algorithm.T OBJECT eventDataRec: EventDataRec; #(_ALGDATA_) METHODS init(): T; <* LL = VBT.mu *> #{_FEEDBACK fe#(_EVENT_) (#(_ARGSTR_)); <* LL = VBT.mu *> #} END; REVEAL Algorithm.T <: AlgorithmClass.T; END #(_ALGNAME_)AlgClass.