Home
last modified time | relevance | path

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

12345

/third_party/boost/libs/contract/build/
Dboost_contract_no.jam13 rule defs_r { return <define>BOOST_CONTRACT_NO_PRECONDITIONS ; }
23 …_yr { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECONDITIONS ; }
33 rule defs_rx { return <define>BOOST_CONTRACT_NO_PRECONDITIONS <define>BOOST_CONTRACT_NO_EXIT_INVARI…
35 rule defs_rs { return <define>BOOST_CONTRACT_NO_PRECONDITIONS <define>BOOST_CONTRACT_NO_POSTCONDITI…
37 rule defs_re { return <define>BOOST_CONTRACT_NO_PRECONDITIONS <define>BOOST_CONTRACT_NO_EXCEPTS ; }
39 rule defs_rk { return <define>BOOST_CONTRACT_NO_PRECONDITIONS <define>BOOST_CONTRACT_NO_CHECKS ; }
53 … { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECONDITIONS <defi…
55 … { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECONDITIONS <defi…
57 … { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECONDITIONS <defi…
59 … { return <define>BOOST_CONTRACT_NO_ENTRY_INVARIANTS <define>BOOST_CONTRACT_NO_PRECONDITIONS <defi…
[all …]
/third_party/boost/libs/contract/test/constructor/
Ddecl_pre_all.cpp80 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
99 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
104 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
119 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
124 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
140 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
145 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
162 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
167 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Ddecl_pre_ends.cpp80 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
98 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
103 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
119 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
135 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
140 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
156 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
161 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Ddecl_pre_mid.cpp80 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
98 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
112 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
117 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
134 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
148 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
153 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Difdef.cpp12 !defined(BOOST_CONTRACT_NO_PRECONDITIONS)
25 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
35 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in b()
57 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
68 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in a()
95 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
/third_party/boost/libs/contract/test/public_function/
Ddecl_pre_mid.cpp73 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
87 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
104 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
110 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
126 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
132 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
148 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
154 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Ddecl_pre_ends.cpp73 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
87 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
103 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
119 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
125 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
141 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
147 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Ddecl_pre_all.cpp73 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
87 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
103 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
119 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
135 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
141 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Dvirtual_access.cpp118 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
132 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
143 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
164 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
185 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
202 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Dvirtual_access_multi.cpp164 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
178 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
189 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
211 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
237 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
259 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Dvirtual_sparse.cpp196 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
252 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
278 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
306 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
338 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
366 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
398 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Difdef.cpp39 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in f()
72 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in f()
98 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
/third_party/boost/boost/contract/core/
Dconfig.hpp422 #define BOOST_CONTRACT_NO_PRECONDITIONS macro
662 defined(BOOST_CONTRACT_NO_PRECONDITIONS) && \
691 #elif defined(BOOST_CONTRACT_NO_PRECONDITIONS) && \
728 defined(BOOST_CONTRACT_NO_PRECONDITIONS) && \
760 defined(BOOST_CONTRACT_NO_PRECONDITIONS) && \
Dconstructor_precondition.hpp16 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
107 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in constructor_precondition()
/third_party/boost/boost/contract/detail/operation/
Dstatic_public_function.hpp17 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
40 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
47 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) in init()
55 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in init()
Dpublic_function.hpp19 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
70 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
89 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in init()
108 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
Dfunction.hpp15 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
35 #if !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
41 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in init()
/third_party/boost/boost/contract/detail/condition/
Dcond_base.hpp21 #if !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
58 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
90 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
139 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
/third_party/boost/libs/contract/test/invariant/
Ddecl.hpp215 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
287 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
326 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
347 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
363 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
433 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
505 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
544 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
565 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
581 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
[all …]
/third_party/boost/libs/contract/example/features/
Difdef.cpp25 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in inc()
81 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in push_back()
100 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS
123 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in integers()
162 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in push_back()
/third_party/boost/libs/contract/test/function/
Ddecl_pre_all.cpp18 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in ok_f()
47 #ifdef BOOST_CONTRACT_NO_PRECONDITIONS in main()
60 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
Difdef.cpp27 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in f()
44 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
/third_party/boost/libs/contract/test/disable/
Dlib_xy.hpp35 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
51 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
61 #ifndef BOOST_CONTRACT_NO_PRECONDITIONS in main()
/third_party/boost/boost/contract/
Ddestructor.hpp18 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
96 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \ in destructor()
Dconstructor.hpp19 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \
97 !defined(BOOST_CONTRACT_NO_PRECONDITIONS) || \ in constructor()

12345