rpm  5.2.1
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@*/ rpmuint32_t * num)
00029         /*@globals h_errno, fileSystem, internalState @*/
00030         /*@modifies *listptr, *num, fileSystem, internalState @*/
00031         /*@requires maxSet(listptr) >= 0 /\ maxSet(num) >= 0 @*/;
00032 /*@=incondefs@*/
00033 
00043 /*@-incondefs@*/
00044 int rpmGetFilesystemUsage(const char ** fileList, rpmuint32_t * fssizes,
00045                 int numFiles, /*@null@*/ /*@out@*/ rpmuint64_t ** usagesPtr,
00046                 int flags)
00047         /*@globals rpmGlobalMacroContext, h_errno,
00048                 fileSystem, internalState @*/
00049         /*@modifies *usagesPtr, rpmGlobalMacroContext,
00050                 fileSystem, internalState @*/
00051         /*@requires maxSet(fileList) >= 0 /\ maxSet(fssizes) == 0
00052                 /\ maxSet(usagesPtr) >= 0 @*/;
00053 /*@=incondefs@*/
00054 
00055 #ifdef __cplusplus
00056 }
00057 #endif
00058 
00059 #endif  /* H_FS */