INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Platform-dependent properties.", "This class may be used as ancestor by classes needing its facilities."
project: "Eiffel Kernel Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class PLATFORM
feature -- Access

Boolean_bits: INTEGER
-- Number of bits in a value of type BOOLEAN
ensure
meaningful: Result >= 1

Character_bits: INTEGER
-- Number of bits in a value of type CHARACTER
ensure
meaningful: Result >= 1
large_enough: 2 ^ Result >= maximum_character_code

Double_bits: INTEGER
-- Number of bits in a value of type DOUBLE
ensure
meaningful: Result >= 1
meaningful: Result >= real_bits

Integer_bits: INTEGER
-- Number of bits in a value of type INTEGER
ensure
meaningful: Result >= 1
large_enough: 2 ^ Result >= maximum_integer
large_enough_for_negative: 2 ^ Result >= - minimum_integer

Integer_8_bits: INTEGER
-- Number of bits in a value of type INTEGER_8
ensure
meaningful: Result >= 1
large_enough: 2 ^ Result >= maximum_integer_8
large_enough_for_negative: 2 ^ Result >= - minimum_integer_8

Integer_16_bits: INTEGER
-- Number of bits in a value of type INTEGER_16
ensure
meaningful: Result >= 1
large_enough: 2 ^ Result >= maximum_integer_16
large_enough_for_negative: 2 ^ Result >= - minimum_integer_16

Maximum_character_code: INTEGER
-- Largest supported code for CHARACTER values
ensure
meaningful: Result >= 127

Maximum_integer: INTEGER
-- Largest supported code of type INTEGER
ensure
meaningful: Result >= 0

Maximum_integer_8: INTEGER
-- Largest supported code of type INTEGER_8
ensure
meaningful: Result >= 0

Maximum_integer_16: INTEGER
-- Largest supported code of type INTEGER_16
ensure
meaningful: Result >= 0

Minimum_character_code: INTEGER
-- Smallest supported code for CHARACTER values
ensure
meaningful: Result <= 0

Minimum_integer: INTEGER
-- Smallest supported code of type INTEGER
ensure
meaningful: Result <= 0

Minimum_integer_8: INTEGER
-- Smallest supported code of type INTEGER_8
ensure
meaningful: Result <= 0

Minimum_integer_16: INTEGER
-- Smallest supported code of type INTEGER_16
ensure
meaningful: Result <= 0

Pointer_bits: INTEGER
-- Number of bits in a value of type POINTER
ensure
meaningful: Result >= 1

Real_bits: INTEGER
-- Number of bits in a value of type REAL
ensure
meaningful: Result >= 1
feature -- Access

Boolean_bytes: INTEGER

Character_bytes: INTEGER

Double_bytes: INTEGER

Integer_bytes: INTEGER

Integer_8_bytes: INTEGER

Integer_16_bytes: INTEGER

Pointer_bytes: INTEGER

Real_bytes: INTEGER
end -- class PLATFORM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES