note
	description: "Platform-dependent properties"
	usage: "[
		This class should not be used directly through
		inheritance and client/supplier relationship.
		Inherit from KL_SHARED_PLATFORM instead.
	]"
	pattern: "Singleton"
	library: "Gobo Eiffel Kernel Library"
	copyright: "Copyright (c) 1999-2008, Eric Bezault and others"
	license: "MIT License"
	date: "$Date: 2016-05-06 19:15:38 +0000 (Fri, 06 May 2016) $"
	revision: "$Revision: 98678 $"

class 
	KL_PLATFORM

inherit
	KI_PLATFORM

	PLATFORM
		rename
			minimum_character_code as old_minimum_character_code,
			maximum_character_code as old_maximum_character_code,
			minimum_integer as old_minimum_integer,
			maximum_integer as old_maximum_integer,
			boolean_bytes as old_boolean_bytes,
			character_bytes as old_character_bytes,
			pointer_bytes as old_pointer_bytes,
			integer_bytes as old_obsolete_integer_bytes,
			Integer_32_bytes as Old_integer_bytes,
			double_bytes as old_obsolete_double_bytes,
			Real_64_bytes as Old_double_bytes,
			real_bytes as old_obsolete_real_bytes,
			Real_32_bytes as Old_real_bytes,
			integer_bits as old_obsolete_integer_bits,
			Integer_32_bits as Old_integer_bits,
			double_bits as old_obsolete_double_bits,
			Real_64_bits as Old_double_bits,
			real_bits as old_obsolete_real_bits,
			Real_32_bits as Old_real_bits,
			boolean_bits as old_boolean_bits,
			character_bits as old_character_bits,
			pointer_bits as old_pointer_bits
		export
			{NONE} all
		end

create 
	default_create

feature -- Bits

	Boolean_bits: INTEGER_32
			-- Number of bits in a value of type BOOLEAN
		once
			Result := old_boolean_bits
		end

	Character_bits: INTEGER_32
			-- Number of bits in a value of type CHARACTER
		once
			Result := 8
		end

	Double_bits: INTEGER_32
			-- Number of bits in a value of type DOUBLE
		once
			Result := Old_double_bits
		end

	Integer_bits: INTEGER_32
			-- Number of bits in a value of type INTEGER
		once
			Result := Old_integer_bits
		end

	Pointer_bits: INTEGER_32
			-- Number of bits in a value of type POINTER
		once
			Result := old_pointer_bits
		end

	Real_bits: INTEGER_32
			-- Number of bits in a value of type REAL
		once
			Result := Old_real_bits
		end
	
feature -- Bytes

	Boolean_bytes: INTEGER_32
			-- Number of bytes in a value of type BOOLEAN
		once
			Result := old_boolean_bytes
		end

	Character_bytes: INTEGER_32
			-- Number of bytes in a value of type CHARACTER
		once
			Result := 1
		end

	Double_bytes: INTEGER_32
			-- Number of bytes in a value of type DOUBLE
		once
			Result := Old_double_bytes
		end

	Integer_bytes: INTEGER_32
			-- Number of bytes in a value of type INTEGER
		once
			Result := Old_integer_bytes
		end

	Pointer_bytes: INTEGER_32
			-- Number of bytes in a value of type POINTER
		once
			Result := old_pointer_bytes
		end

	Real_bytes: INTEGER_32
			-- Number of bytes in a value of type REAL
		once
			Result := Old_real_bytes
		end
	
feature -- Values

	Minimum_character_code: INTEGER_32
			-- Smallest supported code for CHARACTER values
		once
			Result := {CHARACTER_8}.min_value
		end

	Maximum_character_code: INTEGER_32
			-- Largest supported code for CHARACTER values
		once
			Result := {CHARACTER_8}.max_value
		end

	Minimum_integer: INTEGER_32
			-- Smallest supported value of type INTEGER
		once
			Result := {INTEGER_32}.min_value
		end

	Maximum_integer: INTEGER_32
			-- Largest supported value of type INTEGER
		once
			Result := {INTEGER_32}.max_value
		end

	Minimum_integer_64: INTEGER_64
			-- Smallest supported value of type INTEGER_64
		once
			Result := -9223372036854775808
		end

	Maximum_integer_64: INTEGER_64
			-- Largest supported value of type INTEGER_64
		once
			Result := 9223372036854775807
		end
	
end -- class KL_PLATFORM

Generated by ISE EiffelStudio