/src/wrappers/glib/library/utilities/g_option_integer_entry.e
Specman e | 57 lines | 41 code | 11 blank | 5 comment | 2 complexity | 776b86599452e44bc1b84222f83bd9ec MD5 | raw file
1indexing 2 description: "." 3 copyright: "[ 4 Copyright (C) 2007 Paolo Redaelli, Glib developers 5 6 This library is free software; you can redistribute it and/or 7 modify it under the terms of the GNU Lesser General Public License 8 as published by the Free Software Foundation; either version 2.1 of 9 the License, or (at your option) any later version. 10 11 This library is distributed in the hopeOA that it will be useful, but 12 WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14 Lesser General Public License for more details. 15 16 You should have received a copy of the GNU Lesser General Public 17 License along with this library; if not, write to the Free Software 18 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 19 02110-1301 USA 20 ]" 21 22class G_OPTION_INTEGER_ENTRY 23 -- A boolean GOptionEntry. 24 25inherit 26 G_OPTION_ENTRY 27 redefine make, fill_tagged_out_memory 28 end 29 -- TODO: REFERENCE[INTEGER] 30 -- undefine copy, is_equal 31 -- redefine fill_tagged_out_memory 32 -- end 33 34creation make 35 36feature 37 make (a_long_name: STRING; a_short_name: CHARACTER; a_description: STRING) is 38 local t: like argument_type 39 do 40 Precursor (a_long_name,a_short_name, a_description) 41 t.set_int 42 goption_entry_struct_set_arg(handle, t.value) 43 goption_entry_struct_set_arg_data(handle, $item) 44 end 45 46feature -- Queries 47 item: INTEGER 48 49 set_item (an_item: INTEGER) is do item:=an_item end 50 51 fill_tagged_out_memory is 52 do 53 Precursor 54 item.append_in(tagged_out_memory) 55 end 56end -- class G_OPTION_INTEGER_ENTRY 57