1 (* Copyright (C) 2015-2023 Free Software Foundation, Inc. *)
2 (* This file is part of Chisel.
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
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
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. *)
19 DEFINITION MODULE MapOptions ; (*!m2pim+gm2*)
25 Date : Thu Aug 17 13:25:51 2017
27 Description: provides a placeholder for the options to map.
31 isVerbose - return TRUE if -v was used.
34 PROCEDURE isVerbose () : BOOLEAN ;
38 isDebugging - return TRUE if -d was used.
41 PROCEDURE isDebugging () : BOOLEAN ;
45 isStatistics - return TRUE if -s was used.
48 PROCEDURE isStatistics () : BOOLEAN ;