/src/wrappers/glib/library/utilities/g_option_integer_entry.e
http://github.com/tybor/Liberty · Specman e · 57 lines · 41 code · 11 blank · 5 comment · 2 complexity · 776b86599452e44bc1b84222f83bd9ec MD5 · raw file
- indexing
- description: "."
- copyright: "[
- Copyright (C) 2007 Paolo Redaelli, Glib developers
-
- This library is free software; you can redistribute it and/or
- modify it under the terms of the GNU Lesser General Public License
- as published by the Free Software Foundation; either version 2.1 of
- the License, or (at your option) any later version.
-
- This library is distributed in the hopeOA that it will be useful, but
- WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
- Lesser General Public License for more details.
- You should have received a copy of the GNU Lesser General Public
- License along with this library; if not, write to the Free Software
- Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
- 02110-1301 USA
- ]"
- class G_OPTION_INTEGER_ENTRY
- -- A boolean GOptionEntry.
- inherit
- G_OPTION_ENTRY
- redefine make, fill_tagged_out_memory
- end
- -- TODO: REFERENCE[INTEGER]
- -- undefine copy, is_equal
- -- redefine fill_tagged_out_memory
- -- end
- creation make
- feature
- make (a_long_name: STRING; a_short_name: CHARACTER; a_description: STRING) is
- local t: like argument_type
- do
- Precursor (a_long_name,a_short_name, a_description)
- t.set_int
- goption_entry_struct_set_arg(handle, t.value)
- goption_entry_struct_set_arg_data(handle, $item)
- end
- feature -- Queries
- item: INTEGER
- set_item (an_item: INTEGER) is do item:=an_item end
- fill_tagged_out_memory is
- do
- Precursor
- item.append_in(tagged_out_memory)
- end
- end -- class G_OPTION_INTEGER_ENTRY