From f325582c402211a56b88a66c5acc5ee0b0b70897 Mon Sep 17 00:00:00 2001 From: Jeremy Siek Date: Thu, 14 Aug 2003 20:05:44 +0000 Subject: [PATCH] some fixes to writable iterators [SVN r19609] --- doc/new-iter-concepts.rst | 21 +++++++-------------- 1 file changed, 7 insertions(+), 14 deletions(-) diff --git a/doc/new-iter-concepts.rst b/doc/new-iter-concepts.rst index be1b357..ff39358 100644 --- a/doc/new-iter-concepts.rst +++ b/doc/new-iter-concepts.rst @@ -350,17 +350,9 @@ Writable Iterators [lib.writable.iterators] A class or built-in type ``X`` models the *Writable Iterator* concept if the following expressions are valid and respect the stated -semantics. - -.. A type ``T`` belongs to the *set of value types* of ``X`` - if, for an object ``v`` of type ``T``, ``*a = v`` is valid. - - ** This appears to be a mutual recursion which ends up meaning - nothing. Kill the assertion column? - - Separate but related question: Is a writable iterator required - to have a meaningful value_type? If not, we need to use a - different name from ``v`` in this table -DWA +semantics. In addition, a model of *Writable Iterator* must include +in its documentation the *set of value types* that it allows for +output. +---------------------------------------------------------------------------------------------+ |Writable Iterator Requirements (in addition to CopyConstructible) | @@ -370,11 +362,12 @@ semantics. |``access_category::type`` |Convertible to | | | |``writable_iterator_tag``| | +--------------------------------------+-------------------------+----------------------------+ - |``*a = v`` | |.. ** pre: The type of ``v``| - | | | is in the set | - | | | of value types of ``X`` | + |``*a = o`` | | pre: The type of ``o`` | + | | | is in the set of | + | | | value types of ``X`` | +--------------------------------------+-------------------------+----------------------------+ + Swappable Iterators [lib.swappable.iterators] ---------------------------------------------