- indexing
- title: "Pipe input stream"
- project: "Eiffel Kernel Library: input and output"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: kernel
class PIPE_INPUT_STREAM
- inherit
-
PROCESS_INPUT_STREAM
- end
- creation {PIPE}
- make
- feature {NONE}-- Creation
-
make (input_handle: like handle)
-
-
-- Create pipe object
- feature -- Status report
-
is_open: BOOLEAN
-
- ensure
-
definition:
Result = not is_closed
end -- class PIPE_INPUT_STREAM