]>
Commit | Line | Data |
---|---|---|
1eee94d3 GM |
1 | (* TERMINATION.mod implement the ISO TERMINATION specification. |
2 | ||
3 | Copyright (C) 2001-2021 Free Software Foundation, Inc. | |
4 | Contributed by Gaius Mulley <gaius.mulley@southwales.ac.uk>. | |
5 | ||
6 | This file is part of GNU Modula-2. | |
7 | ||
8 | GNU Modula-2 is free software; you can redistribute it and/or modify | |
9 | it under the terms of the GNU General Public License as published by | |
10 | the Free Software Foundation; either version 3, or (at your option) | |
11 | any later version. | |
12 | ||
13 | GNU Modula-2 is distributed in the hope that it will be useful, but | |
14 | WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
16 | General Public License for more details. | |
17 | ||
18 | Under Section 7 of GPL version 3, you are granted additional | |
19 | permissions described in the GCC Runtime Library Exception, version | |
20 | 3.1, as published by the Free Software Foundation. | |
21 | ||
22 | You should have received a copy of the GNU General Public License and | |
23 | a copy of the GCC Runtime Library Exception along with this program; | |
24 | see the files COPYING3 and COPYING.RUNTIME respectively. If not, see | |
25 | <http://www.gnu.org/licenses/>. *) | |
26 | ||
27 | IMPLEMENTATION MODULE TERMINATION ; | |
28 | ||
29 | IMPORT M2RTS ; | |
30 | ||
31 | (* Provides facilities for enquiries concerning the occurrence of termination events. *) | |
32 | ||
33 | VAR | |
34 | terminating: BOOLEAN ; | |
35 | ||
36 | ||
37 | (* Returns true if any coroutine has started program termination and false otherwise. *) | |
38 | ||
39 | PROCEDURE IsTerminating (): BOOLEAN ; | |
40 | BEGIN | |
41 | RETURN M2RTS.IsTerminating() | |
42 | END IsTerminating ; | |
43 | ||
44 | ||
45 | (* Returns true if a call to HALT has been made and false otherwise. *) | |
46 | ||
47 | PROCEDURE HasHalted (): BOOLEAN ; | |
48 | BEGIN | |
49 | RETURN M2RTS.HasHalted() | |
50 | END HasHalted ; | |
51 | ||
52 | ||
53 | END TERMINATION. |