- Main Page
- Related Pages
- Modules
- Data Structures
- Files

# lib/fs.h

Go to the documentation of this file.

    00001 #ifndef H_FS
    00002 #define H_FS
    00003
    00009 #ifdef __cplusplus
    00010 extern "C" {
    00011 #endif
    00012
    00016 void rpmFreeFilesystems(void)
    00017         /*@globals internalState@*/
    00018         /*@modifies internalState@*/;
    00019
    00026 /*@-incondefs@*/
    00027 int rpmGetFilesystemList( /*@null@*/ /*@out@*/ const char *** listptr,
    00028                 /*@null@*/ /*@out@*/ uint32_t * num)
    00029         /*@globals fileSystem, internalState @*/
    00030         /*@modifies *listptr, *num, fileSystem, internalState @*/
    00031         /*@requires maxSet(listptr) >= 0 /\ maxSet(num) >= 0 @*/
    00032         /*@ensures maxRead(num) == 0 @*/;
    00033 /*@=incondefs@*/
    00034
    00044 /*@-incondefs@*/
    00045 int rpmGetFilesystemUsage(const char ** fileList, uint32_t * fssizes,
    00046                 int numFiles, /*@null@*/ /*@out@*/ uint64_t ** usagesPtr,
    00047                 int flags)
    00048         /*@globals rpmGlobalMacroContext, h_errno,
    00049                 fileSystem, internalState @*/
    00050         /*@modifies *usagesPtr, rpmGlobalMacroContext,
    00051                 fileSystem, internalState @*/
    00052         /*@requires maxSet(fileList) >= 0 /\ maxSet(fssizes) == 0
    00053                 /\ maxSet(usagesPtr) >= 0 @*/
    00054         /*@ensures maxRead(usagesPtr) == 0 @*/;
    00055 /*@=incondefs@*/
    00056
    00057 #ifdef __cplusplus
    00058 }
    00059 #endif
    00060
    00061 #endif  /* H_FS */