rpm: lib/rpmal.h Source File

00001 #ifndef H_RPMAL
00002 #define H_RPMAL
00003 
00009 /*@-exportlocal@*/
00010 /*@unchecked@*/
00011 extern int _rpmal_debug;
00012 /*@=exportlocal@*/
00013 
00016 typedef /*@abstract@*/ struct rpmal_s *         rpmal;
00017 
00018 #ifdef __cplusplus
00019 extern "C" {
00020 #endif
00021 
00027 /*@-exportlocal@*/
00028 /*@only@*/
00029 rpmal rpmalCreate(int delta)
00030         /*@*/;
00031 /*@=exportlocal@*/
00032 
00038 /*@null@*/
00039 rpmal rpmalFree(/*@only@*/ /*@null@*/ rpmal al)
00040         /*@globals fileSystem @*/
00041         /*@modifies al, fileSystem @*/;
00042 
00048 /*@-exportlocal@*/
00049 void rpmalDel(/*@null@*/ rpmal al, /*@null@*/ alKey pkgKey)
00050         /*@globals fileSystem @*/
00051         /*@modifies al, fileSystem @*/;
00052 /*@=exportlocal@*/
00053 
00064 alKey rpmalAdd(rpmal * alistp,
00065                 /*@dependent@*/ /*@null@*/ alKey pkgKey,
00066                 /*@dependent@*/ /*@null@*/ fnpyKey key,
00067                 /*@null@*/ rpmds provides, /*@null@*/ rpmfi fi,
00068                 uint_32 tscolor)
00069         /*@globals fileSystem @*/
00070         /*@modifies *alistp, provides, fi, fileSystem @*/;
00071 
00079 /*@-exportlocal@*/
00080 void rpmalAddProvides(rpmal al,
00081                 /*@dependent@*/ /*@null@*/ alKey pkgKey,
00082                 /*@null@*/ rpmds provides, uint_32 tscolor)
00083         /*@modifies al, provides @*/;
00084 /*@=exportlocal@*/
00085 
00090 void rpmalMakeIndex(/*@null@*/ rpmal al)
00091         /*@modifies al @*/;
00092 
00100 /*@-exportlocal@*/
00101 /*@only@*/ /*@null@*/
00102 fnpyKey * rpmalAllFileSatisfiesDepend(/*@null@*/ const rpmal al,
00103                 /*@null@*/ const rpmds ds, /*@null@*/ alKey * keyp)
00104         /*@globals fileSystem @*/
00105         /*@modifies al, *keyp, fileSystem @*/;
00106 /*@=exportlocal@*/
00107 
00115 /*@only@*/ /*@null@*/
00116 fnpyKey * rpmalAllSatisfiesDepend(const rpmal al, const rpmds ds,
00117                 /*@null@*/ alKey * keyp)
00118         /*@globals fileSystem @*/
00119         /*@modifies al, *keyp, fileSystem @*/;
00120 
00129 /*@null@*/
00130 fnpyKey rpmalSatisfiesDepend(const rpmal al, const rpmds ds,
00131                 /*@null@*/ alKey * keyp)
00132         /*@globals fileSystem @*/
00133         /*@modifies al, *keyp, fileSystem @*/;
00134 
00135 #ifdef __cplusplus
00136 }
00137 #endif
00138 
00139 #endif  /* H_RPMAL */