|  | 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]](../../../../doc/src/images/note.png) | Note | 
|---|---|
| C++ does not allow to overload member functions based on the  | 
See Also: