![]() |
Home | Libraries | People | FAQ | More |
BOOST_CONTRACT_STATIC_INVARIANT_FUNC — Define the name of the static invariant member function (static_invariant by default).
// In header: <boost/contract/core/config.hpp>
BOOST_CONTRACT_STATIC_INVARIANT_FUNCThis macro expands to the name of the static member function that checks static class invariants:
class u { friend class boost::contract::access; static void BOOST_CONTRACT_STATIC_INVARIANT_FUNC() { BOOST_CONTRACT_ASSERT(...); ... } ... };
Users can redefine this macro if the static invariant function must have a name different from static_invariant (because of name clashes in user code, etc.).
![]() |
Note |
|---|---|
C++ does not allow to overload member functions based on the |
See Also: