home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / modu1096.zip / ISOsym / termination.def < prev    next >
Text File  |  1996-09-23  |  372b  |  14 lines
  1. DEFINITION MODULE TERMINATION;
  2.  
  3. (* Provides facilities for enquiries concerning the occurrence of termination events
  4. *)
  5.  
  6. PROCEDURE IsTerminating () : BOOLEAN;
  7. (* Returns true if any coroutine has started program termination and false otherwise
  8. *)
  9.  
  10. PROCEDURE HasHalted () : BOOLEAN;
  11. (* Returns true if a call to HALT has been made and false otherwise. *)
  12.  
  13. END TERMINATION.
  14.