Lines Matching refs:precondition

26             .precondition([] { out << "b::f(int)::pre" << std::endl; })  in f()
35             .precondition([] { out << "b::f(char const*)::pre" << std::endl; })  in f()
45             .precondition([] { out << "b::f(int, int)::pre" << std::endl; })  in f()
54             .precondition([] { out << "b::f()::pre" << std::endl; })  in f()
63             .precondition([] { out << "b::f(int[2][3])::pre" << std::endl; })  in f()
72             .precondition(  in f()
99             .precondition([] { out << "a::f(int)::pre" << std::endl; })  in f()
114             .precondition([] { out << "a::f(char const*)::pre" << std::endl; })  in f()
130             .precondition([] { out << "a::f(int, int)::pre" << std::endl; })  in f()
141             .precondition([] { out << "a::f(T)::pre" << std::endl; })  in f()
165             .precondition([] { out << "a::f()::pre" << std::endl; })  in f()
179             .precondition([] { out << "a::f(bool)::pre" << std::endl; })  in f()
196             .precondition([] { out << "a::f(int[2][3])::pre" << std::endl; })  in f()
211             .precondition(  in f()