eq.h File Reference

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

Go to the source code of this file.

Macros
#define	DC_TRAIT_EQABLE(SELF)
	The equality trait For semantic equality on objects.
#define	DC_TRAIT_EQABLE_INVARIANTS(SELF, a, b)
#define	DC_MEM_EQ(SELF_1, SELF_2)
#define	_DC_DERIVE_EQ_MEMBER(MEMBER_TYPE, MEMBER_NAME)
#define	DC_DERIVE_EQ(TYPE)
#define	_DC_DERIVE_STD_EQ(TYPE, ...)

Functions
static DC_PUBLIC bool	dc_str_eq (char *const *self_1, char *const *self_2)
static DC_PUBLIC bool	dc_str_const_eq (const char *const *self_1, const char *const *self_2)

Macro Definition Documentation

_DC_DERIVE_EQ_MEMBER

#define _DC_DERIVE_EQ_MEMBER	(		MEMBER_TYPE,
			MEMBER_NAME )

Value:

    &&NS(MEMBER_TYPE, eq)(&self_1->MEMBER_NAME, &self_2->MEMBER_NAME)

Definition at line 23 of file eq.h.

#define _DC_DERIVE_EQ_MEMBER(MEMBER_TYPE, MEMBER_NAME)                                             \
    &&NS(MEMBER_TYPE, eq)(&self_1->MEMBER_NAME, &self_2->MEMBER_NAME)

_DC_DERIVE_STD_EQ

#define _DC_DERIVE_STD_EQ	(		TYPE,
			... )

Value:

    DC_PUBLIC static DC_UNUSED bool NS(TYPE, eq)(TYPE const* self_1, TYPE const* self_2) {         \
        return (*self_1 == *self_2);                                                               \
    }

Definition at line 31 of file eq.h.

#define _DC_DERIVE_STD_EQ(TYPE, ...)                                                               \
    DC_PUBLIC static DC_UNUSED bool NS(TYPE, eq)(TYPE const* self_1, TYPE const* self_2) {         \
        return (*self_1 == *self_2);                                                               \
    }

DC_DERIVE_EQ

#define DC_DERIVE_EQ

(

TYPE

)

Value:

    DC_PUBLIC static bool NS(TYPE, eq)(TYPE const* self_1, TYPE const* self_2) {                   \
        return true NS(TYPE, REFLECT)(_DC_DERIVE_EQ_MEMBER);                                       \
    }

Definition at line 26 of file eq.h.

#define DC_DERIVE_EQ(TYPE)                                                                         \
    DC_PUBLIC static bool NS(TYPE, eq)(TYPE const* self_1, TYPE const* self_2) {                   \
        return true NS(TYPE, REFLECT)(_DC_DERIVE_EQ_MEMBER);                                       \
    }

DC_MEM_EQ

#define DC_MEM_EQ	(		SELF_1,
			SELF_2 )

Value:

(*(SELF_1) == *(SELF_2))

Definition at line 21 of file eq.h.

DC_TRAIT_EQABLE

#define DC_TRAIT_EQABLE

(

SELF

)

Value:

DC_REQUIRE_METHOD(bool, SELF, eq, (SELF const*, SELF const*))

The equality trait For semantic equality on objects.

Definition at line 13 of file eq.h.

DC_TRAIT_EQABLE_INVARIANTS

#define DC_TRAIT_EQABLE_INVARIANTS	(		SELF,
			a,
			b )

Value:

    DC_TRAIT_EQABLE(SELF);                                                                         \
    DC_ASSUME(DC_WHEN(NS(SELF, eq)(&a, &b) && NS(SELF, eq)(&b, &c), NS(SELF, eq)(&a, &c)));        \
    DC_ASSUME(DC_WHEN(NS(SELF, eq)(&a, &b), NS(SELF, eq)(&b, &a)));                                \
    DC_ASSUME(NS(SELF, eq)(&a, &a))

Definition at line 15 of file eq.h.

#define DC_TRAIT_EQABLE_INVARIANTS(SELF, a, b)                                                     \
    DC_TRAIT_EQABLE(SELF);                                                                         \
    DC_ASSUME(DC_WHEN(NS(SELF, eq)(&a, &b) && NS(SELF, eq)(&b, &c), NS(SELF, eq)(&a, &c)));        \
    DC_ASSUME(DC_WHEN(NS(SELF, eq)(&a, &b), NS(SELF, eq)(&b, &a)));                                \
    DC_ASSUME(NS(SELF, eq)(&a, &a))

Function Documentation

dc_str_const_eq()

DC_PUBLIC bool dc_str_const_eq ( const char *const * self_1, const char *const * self_2 )

static

Definition at line 42 of file eq.h.

                                                                                            {
    return strcmp(*self_1, *self_2) == 0;
}

dc_str_eq()

DC_PUBLIC bool dc_str_eq ( char *const * self_1, char *const * self_2 )

static

Definition at line 38 of file eq.h.

                                                                          {
    return strcmp(*self_1, *self_2) == 0;
}