class FILE_ITERATION_CURSOR General cluster: elks description: "External iteration cursor for a file." create: make_empty, make_open_read, make_open_stdin Ancestors DISPOSABLE* ITERATION_CURSOR* [G] Queries after: BOOLEAN byte: NATURAL_8 character: CHARACTER_8 Commands close forth Constraints consistent item
Generated by ISE EiffelStudio