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 interface
	KL_PLATFORM

create 
	default_create

feature -- Bits

	Boolean_bits: INTEGER_32
			-- Number of bits in a value of type BOOLEAN

	Character_bits: INTEGER_32
			-- Number of bits in a value of type CHARACTER

	Double_bits: INTEGER_32
			-- Number of bits in a value of type DOUBLE

	Integer_bits: INTEGER_32
			-- Number of bits in a value of type INTEGER

	Pointer_bits: INTEGER_32
			-- Number of bits in a value of type POINTER

	Real_bits: INTEGER_32
			-- Number of bits in a value of type REAL
	
feature -- Bytes

	Boolean_bytes: INTEGER_32
			-- Number of bytes in a value of type BOOLEAN

	Character_bytes: INTEGER_32
			-- Number of bytes in a value of type CHARACTER

	Double_bytes: INTEGER_32
			-- Number of bytes in a value of type DOUBLE

	Integer_bytes: INTEGER_32
			-- Number of bytes in a value of type INTEGER

	Pointer_bytes: INTEGER_32
			-- Number of bytes in a value of type POINTER

	Real_bytes: INTEGER_32
			-- Number of bytes in a value of type REAL
	
feature -- Values

	Minimum_character_code: INTEGER_32
			-- Smallest supported code for CHARACTER values

	Maximum_character_code: INTEGER_32
			-- Largest supported code for CHARACTER values

	Minimum_integer: INTEGER_32
			-- Smallest supported value of type INTEGER

	Maximum_integer: INTEGER_32
			-- Largest supported value of type INTEGER

	Minimum_integer_64: INTEGER_64
			-- Smallest supported value of type INTEGER_64

	Maximum_integer_64: INTEGER_64
			-- Largest supported value of type INTEGER_64
	
end -- class KL_PLATFORM

Generated by ISE EiffelStudio