class
	ENCODING

General
	cluster: encoding
	description: "Objects that represent encodings and that provide conversion methods."
	create: make

Ancestors
	ANY

Queries
	code_page: READABLE_STRING_8
	last_conversion_lost_data: BOOLEAN
	last_conversion_successful: BOOLEAN
	last_converted_stream: STRING_8
	last_converted_string: READABLE_STRING_GENERAL
	last_converted_string_32: STRING_32
	last_converted_string_8: STRING_8
	same_as (other: ENCODING): BOOLEAN

Commands
	convert_to (a_to_encoding: ENCODING; a_string: READABLE_STRING_GENERAL)

Constraints
	code page not void
	encoding i not void


Generated by ISE EiffelStudio