note
	description: "Platform-dependent properties."
	library: "Free implementation of ELKS library"
	status: "See notice at end of class."
	legal: "See notice at end of class."
	date: "$Date: 2018-04-28 20:47:11 +0000 (Sat, 28 Apr 2018) $"
	revision: "$Revision: 101695 $"

class 
	PLATFORM

create 
	default_create

feature -- Platform

	is_thread_capable: BOOLEAN
			-- Is current platform capable of multi-threading?
		external
			"built_in static"
		ensure
			instance_free: class
		end

	is_scoop_capable: BOOLEAN
			-- Is current platform capable of SCOOP?
		external
			"built_in static"
		ensure
			instance_free: class
		end

	is_dotnet: BOOLEAN
			-- Are we targetting .NET?
		external
			"built_in static"
		ensure
			instance_free: class
		end

	is_windows: BOOLEAN
			-- Are we running on Windows platform?
		external
			"built_in static"
		ensure
			instance_free: class
		end

	is_unix: BOOLEAN
			-- Are we running on a Unix like platform?
		external
			"built_in static"
		ensure
			instance_free: class
		end

	is_vms: BOOLEAN
			-- Are we running on VMS?
		external
			"built_in static"
		ensure
			instance_free: class
		end

	is_mac: BOOLEAN
			-- Are we running on Mac OS?
		external
			"built_in static"
		ensure
			instance_free: class
		end

	is_vxworks: BOOLEAN
			-- Are we running on VxWorks?
		external
			"built_in static"
		ensure
			instance_free: class
		end

	Is_little_endian: BOOLEAN
			-- Is current platform a little endian one?
		local
			l_nat16: NATURAL_16
			l_nat8: NATURAL_8
			l_first: NATURAL_8
		once
			l_nat16 := 17185
			l_nat8 := 33;
			($l_first).memory_copy ($l_nat16.to_pointer, 1)
			Result := l_first = l_nat8
		ensure
			instance_free: class
		end

	is_64_bits: BOOLEAN
			-- Is the current process runing in 64-bit mode
		external
			"built_in static"
		ensure
			instance_free: class
		end
	
feature -- Access bytes size

	boolean_bytes: INTEGER_32
			-- Number of bytes in a value of type BOOLEAN
		external
			"built_in static"
		ensure
			instance_free: class
		end

	Character_8_bytes: INTEGER_32 = 1
			-- Number of bytes in a value of type CHARACTER_8

	Character_32_bytes: INTEGER_32 = 4
			-- Number of bytes in a value of type CHARACTER_32

	Natural_8_bytes: INTEGER_32 = 1
			-- Number of bytes in a value of type NATURAL_8

	Natural_16_bytes: INTEGER_32 = 2
			-- Number of bytes in a value of type NATURAL_16

	Natural_32_bytes: INTEGER_32 = 4
			-- Number of bytes in a value of type NATURAL_32

	Natural_64_bytes: INTEGER_32 = 8
			-- Number of bytes in a value of type NATURAL_64

	Integer_8_bytes: INTEGER_32 = 1
			-- Number of bytes in a value of type INTEGER_8

	Integer_16_bytes: INTEGER_32 = 2
			-- Number of bytes in a value of type INTEGER_16

	Integer_32_bytes: INTEGER_32 = 4
			-- Number of bytes in a value of type INTEGER_32

	Integer_64_bytes: INTEGER_32 = 8
			-- Number of bytes in a value of type INTEGER_64

	Real_32_bytes: INTEGER_32 = 4
			-- Number of bytes in a value of type REAL_32

	Real_64_bytes: INTEGER_32 = 8
			-- Number of bytes in a value of type REAL_64

	pointer_bytes: INTEGER_32
			-- Number of bytes in a value of type POINTER
		external
			"built_in static"
		ensure
			instance_free: class
		end
	
feature -- Access bits size

	boolean_bits: INTEGER_32
			-- Number of bits in a value of type BOOLEAN
		do
			Result := boolean_bytes * 8
		ensure
			instance_free: class
		end

	Character_8_bits: INTEGER_32 = 8
			-- Number of bits in a value of type CHARACTER_8

	Character_32_bits: INTEGER_32 = 32
			-- Number of bits in a value of type CHARACTER_32

	Natural_8_bits: INTEGER_32 = 8
			-- Number of bits in a value of type NATURAL_8

	Natural_16_bits: INTEGER_32 = 16
			-- Number of bits in a value of type NATURAL_16

	Natural_32_bits: INTEGER_32 = 32
			-- Number of bits in a value of type NATURAL_32

	Natural_64_bits: INTEGER_32 = 64
			-- Number of bits in a value of type NATURAL_64

	Integer_8_bits: INTEGER_32 = 8
			-- Number of bits in a value of type INTEGER_8

	Integer_16_bits: INTEGER_32 = 16
			-- Number of bits in a value of type INTEGER_16

	Integer_32_bits: INTEGER_32 = 32
			-- Number of bits in a value of type INTEGER_32

	Integer_64_bits: INTEGER_32 = 64
			-- Number of bits in a value of type INTEGER_64

	Real_32_bits: INTEGER_32 = 32
			-- Number of bits in a value of type REAL_32

	Real_64_bits: INTEGER_32 = 64
			-- Number of bits in a value of type REAL_64

	pointer_bits: INTEGER_32
			-- Number of bits in a value of type POINTER
		do
			Result := pointer_bytes * 8
		ensure
			instance_free: class
		end
	
feature -- Obsoletes

	character_bytes: INTEGER_32
		obsolete "Use `character_8_bytes' instead. [2017-05-31]"
			-- Number of bytes in a value of type CHARACTER_8
		external
			"built_in static"
		ensure
			instance_free: class
		end

	wide_character_bytes: INTEGER_32
		obsolete "Use `character_32_bytes' instead. [2017-05-31]"
			-- Number of bytes in a value of type CHARACTER_32
		external
			"built_in static"
		ensure
			instance_free: class
		end

	integer_bytes: INTEGER_32
		obsolete "Use `integer_32_bytes' instead. [2017-05-31]"
			-- Number of bytes in a value of type INTEGER_32
		external
			"built_in static"
		ensure
			instance_free: class
		end

	real_bytes: INTEGER_32
		obsolete "Use `real_32_bytes' instead. [2017-05-31]"
			-- Number of bytes in a value of type REAL_32
		external
			"built_in static"
		ensure
			instance_free: class
		end

	double_bytes: INTEGER_32
		obsolete "Use `real_64_bytes' instead. [2017-05-31]"
			-- Number of bytes in a value of type REAL_64
		external
			"built_in static"
		ensure
			instance_free: class
		end

	character_bits: INTEGER_32
		obsolete "Use `character_8_bits' instead. [2017-05-31]"
			-- Number of bits in a value of type CHARACTER_8
		do
			Result := 8
		ensure
			instance_free: class
		end

	integer_bits: INTEGER_32
		obsolete "Use `integer_32_bits' instead. [2017-05-31]"
			-- Number of bits in a value of type INTEGER_32
		do
			Result := 32
		ensure
			instance_free: class
		end

	real_bits: INTEGER_32
		obsolete "Use `real_32_bits' instead. [2017-05-31]"
			-- Number of bits in a value of type REAL_32
		do
			Result := 32
		ensure
			instance_free: class
		end

	double_bits: INTEGER_32
		obsolete "Use `real_64_bits' instead. [2017-05-31]"
			-- Number of bits in a value of type REAL_64
		do
			Result := 64
		ensure
			instance_free: class
		end

	maximum_character_code: INTEGER_32
		obsolete "Use `{CHARACTER}.max_value' instead. [2017-05-31]"
			-- Largest supported code for CHARACTER_8 values
		do
			Result := {CHARACTER_8}.max_value
		ensure
			instance_free: class
			meaningful: Result >= 127
		end

	maximum_integer: INTEGER_32
		obsolete "Use `{INTEGER}.max_value' instead. [2017-05-31]"
			-- Largest supported value of type INTEGER_32
		do
			Result := {INTEGER_32}.max_value
		ensure
			instance_free: class
			meaningful: Result >= 0
		end

	minimum_character_code: INTEGER_32
		obsolete "Use `{CHARACTER}.min_value' instead. [2017-05-31]"
			-- Smallest supported code for CHARACTER_8 values
		do
			Result := {CHARACTER_8}.min_value
		ensure
			instance_free: class
			meaningful: Result <= 0
		end

	minimum_integer: INTEGER_32
		obsolete "Use `{INTEGER}.min_value' instead. [2017-05-31]"
			-- Smallest supported value of type INTEGER_32
		do
			Result := {INTEGER_32}.min_value
		ensure
			instance_free: class
			meaningful: Result <= 0
		end
	
note
	copyright: "Copyright (c) 1984-2018, Eiffel Software and others"
	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
		Eiffel Software
		5949 Hollister Ave., Goleta, CA 93117 USA
		Telephone 805-685-1006, Fax 805-685-6869
		Website http://www.eiffel.com
		Customer support http://support.eiffel.com
	]"

end -- class PLATFORM

Generated by ISE EiffelStudio