gm2-libs-iso/TERMINATION (The GNU Modula-2 Compiler)

#### 4.4.71 gm2-libs-iso/TERMINATION ¶

    DEFINITION MODULE TERMINATION;

    (* Provides facilities for enquiries concerning the occurrence of termination events. *)

    PROCEDURE IsTerminating (): BOOLEAN ;
      (* Returns true if any coroutine has started  program termination and false otherwise. *)

    PROCEDURE HasHalted (): BOOLEAN ;
      (* Returns true if a call to HALT has been made and false otherwise. *)

    END TERMINATION.