Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class STRING_8_ITERATION_CURSOR General cluster: elks description: "External forward one-step iteration cursor for {STRING_8}." create: make Ancestors GENERAL_SPECIAL_ITERATION_CURSOR* [G, H -> READABLE_INDEXABLE [G]] Queries after: BOOLEAN cursor_index: INTEGER_32 decremented alias "-" (n: [like step] INTEGER_32): READABLE_INDEXABLE_ITERATION_CURSOR [CHARACTER_8] First_index: INTEGER_32 incremented alias "+" (n: [like step] INTEGER_32): READABLE_INDEXABLE_ITERATION_CURSOR [CHARACTER_8] is_first: BOOLEAN is_last: BOOLEAN Is_reversed: BOOLEAN is_valid: BOOLEAN item: CHARACTER_8 last_index: INTEGER_32 new_cursor: STRING_8_ITERATION_CURSOR reversed alias "-": READABLE_INDEXABLE_ITERATION_CURSOR [CHARACTER_8] Step: INTEGER_32 target_index: INTEGER_32 with_step (n: [like step] INTEGER_32): READABLE_INDEXABLE_ITERATION_CURSOR [CHARACTER_8] Commands forth start
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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