PageRenderTime 23ms CodeModel.GetById 16ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 0ms

/src/tools/wrappers-generator/settings.e

http://github.com/tybor/Liberty
Specman e | 83 lines | 48 code | 18 blank | 17 comment | 0 complexity | 3b98f54e35cf916d933cc6cdeb722acd MD5 | raw file
 1class SETTINGS
 2   -- The setting of wrappers-generator.
 3
 4inherit
 5   SINGLETON
 6
 7insert
 8   FILE_TOOLS
 9      undefine is_equal, copy
10      end
11   BASIC_DIRECTORY
12      undefine is_equal, copy
13      end
14
15feature {ANY} -- Queries
16   global: BOOLEAN
17
18   verbose: BOOLEAN
19
20   directory: STRING "."
21         -- Default output is on current directory. May be overwritten.
22
23   typedefs: STRING
24
25   standard_typedefs_class: STRING
26
27   are_standard_typedefs_emitted: BOOLEAN
28
29   last_error: STRING
30
31feature {ANY} -- Setters
32   set_verbose (a_value: BOOLEAN)
33      do
34         verbose := a_value
35      end
36
37   set_global (a_value: BOOLEAN)
38      do
39         global := a_value
40      end
41      --      set_directory (a_directory: STRING)
42      --              do
43      --                      directory := a_directory
44      --              end
45
46   set_typedefs (a_typedefs: STRING)
47      do
48         typedefs := a_typedefs
49      end
50
51   set_standard_typedefs (a_class_name: STRING)
52      do
53         standard_typedefs_class := a_class_name
54      end
55
56   use_standard_typedefs
57      do
58         are_standard_typedefs_emitted := True
59      end
60
61   unset_use_standard_typedefs
62      do
63         are_standard_typedefs_emitted := False
64      end
65
66   set_error (an_error: STRING)
67      do
68         last_error := an_error
69      end
70
71end -- class SETTINGS
72
73-- Copyright (C) 2008-2017: Paolo Redaelli
74-- wrappers_generator is free software: you can redistribute it and/or modify it
75-- under the terms of the GNU General Public License as publhed by the Free
76-- Software Foundation, either version 2 of the License, or (at your option)
77-- any later version.
78-- eiffel-gcc-xml is distributed in the hope that it will be useful, but
79-- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
80-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
81-- more details.
82-- You should have received a copy of the GNU General Public License along with
83-- th program.  If not, see <http://www.gnu.org/licenses/>.