Main Page | Modules | Data Structures | File List | Data Fields | Globals | Related Pages

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@*/ int * 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, uint_32 * fssizes,
00046                 int numFiles, /*@null@*/ /*@out@*/ uint_64 ** 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 */

Generated on Tue Dec 27 22:41:14 2016 for rpm by  doxygen 1.4.4