Stub in libio routines.

CVS patchset: 7544
CVS date: 2004/11/05 16:20:42

2 files changed, 71 insertions, 0 deletions

diff --git a/rpmio/rpmdav.c b/rpmio/rpmdav.c
index 7e192e819..1a21cc23d 100644
--- a/rpmio/rpmdav.c
+++ b/rpmio/rpmdav.c
@@ -642,6 +642,40 @@ exit:
 }
 
 /* =============================================================== */
+int davReq(FD_t data, const char * davCmd, const char * davArg)
+{
+    return -1;
+}
+
+ssize_t davRead(void * cookie, /*@out@*/ char * buf, size_t count)
+        /*@globals fileSystem, internalState @*/
+        /*@modifies *buf, fileSystem, internalState @*/
+        /*@requires maxSet(buf) >= (count - 1) @*/
+        /*@ensures maxRead(buf) == result @*/
+{
+    return -1;
+}
+
+ssize_t davWrite(void * cookie, const char * buf, size_t count)
+        /*@globals fileSystem, internalState @*/
+        /*@modifies fileSystem, internalState @*/
+{
+    return -1;
+}
+
+int davSeek(void * cookie, _libio_pos_t pos, int whence)
+        /*@globals fileSystem, internalState @*/
+        /*@modifies fileSystem, internalState @*/
+{
+    return -1;
+}
+
+int davClose(/*@only@*/ void * cookie)
+{
+    return -1;
+}
+
+/* =============================================================== */
 #ifdef	NOTYET
 static int davMkdir(const char * path, /*@unused@*/ mode_t mode)
 	/*@globals h_errno, fileSystem, internalState @*/
diff --git a/rpmio/rpmdav.h b/rpmio/rpmdav.h
index 2d9346e49..b348a8c90 100644
--- a/rpmio/rpmdav.h
+++ b/rpmio/rpmdav.h
@@ -81,6 +81,43 @@ DIR * avOpendir(const char * path)
 	/*@modifies fileSystem, internalState @*/;
 
 /**
+ * Send a http request.
+ * @param data		
+ * @param davCmd	http command
+ * @param davArg	http command argumeny
+ * @returns		0 on success
+ */
+int davReq(FD_t data, const char * davCmd, const char * davArg)
+	/*@globals fileSystem, internalState @*/
+	/*@modifies data, fileSystem, internalState @*/;
+
+/**
+ */
+ssize_t davRead(void * cookie, /*@out@*/ char * buf, size_t count)
+        /*@globals fileSystem, internalState @*/
+        /*@modifies *buf, fileSystem, internalState @*/
+        /*@requires maxSet(buf) >= (count - 1) @*/
+        /*@ensures maxRead(buf) == result @*/;
+
+/**
+ */
+ssize_t davWrite(void * cookie, const char * buf, size_t count)
+        /*@globals fileSystem, internalState @*/
+        /*@modifies fileSystem, internalState @*/;
+
+/**
+ */
+int davSeek(void * cookie, _libio_pos_t pos, int whence)
+        /*@globals fileSystem, internalState @*/
+        /*@modifies fileSystem, internalState @*/;
+
+/**
+ */
+int davClose(/*@only@*/ void * cookie)
+	/*@globals fileSystem, internalState @*/
+	/*@modifies cookie, fileSystem, internalState @*/;
+
+/**
  * Close a DAV collection.
  * @param dir		argv DIR
  * @return 		0 always