]>
Commit | Line | Data |
---|---|---|
83ffe9cd | 1 | (* Copyright (C) 2015-2023 Free Software Foundation, Inc. *) |
1eee94d3 GM |
2 | (* This file is part of Chisel. |
3 | ||
4 | Chisel is free software; you can redistribute it and/or modify it under | |
5 | the terms of the GNU General Public License as published by the Free | |
6 | Software Foundation; either version 3, or (at your option) any later | |
7 | version. | |
8 | ||
9 | Chisel is distributed in the hope that it will be useful, but WITHOUT ANY | |
10 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 | for more details. | |
13 | ||
14 | You should have received a copy of the GNU General Public License along | |
15 | with gm2; see the file COPYING. If not, write to the Free Software | |
16 | Foundation, 51 Franklin Street, Fifth Floor, | |
17 | Boston, MA 02110-1301, USA. *) | |
18 | ||
19 | DEFINITION MODULE MapOptions ; (*!m2pim+gm2*) | |
20 | ||
21 | (* | |
22 | Title : RoomOptions | |
23 | Author : Gaius Mulley | |
24 | System : Chisel | |
25 | Date : Thu Aug 17 13:25:51 2017 | |
26 | Revision : $Version$ | |
27 | Description: provides a placeholder for the options to map. | |
28 | *) | |
29 | ||
30 | (* | |
31 | isVerbose - return TRUE if -v was used. | |
32 | *) | |
33 | ||
34 | PROCEDURE isVerbose () : BOOLEAN ; | |
35 | ||
36 | ||
37 | (* | |
38 | isDebugging - return TRUE if -d was used. | |
39 | *) | |
40 | ||
41 | PROCEDURE isDebugging () : BOOLEAN ; | |
42 | ||
43 | ||
44 | (* | |
45 | isStatistics - return TRUE if -s was used. | |
46 | *) | |
47 | ||
48 | PROCEDURE isStatistics () : BOOLEAN ; | |
49 | ||
50 | ||
51 | END MapOptions. |