rpm
4.5
Main Page
Related Pages
Modules
Data Structures
Files
File List
Globals
lib
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 */
Generated on Tue Aug 28 2012 18:13:35 for rpm by
1.8.2