btree_internal_xc.c

Go to the documentation of this file.

/* This file is automatically generated from be/btree_internal.h */

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

#include "be/btree_internal.h"
#include "be/btree_internal_xc.h"

#if !defined(__KERNEL__)
struct m0_xcode_type *m0_be_bnode_xc;
#endif
#if !defined(__KERNEL__)
struct m0_xcode_type *be_btree_key_val_xc;
#endif

#if !defined(__KERNEL__)
static struct _m0_be_bnode_s {
        struct m0_xcode_type  _type;
        struct m0_xcode_field _child[10];
} _m0_be_bnode = {
        ._type = {
                .xct_aggr   = M0_XA_RECORD,
                .xct_name   = "m0_be_bnode",
                .xct_sizeof = sizeof (struct m0_be_bnode),
                .xct_nr     = 10,
                .xct_flags  = M0_XCODE_TYPE_FLAG_DOM_BE,
        }
};

struct m0_xcode_type *m0_be_bnode_xc = &_m0_be_bnode._type;
M0_BASSERT(offsetof(struct _m0_be_bnode_s, _child[0]) ==
        offsetof(struct m0_xcode_type, xct_child[0]));
#endif

#if !defined(__KERNEL__)
static struct _be_btree_key_val_s {
        struct m0_xcode_type  _type;
        struct m0_xcode_field _child[2];
} _be_btree_key_val = {
        ._type = {
                .xct_aggr   = M0_XA_RECORD,
                .xct_name   = "be_btree_key_val",
                .xct_sizeof = sizeof (struct be_btree_key_val),
                .xct_nr     = 2,
                .xct_flags  = M0_XCODE_TYPE_FLAG_DOM_BE,
        }
};

struct m0_xcode_type *be_btree_key_val_xc = &_be_btree_key_val._type;
M0_BASSERT(offsetof(struct _be_btree_key_val_s, _child[0]) ==
        offsetof(struct m0_xcode_type, xct_child[0]));
#endif


#if !defined(__KERNEL__)
M0_BASSERT(sizeof(struct m0_be_bnode) == 6232U);
#endif

#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_header == 16U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_header) == 0U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_backlink == 48U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_backlink) == 16U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_next == 8U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_next) == 64U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_num_active_key == 4U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_num_active_key) == 72U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_level == 4U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_level) == 76U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_isleaf == 1U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_isleaf) == 80U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_pad == 7U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_pad) == 81U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_kv_arr == 4080U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_kv_arr) == 88U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_child_arr == 2048U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_child_arr) == 4168U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct m0_be_bnode *)0)->bt_footer == 16U);
M0_BASSERT(offsetof(struct m0_be_bnode, bt_footer) == 6216U);
#endif

#if !defined(__KERNEL__)
M0_BASSERT(sizeof(struct be_btree_key_val) == 16U);
#endif

#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct be_btree_key_val *)0)->btree_key == 8U);
M0_BASSERT(offsetof(struct be_btree_key_val, btree_key) == 0U);
#endif
#if !defined(__KERNEL__)
M0_BASSERT(sizeof ((struct be_btree_key_val *)0)->btree_val == 8U);
M0_BASSERT(offsetof(struct be_btree_key_val, btree_val) == 8U);
#endif



#if !defined(__KERNEL__)
M0_INTERNAL void m0_xc_m0_be_bnode_struct_init(void)
{
        _m0_be_bnode._child[0] = (struct m0_xcode_field) {
                .xf_name   = "bt_header",

                .xf_type   = m0_format_header_xc,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_be_bnode, bt_header),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_m0_format_header_struct_init();

        _m0_be_bnode._child[1] = (struct m0_xcode_field) {
                .xf_name   = "bt_backlink",
#ifdef __KERNEL__
                .xf_type   = &M0_XT_VOID,
#else

                .xf_type   = m0_be_btree_backlink_xc,
#endif
                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_be_bnode, bt_backlink),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
#if !defined(__KERNEL__)
        m0_xc_m0_be_btree_backlink_struct_init();
#endif

        _m0_be_bnode._child[2] = (struct m0_xcode_field) {
                .xf_name   = "bt_next",
#ifdef __KERNEL__
                .xf_type   = &M0_XT_VOID,
#else

                .xf_type   = &M0_XT_U64,
#endif
                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_be_bnode, bt_next),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
#if !defined(__KERNEL__)
        m0_xc_u64_init();
#endif

        _m0_be_bnode._child[3] = (struct m0_xcode_field) {
                .xf_name   = "bt_num_active_key",

                .xf_type   = &M0_XT_U32,

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

        _m0_be_bnode._child[4] = (struct m0_xcode_field) {
                .xf_name   = "bt_level",

                .xf_type   = &M0_XT_U32,

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

        _m0_be_bnode._child[5] = (struct m0_xcode_field) {
                .xf_name   = "bt_isleaf",

                .xf_type   = &M0_XT_U8,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_be_bnode, bt_isleaf),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u8_init();

        _m0_be_bnode._child[6] = (struct m0_xcode_field) {
                .xf_name   = "bt_pad",

                .xf_type   = &M0_XT_U8,

                .xf_tag    = 7,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_be_bnode, bt_pad),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u8_init();

        _m0_be_bnode._child[7] = (struct m0_xcode_field) {
                .xf_name   = "bt_kv_arr",

                .xf_type   = be_btree_key_val_xc,

                .xf_tag    = 255,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_be_bnode, bt_kv_arr),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_be_btree_key_val_struct_init();

        _m0_be_bnode._child[8] = (struct m0_xcode_field) {
                .xf_name   = "bt_child_arr",

                .xf_type   = &M0_XT_U64,

                .xf_tag    = 256,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_be_bnode, bt_child_arr),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_u64_init();

        _m0_be_bnode._child[9] = (struct m0_xcode_field) {
                .xf_name   = "bt_footer",

                .xf_type   = m0_format_footer_xc,

                .xf_tag    = 0,
                .xf_opaque = NULL,
                .xf_offset = offsetof(struct m0_be_bnode, bt_footer),
                .xf_read   = NULL,
                .xf_decor  = {
                        [M0_XCODE_DECOR_READ] = NULL
                }
        };
        m0_xc_m0_format_footer_struct_init();

        M0_POST(m0_xcode_type_invariant(m0_be_bnode_xc));
}
#endif

#if !defined(__KERNEL__)
M0_INTERNAL void m0_xc_be_btree_key_val_struct_init(void)
{
        _be_btree_key_val._child[0] = (struct m0_xcode_field) {
                .xf_name   = "btree_key",

                .xf_type   = &M0_XT_U64,

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

        _be_btree_key_val._child[1] = (struct m0_xcode_field) {
                .xf_name   = "btree_val",

                .xf_type   = &M0_XT_U64,

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

        M0_POST(m0_xcode_type_invariant(be_btree_key_val_xc));
}
#endif

M0_INTERNAL void m0_xc_be_btree_internal_init(void)
{
#if !defined(__KERNEL__)
        m0_xc_m0_be_bnode_struct_init();
#endif
#if !defined(__KERNEL__)
        m0_xc_be_btree_key_val_struct_init();
#endif
}

M0_INTERNAL void m0_xc_be_btree_internal_fini(void)
{
}