Home
last modified time | relevance | path

Searched refs:BOOST_CONTRACT_NO_ENTRY_INVARIANTS (Results 1 – 25 of 117) sorted by relevance

12345

/third_party/boost/libs/contract/build/
Dboost_contract_no.jam11 rule defs_y { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS ; }
23 rule defs_yr { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECONDI…
25 rule defs_yx { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_EXIT_INV…
27 rule defs_ys { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_POSTCOND…
29 rule defs_ye { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_EXCEPTS …
31 rule defs_yk { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_CHECKS ;…
53 rule defs_yrx { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECOND…
55 rule defs_yrs { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECOND…
57 rule defs_yre { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECOND…
59 rule defs_yrk { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECOND…
[all …]
/third_party/boost/libs/contract/test/constructor/
Ddecl_entry_static_inv_all.cpp27 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_c()
48 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_b()
69 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_a()
98 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
132 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
140 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
155 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
162 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
178 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
184 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
[all …]
Ddecl_entry_static_inv_ends.cpp27 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_c()
65 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_a()
94 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
128 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
136 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
168 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
174 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
191 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
197 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_static_inv_mid.cpp44 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_b()
91 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
144 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
151 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
186 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
193 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_post_none.cpp25 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
37 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
49 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_exit_inv_none.cpp25 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
39 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
53 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
/third_party/boost/libs/contract/test/public_function/
Ddecl_entry_static_inv_all.cpp54 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
70 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
93 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
98 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
119 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
124 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
143 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
148 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
165 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
170 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_inv_all.cpp54 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
70 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
93 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
98 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
120 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
125 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
145 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
150 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
168 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
173 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_inv_ends.cpp53 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
69 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
91 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
96 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
118 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
138 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
143 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
161 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
166 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_static_inv_ends.cpp53 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
69 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
91 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
96 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
116 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
158 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
163 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
180 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
185 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_static_inv_mid.cpp52 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
68 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
89 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
108 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
113 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
131 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
150 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
155 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_inv_mid.cpp52 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
68 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
90 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
109 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
114 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
134 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
153 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
158 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
/third_party/boost/libs/contract/test/destructor/
Ddecl_entry_static_inv_all.cpp21 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_a()
41 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_b()
62 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_c()
86 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
122 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
130 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
151 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
159 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
180 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
188 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
[all …]
Ddecl_entry_inv_all.cpp20 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_a()
44 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_b()
67 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_c()
112 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
130 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
154 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
178 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
201 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
207 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
213 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_static_inv_ends.cpp21 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_a()
41 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_b()
60 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_c()
84 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
120 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
128 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
166 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
174 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
197 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_inv_ends.cpp20 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_a()
42 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_b()
64 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_c()
109 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
127 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
166 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
189 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
197 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_static_inv_mid.cpp21 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_a()
37 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_b()
57 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_c()
79 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
134 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
142 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
185 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_inv_mid.cpp20 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_a()
39 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_b()
61 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in ok_c()
120 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
139 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
183 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_entry_static_inv_none.cpp20 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
31 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
42 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
54 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_exit_static_inv_none.cpp20 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
31 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
42 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
54 #ifdef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Ddecl_post_none.cpp19 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
31 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
43 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
/third_party/boost/libs/contract/test/invariant/
Ddecl.hpp220 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
244 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
273 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
321 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
379 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
403 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
438 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
462 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
491 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
539 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
[all …]
Difdef.cpp85 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
100 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
115 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
130 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
145 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
160 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
Difdef_macro.cpp81 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
96 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
111 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
126 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
141 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
156 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in main()
/third_party/boost/boost/contract/detail/operation/
Dstatic_public_function.hpp39 #if !defined(BOOST_CONTRACT_NO_ENTRY_INVARIANTS) || \
46 #if !defined(BOOST_CONTRACT_NO_ENTRY_INVARIANTS) || \ in init()
52 #ifndef BOOST_CONTRACT_NO_ENTRY_INVARIANTS in init()

12345