commandrw/src/CommandWr.i3

INTERFACE CommandWr;
A Wr stream which feeds stdin of a shell program. This can be used e.g. to write gzip compressed files without temporary files. 

IMPORT Wr, OSError, Pathname, File;

TYPE T <: Wr.T;

PROCEDURE Open (         command: Pathname.T;
                READONLY args   : ARRAY OF TEXT;
                         stdout : File.T          := NIL; ): T
  RAISES {OSError.E};

END CommandWr.