property_assertions.hpp File Reference

Go to the source code of this file.

Macro Definition Documentation

ARENE_PROP_ASSERT

#define ARENE_PROP_ASSERT

(

...

)

Value:

  do { /* NOLINT(cppcoreguidelines-avoid-do-while) */                                                         \
    if (!static_cast<bool>(__VA_ARGS__) && !::arene::base::testing::detail::property_context().has_value()) { \
      ::arene::base::testing::detail::property_context().emplace(::arene::base::testing::property_error{      \
          ::arene::base::testing::property_error::error_code::failure,                                        \
          {__FILE__, __LINE__},                                                                               \
          {#__VA_ARGS__}                                                                                      \
      });                                                                                                     \
      return;                                                                                                 \
    }                                                                                                         \
  } while (false)

Macro to assert that a property is true.

Parameters

expr	property to check If the property encoded in expr is false, returns a property_outcome with status == failure.

ARENE_PROP_ASSERT_FALSE

#define ARENE_PROP_ASSERT_FALSE

(

...

)

Value:

ARENE_PROP_ASSERT(!(__VA_ARGS__))

Macro to assert that a property is false.

Parameters

expr	property to check If the property encoded in expr is true, returns a property_outcome with status == failure.

ARENE_PROP_ASSERT_TRUE

#define ARENE_PROP_ASSERT_TRUE

(

...

)

Value:

ARENE_PROP_ASSERT(__VA_ARGS__)

Macro to assert that a property is true.

Parameters

expr	property to check If the property encoded in expr is false, returns a property_outcome with status == failure.

ARENE_PROP_PRE

#define ARENE_PROP_PRE

(

...

)

Value:

  do { /* NOLINT(cppcoreguidelines-avoid-do-while) */                                                         \
    if (!static_cast<bool>(__VA_ARGS__) && !::arene::base::testing::detail::property_context().has_value()) { \
      ::arene::base::testing::detail::property_context().emplace(::arene::base::testing::property_error{      \
          ::arene::base::testing::property_error::error_code::discard,                                        \
          {__FILE__, __LINE__},                                                                               \
          {#__VA_ARGS__}                                                                                      \
      });                                                                                                     \
      return;                                                                                                 \
    }                                                                                                         \
  } while (false)

Macro to discard a specific run.

Parameters

expr	property to check If expr is false, returns a property_outcome with status == discard.