folkslinux
/
rpm
mirror of https://github.com/rpm-software-management/rpm.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Stub in libio routines. 

CVS patchset: 7544
CVS date: 2004/11/05 16:20:42
This commit is contained in:
jbj 2004-11-05 16:20:42 +00:00
parent 368da1cf26
commit 50596fe84b
2 changed files with 71 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
rpmio/rpmdav.c
View File

@ -641,6 +641,40 @@ exit:
return rc;
}
/* =============================================================== */
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)

37
rpmio/rpmdav.h
View File

@ -80,6 +80,43 @@ DIR * avOpendir(const char * path)
/*@globals fileSystem, internalState @*/
/*@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