(* Copyright 1992 Digital Equipment Corporation. *) (* Distributed only by permission. *) (* Last modified on Thu Aug 13 16:27:28 PDT 1992 by johnh*) (* modified on Tue Jun 9 00:35:35 1992 by mhb *) (********************************************************************* |* NOTE: This file is generated automatically from the event |* definition file #(_ALGNAME_).evt. *********************************************************************) MODULE #(_ALGNAME_)ViewClass; #(_IMPORTS_) IMPORT ViewClass; <* PRAGMA LL *> REVEAL T = Public BRANDED OBJECT OVERRIDES <*LL = {} *> #{_OUTPUT oe#(_EVENT_) := #(_EVENT_); #} <*LL = VBT.mu *> #{_UPDATE ue#(_EVENT_) := #(_EVENT_); #} END; #{_OUTPUT PROCEDURE #(_EVENT_) (view: T #{ ; <*UNUSED*> #(_ARGNAME_): #(_ARGTYPE_) #} ) = <*LL = {} *> BEGIN view.evtHandled := FALSE; END #(_EVENT_); #} #{_UPDATE PROCEDURE #(_EVENT_) (view: T #{ ; <*UNUSED*> #(_ARGNAME_): #(_ARGTYPE_) #} ) = <*LL = VBT.mu *> BEGIN view.evtHandled := FALSE; END #(_EVENT_); #} BEGIN END #(_ALGNAME_)ViewClass.