---

rpmdb/falloc.h

Go to the documentation of this file.

#ifndef H_FALLOC
#define H_FALLOC

/*@access FD_t@*/

#ifdef __cplusplus
extern "C" {
#endif

/*@unused@*/ static inline long int fadGetFileSize(FD_t fd) /*@*/ {
    return fd->fileSize;
}

/*@unused@*/ static inline void fadSetFileSize(FD_t fd, long int fileSize)
        /*@modifies fd @*/
{
    fd->fileSize = fileSize;
}

/*@unused@*/ static inline unsigned int fadGetFirstFree(FD_t fd) /*@*/ {
    return fd->firstFree;
}

/*@unused@*/ static inline void fadSetFirstFree(FD_t fd, unsigned int firstFree)
        /*@modifies fd @*/
{
    fd->firstFree = firstFree;
}

/*@null@*/ FD_t fadOpen(const char * path, int flags, mode_t perms)
        /*@globals fileSystem @*/
        /*@modifies fileSystem @*/;

unsigned int fadAlloc(FD_t fd, unsigned int size)
        /*@globals fileSystem @*/
        /*@modifies fd, fileSystem @*/;

void fadFree(FD_t fd, unsigned int offset)
        /*@globals fileSystem @*/
        /*@modifies fd, fileSystem @*/;

int fadFirstOffset(FD_t fd)
        /*@globals fileSystem @*/
        /*@modifies fd, fileSystem @*/;

int fadNextOffset(FD_t fd, unsigned int lastoff)
        /*@globals fileSystem @*/
        /*@modifies fd, fileSystem @*/;

#ifdef __cplusplus
}
#endif

#endif  /* H_FALLOC */

---