- indexing
- title: "Pipes"
- 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 PIPE
- creation
- make
- feature {NONE}-- Creation
-
make
-
-
-- Create pipe object
-
- ensure
-
non_void_input:
input /= void
-
non_void_output:
output /= void
-
open_input:
input.is_open
-
open_output:
output.is_open
- feature -- Access
-
input: PIPE_INPUT_STREAM
-
output: PIPE_OUTPUT_STREAM
end -- class PIPE