Home | Libraries | People | FAQ | More |
boost::contract::make_old — Make an old value pointer (for virtual public functions and public functions overrides).
// In header: <boost/contract/old.hpp> old_pointer make_old(virtual_ * v, old_value const & old);
The related old value pointer will not be null if the specified old value was actually copied. This function is usually only called by code expanded by BOOST_CONTRACT_OLDOF(v, old_expr)
as in:
boost::contract::make_old(v, boost::contract::copy_old(v) ? old_expr : boost::contract::null_old())
See Also:
Parameters: |
|
||||
Returns: |
Old value pointer (usually implicitly converted to either |