Automatic generation produced by ISE Eiffel
deferred class READABLE_STRING_32 General cluster: elks description: "Sequences of 32-bit characters, accessible through integer indices in a contiguous range. Read-only interface." Ancestors READABLE_INDEXABLE* [G] READABLE_STRING_GENERAL* Queries as_lower: [like Current] READABLE_STRING_32 as_string_32: STRING_32 as_upper: [like Current] READABLE_STRING_32 at alias "@" (i: INTEGER_32): CHARACTER_32 capacity: INTEGER_32 case_insensitive_hash_code: INTEGER_32 code (i: INTEGER_32): NATURAL_32 count: INTEGER_32 ends_with (s: READABLE_STRING_32): BOOLEAN ends_with_general (s: READABLE_STRING_GENERAL): BOOLEAN False_constant: STRING_8 fuzzy_index (other: READABLE_STRING_GENERAL; start, fuzz: INTEGER_32): INTEGER_32 has (c: 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] READABLE_STRING_32 index_of (c: 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_32): BOOLEAN is_case_insensitive_equal_general (other: READABLE_STRING_GENERAL): BOOLEAN is_double: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] READABLE_STRING_32): BOOLEAN is_greater alias ">" (other: [like Current] READABLE_STRING_32): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] READABLE_STRING_32): 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] READABLE_STRING_32): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] READABLE_STRING_32): 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: 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 Lower: INTEGER_32 max alias "∨" (other: [like Current] READABLE_STRING_32): [like Current] READABLE_STRING_32 min alias "∧" (other: [like Current] READABLE_STRING_32): [like Current] READABLE_STRING_32 mirrored: [like Current] READABLE_STRING_32 new_character_32_cursor: STRING_ITERATION_CURSOR new_cursor: STRING_32_ITERATION_CURSOR occurrences (c: CHARACTER_32): INTEGER_32 out: STRING_8 plus alias "+" (s: READABLE_STRING_32): [like Current] READABLE_STRING_32 same_caseless_characters (other: READABLE_STRING_32; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN same_caseless_characters_general (other: READABLE_STRING_GENERAL; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN same_characters (other: READABLE_STRING_32; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN same_characters_general (other: READABLE_STRING_GENERAL; start_pos, end_pos, index_pos: INTEGER_32): BOOLEAN same_string (other: READABLE_STRING_32): BOOLEAN same_string_general (other: READABLE_STRING_GENERAL): BOOLEAN shared_with (other: READABLE_STRING_32): BOOLEAN split (a_separator: CHARACTER_32): LIST [[like Current] READABLE_STRING_32] starts_with (s: READABLE_STRING_32): BOOLEAN starts_with_general (s: READABLE_STRING_GENERAL): BOOLEAN string: STRING_32 string_representation: STRING_32 substring (start_index, end_index: INTEGER_32): [like Current] READABLE_STRING_32 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] READABLE_STRING_32 three_way_comparison alias "⋚" (other: [like Current] READABLE_STRING_32): 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: NATURAL_32): BOOLEAN valid_index (i: INTEGER_32): BOOLEAN Commands copy (other: [like Current] READABLE_STRING_32) Constraints area not void -- Generated by Eiffel Studio --
For more details: eiffel.org