Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
class
	PLATFORM

General
	cluster: base.kernel
	description: 
		"Platform-dependent properties.
		This class is an ancestor to all developer-written classes."

Ancestors
	ANY

Queries
	boolean_bits: INTEGER
	boolean_bytes: INTEGER
	character_bits: INTEGER
	character_bytes: INTEGER
	double_bits: INTEGER
	double_bytes: INTEGER
	integer_16_bytes: INTEGER
	integer_64_bytes: INTEGER
	integer_8_bytes: INTEGER
	integer_bits: INTEGER
	integer_bytes: INTEGER
	pointer_bits: INTEGER
	pointer_bytes: INTEGER
	real_bits: INTEGER
	real_bytes: INTEGER
	wide_character_bytes: INTEGER



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com