/src/tools/wrappers-generator/settings.e
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/>.