Lines Matching refs:endl
21 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant()
22 void invariant() const { out << "b::inv" << std::endl; } in invariant()
26 .precondition([] { out << "b::f(int)::pre" << std::endl; }) in f()
27 .old([] { out << "b::f(int)::old" << std::endl; }) in f()
28 .postcondition([] { out << "b::f(int)::post" << std::endl; }) in f()
30 out << "b::f(int)::body" << std::endl; in f()
35 .precondition([] { out << "b::f(char const*)::pre" << std::endl; }) in f()
36 .old([] { out << "b::f(char const*)::old" << std::endl; }) in f()
38 [] { out << "b::f(char const*)::post" << std::endl; }) in f()
40 out << "b::f(char const*)::body" << std::endl; in f()
45 .precondition([] { out << "b::f(int, int)::pre" << std::endl; }) in f()
46 .old([] { out << "b::f(int, int)::old" << std::endl; }) in f()
47 .postcondition([] { out << "b::f(int, int)::post" << std::endl; }) in f()
49 out << "b::f(int, int)::body" << std::endl; in f()
54 .precondition([] { out << "b::f()::pre" << std::endl; }) in f()
55 .old([] { out << "b::f()::old" << std::endl; }) in f()
56 .postcondition([] { out << "b::f()::post" << std::endl; }) in f()
58 out << "b::f()::body" << std::endl; in f()
63 .precondition([] { out << "b::f(int[2][3])::pre" << std::endl; }) in f()
64 .old([] { out << "b::f(int[2][3])::old" << std::endl; }) in f()
65 .postcondition([] { out << "b::f(int[2][3])::post" << std::endl; }) in f()
67 out << "b::f(int[2][3])::body" << std::endl; in f()
73 [] { out << "b::f(void (*)(int))::pre" << std::endl; }) in f()
75 [] { out << "b::f(void (*)(int))::old" << std::endl; }) in f()
77 [] { out << "b::f(void (*)(int))::post" << std::endl; }) in f()
79 out << "b::f(void (*)(int))::body" << std::endl; in f()
90 static void static_invariant() { out << "a::static_inv" << std::endl; } in static_invariant()
91 void invariant() const { out << "a::inv" << std::endl; } in invariant()
99 .precondition([] { out << "a::f(int)::pre" << std::endl; }) in f()
100 .old([] { out << "a::f(int)::old" << std::endl; }) in f()
101 .postcondition([] { out << "a::f(int)::post" << std::endl; }) in f()
103 out << "a::f(int)::body" << std::endl; in f()
114 .precondition([] { out << "a::f(char const*)::pre" << std::endl; }) in f()
115 .old([] { out << "a::f(char const*)::old" << std::endl; }) in f()
117 [] { out << "a::f(char const*)::post" << std::endl; }) in f()
119 out << "a::f(char const*)::body" << std::endl; in f()
130 .precondition([] { out << "a::f(int, int)::pre" << std::endl; }) in f()
131 .old([] { out << "a::f(int, int)::old" << std::endl; }) in f()
132 .postcondition([] { out << "a::f(int, int)::post" << std::endl; }) in f()
134 out << "a::f(int, int)::body" << std::endl; in f()
141 .precondition([] { out << "a::f(T)::pre" << std::endl; }) in f()
142 .old([] { out << "a::f(T)::old" << std::endl; }) in f()
143 .postcondition([] { out << "a::f(T)::post" << std::endl; }) in f()
145 out << "a::f(T)::body" << std::endl; in f()
165 .precondition([] { out << "a::f()::pre" << std::endl; }) in f()
166 .old([] { out << "a::f()::old" << std::endl; }) in f()
167 .postcondition([] { out << "a::f()::post" << std::endl; }) in f()
169 out << "a::f()::body" << std::endl; in f()
179 .precondition([] { out << "a::f(bool)::pre" << std::endl; }) in f()
180 .old([] { out << "a::f(bool)::old" << std::endl; }) in f()
182 out << "a::f(bool)::post" << std::endl; }) in f()
184 out << "a::f(bool)::body" << std::endl; in f()
196 .precondition([] { out << "a::f(int[2][3])::pre" << std::endl; }) in f()
197 .old([] { out << "a::f(int[2][3])::old" << std::endl; }) in f()
198 .postcondition([] { out << "a::f(int[2][3])::post" << std::endl; }) in f()
200 out << "a::f(int[2][3])::body" << std::endl; in f()
212 [] { out << "a::f(void (*)(int))::pre" << std::endl; }) in f()
214 [] { out << "a::f(void (*)(int))::old" << std::endl; }) in f()
216 [] { out << "a::f(void (*)(int))::post" << std::endl; }) in f()
218 out << "a::f(void (*)(int))::body" << std::endl; in f()
229 << "b::static_inv" << std::endl in ok_args()
230 << "b::inv" << std::endl in ok_args()
231 << "a::static_inv" << std::endl in ok_args()
232 << "a::inv" << std::endl in ok_args()
235 << "b::f(" << args << ")::pre" << std::endl in ok_args()
238 << "b::f(" << args << ")::old" << std::endl in ok_args()
239 << "a::f(" << args << ")::old" << std::endl in ok_args()
241 << "a::f(" << args << ")::body" << std::endl in ok_args()
243 << "b::static_inv" << std::endl in ok_args()
244 << "b::inv" << std::endl in ok_args()
245 << "a::static_inv" << std::endl in ok_args()
246 << "a::inv" << std::endl in ok_args()
249 << "b::f(" << args << ")::old" << std::endl in ok_args()
250 << "b::f(" << args << ")::post" << std::endl in ok_args()
251 << "a::f(" << args << ")::post" << std::endl in ok_args()
281 << "a::static_inv" << std::endl in main()
282 << "a::inv" << std::endl in main()
285 << "a::f(T)::pre" << std::endl in main()
288 << "a::f(T)::old" << std::endl in main()
290 << "a::f(T)::body" << std::endl in main()
292 << "a::static_inv" << std::endl in main()
293 << "a::inv" << std::endl in main()
296 << "a::f(T)::post" << std::endl in main()
310 << "a::static_inv" << std::endl in main()
311 << "a::inv" << std::endl in main()
314 << "a::f(bool)::pre" << std::endl in main()
317 << "a::f(bool)::old" << std::endl in main()
319 << "a::f(bool)::body" << std::endl in main()
321 << "a::static_inv" << std::endl in main()
322 << "a::inv" << std::endl in main()
325 << "a::f(bool)::post" << std::endl in main()