Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class STRING_ITERATION_CURSOR General cluster: elks description: "External iteration cursor on {READABLE_STRING_GENERAL} based on {CHARACTER_32} item." create: make, make_from_substring Ancestors ITERABLE* [G] ITERATION_CURSOR* [G] Queries after: BOOLEAN item: CHARACTER_32 new_cursor: STRING_ITERATION_CURSOR target_index: INTEGER_32 Commands forth make (t: [like target] READABLE_STRING_GENERAL) make_from_substring (t: [like target] READABLE_STRING_GENERAL; start_pos, end_pos: INTEGER_32) start Constraints target attached target index big enough target index small enough
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org