deferred class
	IMMUTABLE_STRING_GENERAL

General
	cluster: elks
	description: "Common ancestors to all immutable STRING classes."

Ancestors
	READABLE_STRING_GENERAL*

Queries
	as_lower: [like Current] IMMUTABLE_STRING_GENERAL
	as_string_32: STRING_32
	as_upper: [like Current] IMMUTABLE_STRING_GENERAL
	capacity: INTEGER_32
	case_insensitive_hash_code: INTEGER_32
	code (i: INTEGER_32): NATURAL_32
	count: INTEGER_32
	ends_with (s: READABLE_STRING_GENERAL): BOOLEAN
	False_constant: STRING_8
	fuzzy_index (other: READABLE_STRING_GENERAL; start, fuzz: INTEGER_32): INTEGER_32
	has (c: [like item] CHARACTER_32): BOOLEAN
	has_code (c: [like code] NATURAL_32): BOOLEAN
	has_substring (other: READABLE_STRING_GENERAL): BOOLEAN
	hash_code: INTEGER_32
	head (n: INTEGER_32): [like Current] IMMUTABLE_STRING_GENERAL
	index_of (c: [like item] CHARACTER_32; start_index: INTEGER_32): INTEGER_32
	index_of_code (c: [like code] NATURAL_32; start_index: INTEGER_32): INTEGER_32
	is_boolean: BOOLEAN
	is_case_insensitive_equal (other: READABLE_STRING_GENERAL): BOOLEAN
	is_double: BOOLEAN
	is_empty: BOOLEAN
	is_equal (other: [like Current] IMMUTABLE_STRING_GENERAL): BOOLEAN
	is_greater alias ">" (other: [like Current] IMMUTABLE_STRING_GENERAL): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] IMMUTABLE_STRING_GENERAL): BOOLEAN
	is_hashable: BOOLEAN
	Is_immutable: BOOLEAN
	is_integer: BOOLEAN
	is_integer_16: BOOLEAN
	is_integer_32: BOOLEAN
	is_integer_64: BOOLEAN
	is_integer_8: BOOLEAN
	is_less alias "<" (other: [like Current] IMMUTABLE_STRING_GENERAL): BOOLEAN
	is_less_equal alias "<=" alias "≤" (other: [like Current] IMMUTABLE_STRING_GENERAL): BOOLEAN
	is_natural: BOOLEAN
	is_natural_16: BOOLEAN
	is_natural_32: BOOLEAN
	is_natural_64: BOOLEAN
	is_natural_8: BOOLEAN
	is_number_sequence: BOOLEAN
	is_real: BOOLEAN
	is_real_32: BOOLEAN
	is_real_64: BOOLEAN
	is_real_sequence: BOOLEAN
	is_string_32: BOOLEAN
	is_string_8: BOOLEAN
	is_substring_whitespace (start_index, end_index: INTEGER_32): BOOLEAN
	is_valid_as_string_8: BOOLEAN
	is_whitespace: BOOLEAN
	item alias "[]" (i: INTEGER_32): CHARACTER_32
	last_index_of (c: [like item] CHARACTER_32; start_index_from_end: INTEGER_32): INTEGER_32
	last_index_of_code (c: [like code] NATURAL_32; start_index_from_end: INTEGER_32): INTEGER_32
	max alias "∨" (other: [like Current] IMMUTABLE_STRING_GENERAL): [like Current] IMMUTABLE_STRING_GENERAL
	min alias "∧" (other: [like Current] IMMUTABLE_STRING_GENERAL): [like Current] IMMUTABLE_STRING_GENERAL
	new_character_32_cursor: STRING_ITERATION_CURSOR
	occurrences (c: CHARACTER_32): INTEGER_32
	same_caseless_characters (other: READABLE_STRING_GENERAL; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN
	same_characters (other: READABLE_STRING_GENERAL; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN
	same_string (other: READABLE_STRING_GENERAL): BOOLEAN
	split (a_separator: CHARACTER_32): LIST [[like Current] IMMUTABLE_STRING_GENERAL]
	starts_with (s: READABLE_STRING_GENERAL): BOOLEAN
	substring (start_index, end_index: INTEGER_32): [like Current] IMMUTABLE_STRING_GENERAL
	substring_index (other: READABLE_STRING_GENERAL; start_index: INTEGER_32): INTEGER_32
	substring_index_in_bounds (other: READABLE_STRING_GENERAL; start_pos, end_pos: INTEGER_32): INTEGER_32
	tail (n: INTEGER_32): [like Current] IMMUTABLE_STRING_GENERAL
	three_way_comparison alias "⋚" (other: [like Current] IMMUTABLE_STRING_GENERAL): INTEGER_32
	to_boolean: BOOLEAN
	to_cil: SYSTEM_STRING
	to_double: REAL_64
	to_integer: INTEGER_32
	to_integer_16: INTEGER_16
	to_integer_32: INTEGER_32
	to_integer_64: INTEGER_64
	to_integer_8: INTEGER_8
	to_natural: NATURAL_32
	to_natural_16: NATURAL_16
	to_natural_32: NATURAL_32
	to_natural_64: NATURAL_64
	to_natural_8: NATURAL_8
	to_real: REAL_32
	to_real_32: REAL_32
	to_real_64: REAL_64
	to_string_32: STRING_32
	to_string_8: STRING_8
	True_constant: STRING_8
	valid_code (v: [like code] NATURAL_32): BOOLEAN
	valid_index (i: INTEGER_32): BOOLEAN

Constraints
	immutable

Generated by ISE EiffelStudio