56 |
62 |
57 int main() |
63 int main() |
58 { |
64 { |
59 // Map concepts |
65 // Map concepts |
60 checkConcept<ReadMap<A,B>, ReadMap<A,B> >(); |
66 checkConcept<ReadMap<A,B>, ReadMap<A,B> >(); |
|
67 checkConcept<ReadMap<A,C>, ReadMap<A,C> >(); |
61 checkConcept<WriteMap<A,B>, WriteMap<A,B> >(); |
68 checkConcept<WriteMap<A,B>, WriteMap<A,B> >(); |
|
69 checkConcept<WriteMap<A,C>, WriteMap<A,C> >(); |
62 checkConcept<ReadWriteMap<A,B>, ReadWriteMap<A,B> >(); |
70 checkConcept<ReadWriteMap<A,B>, ReadWriteMap<A,B> >(); |
|
71 checkConcept<ReadWriteMap<A,C>, ReadWriteMap<A,C> >(); |
63 checkConcept<ReferenceMap<A,B,B&,const B&>, ReferenceMap<A,B,B&,const B&> >(); |
72 checkConcept<ReferenceMap<A,B,B&,const B&>, ReferenceMap<A,B,B&,const B&> >(); |
|
73 checkConcept<ReferenceMap<A,C,C&,const C&>, ReferenceMap<A,C,C&,const C&> >(); |
64 |
74 |
65 // NullMap |
75 // NullMap |
66 { |
76 { |
67 checkConcept<ReadWriteMap<A,B>, NullMap<A,B> >(); |
77 checkConcept<ReadWriteMap<A,B>, NullMap<A,B> >(); |
68 NullMap<A,B> map1; |
78 NullMap<A,B> map1; |