rpm  4.5
rpmal.h
Go to the documentation of this file.
1 #ifndef H_RPMAL
2 #define H_RPMAL
3 
9 /*@-exportlocal@*/
10 /*@unchecked@*/
11 extern int _rpmal_debug;
12 /*@=exportlocal@*/
13 
16 typedef /*@abstract@*/ struct rpmal_s * rpmal;
17 
18 #ifdef __cplusplus
19 extern "C" {
20 #endif
21 
27 /*@-exportlocal@*/
28 /*@only@*/
29 rpmal rpmalCreate(int delta)
30  /*@*/;
31 /*@=exportlocal@*/
32 
38 /*@null@*/
39 rpmal rpmalFree(/*@only@*/ /*@null@*/ rpmal al)
40  /*@globals fileSystem @*/
41  /*@modifies al, fileSystem @*/;
42 
48 /*@-exportlocal@*/
49 void rpmalDel(/*@null@*/ rpmal al, /*@null@*/ alKey pkgKey)
50  /*@globals fileSystem @*/
51  /*@modifies al, fileSystem @*/;
52 /*@=exportlocal@*/
53 
64 alKey rpmalAdd(rpmal * alistp,
65  /*@dependent@*/ /*@null@*/ alKey pkgKey,
66  /*@dependent@*/ /*@null@*/ fnpyKey key,
67  /*@null@*/ rpmds provides, /*@null@*/ rpmfi fi,
69  /*@globals fileSystem @*/
70  /*@modifies *alistp, provides, fi, fileSystem @*/;
71 
79 /*@-exportlocal@*/
80 void rpmalAddProvides(rpmal al,
81  /*@dependent@*/ /*@null@*/ alKey pkgKey,
82  /*@null@*/ rpmds provides, uint_32 tscolor)
83  /*@modifies al, provides @*/;
84 /*@=exportlocal@*/
85 
90 void rpmalMakeIndex(/*@null@*/ rpmal al)
91  /*@modifies al @*/;
92 
100 /*@-exportlocal@*/
101 /*@only@*/ /*@null@*/
102 fnpyKey * rpmalAllFileSatisfiesDepend(/*@null@*/ const rpmal al,
103  /*@null@*/ const rpmds ds, /*@null@*/ alKey * keyp)
104  /*@globals fileSystem @*/
105  /*@modifies al, *keyp, fileSystem @*/;
106 /*@=exportlocal@*/
107 
115 /*@only@*/ /*@null@*/
116 fnpyKey * rpmalAllSatisfiesDepend(const rpmal al, const rpmds ds,
117  /*@null@*/ alKey * keyp)
118  /*@globals fileSystem @*/
119  /*@modifies al, *keyp, fileSystem @*/;
120 
129 /*@null@*/
130 fnpyKey rpmalSatisfiesDepend(const rpmal al, const rpmds ds,
131  /*@null@*/ alKey * keyp)
132  /*@globals fileSystem @*/
133  /*@modifies al, *keyp, fileSystem @*/;
134 
135 #ifdef __cplusplus
136 }
137 #endif
138 
139 #endif /* H_RPMAL */