deferred class KI_CHARACTER_OUTPUT_STREAM General cluster: kernel description: "Interface for character output streams" Ancestors KI_OUTPUT_STREAM* [G] KL_IMPORTED_STRING_ROUTINES Queries is_closable: BOOLEAN is_open_write: BOOLEAN name: STRING_8 Commands append (an_input_stream: KI_INPUT_STREAM [CHARACTER_8]) close flush put_boolean (b: BOOLEAN) put_character (v: CHARACTER_8) put_integer (i: INTEGER_32) put_integer_16 (i: INTEGER_16) put_integer_32 (i: INTEGER_32) put_integer_64 (i: INTEGER_64) put_integer_8 (i: INTEGER_8) put_natural_16 (i: NATURAL_16) put_natural_32 (i: NATURAL_32) put_natural_64 (i: NATURAL_64) put_natural_8 (i: NATURAL_8) put_string (a_string: STRING_8) put_substring (a_string: STRING_8; s, e: INTEGER_32)
Generated by ISE EiffelStudio