Fixed bidirectional iterator test so that --i is no longer a precondition.

[SVN r9048]
This commit is contained in:
Jeremy Siek
2001-02-09 04:29:11 +00:00
parent 8496571204
commit 8a73dcd052

View File

@ -5,6 +5,9 @@
// test suite for STL concepts such as iterators and containers. // test suite for STL concepts such as iterators and containers.
// //
// Revision History: // Revision History:
// 08 Feb 2001 Fixed bidirectional iterator test so that
// --i is no longer a precondition.
// (Jeremy Siek)
// 04 Feb 2001 Added lvalue test, corrected preconditions // 04 Feb 2001 Added lvalue test, corrected preconditions
// (David Abrahams) // (David Abrahams)
@ -125,7 +128,7 @@ void forward_iterator_test(Iterator i, T v1, T v2)
#endif #endif
} }
// Preconditions: *i == v1, *++i == v2, --i // Preconditions: *i == v1, *++i == v2
template <class Iterator, class T> template <class Iterator, class T>
void bidirectional_iterator_test(Iterator i, T v1, T v2) void bidirectional_iterator_test(Iterator i, T v1, T v2)
{ {
@ -143,8 +146,8 @@ void bidirectional_iterator_test(Iterator i, T v1, T v2)
--i; --i;
assert(i == i1); assert(i == i1);
assert(i == i2); assert(i == i2);
--i1; ++i1;
--i2; ++i2;
trivial_iterator_test(i, i1, v1); trivial_iterator_test(i, i1, v1);
trivial_iterator_test(i, i2, v1); trivial_iterator_test(i, i2, v1);
@ -152,7 +155,7 @@ void bidirectional_iterator_test(Iterator i, T v1, T v2)
// mutable_bidirectional_iterator_test // mutable_bidirectional_iterator_test
// Preconditions: [i-1,i+N) is a valid range // Preconditions: [i,i+N) is a valid range
template <class Iterator, class TrueVals> template <class Iterator, class TrueVals>
void random_access_iterator_test(Iterator i, int N, TrueVals vals) void random_access_iterator_test(Iterator i, int N, TrueVals vals)
{ {