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