12345678910111213141516171819202122232425262728293031323334 |
- #ifndef BOOST_CONTRACT_DETAIL_INLINED_OLD_HPP_
- #define BOOST_CONTRACT_DETAIL_INLINED_OLD_HPP_
- #include <boost/contract/old.hpp>
- #include <boost/contract/detail/declspec.hpp>
- namespace boost { namespace contract {
- BOOST_CONTRACT_DETAIL_DECLINLINE
- old_value null_old() { return old_value(); }
- BOOST_CONTRACT_DETAIL_DECLINLINE
- old_pointer make_old(old_value const& old) {
- return old_pointer(0, old);
- }
- BOOST_CONTRACT_DETAIL_DECLINLINE
- old_pointer make_old(virtual_* v, old_value const& old) {
- return old_pointer(v, old);
- }
- } }
- #endif
|