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

kernel.spec.ise

Class KI_PLATFORM


Known direct descendants

KL_PLATFORM

Features

Invariants

indexing

description

Interface for platform-dependent properties

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2002-2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2005/07/09 16:43:07 $

revision

$Revision: 1.9 $

deferred class

KI_PLATFORM

feature -- Bits

boolean_bits: INTEGER

-- Number of bits in a value of type BOOLEAN

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

-- Number of bits in a byte

character_bits: INTEGER

-- Number of bits in a value of type CHARACTER

ensure
more_than_byte: Result >= Byte_bits
double_bits: INTEGER

-- Number of bits in a value of type DOUBLE

ensure
more_than_real: Result >= Real_bits
integer_bits: INTEGER

-- Number of bits in a value of type INTEGER

ensure
more_than_character: Result >= Character_bits
pointer_bits: INTEGER

-- Number of bits in a value of type POINTER

real_bits: INTEGER

-- Number of bits in a value of type REAL

feature -- Bytes

boolean_bytes: INTEGER

-- Number of bytes in a value of type BOOLEAN

ensure
meaningful: Result >= 1
byte_bytes: INTEGER

-- Number of bytes in a byte

character_bytes: INTEGER

-- Number of bytes in a value of type CHARACTER

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

-- Number of bytes in a value of type DOUBLE

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

-- Number of bytes in a value of type INTEGER

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

-- Number of bytes in a value of type POINTER

ensure
meaningful: Result >= 1
real_bytes: INTEGER

-- Number of bytes in a value of type REAL

ensure
meaningful: Result >= 1

feature -- Values

maximum_byte_code: INTEGER

-- Largest supported code for a byte

maximum_character_code: INTEGER

-- Largest supported code for CHARACTER values

ensure
meaningful: Result >= Maximum_byte_code
maximum_integer: INTEGER

-- Largest supported value of type INTEGER

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

-- Smallest supported code for a byte

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
definition: Result = (2 ^ (Integer_bits - 2)) * -2

invariant

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

end