Automatic generation produced by ISE Eiffel
class STRING General cluster: base.kernel description: "Sequences of characters, accessible through integer indices in a contiguous range." create: make_from_c, make_from_string, make Ancestors COMPARABLE HASHABLE INDEXABLE [G, H -> INTEGER] RESIZABLE [G] STRING_HANDLER TO_SPECIAL [T] Queries infix "@" (i: INTEGER): CHARACTER infix ">=" (other: [like Current] STRING): BOOLEAN infix ">" (other: [like Current] STRING): BOOLEAN infix "<=" (other: [like Current] STRING): BOOLEAN infix "<" (other: [like Current] STRING): BOOLEAN infix "+" (s: STRING): STRING adapt (s: STRING): [like Current] STRING additional_space: INTEGER area: SPECIAL [CHARACTER] capacity: INTEGER Changeable_comparison_criterion: BOOLEAN count: INTEGER Extendible: BOOLEAN False_constant: STRING full: BOOLEAN fuzzy_index (other: STRING; start, fuzz: INTEGER): INTEGER Growth_percentage: INTEGER has (c: CHARACTER): BOOLEAN hash_code: INTEGER index_of (c: CHARACTER; start: INTEGER): INTEGER index_set: INTEGER_INTERVAL is_boolean: BOOLEAN is_double: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] STRING): BOOLEAN is_hashable: BOOLEAN is_inserted (v: CHARACTER): BOOLEAN is_integer: BOOLEAN is_real: BOOLEAN item (i: INTEGER): CHARACTER item_code (i: INTEGER): INTEGER last_index_of (c: CHARACTER; start_index_from_end: INTEGER): INTEGER linear_representation: LINEAR [CHARACTER] max (other: [like Current] STRING): [like Current] STRING min (other: [like Current] STRING): [like Current] STRING Minimal_increase: INTEGER mirrored: [like Current] STRING object_comparison: BOOLEAN occurrences (c: CHARACTER): INTEGER out: [like Current] STRING prunable: BOOLEAN resizable: BOOLEAN shared_with (other: [like Current] STRING): BOOLEAN split (a_separator: CHARACTER): LINEAR [STRING] substring (n1, n2: INTEGER): [like Current] STRING substring_index (other: STRING; start: INTEGER): INTEGER three_way_comparison (other: [like Current] STRING): INTEGER to_boolean: BOOLEAN to_c: ANY to_double: DOUBLE to_integer: INTEGER to_real: REAL True_constant: STRING valid_index (i: INTEGER): BOOLEAN Commands adapt_size append (s: STRING) append_boolean (b: BOOLEAN) append_character (c: CHARACTER) append_double (d: DOUBLE) append_integer (i: INTEGER) append_real (r: REAL) append_string (s: STRING) automatic_grow center_justify character_justify (pivot: CHARACTER; position: INTEGER) clear_all compare_objects compare_references copy (other: [like Current] STRING) extend (c: CHARACTER) fill (other: CONTAINER [CHARACTER]) fill_blank fill_character (c: CHARACTER) from_c (c_string: POINTER) from_c_substring (c_string: POINTER; start_pos, end_pos: INTEGER) grow (newsize: INTEGER) head (n: INTEGER) insert (s: STRING; i: INTEGER) left_adjust left_justify make_from_c (c_string: POINTER) make_from_string (s: STRING) mirror multiply (n: INTEGER) precede (c: CHARACTER) prepend (s: STRING) prepend_boolean (b: BOOLEAN) prepend_character (c: CHARACTER) prepend_double (d: DOUBLE) prepend_integer (i: INTEGER) prepend_real (r: REAL) prepend_string (s: STRING) prune (c: CHARACTER) prune_all (c: CHARACTER) prune_all_leading (c: CHARACTER) prune_all_trailing (c: CHARACTER) put (c: CHARACTER; i: INTEGER) remove (i: INTEGER) replace_blank replace_character (c: CHARACTER) replace_substring (s: [like Current] STRING; start_pos, end_pos: INTEGER) replace_substring_all (original, new: [like Current] STRING) resize (newsize: INTEGER) right_adjust right_justify set (t: [like Current] STRING; n1, n2: INTEGER) share (other: [like Current] STRING) subcopy (other: [like Current] STRING; start_pos, end_pos, index_pos: INTEGER) tail (n: INTEGER) to_lower to_upper wipe_out Constraints extendible compare character index set has same count -- Generated by ISE Eiffel --
For more details: www.eiffel.com