class
	KL_PLATFORM

General
	cluster: kernel
	description: "Platform-dependent properties"

Ancestors
	KI_PLATFORM*
	PLATFORM

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