src/pipethrough.h

   1 #ifndef PIPETHROUGH_H
   2 #define PIPETHROUGH_H
   3
   4 /*@-protoparamname@*/
   5
   6 struct pipe_inbuffer {
   7         /*@observer@*/ const void *data;
   8         size_t size;
   9 };
  10
  11 struct pipe_outbuffer {
  12         /*@only@*/ /*@null@*/ void *data;
  13         size_t size;
  14 };
  15
  16 extern int pipethrough(const     char                  *command,
  17                        const     struct pipe_inbuffer  *stdin_buf,
  18                        /*@out@*/ struct pipe_outbuffer *stdout_buf,
  19                        /*@out@*/ struct pipe_outbuffer *stderr_buf,
  20                        /*@out@*/ int                   *status)
  21 /*@globals internalState, fileSystem, errno, stderr; @*/
  22 /*@modifies internalState, fileSystem, errno, *stderr, *stdout_buf, *stderr_buf, *status; @*/;
  23
  24 extern void pipe_outbuffer_finalize(/*@special@*/ struct pipe_outbuffer *buf)
  25 /*@modifies *buf; @*/
  26 /*@releases buf->data; @*/
  27 /*@ensures isnull buf->data; @*/;
  28
  29 /*@=protoparamname@*/
  30
  31 #endif