/third_party/boost/libs/contract/test/invariant/ |
D | decl.hpp | 29 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 32 void invariant() const volatile { out << "b::cv_inv" << std::endl; } in invariant() 35 void invariant() const { out << "b::const_inv" << std::endl; } in invariant() 39 out << "b::ctor::pre" << std::endl; in b() 42 .old([] { out << "b::ctor::old" << std::endl; }) in __anon60d016780202() 43 .postcondition([] { out << "b::ctor::post" << std::endl; }) in __anon60d016780302() 45 out << "b::ctor::body" << std::endl; 50 .old([] { out << "b::dtor::old" << std::endl; }) in ~b() 51 .postcondition([] { out << "b::dtor::post" << std::endl; }) in ~b() 53 out << "b::dtor::body" << std::endl; in ~b() [all …]
|
D | ifdef.cpp | 23 out << "a::static_inv" << std::endl; in static_invariant() 27 out << "a::cv_inv" << std::endl; in invariant() 31 out << "a::const_inv" << std::endl; in invariant() 39 out << "a::ctor::body" << std::endl; in a() 46 out << "a::dtor::body" << std::endl; in ~a() 53 out << "a::m::body" << std::endl; in m() 60 out << "a::c::body" << std::endl; in c() 67 out << "a::v::body" << std::endl; in v() 74 out << "a::cv::body" << std::endl; in cv() 86 << "a::static_inv" << std::endl in main() [all …]
|
D | ifdef_macro.cpp | 22 out << "a::static_inv" << std::endl; 28 out << "a::cv_inv" << std::endl; 34 out << "a::const_inv" << std::endl; 40 out << "a::ctor::body" << std::endl; in a() 46 out << "a::dtor::body" << std::endl; in ~a() 52 out << "a::m::body" << std::endl; in m() 58 out << "a::c::body" << std::endl; in c() 64 out << "a::v::body" << std::endl; in v() 70 out << "a::cv::body" << std::endl; in cv() 82 << "a::static_inv" << std::endl in main() [all …]
|
/third_party/boost/libs/contract/test/public_function/ |
D | virtual_sparse.cpp | 21 static void static_invariant() { out << "j::static_inv" << std::endl; } in static_invariant() 22 void invariant() const { out << "j::inv" << std::endl; } in invariant() 27 out << "j::f::pre" << std::endl; in f() 30 .old([] { out << "j::f::old" << std::endl; }) in f() 31 .postcondition([] { out << "j::f::post" << std::endl; }) in f() 33 out << "j::f::body" << std::endl; in f() 38 static void static_invariant() { out << "i::static_inv" << std::endl; } in static_invariant() 39 void invariant() const { out << "i::inv" << std::endl; } in invariant() 44 out << "i::f::pre" << std::endl; in f() 47 .old([] { out << "i::f::old" << std::endl; }) in f() [all …]
|
D | virtual_access_multi.cpp | 35 static void statci_inv() { out << "c::static_inv" << std::endl; } in statci_inv() 36 void invariant() const { out << "c::inv" << std::endl; } in invariant() 40 .precondition([] { out << "c::f::pre" << std::endl; }) in f() 41 .old([] { out << "c::f::old" << std::endl; }) in f() 42 .postcondition([] { out << "c::f::post" << std::endl; }) in f() 44 out << "c::f::body" << std::endl; in f() 49 .precondition([] { out << "c::g::pre" << std::endl; }) in g() 50 .old([] { out << "c::g::old" << std::endl; }) in g() 51 .postcondition([] { out << "c::g::post" << std::endl; }) in g() 53 out << "c::g::body" << std::endl; in g() [all …]
|
D | virtual_access.cpp | 27 static void statci_inv() { out << "b::static_inv" << std::endl; } in statci_inv() 28 void invariant() const { out << "b::inv" << std::endl; } in invariant() 32 .precondition([] { out << "b::f::pre" << std::endl; }) in f() 33 .old([] { out << "b::f::old" << std::endl; }) in f() 34 .postcondition([] { out << "b::f::post" << std::endl; }) in f() 36 out << "b::f::body" << std::endl; in f() 47 .precondition([] { out << "b::g::pre" << std::endl; }) in g() 48 .old([] { out << "b::g::old" << std::endl; }) in g() 49 .postcondition([] { out << "b::g::post" << std::endl; }) in g() 51 out << "b::g::body" << std::endl; in g() [all …]
|
D | overload.hpp | 21 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 22 void invariant() const { out << "b::inv" << std::endl; } in invariant() 26 .precondition([] { out << "b::f(int)::pre" << std::endl; }) in f() 27 .old([] { out << "b::f(int)::old" << std::endl; }) in f() 28 .postcondition([] { out << "b::f(int)::post" << std::endl; }) in f() 30 out << "b::f(int)::body" << std::endl; in f() 35 .precondition([] { out << "b::f(char const*)::pre" << std::endl; }) in f() 36 .old([] { out << "b::f(char const*)::old" << std::endl; }) in f() 38 [] { out << "b::f(char const*)::post" << std::endl; }) in f() 40 out << "b::f(char const*)::body" << std::endl; in f() [all …]
|
D | throwing_pre.cpp | 23 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 24 void invariant() const { out << "c::inv" << std::endl; } in invariant() 29 out << "c::f::pre" << std::endl; in f() 32 .old([] { out << "c::f::old" << std::endl; }) in f() 33 .postcondition([] { out << "c::f::post" << std::endl; }) in f() 34 .except([] { out << "c::f::except" << std::endl; }) in f() 36 out << "c::f::body" << std::endl; in f() 49 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 50 void invariant() const { out << "b::inv" << std::endl; } in invariant() 56 out << "b::f::pre" << std::endl; in f() [all …]
|
D | decl_entry_static_inv_ends.cpp | 22 << "c::f::pre" << std::endl in ok_end() 25 << "c::f::old" << std::endl in ok_end() 26 << "b::f::old" << std::endl in ok_end() 27 << "a::f::old" << std::endl in ok_end() 29 << "a::f::body" << std::endl in ok_end() 31 << "c::static_inv" << std::endl in ok_end() 32 << "c::inv" << std::endl in ok_end() 33 << "b::inv" << std::endl in ok_end() 34 << "a::static_inv" << std::endl in ok_end() 35 << "a::inv" << std::endl in ok_end() [all …]
|
D | throwing_post.cpp | 23 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 24 void invariant() const { out << "c::inv" << std::endl; } in invariant() 29 out << "c::f::pre" << std::endl; in f() 32 .old([] { out << "c::f::old" << std::endl; }) in f() 34 out << "c::f::post" << std::endl; in f() 37 .except([] { out << "c::f::except" << std::endl; }) in f() 39 out << "c::f::body" << std::endl; in f() 52 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 53 void invariant() const { out << "b::inv" << std::endl; } in invariant() 59 out << "b::f::pre" << std::endl; in f() [all …]
|
D | access.cpp | 23 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 24 void invariant() const { out << "b::inv" << std::endl; } in invariant() 30 out << "b::f::pre" << std::endl; in f() 33 .old([] { out << "b::f::old" << std::endl; }) in f() 34 .postcondition([] { out << "b::f::post" << std::endl; }) in f() 36 out << "b::f::body" << std::endl; in f() 51 static void static_invariant() { out << "a::static_inv" << std::endl; } in static_invariant() 52 void invariant() const { out << "a::inv" << std::endl; } in invariant() 62 out << "a::f::pre" << std::endl; in f() 65 .old([] { out << "a::f::old" << std::endl; }) in f() [all …]
|
D | throwing_old.cpp | 23 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 24 void invariant() const { out << "c::inv" << std::endl; } in invariant() 29 out << "c::f::pre" << std::endl; in f() 33 out << "c::f::old" << std::endl; in f() 36 .postcondition([] { out << "c::f::post" << std::endl; }) in f() 37 .except([] { out << "c::f::except" << std::endl; }) in f() 39 out << "c::f::body" << std::endl; in f() 52 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 53 void invariant() const { out << "b::inv" << std::endl; } in invariant() 59 out << "b::f::pre" << std::endl; in f() [all …]
|
D | decl_post_all.cpp | 21 << "c::static_inv" << std::endl in ok_begin() 22 << "c::inv" << std::endl in ok_begin() 23 << "b::static_inv" << std::endl in ok_begin() 24 << "b::inv" << std::endl in ok_begin() 25 << "a::static_inv" << std::endl in ok_begin() 26 << "a::inv" << std::endl in ok_begin() 29 << "c::f::pre" << std::endl in ok_begin() 32 << "c::f::old" << std::endl in ok_begin() 33 << "b::f::old" << std::endl in ok_begin() 34 << "a::f::old" << std::endl in ok_begin() [all …]
|
/third_party/boost/libs/units/example/ |
D | systems.cpp | 239 std::cout << "Testing angle base units..." << std::endl; in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 248 std::cout << as << " = " << quantity<si::plane_angle>(as) << std::endl in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 249 << am << " = " << quantity<si::plane_angle>(am) << std::endl in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 250 << d << " = " << quantity<si::plane_angle>(d) << std::endl in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 251 << g << " = " << quantity<si::plane_angle>(g) << std::endl in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 252 << r << " = " << quantity<si::plane_angle>(r) << std::endl in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 253 << rev << " = " << quantity<si::plane_angle>(rev) << std::endl in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 254 << std::endl; in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 256 std::cout << rev << "/" << as << " = " << quantity<si::dimensionless>(rev/as) << std::endl in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() 257 << rev << "/" << am << " = " << quantity<si::dimensionless>(rev/am) << std::endl in BOOST_UNITS_DEFINE_SINGLE_UNIT_SYSTEM() [all …]
|
D | kitchen_sink.cpp | 255 std::cout << "S1 : " << s1 << std::endl in main() 256 << "X1 : " << x1 << std::endl in main() 257 << "X2 : " << x2 << std::endl in main() 258 << "U1 : " << u1 << std::endl in main() 259 << "U2 : " << u2 << std::endl in main() 260 << "Q1 : " << q1 << std::endl in main() 261 << "Q2 : " << q2 << std::endl in main() 262 << std::endl; in main() 269 << "U1*S1 : " << u1*s1 << std::endl in main() 270 << "S1*U1 : " << s1*u1 << std::endl in main() [all …]
|
/third_party/boost/libs/contract/test/result/ |
D | mixed_optional.hpp | 42 static void static_invariant() { out << "d::static_inv" << std::endl; } in static_invariant() 43 void invariant() const { out << "d::inv" << std::endl; } in invariant() 52 out << "d::f::pre" << std::endl; in f() 55 .old([] { out << "d::f::old" << std::endl; }) in f() 57 out << "d::f::post" << std::endl; in f() 64 out << "d::f::body" << std::endl; in f() 77 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 78 void invariant() const { out << "c::inv" << std::endl; } in invariant() 87 out << "c::f::pre" << std::endl; in f() 90 .old([] { out << "c::f::old" << std::endl; }) in f() [all …]
|
/third_party/boost/libs/numeric/ublas/examples/tensor/ |
D | prod_expressions.cpp | 52 std::cout << "% --------------------------- " << std::endl; in main() 53 std::cout << "% --------------------------- " << std::endl << std::endl; in main() 54 std::cout << "% C1(j,k) = T2(j,k) + A(i,j,k)*T1(i);" << std::endl << std::endl; in main() 55 std::cout << "C1=" << C1 << ";" << std::endl << std::endl; in main() 58 std::cout << "% --------------------------- " << std::endl; in main() 59 std::cout << "% --------------------------- " << std::endl << std::endl; in main() 60 std::cout << "% C2(i,k) = A(i,j,k)*T1(j) + 4;" << std::endl << std::endl; in main() 61 std::cout << "C2=" << C2 << ";" << std::endl << std::endl; in main() 64 std::cout << "% --------------------------- " << std::endl; in main() 65 std::cout << "% --------------------------- " << std::endl << std::endl; in main() [all …]
|
/third_party/boost/libs/multiprecision/test/ |
D | eigen.hpp | 34 << a + b << std::endl; in example1() 37 << a - b << std::endl; in example1() 39 std::cout << "Doing a += b;" << std::endl; in example1() 42 << a << std::endl; in example1() 46 << -v + w - v << std::endl; in example1() 57 << a * 2.5 << std::endl; in example2() 59 << 0.1 * v << std::endl; in example2() 60 std::cout << "Doing v *= 2;" << std::endl; in example2() 63 << v << std::endl; in example2() 65 std::cout << "Doing v *= Num;" << std::endl; in example2() [all …]
|
/third_party/boost/libs/contract/test/destructor/ |
D | throwing_body.cpp | 20 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 21 void invariant() const { out << "c::inv" << std::endl; } in invariant() 25 .old([] { out << "c::dtor::old" << std::endl; }) in BOOST_NOEXCEPT_IF() 26 .postcondition([] { out << "c::dtor::post" << std::endl; }) in BOOST_NOEXCEPT_IF() 27 .except([] { out << "c::dtor::except" << std::endl; }) in BOOST_NOEXCEPT_IF() 29 out << "c::dtor::body" << std::endl; in BOOST_NOEXCEPT_IF() 43 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 44 void invariant() const { out << "b::inv" << std::endl; } in invariant() 48 .old([] { out << "b::dtor::old" << std::endl; }) in BOOST_NOEXCEPT_IF() 49 .postcondition([] { out << "b::dtor::post" << std::endl; }) in BOOST_NOEXCEPT_IF() [all …]
|
D | throwing_post.cpp | 20 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 21 void invariant() const { out << "c::inv" << std::endl; } in invariant() 25 .old([] { out << "c::dtor::old" << std::endl; }) in BOOST_NOEXCEPT_IF() 26 .postcondition([] { out << "c::dtor::post" << std::endl; }) in BOOST_NOEXCEPT_IF() 27 .except([] { out << "c::dtor::except" << std::endl; }) in BOOST_NOEXCEPT_IF() 29 out << "c::dtor::body" << std::endl; in BOOST_NOEXCEPT_IF() 43 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 44 void invariant() const { out << "b::inv" << std::endl; } in invariant() 48 .old([] { out << "b::dtor::old" << std::endl; }) in BOOST_NOEXCEPT_IF() 50 out << "b::dtor::post" << std::endl; in BOOST_NOEXCEPT_IF() [all …]
|
D | throwing_old.cpp | 20 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 21 void invariant() const { out << "c::inv" << std::endl; } in invariant() 25 .old([] { out << "c::dtor::old" << std::endl; }) in BOOST_NOEXCEPT_IF() 26 .postcondition([] { out << "c::dtor::post" << std::endl; }) in BOOST_NOEXCEPT_IF() 27 .except([] { out << "c::dtor::except" << std::endl; }) in BOOST_NOEXCEPT_IF() 29 out << "c::dtor::body" << std::endl; in BOOST_NOEXCEPT_IF() 43 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 44 void invariant() const { out << "b::inv" << std::endl; } in invariant() 49 out << "b::dtor::old" << std::endl; in BOOST_NOEXCEPT_IF() 52 .postcondition([] { out << "b::dtor::post" << std::endl; }) in BOOST_NOEXCEPT_IF() [all …]
|
/third_party/boost/libs/contract/test/constructor/ |
D | throwing_post.cpp | 25 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 26 void invariant() const { out << "c::inv" << std::endl; } in invariant() 30 out << "c::ctor::pre" << std::endl; in c() 34 .old([] { out << "c::ctor::old" << std::endl; }) in __anon7c38490c0202() 35 .postcondition([] { out << "c::ctor::post" << std::endl; }) in __anon7c38490c0302() 36 .except([] { out << "c::ctor::except" << std::endl; }) in __anon7c38490c0402() 38 out << "c::ctor::body" << std::endl; 52 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 53 void invariant() const { out << "b::inv" << std::endl; } in invariant() 57 out << "b::ctor::pre" << std::endl; in b() [all …]
|
D | throwing_pre.cpp | 25 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 26 void invariant() const { out << "c::inv" << std::endl; } in invariant() 30 out << "c::ctor::pre" << std::endl; in c() 34 .old([] { out << "c::ctor::old" << std::endl; }) in __anon09a0488d0202() 35 .postcondition([] { out << "c::ctor::post" << std::endl; }) in __anon09a0488d0302() 36 .except([] { out << "c::ctor::except" << std::endl; }) in __anon09a0488d0402() 38 out << "c::ctor::body" << std::endl; 52 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 53 void invariant() const { out << "b::inv" << std::endl; } in invariant() 57 out << "b::ctor::pre" << std::endl; in b() [all …]
|
D | throwing_old.cpp | 25 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant() 26 void invariant() const { out << "c::inv" << std::endl; } in invariant() 30 out << "c::ctor::pre" << std::endl; in c() 34 .old([] { out << "c::ctor::old" << std::endl; }) in __anonae94ff850202() 35 .postcondition([] { out << "c::ctor::post" << std::endl; }) in __anonae94ff850302() 36 .except([] { out << "c::ctor::except" << std::endl; }) in __anonae94ff850402() 38 out << "c::ctor::body" << std::endl; 52 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant() 53 void invariant() const { out << "b::inv" << std::endl; } in invariant() 57 out << "b::ctor::pre" << std::endl; in b() [all …]
|
/third_party/boost/libs/spirit/classic/example/fundamental/ |
D | list_parser.cpp | 68 << endl; in main() 73 << "Parsing simple list" << endl in main() 74 << "\t" << plist_wo_item << endl in main() 75 << "Parsed successfully!" << endl << endl; in main() 79 << " times: " << endl; in main() 82 << "Results got from the list parser:" << endl; in main() 86 cout << *it << endl; in main() 91 cout << "Failed to parse simple list!" << endl; in main() 94 cout << endl; in main() 121 << endl; in main() [all …]
|