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