diff options
Diffstat (limited to 'lib/rpmio.h')
| -rw-r--r-- | lib/rpmio.h | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/lib/rpmio.h b/lib/rpmio.h index 1f8cf8fee..57c2b6acc 100644 --- a/lib/rpmio.h +++ b/lib/rpmio.h @@ -22,21 +22,21 @@ typedef /*@abstract@*/ struct _FD { extern "C" { #endif -int timedRead(FD_t fd, void * bufptr, int length); +int timedRead(FD_t fd, /*@out@*/void * bufptr, int length); -extern /*@null@*/ FD_t fdNew(void); +extern /*@only@*/ /*@null@*/ FD_t fdNew(void); extern int fdValid(FD_t fd); extern int fdFileno(FD_t fd); -extern /*@null@*/ FD_t fdOpen(const char *pathname, int flags, mode_t mode); -extern /*@null@*/ FD_t fdDup(int fdno); +extern /*@only@*/ /*@null@*/ FD_t fdOpen(const char *pathname, int flags, mode_t mode); +extern /*@only@*/ /*@null@*/ FD_t fdDup(int fdno); extern off_t fdLseek(FD_t fd, off_t offset, int whence); -extern ssize_t fdRead(FD_t fd, void * buf, size_t count); +extern ssize_t fdRead(FD_t fd, /*@out@*/void * buf, size_t count); extern ssize_t fdWrite(FD_t fd, const void * buf, size_t count); extern int fdClose(/*@only@*/ FD_t fd); -extern /*@shared@*/ FILE *fdFdopen(/*@owned@*/ FD_t fd, const char *mode); +extern /*@null@*/ FILE *fdFdopen(FD_t fd, const char *mode); /* * Support for GZIP library. @@ -47,11 +47,11 @@ extern /*@shared@*/ FILE *fdFdopen(/*@owned@*/ FD_t fd, const char *mode); extern gzFile * gzdFileno(FD_t fd); -extern /*@null@*/ FD_t gzdOpen(const char *pathname, const char *mode); +extern /*@only@*/ /*@null@*/ FD_t gzdOpen(const char *pathname, const char *mode); -extern /*@shared@*/ FD_t gzdFdopen(FD_t fd, const char *mode); +extern /*@only@*/ /*@null@*/ FD_t gzdFdopen(FD_t fd, const char *mode); -extern ssize_t gzdRead(FD_t fd, void * buf, size_t count); +extern ssize_t gzdRead(FD_t fd, /*@out@*/void * buf, size_t count); extern ssize_t gzdWrite(FD_t fd, const void * buf, size_t count); @@ -59,7 +59,7 @@ extern off_t gzdLseek(FD_t fd, off_t offset, int whence); extern int gzdFlush(FD_t fd); -extern char * gzdStrerror(FD_t fd); +extern /*@only@*/ /*@observer@*/ const char * gzdStrerror(FD_t fd); extern int gzdClose(/*@only@*/ FD_t fd); @@ -74,17 +74,17 @@ extern int gzdClose(/*@only@*/ FD_t fd); extern BZFILE * bzdFileno(FD_t fd); -extern /*@null@*/ FD_t bzdOpen(const char *pathname, const char *mode); +extern /*@only@*/ /*@null@*/ FD_t bzdOpen(const char *pathname, const char *mode); -extern /*@shared@*/ FD_t bzdFdopen(FD_t fd, const char *mode); +extern /*@only@*/ /*@null@*/ FD_t bzdFdopen(FD_t fd, const char *mode); -extern ssize_t bzdRead(FD_t fd, void * buf, size_t count); +extern ssize_t bzdRead(FD_t fd, /*@out@*/void * buf, size_t count); extern ssize_t bzdWrite(FD_t fd, const void * buf, size_t count); extern int bzdFlush(FD_t fd); -extern char * bzdStrerror(FD_t fd); +extern /*@only@*/ /*@observer@*/ const char * bzdStrerror(FD_t fd); extern int bzdClose(/*@only@*/ FD_t fd); |