class HASH_TABLE_ITERATION_CURSOR [G, K -> detachable HASHABLE] General cluster: elks description: "An external iteration cursor for {HASH_TABLE}." create: make Ancestors READABLE_INDEXABLE_ITERATION_CURSOR [G] TABLE_ITERATION_CURSOR* [G, K] Queries after: BOOLEAN cursor_index: INTEGER_32 decremented alias "-" (n: [like step] INTEGER_32): [like Current] HASH_TABLE_ITERATION_CURSOR [G, K] first_index: INTEGER_32 incremented alias "+" (n: [like step] INTEGER_32): [like Current] HASH_TABLE_ITERATION_CURSOR [G, K] is_first: BOOLEAN is_last: BOOLEAN is_reversed: BOOLEAN is_valid: BOOLEAN item: G iteration_position: INTEGER_32 key: K last_index: INTEGER_32 new_cursor: [like Current] HASH_TABLE_ITERATION_CURSOR [G, K] reversed alias "-": [like Current] HASH_TABLE_ITERATION_CURSOR [G, K] step: INTEGER_32 version: NATURAL_32 with_step (n: [like step] INTEGER_32): [like Current] HASH_TABLE_ITERATION_CURSOR [G, K] Commands forth reverse set_step (v: [like step] INTEGER_32) start
Generated by ISE EiffelStudio