Home
last modified time | relevance | path

Searched refs:a_pre (Results 1 – 11 of 11) sorted by relevance

/third_party/boost/libs/contract/test/public_function/
Ddecl_pre_none.cpp53 a_pre = true; in main()
60 a_pre = true; in main()
67 a_pre = false; in main()
74 a_pre = false; in main()
81 a_pre = false; in main()
Ddecl_pre_mid.cpp66 a_pre = true; in main()
80 a_pre = false; in main()
98 a_pre = true; in main()
120 a_pre = false; in main()
142 a_pre = false; in main()
Ddecl_pre_ends.cpp66 a_pre = true; in main()
80 a_pre = true; in main()
96 a_pre = false; in main()
113 a_pre = false; in main()
135 a_pre = false; in main()
Ddecl_pre_all.cpp66 a_pre = true; in main()
80 a_pre = true; in main()
96 a_pre = false; in main()
112 a_pre = false; in main()
129 a_pre = false; in main()
Ddecl.hpp111 bool a_pre = true, a_post = true; variable
145 BOOST_CONTRACT_ASSERT(a_pre); in f()
/third_party/boost/libs/contract/test/constructor/
Ddecl_pre_none.cpp67 a_pre = true; in main()
76 a_pre = false; in main()
85 a_pre = true; in main()
94 a_pre = true; in main()
103 a_pre = false; in main()
Ddecl_pre_mid.cpp73 a_pre = true; in main()
91 a_pre = false; in main()
106 a_pre = true; in main()
127 a_pre = true; in main()
142 a_pre = false; in main()
Ddecl_pre_all.cpp73 a_pre = true; in main()
93 a_pre = false; in main()
113 a_pre = true; in main()
134 a_pre = true; in main()
156 a_pre = false; in main()
Ddecl_pre_ends.cpp73 a_pre = true; in main()
92 a_pre = false; in main()
112 a_pre = true; in main()
129 a_pre = true; in main()
150 a_pre = false; in main()
Ddecl.hpp117 bool a_pre = true, a_post = true; variable
152 BOOST_CONTRACT_ASSERT(a_pre); in a()
/third_party/boost/libs/contract/test/destructor/
Ddecl.hpp101 bool a_pre = true, a_post = true; variable