Automatic generation produced by ISE Eiffel
class XML_STRING_REWINDABLE_INPUT_STREAM General cluster: xml_parser description: "Summary description for {XML_STRING_REWINDABLE_INPUT_STREAM}." create: make, make_empty Ancestors XML_REWINDABLE_INPUT_STREAM* XML_STRING_INPUT_STREAM Queries column: INTEGER_32 count: INTEGER_32 debug_output: STRING_32 end_of_input: BOOLEAN index: INTEGER_32 is_open_read: BOOLEAN last_character: CHARACTER_8 last_character_code: NATURAL_32 line: INTEGER_32 name: STRING_32 Commands close read_character read_character_code rewind set_name (s: [like name] STRING_32) start -- Generated by Eiffel Studio --
For more details: eiffel.org