rpm  4.5
fs.h
Go to the documentation of this file.
1 #ifndef H_FS
2 #define H_FS
3 
9 #ifdef __cplusplus
10 extern "C" {
11 #endif
12 
16 void rpmFreeFilesystems(void)
17  /*@globals internalState@*/
18  /*@modifies internalState@*/;
19 
26 /*@-incondefs@*/
27 int rpmGetFilesystemList( /*@null@*/ /*@out@*/ const char *** listptr,
28  /*@null@*/ /*@out@*/ int * num)
29  /*@globals fileSystem, internalState @*/
30  /*@modifies *listptr, *num, fileSystem, internalState @*/
31  /*@requires maxSet(listptr) >= 0 /\ maxSet(num) >= 0 @*/
32  /*@ensures maxRead(num) == 0 @*/;
33 /*@=incondefs@*/
34 
44 /*@-incondefs@*/
45 int rpmGetFilesystemUsage(const char ** fileList, uint_32 * fssizes,
46  int numFiles, /*@null@*/ /*@out@*/ uint_64 ** usagesPtr,
47  int flags)
48  /*@globals rpmGlobalMacroContext, h_errno,
49  fileSystem, internalState @*/
50  /*@modifies *usagesPtr, rpmGlobalMacroContext,
51  fileSystem, internalState @*/
52  /*@requires maxSet(fileList) >= 0 /\ maxSet(fssizes) == 0
53  /\ maxSet(usagesPtr) >= 0 @*/
54  /*@ensures maxRead(usagesPtr) == 0 @*/;
55 /*@=incondefs@*/
56 
57 #ifdef __cplusplus
58 }
59 #endif
60 
61 #endif /* H_FS */