note
	description: "Available encodings in the operating system."
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date: 2020-05-22 13:52:49 +0000 (Fri, 22 May 2020) $"
	revision: "$Revision: 104320 $"

class interface
	SYSTEM_ENCODINGS

create 
	default_create

feature -- Access

	System_encoding: ENCODING
			-- System encoding.
		ensure
			instance_free: class
			system_encoding_not_void: Result /= Void

	Console_encoding: ENCODING
			-- Console encoding.
		ensure
			instance_free: class
			console_encoding_not_void: Result /= Void

	Utf8: ENCODING
			-- UTF8 Encoding.
		ensure
			instance_free: class
			utf8_not_void: Result /= Void

	Utf16: ENCODING
			-- UTF16 Encoding.
		ensure
			instance_free: class
			utf16_not_void: Result /= Void

	Utf32: ENCODING
			-- UTF32 Encoding.
		ensure
			instance_free: class
			utf32_not_void: Result /= Void

	Iso_8859_1: ENCODING
			-- ISO-8859-1 encoding.
		ensure
			instance_free: class
	
note
	library: "Encoding: Library of reusable components for Eiffel."
	copyright: "Copyright (c) 1984-2020, 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 SYSTEM_ENCODINGS

Generated by ISE EiffelStudio