class
	WEL_STRING

General
	cluster: wel
	description: "A low-level string class to convert Eiffel strings to Win32 unicode strings."
	create: make_empty, make_by_pointer_and_count, make, share_from_pointer, share_from_pointer_and_count, make_by_pointer

Ancestors
	STRING_HANDLER

Queries
	bytes_count: INTEGER_32
	capacity: INTEGER_32
	character_capacity: INTEGER_32
	character_size: INTEGER_32
	count: INTEGER_32
	Exists: BOOLEAN
	is_equal (other: [like Current] WEL_STRING): BOOLEAN
	item: POINTER
	length: INTEGER_32
	managed_data: MANAGED_POINTER
	null_separated_strings: LIST [STRING_32]
	space_separated_strings: LIST [STRING_32]
	string: STRING_32
	substring (start_pos, end_pos: INTEGER_32): STRING_32

Commands
	fill_blank
	fill_value (a_value: INTEGER_8)
	make (a_string: STRING_GENERAL)
	make_by_pointer (a_ptr: POINTER)
	make_by_pointer_and_count (a_ptr: POINTER; a_length: INTEGER_32)
	make_empty (a_length: INTEGER_32)
	read_string_into (a_string: STRING_GENERAL)
	read_substring_into (a_string: STRING_GENERAL; start_pos, end_pos: INTEGER_32)
	set_count (a_count: INTEGER_32)
	set_null_character (offset: INTEGER_32)
	set_size_in_string (n: INTEGER_32)
	set_string (a_string: STRING_GENERAL)
	set_substring (a_string: STRING_GENERAL; start_pos, end_pos: INTEGER_32)
	share_from_pointer (a_ptr: POINTER)
	share_from_pointer_and_count (a_ptr: POINTER; a_length: INTEGER_32)

Constraints
	managed data not void
	count not negative
	bytes count valid