]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | .. Copyright David Abrahams 2006. Distributed under the Boost |
2 | .. Software License, Version 1.0. (See accompanying | |
3 | .. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
4 | ||
5 | Writable Iterator Concept | |
6 | ......................... | |
7 | ||
8 | A class or built-in type ``X`` models the *Writable Iterator* concept | |
9 | if, in addition to ``X`` being Copy Constructible, the following | |
10 | expressions are valid and respect the stated semantics. Writable | |
11 | Iterators have an associated *set of value types*. | |
12 | ||
13 | +---------------------------------------------------------------------+ | |
14 | |Writable Iterator Requirements (in addition to Copy Constructible) | | |
15 | +-------------------------+--------------+----------------------------+ | |
16 | |Expression |Return Type |Precondition | | |
17 | +=========================+==============+============================+ | |
18 | |``*a = o`` | | pre: The type of ``o`` | | |
19 | | | | is in the set of | | |
20 | | | | value types of ``X`` | | |
21 | +-------------------------+--------------+----------------------------+ |