rpmdb/hdrinline.h

Go to the documentation of this file.

/*@-type@*/ /* FIX: cast to HV_t bogus */
#ifndef H_HDRINLINE
#define H_HDRINLINE

#ifdef __cplusplus
extern "C" {
#endif
/*@+voidabstract -nullpass -mustmod -compdef -shadow -predboolothers @*/

/*@observer@*/ /*@unchecked@*/
extern struct HV_s * hdrVec;

/*@unused@*/ static inline HV_t h2hv(Header h)
        /*@*/
{
    /*@-abstract -castexpose -refcounttrans@*/
    return ((HV_t)h);
    /*@=abstract =castexpose =refcounttrans@*/
}

/*@unused@*/ static inline
Header headerNew(void)
        /*@*/
{
    return hdrVec->hdrnew();
}

/*@unused@*/ static inline
/*@null@*/ Header headerFree( /*@killref@*/ /*@null@*/ Header h)
        /*@modifies h @*/
{
    /*@-abstract@*/
    if (h == NULL) return NULL;
    /*@=abstract@*/
    return (h2hv(h)->hdrfree) (h);
}

/*@unused@*/ static inline
Header headerLink(Header h)
        /*@modifies h @*/
{
    return (h2hv(h)->hdrlink) (h);
}

/*@unused@*/ static inline
Header headerUnlink(/*@killref@*/ /*@null@*/ Header h)
        /*@modifies h @*/
{
    /*@-abstract@*/
    if (h == NULL) return NULL;
    /*@=abstract@*/
    return (h2hv(h)->hdrunlink) (h);
}

/*@-exportlocal@*/
/*@unused@*/ static inline
void headerSort(Header h)
        /*@modifies h @*/
{
/*@-noeffectuncon@*/ /* FIX: add rc */
    (h2hv(h)->hdrsort) (h);
/*@=noeffectuncon@*/
    return;
}

/*@unused@*/ static inline
void headerUnsort(Header h)
        /*@modifies h @*/
{
/*@-noeffectuncon@*/ /* FIX: add rc */
    (h2hv(h)->hdrunsort) (h);
/*@=noeffectuncon@*/
    return;
}
/*@=exportlocal@*/

/*@unused@*/ static inline
unsigned int headerSizeof(/*@null@*/ Header h, enum hMagic magicp)
        /*@modifies h @*/
{
    /*@-abstract@*/
    if (h == NULL) return 0;
    /*@=abstract@*/
    return (h2hv(h)->hdrsizeof) (h, magicp);
}

/*@unused@*/ static inline
/*@only@*/ /*@null@*/ void * headerUnload(Header h)
        /*@modifies h @*/
{
    return (h2hv(h)->hdrunload) (h);
}

/*@unused@*/ static inline
/*@null@*/ Header headerReload(/*@only@*/ Header h, int tag)
        /*@modifies h @*/
{
    /*@-onlytrans@*/
    return (h2hv(h)->hdrreload) (h, tag);
    /*@=onlytrans@*/
}

/*@unused@*/ static inline
/*@null@*/ Header headerCopy(Header h)
        /*@modifies h @*/
{
    return (h2hv(h)->hdrcopy) (h);
}

/*@unused@*/ static inline
/*@null@*/ Header headerLoad(/*@kept@*/ void * uh)
        /*@modifies uh @*/
{
    return hdrVec->hdrload(uh);
}

/*@unused@*/ static inline
/*@null@*/ Header headerCopyLoad(const void * uh)
        /*@*/
{
    return hdrVec->hdrcopyload(uh);
}

/*@unused@*/ static inline
/*@null@*/ Header headerRead(FD_t fd, enum hMagic magicp)
        /*@modifies fd @*/
{
    return hdrVec->hdrread(fd, magicp);
}

/*@unused@*/ static inline
int headerWrite(FD_t fd, /*@null@*/ Header h, enum hMagic magicp)
        /*@modifies fd, h @*/
{
    /*@-abstract@*/
    if (h == NULL) return 0;
    /*@=abstract@*/
    return (h2hv(h)->hdrwrite) (fd, h, magicp);
}

/*@unused@*/ static inline
int headerIsEntry(/*@null@*/ Header h, int_32 tag)
        /*@modifies h @*/
{
    /*@-abstract@*/
    if (h == NULL) return 0;
    /*@=abstract@*/
    return (h2hv(h)->hdrisentry) (h, tag);
}

/*@unused@*/ static inline
/*@null@*/ void * headerFreeTag(Header h,
                /*@only@*/ /*@null@*/ const void * data, rpmTagType type)
        /*@modifies data @*/
{
    return (h2hv(h)->hdrfreetag) (h, data, type);
}

/*@unused@*/ static inline
int headerGetEntry(Header h, int_32 tag,
                        /*@null@*/ /*@out@*/ hTYP_t type,
                        /*@null@*/ /*@out@*/ void ** p,
                        /*@null@*/ /*@out@*/ hCNT_t c)
        /*@modifies *type, *p, *c @*/
{
    return (h2hv(h)->hdrget) (h, tag, type, p, c);
}

/*@unused@*/ static inline
int headerGetEntryMinMemory(Header h, int_32 tag,
                        /*@null@*/ /*@out@*/ hTYP_t type,
                        /*@null@*/ /*@out@*/ hPTR_t * p, 
                        /*@null@*/ /*@out@*/ hCNT_t c)
        /*@modifies *type, *p, *c @*/
{
    return (h2hv(h)->hdrgetmin) (h, tag, type, p, c);
}

/*@mayexit@*/
/*@unused@*/ static inline
int headerAddEntry(Header h, int_32 tag, int_32 type, const void * p, int_32 c)
        /*@modifies h @*/
{
    return (h2hv(h)->hdradd) (h, tag, type, p, c);
}

/*@unused@*/ static inline
int headerAppendEntry(Header h, int_32 tag, int_32 type,
                const void * p, int_32 c)
        /*@modifies h @*/
{
    return (h2hv(h)->hdrappend) (h, tag, type, p, c);
}

/*@unused@*/ static inline
int headerAddOrAppendEntry(Header h, int_32 tag, int_32 type,
                const void * p, int_32 c)
        /*@modifies h @*/
{
    return (h2hv(h)->hdraddorappend) (h, tag, type, p, c);
}

/*@unused@*/ static inline
int headerAddI18NString(Header h, int_32 tag, const char * string,
                const char * lang)
        /*@modifies h @*/
{
    return (h2hv(h)->hdraddi18n) (h, tag, string, lang);
}

/*@unused@*/ static inline
int headerModifyEntry(Header h, int_32 tag, int_32 type,
                        const void * p, int_32 c)
        /*@modifies h @*/
{
    return (h2hv(h)->hdrmodify) (h, tag, type, p, c);
}

/*@unused@*/ static inline
int headerRemoveEntry(Header h, int_32 tag)
        /*@modifies h @*/
{
    return (h2hv(h)->hdrremove) (h, tag);
}

/*@unused@*/ static inline
/*@only@*/ char * headerSprintf(Header h, const char * fmt,
                     const struct headerTagTableEntry_s * tbltags,
                     const struct headerSprintfExtension_s * extensions,
                     /*@null@*/ /*@out@*/ errmsg_t * errmsg)
        /*@modifies *errmsg @*/
{
    return (h2hv(h)->hdrsprintf) (h, fmt, tbltags, extensions, errmsg);
}

/*@unused@*/ static inline
void headerCopyTags(Header headerFrom, Header headerTo, hTAG_t tagstocopy)
        /*@modifies headerFrom, headerTo @*/
{
/*@-noeffectuncon@*/ /* FIX: add rc */
    hdrVec->hdrcopytags(headerFrom, headerTo, tagstocopy);
/*@=noeffectuncon@*/
    return;
}

/*@unused@*/ static inline
HeaderIterator headerFreeIterator(/*@only@*/ HeaderIterator hi)
        /*@modifies hi @*/
{
    return hdrVec->hdrfreeiter(hi);
}

/*@unused@*/ static inline
HeaderIterator headerInitIterator(Header h)
        /*@modifies h */
{
    return hdrVec->hdrinititer(h);
}

/*@unused@*/ static inline
int headerNextIterator(HeaderIterator hi,
                /*@null@*/ /*@out@*/ hTAG_t tag,
                /*@null@*/ /*@out@*/ hTYP_t type,
                /*@null@*/ /*@out@*/ hPTR_t * p,
                /*@null@*/ /*@out@*/ hCNT_t c)
        /*@modifies hi, *tag, *type, *p, *c @*/
{
    return hdrVec->hdrnextiter(hi, tag, type, p, c);
}

/*@=voidabstract =nullpass =mustmod =compdef =shadow =predboolothers @*/

#ifdef __cplusplus
}
#endif

#endif  /* H_HDRINLINE */
/*@=type@*/

---