5#define DC_TRAIT_ARENA(SELF) \
6 DC_REQUIRE_TYPE(SELF, index_t); \
7 DC_REQUIRE_TYPE(SELF, value_t); \
8 DC_REQUIRE_METHOD(NS(SELF, index_t), SELF, insert, (SELF*, NS(SELF, value_t))); \
9 DC_REQUIRE_METHOD(NS(SELF, value_t)*, SELF, write, (SELF*, NS(SELF, index_t))); \
10 DC_REQUIRE_METHOD(NS(SELF, value_t)*, SELF, try_write, (SELF*, NS(SELF, index_t))); \
11 DC_REQUIRE_METHOD(NS(SELF, value_t) const*, SELF, read, (SELF const*, NS(SELF, index_t))); \
12 DC_REQUIRE_METHOD(NS(SELF, value_t) const*, SELF, try_read, (SELF const*, NS(SELF, index_t))); \
13 DC_REQUIRE_METHOD(bool, SELF, try_remove, (SELF*, NS(SELF, index_t), NS(SELF, value_t)*)); \
14 DC_REQUIRE_METHOD(NS(SELF, value_t), SELF, remove, (SELF*, NS(SELF, index_t))); \
15 DC_TRAIT_ITERABLE(SELF); \
16 DC_TRAIT_CLONEABLE(SELF); \
17 DC_TRAIT_DELETABLE(SELF); \
18 DC_TRAIT_DEBUGABLE(SELF);