[Boost-commit] svn:boost r48868 - sandbox/committee/concepts/stdlib

Subject: [Boost-commit] svn:boost r48868 - sandbox/committee/concepts/stdlib
From: dave_at_[hidden]
Date: 2008-09-19 02:08:34

Author: dave
Date: 2008-09-19 02:08:34 EDT (Fri, 19 Sep 2008)
New Revision: 48868
URL: http://svn.boost.org/trac/boost/changeset/48868

Log:
Added semantic requirements for operator[]

Text files modified: 
   sandbox/committee/concepts/stdlib/clib-iterconcepts.tex |    11 ++++++++++-                             
   1 files changed, 10 insertions(+), 1 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-iterconcepts.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-iterconcepts.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-iterconcepts.tex	2008-09-19 02:08:34 EDT (Fri, 19 Sep 2008)
@@ -1095,6 +1095,15 @@
 \addedConcepts{\mbox{\returns}
 \mbox{\tcode{(a < b) ? distance(a,b) : -distance(b,a)}}}
 
+\begin{itemdecl}
+subscript_reference operator[](const X& x, difference_type n);
+\end{itemdecl}
+
+\pnum
+\addedConcepts{\mbox{\requires}
+\mbox{\tcode{(const value_type&)x[n]}} is equivalent to
+\mbox{\tcode{*(x + n)}}.}
+
 \pnum
 \addedConcepts{Pointers are random access iterators with the following
 concept map}
@@ -1581,4 +1590,4 @@
 \bibliographystyle{plain}
 \bibliography{../local}
 
-\end{document}
\ No newline at end of file
+\end{document}