![]() |
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: @code
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
...
};
@endcode
This typedef must be public unless boost::contract::access is used.
See Also: Base Classes
Parameters: |
|