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
Generated by ISE EiffelStudio