Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
indexing
	description: "[
		Commonly used input and output mechanisms.
		This class may be used as either ancestor or supplier
		by classes needing its facilities."
	]"
	status: "See notice at end of class"
	date: "$Date: 2001-11-16 20:32:23 +0000 (Fri, 16 Nov 2001) $"
	revision: "$Revision: 51435 $"

class 
	STD_FILES

feature -- Access

	default_output: PLAIN_TEXT_FILE
			-- Default output

	error: PLAIN_TEXT_FILE is
			-- Standard error file
		once
			create {CONSOLE} Result.make_open_stderr ("stderr")
		end

	input: PLAIN_TEXT_FILE is
			-- Standard input file
		once
			create {CONSOLE} Result.make_open_stdin ("stdin")
		end

	output: PLAIN_TEXT_FILE is
			-- Standard output file
		once
			create {CONSOLE} Result.make_open_stdout ("stdout")
		end

	standard_default: PLAIN_TEXT_FILE is
			-- Return the default_output or output
			-- if default_output is Void.
		do
			if default_output = void then
				Result := output
			else
				Result := default_output
			end
		end
	
feature -- Status report

	last_character: CHARACTER is
			-- Last character read by read_character
			-- Was declared in STD_FILES as synonym of lastchar.
		do
			Result := input.last_character
		end

	last_double: DOUBLE is
			-- Last double read by read_double
			-- Was declared in STD_FILES as synonym of lastdouble.
		do
			Result := input.last_double
		end

	last_integer: INTEGER is
			-- Last integer read by read_integer
			-- Was declared in STD_FILES as synonym of lastint.
		do
			Result := input.last_integer
		end

	last_real: REAL is
			-- Last real read by read_real
			-- Was declared in STD_FILES as synonym of lastreal.
		do
			Result := input.last_real
		end

	last_string: STRING is
			-- Last string read by read_line,
			-- read_stream, or read_word
			-- Was declared in STD_FILES as synonym of laststring.
		do
			Result := input.last_string
		end

	lastchar: CHARACTER is
			-- Last character read by read_character
			-- Was declared in STD_FILES as synonym of last_character.
		do
			Result := input.last_character
		end

	lastdouble: DOUBLE is
			-- Last double read by read_double
			-- Was declared in STD_FILES as synonym of last_double.
		do
			Result := input.last_double
		end

	lastint: INTEGER is
			-- Last integer read by read_integer
			-- Was declared in STD_FILES as synonym of last_integer.
		do
			Result := input.last_integer
		end

	lastreal: REAL is
			-- Last real read by read_real
			-- Was declared in STD_FILES as synonym of last_real.
		do
			Result := input.last_real
		end

	laststring: STRING is
			-- Last string read by read_line,
			-- read_stream, or read_word
			-- Was declared in STD_FILES as synonym of last_string.
		do
			Result := input.last_string
		end
	
feature -- Element change

	new_line is
			-- Write line feed at end of default output.
			-- Was declared in STD_FILES as synonym of put_new_line.
		do
			standard_default.new_line
		end

	put_boolean (b: BOOLEAN) is
			-- Write b at end of default output.
			-- Was declared in STD_FILES as synonym of putbool.
		do
			if b then
				put_string ("True")
			else
				put_string ("False")
			end
		end

	put_character (c: CHARACTER) is
			-- Write c at end of default output.
			-- Was declared in STD_FILES as synonym of putchar.
		do
			standard_default.put_character (c)
		end

	put_double (d: DOUBLE) is
			-- Write d at end of default output.
			-- Was declared in STD_FILES as synonym of putdouble.
		do
			standard_default.put_double (d)
		end

	put_integer (i: INTEGER) is
			-- Write i at end of default output.
			-- Was declared in STD_FILES as synonym of putint.
		do
			standard_default.put_integer (i)
		end

	put_new_line is
			-- Write line feed at end of default output.
			-- Was declared in STD_FILES as synonym of new_line.
		do
			standard_default.new_line
		end

	put_real (r: REAL) is
			-- Write r at end of default output.
			-- Was declared in STD_FILES as synonym of putreal.
		do
			standard_default.put_real (r)
		end

	put_string (s: STRING) is
			-- Write s at end of default output.
			-- Was declared in STD_FILES as synonym of putstring.
		require
			string_not_void: s /= void
		do
			standard_default.put_string (s)
		end

	putbool (b: BOOLEAN) is
			-- Write b at end of default output.
			-- Was declared in STD_FILES as synonym of put_boolean.
		do
			if b then
				put_string ("True")
			else
				put_string ("False")
			end
		end

	putchar (c: CHARACTER) is
			-- Write c at end of default output.
			-- Was declared in STD_FILES as synonym of put_character.
		do
			standard_default.put_character (c)
		end

	putdouble (d: DOUBLE) is
			-- Write d at end of default output.
			-- Was declared in STD_FILES as synonym of put_double.
		do
			standard_default.put_double (d)
		end

	putint (i: INTEGER) is
			-- Write i at end of default output.
			-- Was declared in STD_FILES as synonym of put_integer.
		do
			standard_default.put_integer (i)
		end

	putreal (r: REAL) is
			-- Write r at end of default output.
			-- Was declared in STD_FILES as synonym of put_real.
		do
			standard_default.put_real (r)
		end

	putstring (s: STRING) is
			-- Write s at end of default output.
			-- Was declared in STD_FILES as synonym of put_string.
		require
			string_not_void: s /= void
		do
			standard_default.put_string (s)
		end

	set_error_default is
			-- Use standard error as default output.
		do
			default_output := error
		end

	set_file_default (f: PLAIN_TEXT_FILE) is
			-- Use f as default output.
		require
			valid_argument: f /= void
			file_open_write: f.is_open_write
		do
			default_output := f
		end

	set_output_default is
			-- Use standard output as default output.
		do
			default_output := output
		end
	
feature -- Input

	next_line is
			-- Move to next input line on standard input.
			-- Was declared in STD_FILES as synonym of to_next_line.
		do
			input.next_line
		end

	read_character is
			-- Read a new character from standard input.
			-- Make result available in last_character.
			-- Was declared in STD_FILES as synonym of readchar.
		do
			input.read_character
		end

	read_double is
			-- Read a new double from standard input.
			-- Make result available in last_double.
			-- Was declared in STD_FILES as synonym of readdouble.
		do
			input.read_double
		end

	read_integer is
			-- Read a new integer from standard input.
			-- Make result available in last_integer.
			-- Was declared in STD_FILES as synonym of readint.
		do
			input.read_integer
		end

	read_line is
			-- Read a line from standard input.
			-- Make result available in last_string.
			-- Was declared in STD_FILES as synonym of readline.
		do
			input.read_line
		end

	read_real is
			-- Read a new real from standard input.
			-- Make result available in last_real.
			-- Was declared in STD_FILES as synonym of readreal.
		do
			input.read_real
		end

	read_stream (nb_char: INTEGER) is
			-- Read a string of at most nb_char bound characters
			-- from standard input.
			-- Make result available in last_string.
			-- Was declared in STD_FILES as synonym of readstream.
		do
			input.read_stream (nb_char)
		end

	read_word is
			-- Read a new word from standard input.
			-- Make result available in last_string.
			-- Was declared in STD_FILES as synonym of readword.
		do
			input.read_word
		end

	readchar is
			-- Read a new character from standard input.
			-- Make result available in last_character.
			-- Was declared in STD_FILES as synonym of read_character.
		do
			input.read_character
		end

	readdouble is
			-- Read a new double from standard input.
			-- Make result available in last_double.
			-- Was declared in STD_FILES as synonym of read_double.
		do
			input.read_double
		end

	readint is
			-- Read a new integer from standard input.
			-- Make result available in last_integer.
			-- Was declared in STD_FILES as synonym of read_integer.
		do
			input.read_integer
		end

	readline is
			-- Read a line from standard input.
			-- Make result available in last_string.
			-- Was declared in STD_FILES as synonym of read_line.
		do
			input.read_line
		end

	readreal is
			-- Read a new real from standard input.
			-- Make result available in last_real.
			-- Was declared in STD_FILES as synonym of read_real.
		do
			input.read_real
		end

	readstream (nb_char: INTEGER) is
			-- Read a string of at most nb_char bound characters
			-- from standard input.
			-- Make result available in last_string.
			-- Was declared in STD_FILES as synonym of read_stream.
		do
			input.read_stream (nb_char)
		end

	readword is
			-- Read a new word from standard input.
			-- Make result available in last_string.
			-- Was declared in STD_FILES as synonym of read_word.
		do
			input.read_word
		end

	to_next_line is
			-- Move to next input line on standard input.
			-- Was declared in STD_FILES as synonym of next_line.
		do
			input.next_line
		end
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

indexing
	library: "[
			EiffelBase: Library of reusable components for Eiffel.
	]"
	status: "[
			Copyright 1986-2001 Interactive Software Engineering (ISE).
			For ISE customers the original versions are an ISE product
			covered by the ISE Eiffel license and support agreements.
	]"
	license: "[
			EiffelBase may now be used by anyone as FREE SOFTWARE to
			develop any product, public-domain or commercial, without
			payment to ISE, under the terms of the ISE Free Eiffel Library
			License (IFELL) at http://eiffel.com/products/base/license.html.
	]"
	source: "[
			Interactive Software Engineering Inc.
			ISE Building
			360 Storke Road, Goleta, CA 93117 USA
			Telephone 805-685-1006, Fax 805-685-6869
			Electronic mail <info@eiffel.com>
			Customer support http://support.eiffel.com
	]"
	info: "[
			For latest info see award-winning pages: http://eiffel.com
	]"

end -- class STD_FILES


Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com