class
	PLATFORM

General
	cluster: elks
	description: "Platform-dependent properties."

Ancestors
	ANY

Queries
	boolean_bits: INTEGER_32
	boolean_bytes: INTEGER_32
	Character_32_bits: INTEGER_32
	Character_32_bytes: INTEGER_32
	Character_8_bits: INTEGER_32
	Character_8_bytes: INTEGER_32
	Integer_16_bits: INTEGER_32
	Integer_16_bytes: INTEGER_32
	Integer_32_bits: INTEGER_32
	Integer_32_bytes: INTEGER_32
	Integer_64_bits: INTEGER_32
	Integer_64_bytes: INTEGER_32
	Integer_8_bits: INTEGER_32
	Integer_8_bytes: INTEGER_32
	is_64_bits: BOOLEAN
	is_dotnet: BOOLEAN
	Is_little_endian: BOOLEAN
	is_mac: BOOLEAN
	is_scoop_capable: BOOLEAN
	is_thread_capable: BOOLEAN
	is_unix: BOOLEAN
	is_vms: BOOLEAN
	is_vxworks: BOOLEAN
	is_windows: BOOLEAN
	Natural_16_bits: INTEGER_32
	Natural_16_bytes: INTEGER_32
	Natural_32_bits: INTEGER_32
	Natural_32_bytes: INTEGER_32
	Natural_64_bits: INTEGER_32
	Natural_64_bytes: INTEGER_32
	Natural_8_bits: INTEGER_32
	Natural_8_bytes: INTEGER_32
	pointer_bits: INTEGER_32
	pointer_bytes: INTEGER_32
	Real_32_bits: INTEGER_32
	Real_32_bytes: INTEGER_32
	Real_64_bits: INTEGER_32
	Real_64_bytes: INTEGER_32


Generated by ISE EiffelStudio