|
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. |