| /third_party/boost/libs/contract/doc/html/ |
| D | boostrelease_HTML.manifest | 14 boost/contract/call_if_statement.html
15 boost/contract/call_if__idm46268585910912.html
16 boost/contract/call_if__idm46268585871440.html
17 boost/contract/call_if__idm46268585855312.html
18 boost/contract/call_if__idm46268585815184.html
19 boost/contract/call_if_c.html
20 boost/contract/call_if.html
21 boost/contract/condition_if_c.html
22 boost/contract/condition_if.html
23 boost/contract/check.html
[all …]
|
| /third_party/boost/libs/contract/example/cline90/ |
| D | vstack.cpp | 18 boost::contract::check c = boost::contract::constructor(this) in abstract_stack()
28 boost::contract::check c = boost::contract::destructor(this); in ~abstract_stack()
33 boost::contract::check c = boost::contract::public_function(this) in full()
44 boost::contract::check c = boost::contract::public_function(this) in empty()
53 virtual int length(boost::contract::virtual_* v = 0) const = 0;
54 virtual int capacity(boost::contract::virtual_* v = 0) const = 0;
56 virtual T const& item(boost::contract::virtual_* v = 0) const = 0;
58 virtual void push(T const& value, boost::contract::virtual_* v = 0) = 0;
59 virtual T const& pop(boost::contract::virtual_* v = 0) = 0;
61 virtual void clear(boost::contract::virtual_* v = 0) = 0;
[all …]
|
| /third_party/boost/libs/contract/test/disable/ |
| D | lib_b_inlined.hpp | 22 using boost::contract::test::detail::out; in static_invariant()
27 using boost::contract::test::detail::out; in invariant()
32 using boost::contract::test::detail::out; in g()
33 boost::contract::check c = boost::contract::public_function(this) in g()
48 using boost::contract::test::detail::out; in test_disable_pre_failure()
51 boost::contract::precondition_failure(boost::contract::from()); in test_disable_pre_failure()
52 return boost::contract::test::detail::oteststream::eq(out(), in test_disable_pre_failure()
57 using boost::contract::test::detail::out; in test_disable_post_failure()
60 boost::contract::postcondition_failure(boost::contract::from()); in test_disable_post_failure()
61 return boost::contract::test::detail::oteststream::eq(out(), in test_disable_post_failure()
[all …]
|
| D | lib_a_inlined.hpp | 21 using boost::contract::test::detail::out; in static_invariant()
27 using boost::contract::test::detail::out; in invariant()
33 using boost::contract::test::detail::out; in f()
35 boost::contract::old_ptr<x_type> old_x = in f()
37 boost::contract::check c = boost::contract::public_function(this) in f()
55 using boost::contract::test::detail::out; in disable_pre_failure()
56 boost::contract::set_precondition_failure([] (boost::contract::from) in disable_pre_failure()
62 using boost::contract::test::detail::out; in disable_post_failure()
63 boost::contract::set_postcondition_failure([] (boost::contract::from) in disable_post_failure()
69 using boost::contract::test::detail::out; in disable_entry_inv_failure()
[all …]
|
| D | lib_ab.hpp | 41 using boost::contract::test::detail::out; in main()
76 BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(), ok.str())); in main()
96 BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(), ok_f())); in main()
102 boost::contract::precondition_failure(boost::contract::from()); in main()
103 BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(), in main()
108 boost::contract::postcondition_failure(boost::contract::from()); in main()
109 BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(), in main()
114 boost::contract::entry_invariant_failure(boost::contract::from()); in main()
115 BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(), in main()
120 boost::contract::exit_invariant_failure(boost::contract::from()); in main()
[all …]
|
| /third_party/boost/libs/contract/example/n1962/ |
| D | vector.cpp | 47 friend class boost::contract::access;
74 boost::contract::check c = boost::contract::constructor(this) in vector()
82 boost::contract::check c = boost::contract::constructor(this) in vector()
91 boost::contract::check c = boost::contract::constructor(this) in vector()
95 boost::contract::condition_if<boost::has_equal_to<T> >( in vector()
104 boost::contract::check c = boost::contract::constructor(this) in vector()
108 boost::contract::condition_if<boost::has_equal_to<T> >( in vector()
119 boost::contract::check c = boost::contract::constructor(this) in vector()
123 boost::contract::condition_if<boost::has_equal_to<T> >( in vector()
135 boost::contract::check c = boost::contract::constructor(this) in vector()
[all …]
|
| /third_party/boost/libs/contract/example/features/ |
| D | overload.cpp | 15 virtual std::string str(boost::contract::virtual_* v = 0) const = 0;
16 virtual std::string& str(boost::contract::virtual_* v = 0) = 0;
19 boost::contract::virtual_* v = 0) = 0;
21 virtual void put(char x, boost::contract::virtual_* v = 0) = 0;
24 boost::contract::virtual_* v = 0) = 0;
27 std::string lines::str(boost::contract::virtual_* v) const { in str()
29 boost::contract::check c = boost::contract::public_function(v, result, this) in str()
38 std::string& lines::str(boost::contract::virtual_* v) { in str()
40 boost::contract::check c = boost::contract::public_function(v, result, this) in str()
49 void lines::put(std::string const& x, boost::contract::virtual_* v) { in put()
[all …]
|
| D | private_protected_virtual_multi.cpp | 29 virtual void set(int n, boost::contract::virtual_* = 0) { in set()
30 boost::contract::check c = boost::contract::function() in set()
43 virtual void dec(boost::contract::virtual_* = 0) { in dec()
44 boost::contract::old_ptr<int> old_get = BOOST_CONTRACT_OLDOF(get()); in dec()
45 boost::contract::check c = boost::contract::function() in dec()
61 virtual int get(boost::contract::virtual_* v = 0) const { in get()
63 boost::contract::check c = boost::contract::public_function( in get()
90 virtual void dec(boost::contract::virtual_* v = 0) = 0;
91 virtual void set(int n, boost::contract::virtual_* v = 0) = 0;
92 virtual int get(boost::contract::virtual_* v = 0) const = 0;
[all …]
|
| D | base_types_no_macro.cpp | 19 virtual void push_back(T x, boost::contract::virtual_* v = 0) = 0;
27 void pushable<T>::push_back(T x, boost::contract::virtual_* v) { in push_back()
28 boost::contract::old_ptr<unsigned> old_capacity = in push_back()
30 boost::contract::check c = boost::contract::public_function(v, this) in push_back()
45 : private boost::contract::constructor_precondition<unique_chars>
53 boost::contract::constructor_precondition<unique_chars>([&] { in unique_chars()
57 boost::contract::check c = boost::contract::constructor(this)
67 boost::contract::check c = boost::contract::destructor(this); in ~unique_chars()
71 boost::contract::check c = boost::contract::public_function(this); in size()
77 boost::contract::check c = boost::contract::public_function(this) in find()
[all …]
|
| D | base_types.cpp | 19 virtual void push_back(T x, boost::contract::virtual_* v = 0) = 0;
27 void pushable<T>::push_back(T x, boost::contract::virtual_* v) { in push_back()
28 boost::contract::old_ptr<unsigned> old_capacity = in push_back()
30 boost::contract::check c = boost::contract::public_function(v, this) in push_back()
45 : private boost::contract::constructor_precondition<unique_chars>
53 boost::contract::constructor_precondition<unique_chars>([&] { in unique_chars()
57 boost::contract::check c = boost::contract::constructor(this)
67 boost::contract::check c = boost::contract::destructor(this); in ~unique_chars()
71 boost::contract::check c = boost::contract::public_function(this); in size()
77 boost::contract::check c = boost::contract::public_function(this) in find()
[all …]
|
| D | throw_on_failure.cpp | 17 #define BASES private boost::contract::constructor_precondition<cstring< \
29 boost::contract::constructor_precondition<cstring>([&] { in cstring()
36 boost::contract::check c = boost::contract::constructor(this)
57 boost::contract::check c = boost::contract::destructor(this); in ~cstring()
63 boost::contract::check c = boost::contract::public_function(this); in size()
80 boost::contract::set_invariant_failure( in bad_throwing_handler()
81 [] (boost::contract::from) { in bad_throwing_handler()
92 boost::contract::set_precondition_failure( in main()
93 boost::contract::set_postcondition_failure( in main()
94 boost::contract::set_invariant_failure( in main()
[all …]
|
| D | move.cpp | 14 private boost::contract::constructor_precondition<circular_buffer> {
26 boost::contract::constructor_precondition<circular_buffer>([&] { in circular_buffer()
30 boost::contract::check c = boost::contract::constructor(this)
43 boost::contract::check c = boost::contract::public_function(this) in operator =()
58 boost::contract::check c = boost::contract::destructor(this); in ~circular_buffer()
62 boost::contract::check c = boost::contract::public_function(this); in moved()
75 boost::contract::constructor_precondition<circular_buffer>([&] { in circular_buffer()
82 boost::contract::check c = boost::contract::constructor(this)
91 boost::contract::constructor_precondition<circular_buffer>([&] { in circular_buffer()
95 boost::contract::check c = boost::contract::constructor(this)
[all …]
|
| D | public.cpp | 14 private boost::contract::constructor_precondition<unique_identifiers>
26 boost::contract::constructor_precondition<unique_identifiers>([&] { in unique_identifiers()
31 boost::contract::check c = boost::contract::constructor(this)
47 boost::contract::check c = boost::contract::destructor(this); in ~unique_identifiers()
55 boost::contract::check c = boost::contract::public_function(this); in size()
64 boost::contract::check c = boost::contract::public_function(this) in find()
82 virtual int push_back(int id, boost::contract::virtual_* v = 0) { // Extra `v`. in push_back()
84 boost::contract::old_ptr<bool> old_find = in push_back()
86 boost::contract::old_ptr<int> old_size = in push_back()
88 boost::contract::check c = boost::contract::public_function( in push_back()
[all …]
|
| D | private_protected_virtual.cpp | 16 virtual void set(int n, boost::contract::virtual_* = 0) { in set()
17 boost::contract::check c = boost::contract::function() // ...no `v`. in set()
30 virtual void dec(boost::contract::virtual_* = 0) { in dec()
31 boost::contract::old_ptr<int> old_get = BOOST_CONTRACT_OLDOF(get()); // ...no `v`. in dec()
32 boost::contract::check c = boost::contract::function() // ...no `v`. in dec()
51 virtual int get(boost::contract::virtual_* v = 0) const { in get()
53 boost::contract::check c = boost::contract::public_function( in get()
84 virtual void set(int n, boost::contract::virtual_* v = 0) /* override */ { in set()
85 boost::contract::check c = boost::contract::public_function(v, this) in set()
97 virtual void dec(boost::contract::virtual_* v = 0) /* override */ { in dec()
[all …]
|
| /third_party/boost/libs/contract/example/meyer97/ |
| D | stack4.hpp | 17 #define BASES private boost::contract::constructor_precondition<stack4<T> >
20 friend boost::contract::access;
35 boost::contract::constructor_precondition<stack4>([&] { in stack4()
39 boost::contract::check c = boost::contract::constructor(this)
52 boost::contract::check c = boost::contract::constructor(this) in stack4()
68 boost::contract::check c = boost::contract::public_function(this) in operator =()
87 boost::contract::check c = boost::contract::destructor(this); in ~stack4()
96 boost::contract::check c = boost::contract::public_function(this); in capacity()
103 boost::contract::check c = boost::contract::public_function(this); in count()
109 boost::contract::check c = boost::contract::public_function(this) in item()
[all …]
|
| D | stack3.cpp | 17 friend class boost::contract::access;
41 boost::contract::check c = boost::contract::constructor(this) in stack3()
61 boost::contract::check c = boost::contract::public_function(this); in capacity()
68 boost::contract::check c = boost::contract::public_function(this); in count()
74 boost::contract::check c = boost::contract::public_function(this) in item()
97 boost::contract::check c = boost::contract::public_function(this); in error()
103 boost::contract::check c = boost::contract::public_function(this); in empty()
109 boost::contract::check c = boost::contract::public_function(this); in full()
117 boost::contract::old_ptr<bool> old_full = BOOST_CONTRACT_OLDOF(full()); in put()
118 boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count()); in put()
[all …]
|
| /third_party/boost/libs/contract/test/public_function/ |
| D | overload.hpp | 18 boost::contract::test::detail::oteststream out;
24 virtual void f(int /* x */, boost::contract::virtual_* v = 0) { in f()
25 boost::contract::check c = boost::contract::public_function(v, this) in f()
33 virtual void f(char const* /* x */, boost::contract::virtual_* v = 0) { in f()
34 boost::contract::check c = boost::contract::public_function(v, this) in f()
43 virtual void f(int /* x */, int /* y */, boost::contract::virtual_* v = 0) { in f()
44 boost::contract::check c = boost::contract::public_function(v, this) in f()
52 virtual void f(boost::contract::virtual_* v = 0) { in f()
53 boost::contract::check c = boost::contract::public_function(v, this) in f()
61 void f(int /* x */[2][3], boost::contract::virtual_* v = 0) { in f()
[all …]
|
| D | ifdef_macro.cpp | 17 boost::contract::test::detail::oteststream out;
21 boost::contract::test::detail::unprotected_commas<void, void, void>::
27 boost::contract::test::detail::unprotected_commas<void, void, void>::
32 virtual void f(int x, boost::contract::virtual_* v = 0) = 0;
35 void b::f(int x, boost::contract::virtual_* v) { in f()
37 boost::contract::test::detail::unprotected_commas<int, void, void>:: in f()
40 (boost::contract::test::detail::unprotected_commas<void, void, void>:: in f()
43 (boost::contract::test::detail::unprotected_commas<void, void, void>:: in f()
47 boost::contract::test::detail::unprotected_commas<void, void, void>:: in f()
49 boost::contract::test::detail::unprotected_commas<void, void, void>:: in f()
[all …]
|
| /third_party/boost/libs/contract/example/mitchell02/ |
| D | simple_queue.cpp | 15 #define BASES private boost::contract::constructor_precondition< \
19 friend class boost::contract::access;
33 boost::contract::constructor_precondition<simple_queue>([&] { in simple_queue()
37 boost::contract::check c = boost::contract::constructor(this)
51 boost::contract::check c = boost::contract::destructor(this); in ~simple_queue()
60 boost::contract::check c = boost::contract::public_function(this); in items()
67 boost::contract::check c = boost::contract::public_function(this); in capacity()
76 boost::contract::check c = boost::contract::public_function(this) in count()
89 boost::contract::check c = boost::contract::public_function(this) in head()
105 boost::contract::check c = boost::contract::public_function(this) in is_empty()
[all …]
|
| D | observer_main.cpp | 20 friend class boost::contract::access;
30 boost::contract::check c = boost::contract::constructor(this); in concrete_subject()
35 boost::contract::check c = boost::contract::destructor(this); in ~concrete_subject()
40 boost::contract::check c = boost::contract::public_function(this); in set_state()
49 boost::contract::check c = boost::contract::public_function(this); in get_state()
62 friend class boost::contract::access;
74 boost::contract::check c = boost::contract::constructor(this); in concrete_observer()
79 boost::contract::check c = boost::contract::destructor(this); in ~concrete_observer()
84 bool up_to_date_with_subject(boost::contract::virtual_* v = 0) in up_to_date_with_subject()
87 boost::contract::check c = boost::contract::public_function< in up_to_date_with_subject()
[all …]
|
| D | stack.cpp | 15 friend class boost::contract::access;
26 boost::contract::check c = boost::contract::constructor(this) in stack()
36 boost::contract::check c = boost::contract::destructor(this); in ~stack()
44 boost::contract::check c = boost::contract::public_function(this); in count()
50 boost::contract::check c = boost::contract::public_function(this) in item_at()
65 boost::contract::check c = boost::contract::public_function(this) in is_empty()
78 boost::contract::check c = boost::contract::public_function(this) in item()
95 boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count()); in put()
96 boost::contract::check c = boost::contract::public_function(this) in put()
108 boost::contract::old_ptr<int> old_count = BOOST_CONTRACT_OLDOF(count()); in remove()
[all …]
|
| D | courier.cpp | 33 #define BASES private boost::contract::constructor_precondition<courier>
36 friend class boost::contract::access;
58 boost::contract::constructor_precondition<courier>([&] { in courier()
65 boost::contract::check c = boost::contract::constructor(this);
71 boost::contract::check c = boost::contract::destructor(this); in ~courier()
79 boost::contract::check c = boost::contract::public_function(this); in insurance_cover_usd()
89 boost::contract::virtual_* v = 0 in deliver()
91 boost::contract::check c = boost::contract::public_function(v, this) in deliver()
118 #define BASES private boost::contract::constructor_precondition< \
122 friend class boost::contract::access;
[all …]
|
| D | name_list.cpp | 16 friend class boost::contract::access;
27 boost::contract::check c = boost::contract::constructor(this) in name_list()
37 boost::contract::check c = boost::contract::destructor(this); in ~name_list()
45 boost::contract::check c = boost::contract::public_function(this); in count()
52 boost::contract::check c = boost::contract::public_function(this) in has()
67 boost::contract::virtual_* v = 0) { in put()
68 boost::contract::old_ptr<bool> old_has_name = in put()
70 boost::contract::old_ptr<int> old_count = in put()
72 boost::contract::check c = boost::contract::public_function(v, this) in put()
95 friend class boost::contract::access;
[all …]
|
| /third_party/boost/boost/contract/detail/condition/ |
| D | cond_inv.hpp | 32 namespace boost { namespace contract { namespace detail { namespace
39 (!boost::contract::access::has_static_invariant_f<
46 (!boost::contract::access::has_static_invariant_f<
54 (!boost::contract::access::has_static_invariant_f<
62 (!boost::contract::access::has_static_invariant_f<
71 (!boost::contract::access::has_invariant_s<
78 (!boost::contract::access::has_invariant_f<
86 (!boost::contract::access::has_invariant_f<
97 explicit cond_inv(boost::contract::from from, C* obj) : in cond_inv()
141 this->fail(&boost::contract::entry_invariant_failure); in check_inv()
[all …]
|
| /third_party/boost/libs/contract/example/mitchell02/counter/ |
| D | push_button.hpp | 22 boost::contract::check c = boost::contract::constructor(this) in push_button()
32 boost::contract::check c = boost::contract::destructor(this); in ~push_button()
40 boost::contract::check c = boost::contract::public_function(this); in enabled()
48 boost::contract::check c = boost::contract::public_function(this) in enable()
59 boost::contract::check c = boost::contract::public_function(this) in disable()
69 virtual void on_bn_clicked(boost::contract::virtual_* v = 0) = 0;
75 void push_button::on_bn_clicked(boost::contract::virtual_* v) { in on_bn_clicked()
76 boost::contract::check c = boost::contract::public_function(v, this) in on_bn_clicked()
|