Home
last modified time | relevance | path

Searched refs:a_post (Results 1 – 16 of 16) sorted by relevance

/third_party/boost/libs/contract/test/destructor/
Ddecl_post_none.cpp56 a_post = true; in main()
65 a_post = false; in main()
74 a_post = true; in main()
83 a_post = true; in main()
92 a_post = false; in main()
Ddecl_post_ends.cpp82 a_post = true; in main()
107 a_post = false; in main()
129 a_post = true; in main()
145 a_post = true; in main()
166 a_post = false; in main()
Ddecl_post_mid.cpp78 a_post = true; in main()
97 a_post = false; in main()
119 a_post = true; in main()
141 a_post = true; in main()
157 a_post = false; in main()
Ddecl_post_all.cpp85 a_post = true; in main()
110 a_post = false; in main()
132 a_post = true; in main()
154 a_post = true; in main()
175 a_post = false; in main()
Ddecl.hpp101 bool a_pre = true, a_post = true; variable
136 BOOST_CONTRACT_ASSERT(a_post); in BOOST_NOEXCEPT_IF()
/third_party/boost/libs/contract/test/public_function/
Ddecl_post_none.cpp53 a_post = true; in main()
60 a_post = false; in main()
67 a_post = true; in main()
74 a_post = true; in main()
81 a_post = false; in main()
Ddecl_post_mid.cpp56 a_post = true; in main()
74 a_post = false; in main()
92 a_post = true; in main()
113 a_post = true; in main()
131 a_post = false; in main()
Ddecl_post_ends.cpp56 a_post = true; in main()
75 a_post = false; in main()
97 a_post = true; in main()
116 a_post = true; in main()
136 a_post = false; in main()
Ddecl_post_all.cpp56 a_post = true; in main()
76 a_post = false; in main()
99 a_post = true; in main()
121 a_post = true; in main()
141 a_post = false; in main()
Ddecl.hpp111 bool a_pre = true, a_post = true; variable
152 BOOST_CONTRACT_ASSERT(a_post); in f()
/third_party/boost/libs/contract/test/constructor/
Ddecl_post_none.cpp62 a_post = true; in main()
71 a_post = false; in main()
80 a_post = true; in main()
89 a_post = true; in main()
98 a_post = false; in main()
Ddecl_post_mid.cpp78 a_post = true; in main()
94 a_post = false; in main()
107 a_post = true; in main()
126 a_post = true; in main()
139 a_post = false; in main()
Ddecl_post_ends.cpp82 a_post = true; in main()
98 a_post = false; in main()
115 a_post = true; in main()
128 a_post = true; in main()
147 a_post = false; in main()
Ddecl_post_all.cpp89 a_post = true; in main()
106 a_post = false; in main()
124 a_post = true; in main()
144 a_post = true; in main()
164 a_post = false; in main()
Ddecl.hpp117 bool a_pre = true, a_post = true; variable
161 BOOST_CONTRACT_ASSERT(a_post); in __anonf84d13b20902()
/third_party/boost/libs/numeric/conversion/test/
Dtest_helpers3.cpp34 ConversionInstance ( result_type a_result, argument_type a_source, PostCondition a_post) in ConversionInstance()
38 post(a_post) in ConversionInstance()