fol_xc.c

Go to the documentation of this file.

/* This file is automatically generated from fol/fol.h */

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

#include "fol/fol.h"
#include "fol/fol_xc.h"

struct m0_xcode_type *m0_fol_rec_header_xc;
struct m0_xcode_type *m0_fol_frag_header_xc;

static struct _m0_fol_rec_header_s {
        struct m0_xcode_type  _type;
        struct m0_xcode_field _child[6];
} _m0_fol_rec_header = {
        ._type = {
                .xct_aggr   = M0_XA_RECORD,
                .xct_name   = "m0_fol_rec_header",
                .xct_sizeof = sizeof (struct m0_fol_rec_header),
                .xct_nr     = 6,
                .xct_flags  = 0,
        }
};

struct m0_xcode_type *m0_fol_rec_header_xc = &_m0_fol_rec_header._type;
M0_BASSERT(offsetof(struct _m0_fol_rec_header_s, _child[0]) ==
        offsetof(struct m0_xcode_type, xct_child[0]));

static struct _m0_fol_frag_header_s {
        struct m0_xcode_type  _type;
        struct m0_xcode_field _child[2];
} _m0_fol_frag_header = {
        ._type = {
                .xct_aggr   = M0_XA_RECORD,
                .xct_name   = "m0_fol_frag_header",
                .xct_sizeof = sizeof (struct m0_fol_frag_header),
                .xct_nr     = 2,
                .xct_flags  = 0,
        }
};

struct m0_xcode_type *m0_fol_frag_header_xc = &_m0_fol_frag_header._type;
M0_BASSERT(offsetof(struct _m0_fol_frag_header_s, _child[0]) ==
        offsetof(struct m0_xcode_type, xct_child[0]));


M0_BASSERT(sizeof(struct m0_fol_rec_header) == 48U);

M0_BASSERT(sizeof ((struct m0_fol_rec_header *)0)->rh_frags_nr == 4U);
M0_BASSERT(offsetof(struct m0_fol_rec_header, rh_frags_nr) == 0U);
M0_BASSERT(sizeof ((struct m0_fol_rec_header *)0)->rh_data_len == 4U);
M0_BASSERT(offsetof(struct m0_fol_rec_header, rh_data_len) == 4U);
M0_BASSERT(sizeof ((struct m0_fol_rec_header *)0)->rh_self == 16U);
M0_BASSERT(offsetof(struct m0_fol_rec_header, rh_self) == 8U);
M0_BASSERT(sizeof ((struct m0_fol_rec_header *)0)->rh_lsn == 8U);
M0_BASSERT(offsetof(struct m0_fol_rec_header, rh_lsn) == 24U);
M0_BASSERT(sizeof ((struct m0_fol_rec_header *)0)->rh_lsn_discarded == 8U);
M0_BASSERT(offsetof(struct m0_fol_rec_header, rh_lsn_discarded) == 32U);
M0_BASSERT(sizeof ((struct m0_fol_rec_header *)0)->rh_magic == 8U);
M0_BASSERT(offsetof(struct m0_fol_rec_header, rh_magic) == 40U);

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

M0_BASSERT(sizeof ((struct m0_fol_frag_header *)0)->rph_index == 4U);
M0_BASSERT(offsetof(struct m0_fol_frag_header, rph_index) == 0U);
M0_BASSERT(sizeof ((struct m0_fol_frag_header *)0)->rph_magic == 8U);
M0_BASSERT(offsetof(struct m0_fol_frag_header, rph_magic) == 8U);



M0_INTERNAL void m0_xc_m0_fol_rec_header_struct_init(void)
{
        _m0_fol_rec_header._child[0] = (struct m0_xcode_field) {
                .xf_name   = "rh_frags_nr",

                .xf_type   = &M0_XT_U32,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_fol_rec_header, rh_frags_nr),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u32_init();

        _m0_fol_rec_header._child[1] = (struct m0_xcode_field) {
                .xf_name   = "rh_data_len",

                .xf_type   = &M0_XT_U32,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_fol_rec_header, rh_data_len),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u32_init();

        _m0_fol_rec_header._child[2] = (struct m0_xcode_field) {
                .xf_name   = "rh_self",

                .xf_type   = m0_update_id_xc,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_fol_rec_header, rh_self),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_m0_update_id_struct_init();

        _m0_fol_rec_header._child[3] = (struct m0_xcode_field) {
                .xf_name   = "rh_lsn",

                .xf_type   = &M0_XT_U64,

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

        _m0_fol_rec_header._child[4] = (struct m0_xcode_field) {
                .xf_name   = "rh_lsn_discarded",

                .xf_type   = &M0_XT_U64,

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

        _m0_fol_rec_header._child[5] = (struct m0_xcode_field) {
                .xf_name   = "rh_magic",

                .xf_type   = &M0_XT_U64,

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

        M0_POST(m0_xcode_type_invariant(m0_fol_rec_header_xc));
}

M0_INTERNAL void m0_xc_m0_fol_frag_header_struct_init(void)
{
        _m0_fol_frag_header._child[0] = (struct m0_xcode_field) {
                .xf_name   = "rph_index",

                .xf_type   = &M0_XT_U32,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_fol_frag_header, rph_index),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u32_init();

        _m0_fol_frag_header._child[1] = (struct m0_xcode_field) {
                .xf_name   = "rph_magic",

                .xf_type   = &M0_XT_U64,

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

        M0_POST(m0_xcode_type_invariant(m0_fol_frag_header_xc));
}

M0_INTERNAL void m0_xc_fol_fol_init(void)
{
        m0_xc_m0_fol_rec_header_struct_init();
        m0_xc_m0_fol_frag_header_struct_init();
}

M0_INTERNAL void m0_xc_fol_fol_fini(void)
{
}