From ad5defc9af055afc5acabaffffa74e3331237d61 Mon Sep 17 00:00:00 2001 From: Jeremy Siek Date: Fri, 19 Dec 2003 21:20:36 +0000 Subject: [PATCH] edits to take into account that the access requirements for Iterator are not determined by the CategoryOrTraversal tag. The access req. is just readable. [SVN r21343] --- doc/indirect_iterator_ref.rst | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/doc/indirect_iterator_ref.rst b/doc/indirect_iterator_ref.rst index 6d3beaa..c891e48 100644 --- a/doc/indirect_iterator_ref.rst +++ b/doc/indirect_iterator_ref.rst @@ -73,18 +73,19 @@ as follows:: The ``CategoryOrTraversal`` argument shall be one of the standard iterator tags or ``use_default``. If ``CategoryOrTraversal`` is an iterator tag, ``indirect_iterator`` satisfies the requirements -corresponding to the iterator tag. The template parameter ``Iterator`` -argument shall meet the requirements corresponding to the iterator -tag. If ``CategoryOrTraversal`` is ``use_default`` then the -``Iterator`` argument shall meet the requirements of Readable -Iterator. In this case, ``indirect_iterator`` satisfies the -requirements of the most refined standard traversal concept that is -satisfied by the ``Iterator`` argument. +corresponding to the iterator tag. The template parameter +``Iterator`` argument shall meet the traversal requirements +corresponding to the iterator tag and the requirements of Readable +Iterator. If ``CategoryOrTraversal`` is ``use_default`` then +``indirect_iterator`` satisfies the requirements of the most refined +standard traversal concept that is satisfied by the ``Iterator`` +argument. In this case the ``Iterator`` argument shall meet the +requirements of Readable Iterator. -The expression ``*i``, where ``i`` is an object of type +The expression ``*v``, where ``v`` is an object of type ``iterator_traits::value_type``, must be a valid expression -and must be convertible to ``indirect_iterator::reference`` Also, -there are further requirements on the +and must be convertible to ``iterator_adaptor::reference`` Also, there +are further requirements on the ``iterator_traits::value_type`` if the ``Value`` parameter is not ``use_default``, as implied by the algorithm for deducing the default.