cookie_xc.c

Go to the documentation of this file.

/* This file is automatically generated from lib/cookie.h */

#include "lib/misc.h"                       /* offsetof */
#include "lib/assert.h"
#include "xcode/xcode.h"

#include "lib/cookie.h"
#include "lib/cookie_xc.h"

struct m0_xcode_type *m0_cookie_xc;

static struct _m0_cookie_s {
        struct m0_xcode_type  _type;
        struct m0_xcode_field _child[2];
} _m0_cookie = {
        ._type = {
                .xct_aggr   = M0_XA_RECORD,
                .xct_name   = "m0_cookie",
                .xct_sizeof = sizeof (struct m0_cookie),
                .xct_nr     = 2,
                .xct_flags  = M0_XCODE_TYPE_FLAG_DOM_BE | M0_XCODE_TYPE_FLAG_DOM_RPC,
        }
};

struct m0_xcode_type *m0_cookie_xc = &_m0_cookie._type;
M0_BASSERT(offsetof(struct _m0_cookie_s, _child[0]) ==
        offsetof(struct m0_xcode_type, xct_child[0]));


M0_BASSERT(sizeof(struct m0_cookie) == 16U);

M0_BASSERT(sizeof ((struct m0_cookie *)0)->co_addr == 8U);
M0_BASSERT(offsetof(struct m0_cookie, co_addr) == 0U);
M0_BASSERT(sizeof ((struct m0_cookie *)0)->co_generation == 8U);
M0_BASSERT(offsetof(struct m0_cookie, co_generation) == 8U);



M0_INTERNAL void m0_xc_m0_cookie_struct_init(void)
{
        _m0_cookie._child[0] = (struct m0_xcode_field) {
                .xf_name   = "co_addr",

                .xf_type   = &M0_XT_U64,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_cookie, co_addr),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u64_init();

        _m0_cookie._child[1] = (struct m0_xcode_field) {
                .xf_name   = "co_generation",

                .xf_type   = &M0_XT_U64,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_cookie, co_generation),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u64_init();

        M0_POST(m0_xcode_type_invariant(m0_cookie_xc));
}

M0_INTERNAL void m0_xc_lib_cookie_init(void)
{
        m0_xc_m0_cookie_struct_init();
}

M0_INTERNAL void m0_xc_lib_cookie_fini(void)
{
}