home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IOInterface / timerDef.dcl < prev    next >
Encoding:
Modula Definition  |  1995-03-02  |  728 b   |  27 lines  |  [TEXT/3PRM]
  1. definition module timerDef;
  2.  
  3. //    Version 0.8 to 1.0
  4.  
  5. //
  6. //    TimerDefinitions:
  7. //
  8.  
  9.  
  10. import    commonDef;
  11.  
  12.  
  13. ::    TimerDef        *s *io    =    Timer TimerId SelectState TimerInterval (TimerFunction s io);
  14. ::    TimerId                    :== Int;
  15. ::    TimerInterval            :== Int;
  16. ::    TimerFunction    *s *io    :== TimerState -> (s -> *(io -> (s, io)));
  17. ::    TimerState                :== Int;
  18.  
  19.  
  20. TimerDef_Attributes    :: !(TimerDef s io)                            -> (    !TimerId,
  21.                                                                         !SelectState,
  22.                                                                         !TimerInterval,
  23.                                                                         !TimerFunction s io    );
  24. TimerDef_SetAbility    :: !(TimerDef s io) !SelectState            -> TimerDef s io;
  25. TimerDef_SetInterval:: !(TimerDef s io) !TimerInterval            -> TimerDef s io;
  26. TimerDef_SetFunction:: !(TimerDef s io) !(TimerFunction s io)    -> TimerDef s io;
  27.