Pipes

Thick Ada wrapper for pipe functions in C.

		type Pipe_Stream
	A new stream type for pipes.

		type Pipe
	Make pipes compatible with stream functions.

		type Pipe_Mode
	Either input or output.

		function Std_In
	Read-only pipe from standard input.
	Param  Type  Description return  Pipe  A stream to read from standard input.

		function Std_Out
	Write-only pipe to standard output.
	Param  Type  Description return  Pipe  A stream to write to standard output.

		function Execute
	One-way pipe to external program.
	Param  Type  Description in Command  String  Name of the program to execute. in Mode  Pipe_Mode  Input or output? return  Pipe  The newly created pipe stream.

		procedure Close
	Close a pipe.
	Param  Type  Description in out Stream  Pipe  Close this pipe.

		procedure Read
	Read from a pipe. You can use Sometype'Read(Pipe, Value).
	Param  Type  Description in out Stream  Pipe_Stream  Read from this stream. out Item  Stream_Element_Array  Read into this array. out Last  Stream_Element_Offset  Last read element's index.

		procedure Write
	Write to a pipe. You can use Sometype'Write(Pipe, Value).
	Param  Type  Description in out Stream  Pipe_Stream  Write to this stream. in Item  Stream_Element_Array  Write this array.