5.20 Class PLATFORM PreviousNext

indexing
description: "Platform-dependent properties. This class may be %
    %used as ancestor by classes needing its facilities"
class interface
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
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
    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
end

Copyright © 1995, Nonprofit International Consortium for Eiffel
mailto:
nice@atlanta.twr.com
Last Updated: 26 October 1997

HomeTocPreviousNext