home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / xco212p.zip / ISODEF / terminat.def < prev    next >
Text File  |  1994-12-22  |  392b  |  13 lines

  1. DEFINITION MODULE TERMINATION;
  2.  
  3. (* Provides facilities for enquiries concerning the occurrence of termination events. *)
  4.  
  5. PROCEDURE IsTerminating (): BOOLEAN ;
  6.   (* Returns true if any coroutine has started  program termination and false otherwise. *)
  7.  
  8. PROCEDURE HasHalted (): BOOLEAN ;
  9.   (* Returns true if a call to HALT has been made and false otherwise. *)
  10.  
  11. END TERMINATION.
  12.  
  13.