ord.h File Reference

#include <stdbool.h>
#include <derive-c/core/namespace.h>
#include <derive-c/core/std/reflect.h>

Go to the source code of this file.

Macros
#define	DC_TRAIT_ORDABLE(SELF)
#define	DC_TRAIT_ORDABLE_INVARIANTS(SELF, a, b, c)
#define	_DC_DERIVE_ORD_MEMBER_GT(MEMBER_TYPE, MEMBER_NAME)
#define	_DC_DERIVE_ORD_MEMBER_LT(MEMBER_TYPE, MEMBER_NAME)
#define	DC_DERIVE_ORD(TYPE)
#define	_DC_DERIVE_STD_ORD(TYPE, ...)

Macro Definition Documentation

_DC_DERIVE_ORD_MEMBER_GT

#define _DC_DERIVE_ORD_MEMBER_GT	(		MEMBER_TYPE,
			MEMBER_NAME )

Value:

    || NS(MEMBER_TYPE, gt)(&self_1->MEMBER_NAME, &self_2->MEMBER_NAME)

Definition at line 21 of file ord.h.

#define _DC_DERIVE_ORD_MEMBER_GT(MEMBER_TYPE, MEMBER_NAME)                                         \
    || NS(MEMBER_TYPE, gt)(&self_1->MEMBER_NAME, &self_2->MEMBER_NAME)

_DC_DERIVE_ORD_MEMBER_LT

#define _DC_DERIVE_ORD_MEMBER_LT	(		MEMBER_TYPE,
			MEMBER_NAME )

Value:

    || NS(MEMBER_TYPE, lt)(&self_1->MEMBER_NAME, &self_2->MEMBER_NAME)

Definition at line 23 of file ord.h.

#define _DC_DERIVE_ORD_MEMBER_LT(MEMBER_TYPE, MEMBER_NAME)                                         \
    || NS(MEMBER_TYPE, lt)(&self_1->MEMBER_NAME, &self_2->MEMBER_NAME)

_DC_DERIVE_STD_ORD

#define _DC_DERIVE_STD_ORD	(		TYPE,
			... )

Value:

    DC_PUBLIC static bool NS(TYPE, gt)(TYPE const* self_1, TYPE const* self_2) {                   \
        return *self_1 > *self_2;                                                                  \
    }                                                                                              \
    DC_PUBLIC static bool NS(TYPE, lt)(TYPE const* self_1, TYPE const* self_2) {                   \
        return *self_1 < *self_2;                                                                  \
    }

Definition at line 34 of file ord.h.

#define _DC_DERIVE_STD_ORD(TYPE, ...)                                                              \
    DC_PUBLIC static bool NS(TYPE, gt)(TYPE const* self_1, TYPE const* self_2) {                   \
        return *self_1 > *self_2;                                                                  \
    }                                                                                              \
    DC_PUBLIC static bool NS(TYPE, lt)(TYPE const* self_1, TYPE const* self_2) {                   \
        return *self_1 < *self_2;                                                                  \
    }

DC_DERIVE_ORD

#define DC_DERIVE_ORD

(

TYPE

)

Value:

    DC_PUBLIC static bool NS(TYPE, gt)(TYPE const* self_1, TYPE const* self_2) {                   \
        return false NS(TYPE, REFLECT)(_DC_DERIVE_ORD_MEMBER_GT);                                  \
    }                                                                                              \
    DC_PUBLIC static bool NS(TYPE, lt)(TYPE const* self_1, TYPE const* self_2) {                   \
        return false NS(TYPE, REFLECT)(_DC_DERIVE_ORD_MEMBER_LT);                                  \
    }

Definition at line 26 of file ord.h.

#define DC_DERIVE_ORD(TYPE)                                                                        \
    DC_PUBLIC static bool NS(TYPE, gt)(TYPE const* self_1, TYPE const* self_2) {                   \
        return false NS(TYPE, REFLECT)(_DC_DERIVE_ORD_MEMBER_GT);                                  \
    }                                                                                              \
    DC_PUBLIC static bool NS(TYPE, lt)(TYPE const* self_1, TYPE const* self_2) {                   \
        return false NS(TYPE, REFLECT)(_DC_DERIVE_ORD_MEMBER_LT);                                  \
    }

DC_TRAIT_ORDABLE

#define DC_TRAIT_ORDABLE

(

SELF

)

Value:

    DC_REQUIRE_METHOD(bool, SELF, lt, (SELF const*, SELF const*));                                 \
    DC_REQUIRE_METHOD(bool, SELF, gt, (SELF const*, SELF const*))

Definition at line 8 of file ord.h.

#define DC_TRAIT_ORDABLE(SELF)                                                                     \
    DC_REQUIRE_METHOD(bool, SELF, lt, (SELF const*, SELF const*));                                 \
    DC_REQUIRE_METHOD(bool, SELF, gt, (SELF const*, SELF const*))

DC_TRAIT_ORDABLE_INVARIANTS

#define DC_TRAIT_ORDABLE_INVARIANTS	(		SELF,
			a,
			b,
			c )

Value:

    DC_TRAIT_ORDABLE(SELF);                                                                        \
    DC_ASSUME(DC_WHEN(NS(SELF, lt)(&a, &b) && NS(SELF, lt)(&b, &c), NS(SELF, lt)(&a, &c)));        \
    DC_ASSUME(DC_WHEN(NS(SELF, gt)(&a, &b) && NS(SELF, gt)(&b, &c), NS(SELF, gt)(&a, &c)));        \
    DC_ASSUME(DC_WHEN(NS(SELF, lt)(&a, &b), NS(SELF, gt)(&b, &a)));                                \
    DC_ASSUME(DC_WHEN(NS(SELF, gt)(&a, &b), NS(SELF, lt)(&b, &a)));                                \
    DC_ASSUME(!NS(SELF, lt)(&a, &a));                                                              \
    DC_ASSUME(!NS(SELF, gt)(&a, &a))

Definition at line 12 of file ord.h.

#define DC_TRAIT_ORDABLE_INVARIANTS(SELF, a, b, c)                                                 \
    DC_TRAIT_ORDABLE(SELF);                                                                        \
    DC_ASSUME(DC_WHEN(NS(SELF, lt)(&a, &b) && NS(SELF, lt)(&b, &c), NS(SELF, lt)(&a, &c)));        \
    DC_ASSUME(DC_WHEN(NS(SELF, gt)(&a, &b) && NS(SELF, gt)(&b, &c), NS(SELF, gt)(&a, &c)));        \
    DC_ASSUME(DC_WHEN(NS(SELF, lt)(&a, &b), NS(SELF, gt)(&b, &a)));                                \
    DC_ASSUME(DC_WHEN(NS(SELF, gt)(&a, &b), NS(SELF, lt)(&b, &a)));                                \
    DC_ASSUME(!NS(SELF, lt)(&a, &a));                                                              \
    DC_ASSUME(!NS(SELF, gt)(&a, &a))