Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.spec.ise

Class KL_PLATFORM


Direct ancestors

KI_PLATFORM, PLATFORM

Features

Invariants

indexing

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-2002, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/06/27 14:56:55 $

revision

$Revision: 1.11 $

class

KL_PLATFORM

inherit

KI_PLATFORM

feature -- Bits

boolean_bits: INTEGER

-- Number of bits in a value of type BOOLEAN

-- (From KI_PLATFORM)

ensure
large_enough: Result >= 1
small_enough: Result <= Boolean_bytes * Byte_bits
byte_bits: INTEGER

-- Number of bits in a byte

-- (From KI_PLATFORM)

character_bits: INTEGER

-- Number of bits in a value of type CHARACTER

-- (From KI_PLATFORM)

ensure
more_than_byte: Result >= Byte_bits
double_bits: INTEGER

-- Number of bits in a value of type DOUBLE

-- (From KI_PLATFORM)

ensure
more_than_real: Result >= Real_bits
integer_bits: INTEGER

-- Number of bits in a value of type INTEGER

-- (From KI_PLATFORM)

ensure
more_than_character: Result >= Character_bits
pointer_bits: INTEGER

-- Number of bits in a value of type POINTER

-- (From KI_PLATFORM)

real_bits: INTEGER

-- Number of bits in a value of type REAL

-- (From KI_PLATFORM)

feature -- Bytes

boolean_bytes: INTEGER

-- Number of bytes in a value of type BOOLEAN

-- (From KI_PLATFORM)

ensure
meaningful: Result >= 1
byte_bytes: INTEGER

-- Number of bytes in a byte

-- (From KI_PLATFORM)

character_bytes: INTEGER

-- Number of bytes in a value of type CHARACTER

-- (From KI_PLATFORM)

ensure
meaningful: Result >= 1
more_than_byte: Result >= Byte_bytes
double_bytes: INTEGER

-- Number of bytes in a value of type DOUBLE

-- (From KI_PLATFORM)

ensure
meaningful: Result >= 1
more_than_real: Result >= Real_bytes
integer_bytes: INTEGER

-- Number of bytes in a value of type INTEGER

-- (From KI_PLATFORM)

ensure
meaningful: Result >= 1
more_than_character: Result >= Character_bytes
pointer_bytes: INTEGER

-- Number of bytes in a value of type POINTER

-- (From KI_PLATFORM)

ensure
meaningful: Result >= 1
real_bytes: INTEGER

-- Number of bytes in a value of type REAL

-- (From KI_PLATFORM)

ensure
meaningful: Result >= 1

feature -- Values

maximum_byte_code: INTEGER

-- Largest supported code for a byte

-- (From KI_PLATFORM)

maximum_character_code: INTEGER

-- Largest supported code for CHARACTER values

-- (From KI_PLATFORM)

ensure
meaningful: Result >= Maximum_byte_code
maximum_integer: INTEGER

-- Largest supported value of type INTEGER

-- (From KI_PLATFORM)

ensure
meaningful: Result >= 0
definition: Result = - (Minimum_integer + 1)
minimum_byte_code: INTEGER

-- Smallest supported code for a byte

-- (From KI_PLATFORM)

minimum_character_code: INTEGER

-- Smallest supported code for CHARACTER values

-- (From KI_PLATFORM)

ensure
meaningful: Result = 0
minimum_integer: INTEGER

-- Smallest supported value of type INTEGER

-- (From KI_PLATFORM)

ensure
meaningful: Result <= 0
definition: Result = (2 ^ (Integer_bits - 2)) * -2

invariant


-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end