macro_logic.h File Reference

Go to the source code of this file.

Macros
#define	AJK_CAT(a, ...)   AJK_PRIMITIVE_CAT(a, __VA_ARGS__)
#define	AJK_PRIMITIVE_CAT(a, ...)   a ## __VA_ARGS__
#define	AJK_COMPL(b)   AJK_PRIMITIVE_CAT(AJK_COMPL_, b)
#define	AJK_COMPL_0   1
#define	AJK_COMPL_1   0
#define	AJK_BITAND(x)   AJK_PRIMITIVE_CAT(AJK_BITAND_, x)
#define	AJK_BITAND_0(y)   0
#define	AJK_BITAND_1(y)   y
#define	AJK_INC(x)   AJK_PRIMITIVE_CAT(AJK_INC_, x)
#define	AJK_INC_0   1
#define	AJK_INC_1   2
#define	AJK_INC_2   3
#define	AJK_INC_3   4
#define	AJK_INC_4   5
#define	AJK_INC_5   6
#define	AJK_INC_6   7
#define	AJK_INC_7   8
#define	AJK_INC_8   9
#define	AJK_INC_9   10
#define	AJK_INC_10   10
#define	AJK_DEC(x)   AJK_PRIMITIVE_CAT(AJK_DEC_, x)
#define	AJK_DEC_0   0
#define	AJK_DEC_1   0
#define	AJK_DEC_2   1
#define	AJK_DEC_3   2
#define	AJK_DEC_4   3
#define	AJK_DEC_5   4
#define	AJK_DEC_6   5
#define	AJK_DEC_7   6
#define	AJK_DEC_8   7
#define	AJK_DEC_9   8
#define	AJK_DEC_10   9
#define	AJK_CHECK_N(x, n, ...)   n
#define	AJK_CHECK(...)   AJK_CHECK_N(__VA_ARGS__, 0,)
#define	AJK_PROBE(x)   x, 1,
#define	AJK_IS_PAREN(x)   AJK_CHECK(AJK_IS_PAREN_PROBE x)
#define	AJK_IS_PAREN_PROBE(...)   AJK_PROBE(~)
#define	AJK_NOT(x)   AJK_CHECK(AJK_PRIMITIVE_CAT(AJK_NOT_, x))
#define	AJK_NOT_0   AJK_PROBE(~)
#define	AJK_COMPL(b)   AJK_PRIMITIVE_CAT(AJK_COMPL_, b)
#define	AJK_COMPL_0   1
#define	AJK_COMPL_1   0
#define	AJK_BOOL(x)   AJK_COMPL(AJK_NOT(x))
#define	AJK_IIF(c)   AJK_PRIMITIVE_CAT(AJK_IIF_, c)
#define	AJK_IIF_0(t, ...)   __VA_ARGS__
#define	AJK_IIF_1(t, ...)   t
#define	AJK_IF(c)   AJK_IIF(AJK_BOOL(c))
#define	AJK_EAT(...)
#define	AJK_EXPAND(...)   __VA_ARGS__
#define	AJK_WHEN(c)   AJK_IF(c)(AJK_EXPAND, AJK_EAT)
#define	AJK_EMPTY()
#define	AJK_DEFER(id)   id AJK_EMPTY()
#define	AJK_OBSTRUCT(id)   id AJK_DEFER(AJK_EMPTY)()
#define	AJK_EVAL(...)   AJK_EVAL1(AJK_EVAL1(AJK_EVAL1(__VA_ARGS__)))
#define	AJK_EVAL1(...)   AJK_EVAL2(AJK_EVAL2(AJK_EVAL2(__VA_ARGS__)))
#define	AJK_EVAL2(...)   AJK_EVAL3(AJK_EVAL3(AJK_EVAL3(__VA_ARGS__)))
#define	AJK_EVAL3(...)   AJK_EVAL4(AJK_EVAL4(AJK_EVAL4(__VA_ARGS__)))
#define	AJK_EVAL4(...)   AJK_EVAL5(AJK_EVAL5(AJK_EVAL5(__VA_ARGS__)))
#define	AJK_EVAL5(...)   __VA_ARGS__
#define	AJK_REPEAT(AJK_count, AJK_macro, ...)
#define	AJK_REPEAT_INDIRECT()   AJK_REPEAT
#define	AJK_WHILE(AJK_pred, AJK_op, ...)
#define	AJK_WHILE_INDIRECT()   AJK_WHILE
#define	AJK_PRIMITIVE_COMPARE(x, y)
#define	AJK_IS_COMPARABLE(x)   AJK_IS_PAREN( AJK_CAT(AJK_COMPARE_, x) (()) )
#define	AJK_NOT_EQUAL(x, y)
#define	AJK_EQUAL(x, y)   AJK_COMPL(AJK_NOT_EQUAL(x, y))
#define	AJK_COMMA()   ,
#define	AJK_COMMA_IF(n)   AJK_IF(n)(AJK_COMMA, AJK_EAT)()
#define	AJK_COMMA_VAR(AJK_count, AJK_v)   AJK_COMMA_IF(AJK_count) AJK_v ## AJK_count
#define	AJK_MAKE_LIST(AJK_v, AJK_count)   AJK_EVAL(AJK_REPEAT(AJK_count, AJK_COMMA_VAR, AJK_v))
#define	AJK_FUN(AJK_count, AJK_v, AJK_args, AJK_body)   AJK_v ## AJK_count (AJK_args) { AJK_body(AJK_count) }
#define	AJK_MAKE_FUNS(AJK_v, AJK_args, AJK_count, AJK_body)   AJK_EVAL(AJK_REPEAT(AJK_count, AJK_FUN, AJK_v, AJK_args, AJK_body))

Macro Definition Documentation

AJK_CAT

#define AJK_CAT	(		a,
			...
	)		AJK_PRIMITIVE_CAT(a, __VA_ARGS__)

AJK_PRIMITIVE_CAT

#define AJK_PRIMITIVE_CAT	(		a,
			...
	)		a ## __VA_ARGS__

AJK_COMPL [1/2]

#define AJK_COMPL

(

b

)

AJK_PRIMITIVE_CAT(AJK_COMPL_, b)

AJK_COMPL_0 [1/2]

#define AJK_COMPL_0   1

AJK_COMPL_1 [1/2]

#define AJK_COMPL_1   0

AJK_BITAND

#define AJK_BITAND

(

x

)

AJK_PRIMITIVE_CAT(AJK_BITAND_, x)

AJK_BITAND_0

#define AJK_BITAND_0

(

y

)

0

AJK_BITAND_1

#define AJK_BITAND_1

(

y

)

y

AJK_INC

#define AJK_INC

(

x

)

AJK_PRIMITIVE_CAT(AJK_INC_, x)

AJK_INC_0

#define AJK_INC_0   1

AJK_INC_1

#define AJK_INC_1   2

AJK_INC_2

#define AJK_INC_2   3

AJK_INC_3

#define AJK_INC_3   4

AJK_INC_4

#define AJK_INC_4   5

AJK_INC_5

#define AJK_INC_5   6

AJK_INC_6

#define AJK_INC_6   7

AJK_INC_7

#define AJK_INC_7   8

AJK_INC_8

#define AJK_INC_8   9

AJK_INC_9

#define AJK_INC_9   10

AJK_INC_10

#define AJK_INC_10   10

AJK_DEC

#define AJK_DEC

(

x

)

AJK_PRIMITIVE_CAT(AJK_DEC_, x)

AJK_DEC_0

#define AJK_DEC_0   0

AJK_DEC_1

#define AJK_DEC_1   0

AJK_DEC_2

#define AJK_DEC_2   1

AJK_DEC_3

#define AJK_DEC_3   2

AJK_DEC_4

#define AJK_DEC_4   3

AJK_DEC_5

#define AJK_DEC_5   4

AJK_DEC_6

#define AJK_DEC_6   5

AJK_DEC_7

#define AJK_DEC_7   6

AJK_DEC_8

#define AJK_DEC_8   7

AJK_DEC_9

#define AJK_DEC_9   8

AJK_DEC_10

#define AJK_DEC_10   9

AJK_CHECK_N

#define AJK_CHECK_N	(		x,
			n,
			...
	)		n

AJK_CHECK

#define AJK_CHECK

(

...

)

AJK_CHECK_N(__VA_ARGS__, 0,)

AJK_PROBE

#define AJK_PROBE

(

x

)

x, 1,

AJK_IS_PAREN

#define AJK_IS_PAREN

(

x

)

AJK_CHECK(AJK_IS_PAREN_PROBE x)

AJK_IS_PAREN_PROBE

#define AJK_IS_PAREN_PROBE

(

...

)

AJK_PROBE(~)

AJK_NOT

#define AJK_NOT

(

x

)

AJK_CHECK(AJK_PRIMITIVE_CAT(AJK_NOT_, x))

AJK_NOT_0

#define AJK_NOT_0   AJK_PROBE(~)

AJK_COMPL [2/2]

#define AJK_COMPL

(

b

)

AJK_PRIMITIVE_CAT(AJK_COMPL_, b)

AJK_COMPL_0 [2/2]

#define AJK_COMPL_0   1

AJK_COMPL_1 [2/2]

#define AJK_COMPL_1   0

AJK_BOOL

#define AJK_BOOL

(

x

)

AJK_COMPL(AJK_NOT(x))

AJK_IIF

#define AJK_IIF

(

c

)

AJK_PRIMITIVE_CAT(AJK_IIF_, c)

AJK_IIF_0

#define AJK_IIF_0	(		t,
			...
	)		__VA_ARGS__

AJK_IIF_1

#define AJK_IIF_1	(		t,
			...
	)		t

AJK_IF

#define AJK_IF

(

c

)

AJK_IIF(AJK_BOOL(c))

AJK_EAT

#define AJK_EAT

(

...

)

AJK_EXPAND

#define AJK_EXPAND

(

...

)

__VA_ARGS__

AJK_WHEN

#define AJK_WHEN

(

c

)

AJK_IF(c)(AJK_EXPAND, AJK_EAT)

AJK_EMPTY

#define AJK_EMPTY

(

)

AJK_DEFER

#define AJK_DEFER

(

id

)

id AJK_EMPTY()

AJK_OBSTRUCT

#define AJK_OBSTRUCT

(

id

)

id AJK_DEFER(AJK_EMPTY)()

AJK_EVAL

#define AJK_EVAL

(

...

)

AJK_EVAL1(AJK_EVAL1(AJK_EVAL1(__VA_ARGS__)))

AJK_EVAL1

#define AJK_EVAL1

(

...

)

AJK_EVAL2(AJK_EVAL2(AJK_EVAL2(__VA_ARGS__)))

AJK_EVAL2

#define AJK_EVAL2

(

...

)

AJK_EVAL3(AJK_EVAL3(AJK_EVAL3(__VA_ARGS__)))

AJK_EVAL3

#define AJK_EVAL3

(

...

)

AJK_EVAL4(AJK_EVAL4(AJK_EVAL4(__VA_ARGS__)))

AJK_EVAL4

#define AJK_EVAL4

(

...

)

AJK_EVAL5(AJK_EVAL5(AJK_EVAL5(__VA_ARGS__)))

AJK_EVAL5

#define AJK_EVAL5

(

...

)

__VA_ARGS__

AJK_REPEAT

#define AJK_REPEAT	(		AJK_count,
			AJK_macro,
			...
	)

Value:

AJK_WHEN(AJK_count) \
    ( \
        AJK_OBSTRUCT(AJK_REPEAT_INDIRECT) () \
        ( \
            AJK_DEC(AJK_count), AJK_macro, __VA_ARGS__ \
        ) \
        AJK_OBSTRUCT(AJK_macro) \
        ( \
            AJK_DEC(AJK_count), __VA_ARGS__ \
        ) \
    )

AJK_REPEAT_INDIRECT

#define AJK_REPEAT_INDIRECT

(

)

AJK_REPEAT

AJK_WHILE

#define AJK_WHILE	(		AJK_pred,
			AJK_op,
			...
	)

Value:

IF(AJK_pred(__VA_ARGS__)) \
    ( \
        AJK_OBSTRUCT(AJK_WHILE_INDIRECT) () \
        ( \
            AJK_pred, AJK_op, AJK_op(__VA_ARGS__) \
        ), \
        __VA_ARGS__ \
    )

AJK_WHILE_INDIRECT

#define AJK_WHILE_INDIRECT

(

)

AJK_WHILE

AJK_PRIMITIVE_COMPARE

#define AJK_PRIMITIVE_COMPARE	(		x,
			y
	)

Value:

AJK_IS_PAREN \
( \
    AJK_COMPARE_ ## x ( AJK_COMPARE_ ## y) (())  \
)

AJK_IS_COMPARABLE

#define AJK_IS_COMPARABLE

(

x

)

AJK_IS_PAREN( AJK_CAT(AJK_COMPARE_, x) (()) )

AJK_NOT_EQUAL

#define AJK_NOT_EQUAL	(		x,
			y
	)

Value:

AJK_IIF(AJK_BITAND(AJK_IS_COMPARABLE(x))(AJK_IS_COMPARABLE(y)) ) \
( \
   AJK_PRIMITIVE_COMPARE, \
   1 AJK_EAT \
)(x, y)

AJK_EQUAL

#define AJK_EQUAL	(		x,
			y
	)		AJK_COMPL(AJK_NOT_EQUAL(x, y))

AJK_COMMA

#define AJK_COMMA

(

)

,

AJK_COMMA_IF

#define AJK_COMMA_IF

(

n

)

AJK_IF(n)(AJK_COMMA, AJK_EAT)()

AJK_COMMA_VAR

#define AJK_COMMA_VAR	(		AJK_count,
			AJK_v
	)		AJK_COMMA_IF(AJK_count) AJK_v ## AJK_count

AJK_MAKE_LIST

#define AJK_MAKE_LIST	(		AJK_v,
			AJK_count
	)		AJK_EVAL(AJK_REPEAT(AJK_count, AJK_COMMA_VAR, AJK_v))

AJK_FUN

#define AJK_FUN	(		AJK_count,
			AJK_v,
			AJK_args,
			AJK_body
	)		AJK_v ## AJK_count (AJK_args) { AJK_body(AJK_count) }

AJK_MAKE_FUNS

#define AJK_MAKE_FUNS	(		AJK_v,
			AJK_args,
			AJK_count,
			AJK_body
	)		AJK_EVAL(AJK_REPEAT(AJK_count, AJK_FUN, AJK_v, AJK_args, AJK_body))