Table of Contents Previous Chapter

5.14 Class STD_FILES

indexing

description: "Commonly used input and output mechanisms. This class may be used as either ancestor or supplier by classes needing its facilities."

class interface

feature -- Access

default_output: FILE

-- Default output.

error: FILE

-- Standard error file

input: FILE

-- Standard input file

output: FILE

-- Standard output file

standard_default: FILE

-- Return the default_output or output

-- if default_output is Void.

feature -- Status report

last_character: CHARACTER

-- Last character read by read_character

last_double: DOUBLE

-- Last double read by read_double

last_integer: INTEGER

-- Last integer read by read_integer

last_real: REAL

-- Last real read by read_real

last_string: STRING

-- Last string read by read_line,

-- read_stream, or read_word

feature -- Element change

put_boolean (b: BOOLEAN)

-- Write b at end of default output.

put_character (c: CHARACTER)

-- Write c at end of default output.

put_double (d: DOUBLE)

-- Write d at end of default output.

put_integer (i: INTEGER)

-- Write i at end of default output.

put_new_line

-- Write line feed at end of default output.

put_real (r: REAL)

-- Write r at end of default output.

put_string (s: STRING)

-- Write s at end of default output.

require

s /= Void

set_error_default

-- Use standard error as default output.

set_output_default

-- Use standard output as default output.

feature -- Input

read_character

-- Read a new character from standard input.

-- Make result available in last_character.

read_double

-- Read a new double from standard input.

-- Make result available in last_double.

read_integer

-- Read a new integer from standard input.

-- Make result available in last_integer.

read_line

-- Read a line from standard input.

-- Make result available in last_string.

-- New line will be consumed but not part of last_string.

read_real

-- Read a new real from standard input.

-- Make result available in last_real.

read_stream (nb_char: INTEGER)

-- Read a string of at most nb_char bound characters

-- from standard input.

-- Make result available in last_string.

to_next_line

-- Move to next input line on standard input.

end