theories.h File Reference

#include "test.h"
#include <stddef.h>

Go to the source code of this file.

Data Structures
struct	criterion_datapoints

Macros
#define	CR_TH_VA_NUM(Type, ...)   sizeof ((Type[]) { __VA_ARGS__ }) / sizeof (Type)
#define	CR_TH_TEMP_ARRAY(Type, ...)   & (Type[]) { __VA_ARGS__ }
#define	CR_TH_INTERNAL_TDPS(Category, Name)    static struct criterion_datapoints CR_IDENTIFIER_(Category, Name, dps)[]
#define	CR_TH_INTERNAL_TDP(Category, Name)    (CR_IDENTIFIER_(Category, Name, dps))
#define	CR_TH_INTERNAL_DP(Type, ...)
#define	CR_NB_DATAPOINTS(Var)    (sizeof (Var) / sizeof (struct criterion_datapoints))
#define	CR_VAARG_ID(Suffix, Category, Name, ...)    CR_IDENTIFIER_(Category, Name, Suffix)
#define	CR_THEORY_BASE(Args, ...)
#define	cr_assume_op_(Op, Actual, Expected)   cr_assume((Actual) Op (Expected))
#define	cr_assume_str_op_(Op, Actual, Expected)    cr_assume(strcmp((Actual), (Expected)) Op 0)
#define	Theory(Args, ...)   CR_EXPAND(CR_THEORY_BASE(Args, __VA_ARGS__))

Functions
CR_BEGIN_C_API CR_API void	cr_theory_main (struct criterion_datapoints *dps, size_t datapoints, void(*fnptr)(void))

Macro Definition Documentation

cr_assume_op_

#define cr_assume_op_	(		Op,
			Actual,
			Expected )   cr_assume((Actual) Op (Expected))

Definition at line 96 of file internal/theories.h.

cr_assume_str_op_

#define cr_assume_str_op_	(		Op,
			Actual,
			Expected )    cr_assume(strcmp((Actual), (Expected)) Op 0)

Definition at line 98 of file internal/theories.h.

#define cr_assume_str_op_(Op, Actual, Expected) \
    cr_assume(strcmp((Actual), (Expected)) Op 0)

CR_NB_DATAPOINTS

#define CR_NB_DATAPOINTS

(

Var

)

(sizeof (Var) / sizeof (struct criterion_datapoints))

Definition at line 79 of file internal/theories.h.

#define CR_NB_DATAPOINTS(Var) \
    (sizeof (Var) / sizeof (struct criterion_datapoints))

CR_TH_INTERNAL_DP

#define CR_TH_INTERNAL_DP	(		Type,
			... )

Value:

    {                                                   \
        sizeof (Type),                                  \
        CR_EXPAND(CR_TH_VA_NUM(Type, __VA_ARGS__)),     \
        #Type,                                          \
        CR_EXPAND(CR_TH_TEMP_ARRAY(Type, __VA_ARGS__)), \
    }

Definition at line 71 of file internal/theories.h.

#define CR_TH_INTERNAL_DP(Type, ...)                    \
    {                                                   \
        sizeof (Type),                                  \
        CR_EXPAND(CR_TH_VA_NUM(Type, __VA_ARGS__)),     \
        #Type,                                          \
        CR_EXPAND(CR_TH_TEMP_ARRAY(Type, __VA_ARGS__)), \
    }

CR_TH_INTERNAL_TDP

#define CR_TH_INTERNAL_TDP	(		Category,
			Name )    (CR_IDENTIFIER_(Category, Name, dps))

Definition at line 68 of file internal/theories.h.

#define CR_TH_INTERNAL_TDP(Category, Name) \
    (CR_IDENTIFIER_(Category, Name, dps))

CR_TH_INTERNAL_TDPS

#define CR_TH_INTERNAL_TDPS	(		Category,
			Name )    static struct criterion_datapoints CR_IDENTIFIER_(Category, Name, dps)[]

Definition at line 65 of file internal/theories.h.

#define CR_TH_INTERNAL_TDPS(Category, Name) \
    static struct criterion_datapoints CR_IDENTIFIER_(Category, Name, dps)[]

CR_TH_TEMP_ARRAY

#define CR_TH_TEMP_ARRAY	(		Type,
			... )   & (Type[]) { __VA_ARGS__ }

Definition at line 62 of file internal/theories.h.

CR_TH_VA_NUM

#define CR_TH_VA_NUM	(		Type,
			... )   sizeof ((Type[]) { __VA_ARGS__ }) / sizeof (Type)

Definition at line 61 of file internal/theories.h.

CR_THEORY_BASE

#define CR_THEORY_BASE	(		Args,
			... )

Value:

    void CR_EXPAND(CR_VAARG_ID(theory, __VA_ARGS__, )) Args;              \
    CR_EXPAND(CR_TEST_BASE(__VA_ARGS__, .sentinel_ = 0)) {                \
        cr_theory_main(                                                   \
            CR_EXPAND(CR_VAARG_ID(dps, __VA_ARGS__, )),                   \
            CR_NB_DATAPOINTS(CR_EXPAND(CR_VAARG_ID(dps, __VA_ARGS__, ))), \
            (void (*)(void))CR_EXPAND(CR_VAARG_ID(theory, __VA_ARGS__, )) \
            );                                                            \
    }                                                                     \
    void CR_EXPAND(CR_VAARG_ID(theory, __VA_ARGS__, )) Args

Definition at line 85 of file internal/theories.h.

#define CR_THEORY_BASE(Args, ...)                                         \
    void CR_EXPAND(CR_VAARG_ID(theory, __VA_ARGS__, )) Args;              \
    CR_EXPAND(CR_TEST_BASE(__VA_ARGS__, .sentinel_ = 0)) {                \
        cr_theory_main(                                                   \
            CR_EXPAND(CR_VAARG_ID(dps, __VA_ARGS__, )),                   \
            CR_NB_DATAPOINTS(CR_EXPAND(CR_VAARG_ID(dps, __VA_ARGS__, ))), \
            (void (*)(void))CR_EXPAND(CR_VAARG_ID(theory, __VA_ARGS__, )) \
            );                                                            \
    }                                                                     \
    void CR_EXPAND(CR_VAARG_ID(theory, __VA_ARGS__, )) Args

CR_VAARG_ID

#define CR_VAARG_ID	(		Suffix,
			Category,
			Name,
			... )    CR_IDENTIFIER_(Category, Name, Suffix)

Definition at line 82 of file internal/theories.h.

#define CR_VAARG_ID(Suffix, Category, Name, ...) \
    CR_IDENTIFIER_(Category, Name, Suffix)

Theory

#define Theory	(		Args,
			... )   CR_EXPAND(CR_THEORY_BASE(Args, __VA_ARGS__))

Definition at line 102 of file internal/theories.h.

Function Documentation

cr_theory_main()

CR_BEGIN_C_API CR_API void cr_theory_main	(	struct criterion_datapoints *	dps,
		size_t	datapoints,
		void(*)(void)	fnptr )