deferred class STRING_GENERAL General cluster: elks description: "Common ancestors to all STRING classes." Ancestors READABLE_STRING_GENERAL* Queries as_lower: [like Current] STRING_GENERAL as_string_32: STRING_32 as_string_8: STRING_8 as_upper: [like Current] 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] 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] STRING_GENERAL): BOOLEAN is_greater alias ">" (other: [like Current] STRING_GENERAL): BOOLEAN is_greater_equal alias ">=" (other: [like Current] 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] STRING_GENERAL): BOOLEAN is_less_equal alias "<=" (other: [like Current] 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 (other: [like Current] STRING_GENERAL): [like Current] STRING_GENERAL min (other: [like Current] STRING_GENERAL): [like Current] STRING_GENERAL new_character_32_cursor: STRING_ITERATION_CURSOR occurrences (c: CHARACTER_32): INTEGER_32 plus alias "+" (s: READABLE_STRING_GENERAL): [like Current] STRING_GENERAL 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] STRING_GENERAL] starts_with (s: READABLE_STRING_GENERAL): BOOLEAN substring (start_index, end_index: INTEGER_32): [like Current] 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] STRING_GENERAL three_way_comparison (other: [like Current] 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 Commands adjust append (s: READABLE_STRING_GENERAL) append_boolean (b: BOOLEAN) append_code (c: [like code] NATURAL_32) append_double (d: REAL_64) append_integer (i: INTEGER_32) append_integer_16 (i: INTEGER_16) append_integer_64 (i: INTEGER_64) append_integer_8 (i: INTEGER_8) append_natural_16 (i: NATURAL_16) append_natural_32 (i: NATURAL_32) append_natural_8 (i: NATURAL_8) append_real (r: REAL_32) append_substring (s: READABLE_STRING_GENERAL; start_index, end_index: INTEGER_32) keep_head (n: INTEGER_32) keep_tail (n: INTEGER_32) left_adjust prepend (s: READABLE_STRING_GENERAL) prepend_boolean (b: BOOLEAN) prepend_double (d: REAL_64) prepend_integer (i: INTEGER_32) prepend_real (r: REAL_32) prepend_substring (s: READABLE_STRING_GENERAL; start_index, end_index: INTEGER_32) put_code (v: [like code] NATURAL_32; i: INTEGER_32) remove (i: INTEGER_32) remove_head (n: INTEGER_32) remove_substring (start_index, end_index: INTEGER_32) remove_tail (n: INTEGER_32) resize (newsize: INTEGER_32) right_adjust wipe_out Constraints mutable
Generated by ISE EiffelStudio