![]() |
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_FUNC
This 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(...); ... } ... };
When used this way, 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: