- Main Page
- Related Pages
- Modules
- Data Structures
- Files

# lib/rpmal.h

Go to the documentation of this 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                 uint32_t 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, uint32_t 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, internalState @*/
    00105         /*@modifies al, *keyp, fileSystem, internalState @*/;
    00106 /*@=exportlocal@*/
    00107
    00115 /*@only@*/ /*@null@*/
    00116 fnpyKey * rpmalAllSatisfiesDepend(const rpmal al, const rpmds ds,
    00117                 /*@null@*/ alKey * keyp)
    00118         /*@globals fileSystem, internalState @*/
    00119         /*@modifies al, *keyp, fileSystem, internalState @*/;
    00120
    00129 /*@null@*/
    00130 fnpyKey rpmalSatisfiesDepend(const rpmal al, const rpmds ds,
    00131                 /*@null@*/ alKey * keyp)
    00132         /*@globals fileSystem, internalState @*/
    00133         /*@modifies al, *keyp, fileSystem, internalState @*/;
    00134
    00135 #ifdef __cplusplus
    00136 }
    00137 #endif
    00138
    00139 #endif  /* H_RPMAL */