# falloc.h

Go to the documentation of this file.

    00001 #ifndef H_FALLOC
    00002 #define H_FALLOC
    00003
    00013 /*@access FD_t@*/
    00014
    00015 #ifdef __cplusplus
    00016 extern "C" {
    00017 #endif
    00018
    00019 /*@unused@*/ static inline long int fadGetFileSize(FD_t fd) /*@*/ {
    00020     return fd->fileSize;
    00021 }
    00022
    00023 /*@unused@*/ static inline void fadSetFileSize(FD_t fd, long int fileSize)
    00024         /*@modifies fd @*/
    00025 {
    00026     fd->fileSize = fileSize;
    00027 }
    00028
    00029 /*@unused@*/ static inline unsigned int fadGetFirstFree(FD_t fd) /*@*/ {
    00030     return fd->firstFree;
    00031 }
    00032
    00033 /*@unused@*/ static inline void fadSetFirstFree(FD_t fd, unsigned int firstFree)
    00034         /*@modifies fd @*/
    00035 {
    00036     fd->firstFree = firstFree;
    00037 }
    00038
    00041 /*@null@*/ FD_t fadOpen(const char * path, int flags, mode_t perms)
    00042         /*@globals fileSystem @*/
    00043         /*@modifies fileSystem @*/;
    00044
    00049 unsigned int fadAlloc(FD_t fd, unsigned int size)
    00050         /*@globals fileSystem @*/
    00051         /*@modifies fd, fileSystem @*/;
    00052
    00056 void fadFree(FD_t fd, unsigned int offset)
    00057         /*@globals fileSystem @*/
    00058         /*@modifies fd, fileSystem @*/;
    00059
    00063 int fadFirstOffset(FD_t fd)
    00064         /*@globals fileSystem @*/
    00065         /*@modifies fd, fileSystem @*/;
    00066
    00071 int fadNextOffset(FD_t fd, unsigned int lastoff)
    00072         /*@globals fileSystem @*/
    00073         /*@modifies fd, fileSystem @*/;
    00074
    00075 #ifdef __cplusplus
    00076 }
    00077 #endif
    00078
    00079 #endif  /* H_FALLOC */