Home | Libraries | People | FAQ | More |
BOOST_CONTRACT_BASE_TYPES — Used to program the typedef
that lists the bases of a derived class.
// In header: <boost/contract/base_types.hpp>
BOOST_CONTRACT_BASE_TYPES(...)
In order to support subcontracting, a derived class that specifies contracts for one or more overriding public functions must declare a typedef
named base_types
(or BOOST_CONTRACT_BASES_TYPEDEF
) using this macro:
class u #define BASES public b, protected virtual w1, private w2 : BASES { friend class boost::contract:access; typedef BOOST_CONTRACT_BASE_TYPES(BASES) base_types; #undef BASES ... };
This typedef
must be public
unless boost::contract::access
is used.
See Also:
Parameters: |
|