From 1373211465c34015ee900e097aa87fbffb401187 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sun, 29 Jan 2017 19:54:26 +0100 Subject: Trying out ACSL, continuing implementation. --- src/pipe/pipe.c | 1 + src/pipe/pipe.h | 1 + src/pipe/pipe_types.h | 10 ++++++++-- 3 files changed, 10 insertions(+), 2 deletions(-) (limited to 'src/pipe') diff --git a/src/pipe/pipe.c b/src/pipe/pipe.c index e69de29..8f414f5 100644 --- a/src/pipe/pipe.c +++ b/src/pipe/pipe.c @@ -0,0 +1 @@ +/* TODO */ diff --git a/src/pipe/pipe.h b/src/pipe/pipe.h index ea31b55..3c5fd44 100644 --- a/src/pipe/pipe.h +++ b/src/pipe/pipe.h @@ -143,4 +143,5 @@ }\ ) +/* TODO: add missing pipe functions */ #endif diff --git a/src/pipe/pipe_types.h b/src/pipe/pipe_types.h index 15b4a54..cfeb514 100644 --- a/src/pipe/pipe_types.h +++ b/src/pipe/pipe_types.h @@ -1,5 +1,5 @@ #ifndef _ZoO_PIPE_PIPE_TYPES_H_ -#define _ZoO_PIPE_PIPE_TYPESH_ +#define _ZoO_PIPE_PIPE_TYPES_H_ #include @@ -8,6 +8,12 @@ struct ZoO_pipe FILE * out; FILE * in; }; - const struct ZoO_pipe io [const restrict static 1] + +struct ZoO_pipe_names +{ + char request_pipe[255]; + char reply_pipe[255]; +}; +// const struct ZoO_pipe io [const restrict static 1] #endif -- cgit v1.2.3-70-g09d2