Home | Libraries | People | FAQ | More |
boost::contract::null_old — Return a "null" old value.
// In header: <boost/contract/old.hpp> old_value null_old();
The related old value pointer will also be null. This function is usually only called by the code expanded by
.BOOST_CONTRACT_OLDOF
See Also:
Returns: |
Null old value. |