rpm 5.3.7

rpmio/rpmdav.h

Go to the documentation of this file.
00001 #ifndef RPMDAV_H
00002 #define RPMDAV_H
00003 
00007 #include <rpmio.h>
00008 #include <rpmurl.h>
00009 
00012 /*@unchecked@*/
00013 extern int _ftp_debug;
00014 /*@unchecked@*/
00015 extern int _dav_debug;
00016 /*@unchecked@*/
00017 extern int rpmioHttpReadTimeoutSecs;
00018 /*@unchecked@*/
00019 extern int rpmioHttpConnectTimeoutSecs;
00020 /*@unchecked@*/ /*@null@*/
00021 extern const char * rpmioHttpAccept;
00022 /*@unchecked@*/ /*@null@*/
00023 extern const char * rpmioHttpUserAgent;
00024 
00025 #ifdef __cplusplus
00026 extern "C" {
00027 #endif
00028 
00034 /*@null@*/
00035 DIR * ftpOpendir(const char * path)
00036         /*@globals h_errno, errno, fileSystem, internalState @*/
00037         /*@modifies errno, fileSystem, internalState @*/;
00038 
00044 int davDisconnect(void * _u)
00045         /*@globals internalState @*/
00046         /*@modifies _u, internalState @*/;
00047 
00053 int davFree(urlinfo u)
00054         /*@globals internalState @*/
00055         /*@modifies u, internalState @*/;
00056 
00060 void davDestroy(void)
00061         /*@globals internalState @*/
00062         /*@modifies internalState @*/;
00063 
00071 int davReq(FD_t ctrl, const char * httpCmd, /*@null@*/ const char * httpArg)
00072         /*@globals fileSystem, internalState @*/
00073         /*@modifies ctrl, fileSystem, internalState @*/;
00074 
00082 /*@-exportlocal@*/
00083 int davResp(urlinfo u, FD_t ctrl, /*@out@*/ /*@null@*/ char *const * str)
00084         /*@globals fileSystem, internalState @*/
00085         /*@modifies ctrl, *str, fileSystem, internalState @*/;
00086 /*@=exportlocal@*/
00087 
00096 /*@null@*/
00097 FD_t davOpen(const char * url, /*@unused@*/ int flags,
00098                 /*@unused@*/ mode_t mode, /*@out@*/ urlinfo * uret)
00099         /*@globals internalState @*/
00100         /*@modifies *uret, internalState @*/;
00101 
00102 /*@null@*/
00103 FD_t httpOpen(const char * url, /*@unused@*/ int flags,
00104                 /*@unused@*/ mode_t mode, /*@out@*/ urlinfo * uret)
00105         /*@globals internalState @*/
00106         /*@modifies *uret, internalState @*/;
00107 
00110 ssize_t davRead(void * cookie, /*@out@*/ char * buf, size_t count)
00111         /*@globals errno, fileSystem, internalState @*/
00112         /*@modifies buf, errno, fileSystem, internalState @*/;
00113 
00116 ssize_t davWrite(void * cookie, const char * buf, size_t count)
00117         /*@globals fileSystem, internalState @*/
00118         /*@modifies fileSystem, internalState @*/;
00119 
00122 int davSeek(void * cookie, _libio_pos_t pos, int whence)
00123         /*@globals fileSystem, internalState @*/
00124         /*@modifies fileSystem, internalState @*/;
00125 
00128 int davClose(void * cookie)
00129         /*@globals fileSystem, internalState @*/
00130         /*@modifies cookie, fileSystem, internalState @*/;
00131 
00134 int davMkdir(const char * path, mode_t mode)
00135         /*@globals fileSystem, internalState @*/
00136         /*@modifies fileSystem, internalState @*/;
00137 
00140 int davRmdir(const char * path)
00141         /*@globals fileSystem, internalState @*/
00142         /*@modifies fileSystem, internalState @*/;
00143 
00146 int davRename(const char * oldpath, const char * newpath)
00147         /*@globals fileSystem, internalState @*/
00148         /*@modifies fileSystem, internalState @*/;
00149 
00152 int davUnlink(const char * path)
00153         /*@globals fileSystem, internalState @*/
00154         /*@modifies fileSystem, internalState @*/;
00155 
00161 int davClosedir(/*@only@*/ DIR * dir)
00162         /*@globals fileSystem @*/
00163         /*@modifies dir, fileSystem @*/;
00164 
00170 /*@dependent@*/ /*@null@*/
00171 struct dirent * davReaddir(DIR * dir)
00172         /*@globals fileSystem @*/
00173         /*@modifies fileSystem @*/;
00174 
00180 /*@null@*/
00181 DIR * davOpendir(const char * path)
00182         /*@globals errno, fileSystem, internalState @*/
00183         /*@modifies errno, fileSystem, internalState @*/;
00184 
00188 int davStat(const char * path, /*@out@*/ struct stat * st)
00189         /*@globals errno, fileSystem, internalState @*/
00190         /*@modifies *st, errno, fileSystem, internalState @*/;
00191 
00195 int davLstat(const char * path, /*@out@*/ struct stat * st)
00196         /*@globals errno, fileSystem, internalState @*/
00197         /*@modifies *st, errno, fileSystem, internalState @*/;
00198 
00202 char * davRealpath(const char * path, /*@out@*/ /*@null@*/ char * resolved_path)
00203         /*@modifies *resolved_path @*/;
00204 
00205 #ifdef __cplusplus
00206 }
00207 #endif
00208 
00209 #endif /* RPMDAV_H */