|  | 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 often only used by code expanded by BOOST_CONTRACT_OLDOF(v, old_expr):
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   |