Home
last modified time | relevance | path

Searched refs:constructor_precondition (Results 1 – 25 of 35) sorted by relevance

12

/third_party/boost/libs/contract/test/constructor/
Ddecl.hpp26 : private boost::contract::constructor_precondition<c>
46 : boost::contract::constructor_precondition<c>([] { in c()
72 private boost::contract::constructor_precondition<b>, public c
98 : boost::contract::constructor_precondition<b>([] { in b()
124 private boost::contract::constructor_precondition<a>, public b
150 : boost::contract::constructor_precondition<a>([] { in a()
Dthrowing_body.cpp19 #define BASES private boost::contract::constructor_precondition<c>
29 boost::contract::constructor_precondition<c>([] { in c()
46 #define BASES private boost::contract::constructor_precondition<b>, public c
56 boost::contract::constructor_precondition<b>([] { in b()
71 #define BASES private boost::contract::constructor_precondition<a>, public b
81 boost::contract::constructor_precondition<a>([] { in a()
Dthrowing_post.cpp19 #define BASES private boost::contract::constructor_precondition<c>
29 boost::contract::constructor_precondition<c>([] { in c()
46 #define BASES private boost::contract::constructor_precondition<b>, public c
56 boost::contract::constructor_precondition<b>([] { in b()
73 #define BASES private boost::contract::constructor_precondition<a>, public b
83 boost::contract::constructor_precondition<a>([] { in a()
Dthrowing_old.cpp19 #define BASES private boost::contract::constructor_precondition<c>
29 boost::contract::constructor_precondition<c>([] { in c()
46 #define BASES private boost::contract::constructor_precondition<b>, public c
56 boost::contract::constructor_precondition<b>([] { in b()
73 #define BASES private boost::contract::constructor_precondition<a>, public b
83 boost::contract::constructor_precondition<a>([] { in a()
Dthrowing_pre.cpp19 #define BASES private boost::contract::constructor_precondition<c>
29 boost::contract::constructor_precondition<c>([] { in c()
46 #define BASES private boost::contract::constructor_precondition<b>, public c
56 boost::contract::constructor_precondition<b>([] { in b()
71 #define BASES private boost::contract::constructor_precondition<a>, public b
81 boost::contract::constructor_precondition<a>([] { in a()
Difdef.cpp26 : private boost::contract::constructor_precondition<b>
36 : boost::contract::constructor_precondition<b>([] { in b()
58 private boost::contract::constructor_precondition<a>,
69 boost::contract::constructor_precondition<a>([] { in a()
Daccess.cpp19 #define BASES private boost::contract::constructor_precondition<b>
31 b() : boost::contract::constructor_precondition<b>([] { in b()
43 #define BASES private boost::contract::constructor_precondition<a>, public b
57 a() : boost::contract::constructor_precondition<a>([] { in __anon675bf0050402()
Dsmoke.cpp25 #define BASES private boost::contract::constructor_precondition<t<Id> >
49 boost::contract::constructor_precondition<t<Id> >([&] { in t()
86 #define BASES private boost::contract::constructor_precondition<c>, \
112 boost::contract::constructor_precondition<c>([&] { in c()
147 #define BASES private boost::contract::constructor_precondition<b>
162 #define BASES private boost::contract::constructor_precondition<a>, \
188 boost::contract::constructor_precondition<a>([&] { in a()
Difdef_macro.cpp20 private boost::contract::constructor_precondition<b> // OK, always in code.
66 private boost::contract::constructor_precondition<a>, // OK, always in code.
/third_party/boost/boost/contract/core/
Dconstructor_precondition.hpp77 class constructor_precondition { // Copyable (has no data). class
90 constructor_precondition() {} in constructor_precondition() function in boost::contract::constructor_precondition
106 explicit constructor_precondition(F const& f) { in constructor_precondition() function in boost::contract::constructor_precondition
/third_party/boost/libs/contract/example/mitchell02/
Dcourier.cpp33 #define BASES private boost::contract::constructor_precondition<courier>
58 boost::contract::constructor_precondition<courier>([&] { in courier()
118 #define BASES private boost::contract::constructor_precondition< \
147 boost::contract::constructor_precondition<different_courier>([&] { in different_courier()
/third_party/boost/libs/contract/example/features/
Dmove.cpp14 private boost::contract::constructor_precondition<circular_buffer> {
26 boost::contract::constructor_precondition<circular_buffer>([&] { in circular_buffer()
75 boost::contract::constructor_precondition<circular_buffer>([&] { in circular_buffer()
91 boost::contract::constructor_precondition<circular_buffer>([&] { in circular_buffer()
Dbase_types.cpp45 : private boost::contract::constructor_precondition<unique_chars>
53 boost::contract::constructor_precondition<unique_chars>([&] { in unique_chars()
118 private boost::contract::constructor_precondition<chars>, \
141 boost::contract::constructor_precondition<chars>([&] { in chars()
Dbase_types_no_macro.cpp45 : private boost::contract::constructor_precondition<unique_chars>
53 boost::contract::constructor_precondition<unique_chars>([&] { in unique_chars()
119 private boost::contract::constructor_precondition<chars>,
141 boost::contract::constructor_precondition<chars>([&] { in chars()
Dno_lambdas.hpp14 private boost::contract::constructor_precondition<iarray> {
25 static void constructor_precondition(unsigned const max, in constructor_precondition() function in iarray
Dseparate_body.hpp14 private boost::contract::constructor_precondition<iarray> {
21 boost::contract::constructor_precondition<iarray>([&] { in iarray()
Dthrow_on_failure.cpp17 #define BASES private boost::contract::constructor_precondition<cstring< \
29 boost::contract::constructor_precondition<cstring>([&] { in cstring()
Dunion.cpp30 boost::contract::constructor_precondition<positive> pre([&] { in positive()
86 boost::contract::constructor_precondition<positive> pre([&] { in positive()
Dno_lambdas.cpp13 boost::contract::constructor_precondition<iarray>(boost::bind( in iarray()
14 &iarray::constructor_precondition, max, count)), in iarray()
Difdef.cpp101 private boost::contract::constructor_precondition<integers>, BASES
124 boost::contract::constructor_precondition<integers>([&] { in integers()
Dno_lambdas_local_func.cpp13 private boost::contract::constructor_precondition<iarray> {
27 boost::contract::constructor_precondition<iarray>(boost::bind( in iarray()
Dpublic.cpp14 private boost::contract::constructor_precondition<unique_identifiers>
26 boost::contract::constructor_precondition<unique_identifiers>([&] { in unique_identifiers()
/third_party/boost/libs/contract/example/cline90/
Dstack.cpp14 #define BASES private boost::contract::constructor_precondition<stack<T> >
24 boost::contract::constructor_precondition<stack>([&] { in stack()
Dvector.hpp16 #define BASES private boost::contract::constructor_precondition<vector<T> >
30 boost::contract::constructor_precondition<vector>([&] { in vector()
/third_party/boost/boost/
Dcontract_macro.hpp799 boost::contract::constructor_precondition< __VA_ARGS__ >
806 boost::contract::constructor_precondition< __VA_ARGS__ >() \

12