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

From: dgregor_at_[hidden]
Date: 2008-05-18 19:31:25

Author: dgregor
Date: 2008-05-18 19:31:25 EDT (Sun, 18 May 2008)
New Revision: 45504
URL: http://svn.boost.org/trac/boost/changeset/45504

Log:
uses_allocator to UsesAllocator
Text files modified: 
   sandbox/committee/concepts/stdlib/clib-containers.tex |    30 +++++++++++++++++++++---------          
   1 files changed, 21 insertions(+), 9 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-containers.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-containers.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-containers.tex	2008-05-18 19:31:25 EDT (Sun, 18 May 2008)
@@ -3480,9 +3480,13 @@
   template <@\changedConcepts{class}{ObjectType}@ T, class Cont@\removedConcepts{ainer}@>
     void swap(queue<T, Cont@\removedConcepts{ainer}@>& x, queue<T, Cont@\removedConcepts{ainer}@>&& y);
 
-  template <class T, class Container, class Alloc>
-    struct uses_allocator<queue<T, Container>, Alloc>
-      : uses_allocator<Container, Alloc>::type { };
+  @\addedConcepts{template <class T, class Cont, class Alloc>}@
+    @\addedConcepts{requires UsesAllocator<Cont, Alloc>}@
+    @\addedConcepts{concept_map UsesAllocator<queue<T, Cont>, Alloc> \{ \}}@
+
+  @\removedConcepts{template <class T, class Container, class Alloc>}@
+    @\removedConcepts{struct uses_allocator<queue<T, Container>, Alloc>}@
+      @\removedConcepts{: uses_allocator<Container, Alloc>::type \{ \};}@
 
   @\removedConcepts{template <class T, class Container>}@
     @\removedConcepts{struct constructible_with_allocator_suffix<queue<T, Container> >}@
@@ -3674,9 +3678,13 @@
   template <@\changedConcepts{class}{ObjectType}@ T, class Cont@\removedConcepts{ainer}@, @\addedConcepts{Swappable}@ Compare>
     void swap(priority_queue<T, Cont@\removedConcepts{ainer}@, Compare>& x, priority_queue<T, Cont@\removedConcepts{ainer}@, Compare>&& y);
 
-  template <class T, class Cont@\removedConcepts{ainer}@, class Compare, class Alloc>
-    struct uses_allocator<priority_queue<T, Cont@\removedConcepts{ainer}@, Compare>, Alloc>
-      : uses_allocator<Cont@\removedConcepts{ainer}@, Alloc>::type { };
+  @\addedConcepts{template <class T, class Cont, class Compare, class Alloc>}@
+    @\addedConcepts{requires UsesAllocator<Cont, Alloc>}@
+    @\addedConcepts{concept_map UsesAllocator<priority_queue<T, Cont, Compare>, Alloc> \{ \}}@
+
+  @\removedConcepts{template <class T, class Container, class Compare, class Alloc>}@
+    @\removedConcepts{struct uses_allocator<priority_queue<T, Container, Compare>, Alloc>}@
+      @\removedConcepts{: uses_allocator<Container, Alloc>::type \{ \};}@
 
   @\removedConcepts{template <class T, class Container, class Compare>}@
     @\removedConcepts{struct constructible_with_allocator_suffix<}@
@@ -3884,9 +3892,13 @@
   template <@\changedConcepts{class}{ObjectType}@ T, class Alloc@\removedConcepts{ator}@>
     void swap(stack<T,Alloc@\removedConcepts{ator}@>& x, stack<T,Alloc@\removedConcepts{ator}@>&& y);
 
-  template <class T, class Cont@\removedConcepts{ainer}@, class Alloc>
-    struct uses_allocator<stack<T, Cont@\removedConcepts{ainer}@>, Alloc>
-      : uses_allocator<Cont@\removedConcepts{ainer}@, Alloc>::type { };
+  @\addedConcepts{template <class T, class Cont, class Alloc>}@
+    @\addedConcepts{requires UsesAllocator<Cont, Alloc>}@
+    @\addedConcepts{concept_map UsesAllocator<stack<T, Cont>, Alloc> \{ \}}@
+
+  @\removedConcepts{template <class T, class Container, class Alloc>}@
+    @\removedConcepts{struct uses_allocator<stack<T, Container>, Alloc>}@
+      @\removedConcepts{: uses_allocator<Container, Alloc>::type \{ \};}@
 
   @\removedConcepts{template <class T, class Container>}@
     @\removedConcepts{struct constructible_with_allocator_suffix<stack<T, Container> >}@