INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES