This site contains older material on Eiffel. For the main Eiffel page, see http://www.eiffel.com.

EiffelBase class
(HTML page generated by ISE Eiffel 4.2)

Eiffel Class
indexing
	description: "Platform-dependent properties. This class is an ancestor to all developer-written classes.";
	status: "See notice at end of class";
	date: "$Date: 2007-03-30 11:10:11 -0800 (Fri, 30 Mar 2007) $";
	revision: "$Revision: 95354 $"

class PLATFORM

inherit
	GENERAL

feature -- Access

	character_bits: INTEGER is
			-- Number of bits in a value of type CHARACTER
		external
			"C | %"eif_misc.h%""
		alias
			"eschar_size"
		end;

	integer_bits: INTEGER is
			-- Number of bits in a value of type INTEGER
		external
			"C | %"eif_misc.h%""
		alias
			"esint_size"
		end;

	real_bits: INTEGER is
			-- Number of bits in a value of type REAL
		external
			"C | %"eif_misc.h%""
		alias
			"esreal_size"
		end;

	double_bits: INTEGER is
			-- Number of bits in a value of type DOUBLE
		external
			"C | %"eif_misc.h%""
		alias
			"esdouble_size"
		end;

	operating_environment: OPERATING_ENVIRONMENT is
			-- Objects available from the operating system
		once
			create Result
		end;

end -- class PLATFORM