Table of Contents Previous Chapter

5.20 Class PLATFORM

indexing

description: "Platform--dependent properties. This class may be used as ancestor by classes needing its facilities"

class interface

feature -- Access

Boolean_bits: INTEGER

-- Number of bits in a value of type BOOLEAN

meaningful: Result >= 1

Character_bits: INTEGER

-- Number of bits in a value of type CHARACTER

meaningful: Result >= 1

large_enough: 2 ^ Result >= Maximum_character_code

Double_bits: INTEGER

-- Number of bits in a value of type DOUBLE

meaningful: Result >= 1;

meaningful: Result >= Real_bits

Integer_bits: INTEGER

-- Number of bits in a value of type INTEGER

meaningful: Result >= 1;

large_enough: 2 ^ Result >= Maximum_integer;

large_enough_for_negative: 2 ^ Result >= -- Minimum_integer

Maximum_character_code: INTEGER

-- Largest supported code for CHARACTER values

ensure

meaningful: Result >= 127

Maximum_integer: INTEGER

-- Largest supported value of type INTEGER.

ensure

meaningful: Result >= 0

Minimum_character_code: INTEGER

-- Smallest supported code for CHARACTER values

ensure

meaningful: Result <= 0

Minimum_integer: INTEGER

-- Smallest supported value of type INTEGER

meaningful: Result <= 0

Pointer_bits: INTEGER

-- Number of bits in a value of type POINTER

meaningful: Result >= 1

Real_bits: INTEGER

-- Number of bits in a value of type REAL

meaningful: Result >= 1

end

Table of Contents Next Chapter

© 1985-2012 Eiffel Software. All rights reserved. -- Privacy Policy