| /third_party/boost/libs/contract/example/n1962/ |
| D | vector_n1962.hpp | 197 precondition { in reserve()
360 precondition { in operator []()
370 precondition { in operator []()
380 precondition { in front()
390 precondition { in front()
400 precondition { in back()
410 precondition { in back()
420 precondition { in push_back()
444 precondition { in pop_back()
475 precondition { in assign()
[all …]
|
| D | vector.cpp | 198 .precondition([&] { in reserve()
361 .precondition([&] { in operator []()
371 .precondition([&] { in operator []()
381 .precondition([&] { in front()
391 .precondition([&] { in front()
401 .precondition([&] { in back()
411 .precondition([&] { in back()
425 .precondition([&] { in push_back()
447 .precondition([&] { in pop_back()
461 .precondition([&] { in assign()
[all …]
|
| /third_party/boost/libs/contract/test/public_function/ |
| D | overload.hpp | 26 .precondition([] { out << "b::f(int)::pre" << std::endl; }) in f()
35 .precondition([] { out << "b::f(char const*)::pre" << std::endl; }) in f()
45 .precondition([] { out << "b::f(int, int)::pre" << std::endl; }) in f()
54 .precondition([] { out << "b::f()::pre" << std::endl; }) in f()
63 .precondition([] { out << "b::f(int[2][3])::pre" << std::endl; }) in f()
72 .precondition( in f()
99 .precondition([] { out << "a::f(int)::pre" << std::endl; }) in f()
114 .precondition([] { out << "a::f(char const*)::pre" << std::endl; }) in f()
130 .precondition([] { out << "a::f(int, int)::pre" << std::endl; }) in f()
141 .precondition([] { out << "a::f(T)::pre" << std::endl; }) in f()
[all …]
|
| D | virtual_access_multi.cpp | 40 .precondition([] { out << "c::f::pre" << std::endl; }) in f()
49 .precondition([] { out << "c::g::pre" << std::endl; }) in g()
58 .precondition([] { out << "c::h::pre" << std::endl; }) in h()
78 .precondition([] { out << "b::f::pre" << std::endl; }) in f()
93 .precondition([] { out << "b::g::pre" << std::endl; }) in g()
103 .precondition([] { out << "b::h::pre" << std::endl; }) in h()
124 .precondition([] { out << "a::f::pre" << std::endl; }) in f()
134 .precondition([] { out << "a::g::pre" << std::endl; }) in g()
144 .precondition([] { out << "a::h::pre" << std::endl; }) in h()
|
| D | virtual_access.cpp | 32 .precondition([] { out << "b::f::pre" << std::endl; }) in f()
47 .precondition([] { out << "b::g::pre" << std::endl; }) in g()
57 .precondition([] { out << "b::h::pre" << std::endl; }) in h()
78 .precondition([] { out << "a::f::pre" << std::endl; }) in f()
91 .precondition([] { out << "a::g::pre" << std::endl; }) in BOOST_CONTRACT_OVERRIDES()
100 .precondition([] { out << "a::h::pre" << std::endl; }) in h()
|
| D | virtual_sparse.cpp | 26 .precondition([&] { in f()
43 .precondition([&] { in f()
69 .precondition([&] { in f()
94 .precondition([&] { in f()
123 .precondition([&] { in f()
163 .precondition([&] { in f()
|
| D | decl.hpp | 46 .precondition([] { in f()
94 .precondition([] { in f()
143 .precondition([] { in f()
|
| D | throwing_old.cpp | 28 .precondition([] { in f()
58 .precondition([] { in f()
89 .precondition([] { out << "a::f::pre" << std::endl; }) in f()
|
| D | throwing_pre.cpp | 28 .precondition([] { in f()
55 .precondition([] { in f()
83 .precondition([] { in f()
|
| D | throwing_post.cpp | 28 .precondition([] { in f()
58 .precondition([] { in f()
89 .precondition([] { out << "a::f::pre" << std::endl; }) in f()
|
| /third_party/boost/libs/contract/example/features/ |
| D | private_protected_virtual_multi.cpp | 31 .precondition([&] { in set()
46 .precondition([&] { in dec()
101 .precondition([&] { in dec()
114 .precondition([&] { in set()
145 .precondition([&] { in set()
160 .precondition([&] { in dec()
|
| D | private_protected_virtual.cpp | 18 .precondition([&] { in set()
33 .precondition([&] { in dec()
86 .precondition([&] { in set()
100 .precondition([&] { in dec()
|
| D | ifdef.cpp | 26 .precondition([&] { in inc()
82 .precondition([&] { in push_back()
163 .precondition([&] { in push_back()
|
| /third_party/boost/libs/test/test/baseline-outputs/ |
| D | log-count-skipped-tests.pattern | 7 …master test suite/test_2" is skipped because precondition failed: test is skipped because -some pr…
12 …TestCase name="test_2" skipped="yes" reason="precondition failed: test is skipped because -some pr…
28 - reason: 'precondition failed: test is skipped because -some precondition-']]></system-out>
46 - reason: 'precondition failed: test is skipped because -some precondition-']]></system-out>
131 …aster test suite2/test_2" is skipped because precondition failed: test is skipped because -some pr…
134 …aster test suite2/child2" is skipped because precondition failed: test is skipped because -some pr…
138 …precondition failed: test is skipped because -some precondition-"/><TestCase name="test_3" skipped…
154 - reason: 'precondition failed: test is skipped because -some precondition-']]></system-out>
181 - reason: 'precondition failed: test is skipped because -some precondition-']]></system-out>
188 - reason: 'precondition failed: test is skipped because -some precondition-']]></system-out>
[all …]
|
| /third_party/boost/libs/contract/example/cline90/ |
| D | vector.hpp | 57 .precondition([&] { in resize()
74 .precondition([&] { in operator []()
85 .precondition([&] { in operator []()
|
| /third_party/boost/libs/test/doc/test_organization/ |
| D | test_enabling_disabling.qbk | 54 [tip The precondition may return an [classref boost::test_tools::assertion_result assertion_result]…
57 [bt_example decorator_08..decorator precondition..run-fail]
62 * Test case `test3` has a precondition that at either `test1` or `test2` passed. The precondition i…
64 * test case `test4` has a precondition that either `test2` or `test3` passed. Since they both faile…
65 precondition is not satisfied, therefore `test4` is skipped.
|
| /third_party/boost/boost/test/tree/ |
| D | decorator.hpp | 276 class BOOST_TEST_DECL precondition : public decorator::base { class
280 explicit precondition( predicate_t p ) : m_precondition( p ) {} in precondition() function in boost::unit_test::decorator::precondition
285 …base_ptr clone() const BOOST_OVERRIDE { return base_ptr(new precondition( m_precondition ))… in clone()
302 using decorator::precondition;
|
| /third_party/boost/libs/contract/example/mitchell02/ |
| D | stack.cpp | 51 .precondition([&] { in item_at()
79 .precondition([&] { in item()
110 .precondition([&] { in remove()
|
| D | dictionary.cpp | 64 .precondition([&] { in value_for()
79 .precondition([&] { in put()
97 .precondition([&] { in remove()
|
| D | simple_queue.cpp | 90 .precondition([&] { in head()
140 .precondition([&] { in remove()
163 .precondition([&] { in put()
183 .precondition([&] { in all_equal()
|
| D | customer_manager.cpp | 70 .precondition([&] { in name_for()
84 .precondition([&] { in add()
100 .precondition([&] { in set_name()
|
| /third_party/boost/libs/contract/test/specify/ |
| D | missing_check.cpp | 20 .precondition([] {}) in main()
27 .precondition([] {}) in main()
|
| /third_party/gstreamer/gstreamer/docs/random/wtay/ |
| D | threads_hilevel | 19 precondition:
41 precondition:
64 precondition:
84 precondition:
114 precondition:
|
| /third_party/boost/libs/contract/test/invariant/ |
| D | decl.hpp | 58 .precondition([&] { in f()
70 .precondition([&] { in f()
125 .precondition([&] { in f()
142 .precondition([&] { in f()
154 .precondition([] { out << "a::s::pre" << std::endl; }) in s()
164 .precondition([] { out << "a::p::volatile_pre" << std::endl; }) in p()
173 .precondition([] { out << "a::p::pre" << std::endl; }) in p()
186 .precondition([] { out << "a::q::volatile_pre" << std::endl; }) in q()
195 .precondition([] { out << "a::q::pre" << std::endl; }) in q()
|
| /third_party/boost/libs/contract/example/mitchell02/observer/ |
| D | subject.hpp | 45 .precondition([&] { in attached()
63 .precondition([&] { in attach()
132 .precondition([&] { in other_observers_unchanged()
|