indexing description: "Integer description" legal: "See notice at end of class." status: "See notice at end of class." date: "$Date$" revision: "$Revision$" class INTEGER_DESC inherit ATTR_DESC create make feature -- Initialization make (n: INTEGER) is -- Create instance of INTEGER_DESC represented on `n' bits. require valid_n: n = 8 or n = 16 or n = 32 or n = 64 do size := n ensure size_set: size = n end feature -- Access size: INTEGER -- Current is stored on `size' bits. level: INTEGER is -- Comparison criteria do inspect size when 8 then Result := Integer_8_level when 16 then Result := Integer_16_level when 32 then Result := Integer_32_level when 64 then Result := Integer_64_level end end sk_value: INTEGER is -- Skeleton characteristic value do inspect size when 8 then Result := Sk_int8 when 16 then Result := Sk_int16 when 32 then Result := Sk_int32 when 64 then Result := Sk_int64 end end type_i: TYPE_I is -- Corresponding TYPE_I instance do inspect size when 8 then Result := Int8_c_type when 16 then Result := Int16_c_type when 32 then Result := Int32_c_type when 64 then Result := Int64_c_type end end feature -- Code generation generate_code (buffer: GENERATION_BUFFER) is -- Generate type code for current attribute description in -- `buffer'. do buffer.put_string ("SK_INT") buffer.put_integer (size) end feature -- Debug trace is do io.error.put_string (attribute_name) io.error.put_string ("[INTEGER_") io.error.put_integer (size) io.error.put_string ("]") end invariant correct_size: size = 8 or size = 16 or size = 32 or size = 64 indexing copyright: "Copyright (c) 1984-2006, Eiffel Software" license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)" licensing_options: "http://www.eiffel.com/licensing" copying: "[ This file is part of Eiffel Software's Eiffel Development Environment. Eiffel Software's Eiffel Development Environment is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, version 2 of the License (available at the URL listed under "license" above). Eiffel Software's Eiffel Development Environment is distributed in the hope 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 General Public License for more details. You should have received a copy of the GNU General Public License along with Eiffel Software's Eiffel Development Environment; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA ]" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end