deferred class KI_PLATFORM General cluster: kernel description: "Interface for platform-dependent properties" Ancestors ANY Queries boolean_bits: INTEGER_32 boolean_bytes: INTEGER_32 Byte_bits: INTEGER_32 Byte_bytes: INTEGER_32 character_bits: INTEGER_32 character_bytes: INTEGER_32 double_bits: INTEGER_32 double_bytes: INTEGER_32 integer_bits: INTEGER_32 integer_bytes: INTEGER_32 Maximum_byte_code: INTEGER_32 maximum_character_code: INTEGER_32 maximum_integer: INTEGER_32 maximum_integer_64: INTEGER_64 Minimum_byte_code: INTEGER_32 minimum_character_code: INTEGER_32 minimum_integer: INTEGER_32 minimum_integer_64: INTEGER_64 pointer_bits: INTEGER_32 pointer_bytes: INTEGER_32 real_bits: INTEGER_32 real_bytes: INTEGER_32
Generated by ISE EiffelStudio