lib/rpmte.h

Go to the documentation of this file.

#ifndef H_RPMTE
#define H_RPMTE

/*@-exportlocal@*/
/*@unchecked@*/
extern int _rpmte_debug;
/*@=exportlocal@*/

typedef /*@abstract@*/ struct tsortInfo_s *             tsortInfo;

typedef /*@abstract@*/ struct rpmtsi_s *                rpmtsi;

typedef enum rpmElementType_e {
    TR_ADDED            = (1 << 0),     
    TR_REMOVED          = (1 << 1)      
} rpmElementType;

#if     defined(_RPMTE_INTERNAL)

/*@-fielduse@*/ /* LCL: confused by union? */
struct tsortInfo_s {
    union {
        int     count;
        /*@exposed@*/ /*@dependent@*/ /*@null@*/
        rpmte   suc;
    } tsi_u;
#define tsi_count       tsi_u.count
#define tsi_suc         tsi_u.suc
/*@owned@*/ /*@null@*/
    struct tsortInfo_s * tsi_next;
/*@exposed@*/ /*@dependent@*/ /*@null@*/
    rpmte tsi_chain;
    int         tsi_reqx;
    int         tsi_qcnt;
};
/*@=fielduse@*/

struct rpmte_s {
    rpmElementType type;        
/*@refcounted@*/ /*@relnull@*/
    Header h;                   
/*@only@*/
    const char * NEVR;          
/*@only@*/
    const char * NEVRA;         
/*@owned@*/
    const char * name;          
/*@only@*/ /*@null@*/
    char * epoch;
/*@dependent@*/ /*@null@*/
    char * version;             
/*@dependent@*/ /*@null@*/
    char * release;             
/*@only@*/ /*@null@*/
    const char * arch;          
/*@only@*/ /*@null@*/
    const char * os;            
    int archScore;              
    int osScore;                
    int isSource;               
    rpmte parent;               
    int degree;                 
    int npreds;                 
    int tree;                   
    int depth;                  
    int breadth;                
    unsigned int db_instance;   
/*@owned@*/
    tsortInfo tsi;              
/*@refcounted@*/ /*@null@*/
    rpmds this;                 
/*@refcounted@*/ /*@null@*/
    rpmds provides;             
/*@refcounted@*/ /*@null@*/
    rpmds requires;             
/*@refcounted@*/ /*@null@*/
    rpmds conflicts;            
/*@refcounted@*/ /*@null@*/
    rpmds obsoletes;            
/*@refcounted@*/ /*@null@*/
    rpmfi fi;                   
    uint_32 color;              
    uint_32 pkgFileSize;        
/*@exposed@*/ /*@dependent@*/ /*@null@*/
    fnpyKey key;                
/*@owned@*/ /*@null@*/
    rpmRelocation * relocs;     
    int nrelocs;                
    int autorelocatex;          
/*@refcounted@*/ /*@null@*/     
    FD_t fd;                    
/*@-fielduse@*/ /* LCL: confused by union? */
    union {
/*@exposed@*/ /*@dependent@*/ /*@null@*/
        alKey addedKey;
        struct {
/*@exposed@*/ /*@dependent@*/ /*@null@*/
            alKey dependsOnKey;
            int dboffset;
        } removed;
    } u;
/*@=fielduse@*/

};

struct rpmtsi_s {
/*@refcounted@*/
    rpmts ts;           
    int reverse;        
    int ocsave;         
    int oc;             
};

#endif  /* _RPMTE_INTERNAL */

#ifdef __cplusplus
extern "C" {
#endif

/*@null@*/
rpmte rpmteFree(/*@only@*/ /*@null@*/ rpmte te)
        /*@globals fileSystem @*/
        /*@modifies te, fileSystem @*/;

/*@only@*/ /*@null@*/
rpmte rpmteNew(const rpmts ts, Header h, rpmElementType type,
                /*@exposed@*/ /*@dependent@*/ /*@null@*/ fnpyKey key,
                /*@null@*/ rpmRelocation * relocs,
                int dboffset,
                /*@exposed@*/ /*@dependent@*/ /*@null@*/ alKey pkgKey)
        /*@globals rpmGlobalMacroContext, h_errno, fileSystem, internalState @*/
        /*@modifies ts, h, rpmGlobalMacroContext, fileSystem, internalState @*/;

extern Header rpmteHeader(rpmte te)
        /*@modifies te @*/;

extern Header rpmteSetHeader(rpmte te, Header h)
        /*@modifies te, h @*/;

rpmElementType rpmteType(rpmte te)
        /*@*/;

/*@observer@*/
extern const char * rpmteN(rpmte te)
        /*@*/;

/*@observer@*/ /*@null@*/
extern const char * rpmteE(rpmte te)
        /*@*/;

/*@observer@*/ /*@null@*/
extern const char * rpmteV(rpmte te)
        /*@*/;

/*@observer@*/ /*@null@*/
extern const char * rpmteR(rpmte te)
        /*@*/;

/*@observer@*/ /*@null@*/
extern const char * rpmteA(rpmte te)
        /*@*/;

/*@observer@*/ /*@null@*/
extern const char * rpmteO(rpmte te)
        /*@*/;

extern int rpmteIsSource(rpmte te)
        /*@*/;

uint_32 rpmteColor(rpmte te)
        /*@*/;

uint_32 rpmteSetColor(rpmte te, uint_32 color)
        /*@modifies te @*/;

unsigned int rpmteDBInstance(rpmte te)
        /*@*/;

void rpmteSetDBInstance(rpmte te, unsigned int instance)
        /*@modifies te @*/;

uint_32 rpmtePkgFileSize(rpmte te)
        /*@*/;

int rpmteDepth(rpmte te)
        /*@*/;

int rpmteSetDepth(rpmte te, int ndepth)
        /*@modifies te @*/;

int rpmteBreadth(rpmte te)
        /*@*/;

int rpmteSetBreadth(rpmte te, int nbreadth)
        /*@modifies te @*/;

int rpmteNpreds(rpmte te)
        /*@*/;

int rpmteSetNpreds(rpmte te, int npreds)
        /*@modifies te @*/;

int rpmteTree(rpmte te)
        /*@*/;

int rpmteSetTree(rpmte te, int ntree)
        /*@modifies te @*/;

/*@observer@*/ /*@unused@*/
rpmte rpmteParent(rpmte te)
        /*@*/;

/*@null@*/
rpmte rpmteSetParent(rpmte te, rpmte pte)
        /*@modifies te @*/;

int rpmteDegree(rpmte te)
        /*@*/;

int rpmteSetDegree(rpmte te, int ndegree)
        /*@modifies te @*/;

tsortInfo rpmteTSI(rpmte te)
        /*@*/;

void rpmteFreeTSI(rpmte te)
        /*@modifies te @*/;

void rpmteNewTSI(rpmte te)
        /*@modifies te @*/;

/*@unused@*/
void rpmteCleanDS(rpmte te)
        /*@modifies te @*/;

/*@exposed@*/ /*@dependent@*/ /*@null@*/
alKey rpmteAddedKey(rpmte te)
        /*@*/;

/*@exposed@*/ /*@dependent@*/ /*@null@*/
alKey rpmteSetAddedKey(rpmte te,
                /*@exposed@*/ /*@dependent@*/ /*@null@*/ alKey npkgKey)
        /*@modifies te @*/;

/*@exposed@*/ /*@dependent@*/ /*@null@*/
alKey rpmteDependsOnKey(rpmte te)
        /*@*/;

int rpmteDBOffset(rpmte te)
        /*@*/;

/*@observer@*/
extern const char * rpmteNEVR(rpmte te)
        /*@*/;

/*@-exportlocal@*/
/*@observer@*/
extern const char * rpmteNEVRA(rpmte te)
        /*@*/;
/*@=exportlocal@*/

FD_t rpmteFd(rpmte te)
        /*@*/;

/*@exposed@*/
fnpyKey rpmteKey(rpmte te)
        /*@*/;

rpmds rpmteDS(rpmte te, rpmTag tag)
        /*@*/;

rpmfi rpmteFI(rpmte te, rpmTag tag)
        /*@*/;

/*@-exportlocal@*/
void rpmteColorDS(rpmte te, rpmTag tag)
        /*@modifies te @*/;
/*@=exportlocal@*/

int rpmtsiOc(rpmtsi tsi)
        /*@*/;

/*@unused@*/ /*@null@*/
rpmtsi rpmtsiFree(/*@only@*//*@null@*/ rpmtsi tsi)
        /*@globals fileSystem @*/
        /*@modifies fileSystem @*/;

/*@null@*/
rpmtsi XrpmtsiFree(/*@only@*//*@null@*/ rpmtsi tsi,
                const char * fn, unsigned int ln)
        /*@globals fileSystem @*/
        /*@modifies fileSystem @*/;
#define rpmtsiFree(_tsi)        XrpmtsiFree(_tsi, __FILE__, __LINE__)

/*@unused@*/ /*@only@*/
rpmtsi rpmtsiInit(rpmts ts)
        /*@modifies ts @*/;

/*@unused@*/ /*@only@*/
rpmtsi XrpmtsiInit(rpmts ts,
                const char * fn, unsigned int ln)
        /*@modifies ts @*/;
#define rpmtsiInit(_ts)         XrpmtsiInit(_ts, __FILE__, __LINE__)

/*@dependent@*/ /*@null@*/
rpmte rpmtsiNext(rpmtsi tsi, rpmElementType type)
        /*@modifies tsi @*/;

#ifdef __cplusplus
}
#endif

#endif  /* H_RPMTE */

---