INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Standard input"
project: "Eiffel Kernel Library: input and output"
revision: "$Revision: 1.2 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: kernel
class STANDARD_INPUT_STREAM
inherit

PROCESS_INPUT_STREAM
end
creation

make
feature {NONE}-- Creation

make
-- Create object for reading from standard input
ensure
is_open: is_open
feature -- Status report

is_open: BOOLEAN
ensure
definition: Result = not is_closed
end -- class STANDARD_INPUT_STREAM

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES