mc/src/pipethrough.h
Roland Illig 8676605ad2 * pipethrough.c: Added pipethrough, a function to execute child
processes in a simple way.
	* pipethrough.h: The interface for the function.
	* pipethrough.3: The manpage (will be installed in maintainer-mode).
	* Makefile.am: Added the files to SRCS.
2004-09-25 21:21:09 +00:00

32 lines
897 B
C

#ifndef PIPETHROUGH_H
#define PIPETHROUGH_H
/*@-protoparamname@*/
struct pipe_inbuffer {
/*@observer@*/ const void *data;
size_t size;
};
struct pipe_outbuffer {
/*@only@*/ /*@null@*/ void *data;
size_t size;
};
extern int pipethrough(const char *command,
const struct pipe_inbuffer *stdin_buf,
/*@out@*/ struct pipe_outbuffer *stdout_buf,
/*@out@*/ struct pipe_outbuffer *stderr_buf,
/*@out@*/ int *status)
/*@globals internalState, fileSystem, errno, stderr; @*/
/*@modifies internalState, fileSystem, errno, *stderr, *stdout_buf, *stderr_buf, *status; @*/;
extern void pipe_outbuffer_finalize(/*@special@*/ struct pipe_outbuffer *buf)
/*@modifies *buf; @*/
/*@releases buf->data; @*/
/*@ensures isnull buf->data; @*/;
/*@=protoparamname@*/
#endif