rpmal.h
Go to the documentation of this file.
#ifndef H_RPMAL
#define H_RPMAL
#include <rpmfi.h>
/*@-exportlocal@*/
/*@unchecked@*/
extern int _rpmal_debug;
/*@=exportlocal@*/
typedef /*@abstract@*/ void * alKey;
#define RPMAL_NOMATCH ((alKey)-1L)
/*@-mutrep@*/
typedef /*@abstract@*/ int alNum;
/*@=mutrep@*/
typedef /*@abstract@*/ struct rpmal_s * rpmal;
#ifdef __cplusplus
extern "C" {
#endif
/*@-exportlocal@*/
/*@only@*/
rpmal rpmalCreate(int delta)
/*@*/;
/*@=exportlocal@*/
/*@null@*/
rpmal rpmalFree(/*@only@*/ /*@null@*/ rpmal al)
/*@globals fileSystem @*/
/*@modifies al, fileSystem @*/;
/*@-exportlocal@*/
void rpmalDel(/*@null@*/ rpmal al, /*@null@*/ alKey pkgKey)
/*@globals fileSystem @*/
/*@modifies al, fileSystem @*/;
/*@=exportlocal@*/
alKey rpmalAdd(rpmal * alistp,
/*@dependent@*/ /*@null@*/ alKey pkgKey,
/*@dependent@*/ /*@null@*/ fnpyKey key,
/*@null@*/ rpmds provides, /*@null@*/ rpmfi fi,
rpmuint32_t tscolor)
/*@globals fileSystem @*/
/*@modifies *alistp, provides, fi, fileSystem @*/;
/*@-exportlocal@*/
void rpmalAddProvides(rpmal al,
/*@dependent@*/ /*@null@*/ alKey pkgKey,
/*@null@*/ rpmds provides, rpmuint32_t tscolor)
/*@modifies al, provides @*/;
/*@=exportlocal@*/
void rpmalMakeIndex(/*@null@*/ rpmal al)
/*@modifies al @*/;
/*@-exportlocal@*/
/*@only@*/ /*@null@*/
fnpyKey * rpmalAllFileSatisfiesDepend(/*@null@*/ const rpmal al,
/*@null@*/ const rpmds ds, /*@null@*/ alKey * keyp)
/*@globals fileSystem, internalState @*/
/*@modifies al, *keyp, fileSystem, internalState @*/;
/*@=exportlocal@*/
/*@only@*/ /*@null@*/
fnpyKey * rpmalAllSatisfiesDepend(const rpmal al, const rpmds ds,
/*@null@*/ alKey * keyp)
/*@globals fileSystem, internalState @*/
/*@modifies al, *keyp, fileSystem, internalState @*/;
/*@null@*/
fnpyKey rpmalSatisfiesDepend(const rpmal al, const rpmds ds,
/*@null@*/ alKey * keyp)
/*@globals fileSystem, internalState @*/
/*@modifies al, *keyp, fileSystem, internalState @*/;
#ifdef __cplusplus
}
#endif
#endif /* H_RPMAL */