1a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#include <numeric>
2a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#include <vector>
3a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#include <algorithm>
4a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#include <functional>
5a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
6a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#if defined (STLPORT) && defined (_STLP_DEBUG) && defined (_STLP_DEBUG_MODE_THROWS)
7a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#  define _STLP_DO_CHECK_BAD_PREDICATE
8a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#  include <stdexcept>
9a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#endif
10a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
11a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#include "iota.h"
12a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#include "cppunit/cppunit_proxy.h"
13a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
14a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#if !defined (STLPORT) || defined(_STLP_USE_NAMESPACES)
15a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnerusing namespace std;
16a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#endif
17a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
18a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner//
19a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner// TestCase class
20a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner//
21a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnerclass PartialTest : public CPPUNIT_NS::TestCase
22a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
23a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST_SUITE(PartialTest);
24a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(parsrt0);
25a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(parsrt1);
26a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(parsrt2);
27a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(parsrtc0);
28a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(parsrtc1);
29a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(parsrtc2);
30a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#if defined (_STLP_DO_CHECK_BAD_PREDICATE)
31a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(bad_predicate_detected);
32a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#endif
33a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(partsum0);
34a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(partsum1);
35a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST(partsum2);
36a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_TEST_SUITE_END();
37a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
38a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnerprotected:
39a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void parsrt0();
40a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void parsrt1();
41a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void parsrt2();
42a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void parsrtc0();
43a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void parsrtc1();
44a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void parsrtc2();
45a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void partsum0();
46a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void partsum1();
47a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void partsum2();
48a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  void bad_predicate_detected();
49a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
50a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  static bool str_compare(const char* a_, const char* b_)
51a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  {
52a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    return strcmp(a_, b_) < 0 ? 1 : 0;
53a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  }
54a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner};
55a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
56a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' TurnerCPPUNIT_TEST_SUITE_REGISTRATION(PartialTest);
57a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
58a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner//
59a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner// tests implementation
60a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner//
61a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::parsrt0()
62a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
63a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  int numbers[6] = { 5, 2, 4, 3, 1, 6 };
64a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
65a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sort((int*)numbers, (int*)numbers + 3, (int*)numbers + 6);
66a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
67a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  // 1 2 3 5 4 6
68a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(numbers[0]==1);
69a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(numbers[1]==2);
70a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(numbers[2]==3);
71a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(numbers[3]==5);
72a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(numbers[4]==4);
73a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(numbers[5]==6);
74a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
75a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
76a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::parsrt1()
77a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
78a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  // 8 8 5 3 7 6 5 3 2 4
79a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  // 2 3 3 4 5 8 8 7 6 5
80a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  int numbers[10] ={ 8, 8, 5, 3, 7, 6, 5, 3, 2, 4 };
81a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
82a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <int> v1(numbers, numbers+10);
83a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sort(v1.begin(), v1.begin() + v1.size() / 2, v1.end());
84a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
85a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[0]==2);
86a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[1]==3);
87a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[2]==3);
88a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[3]==4);
89a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[4]==5);
90a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[5]==8);
91a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[6]==8);
92a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[7]==7);
93a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[8]==6);
94a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v1[9]==5);
95a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
96a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
97a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::parsrt2()
98a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
99a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  char const* names[] = { "aa", "ff", "dd", "ee", "cc", "bb" };
100a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
101a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  const unsigned nameSize = sizeof(names) / sizeof(names[0]);
102a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <char const*> v1(nameSize);
103a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  for(size_t i = 0; i < v1.size(); i++)
104a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    v1[i] = names[i];
105a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
106a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sort(v1.begin(), v1.begin() + nameSize / 2, v1.end(), str_compare);
107a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
108a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  // aa bb cc ff ee dd
109a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp(v1[0], "aa") == 0 );
110a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( v1[0] == names[0] );
111a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp(v1[1], "bb") == 0 );
112a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( v1[1] == names[5] );
113a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp(v1[2], "cc") == 0 );
114a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( v1[2] == names[4] );
115a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp(v1[3], "ff") == 0 );
116a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( v1[3] == names[1] );
117a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp(v1[4], "ee") == 0 );
118a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( v1[4] == names[3] );
119a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp(v1[5], "dd") == 0 );
120a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( v1[5] == names[2] );
121a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
122a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
123a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::parsrtc0()
124a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
125a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  int numbers[6] = { 5, 2, 4, 3, 1, 6 };
126a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
127a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  int result[3];
128a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sort_copy((int*)numbers, (int*)numbers + 6, (int*)result, (int*)result + 3);
129a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  //1 2 3
130a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[0]==1);
131a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[1]==2);
132a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[2]==3);
133a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
134a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
135a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::parsrtc1()
136a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
137a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  int numbers[10] ={ 3, 0, 4, 3, 2, 8, 2, 7, 7, 5 };
138a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
139a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  //3 0 4 3 2 8 2 7 7 5
140a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  //0 2 2 3 3
141a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
142a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <int> v1(numbers, numbers+10);
143a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <int> result(5);
144a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
145a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sort_copy(v1.begin(), v1.end(), result.begin(), result.end());
146a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[0]==0);
147a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[1]==2);
148a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[2]==2);
149a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[3]==3);
150a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[4]==3);
151a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
152a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
153a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::parsrtc2()
154a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
155a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  char const* names[] = { "aa", "ff", "dd", "ee", "cc", "bb" };
156a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
157a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  const unsigned nameSize = sizeof(names) / sizeof(names[0]);
158a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <char const*> v1(nameSize);
159a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  for(size_t i = 0; i < v1.size(); i++)
160a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    v1[i] = names[i];
161a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <char const*> result(3);
162a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sort_copy(v1.begin(), v1.end(), result.begin(), result.end(), str_compare);
163a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
164a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  // aa bb cc
165a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp( result[0], "aa" ) == 0 );
166a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( result[0] == names[0] );
167a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp( result[1], "bb" ) == 0 );
168a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( result[1] == names[5] );
169a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( strcmp( result[2], "cc" ) == 0 );
170a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT( result[2] == names[4] );
171a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
172a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
173a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#if defined (_STLP_DO_CHECK_BAD_PREDICATE)
174a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::bad_predicate_detected()
175a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
176a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  int numbers[] = { 0, 0, 1, 0, 0, 1, 0, 0 };
177a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  const size_t s = sizeof(numbers) / sizeof(numbers[0]);
178a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
179a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  try {
180a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    partial_sort(numbers, numbers + s / 2, numbers + s, less_equal<int>());
181a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
182a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    //Here is means that no exception has been raised
183a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    CPPUNIT_ASSERT( false );
184a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  }
185a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  catch (runtime_error const&)
186a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  { /*OK bad predicate has been detected.*/ }
187a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
188a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  try {
189a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    vector<int> result(s);
190a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    partial_sort_copy(numbers, numbers + s, result.begin(), result.end(), less_equal<int>());
191a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
192a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    //Here is means that no exception has been raised
193a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner    CPPUNIT_ASSERT( false );
194a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  }
195a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  catch (runtime_error const&)
196a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  { /*OK bad predicate has been detected.*/ }
197a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
198a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner#endif
199a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
200a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::partsum0()
201a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
202a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  int numbers[6] = { 1, 2, 3, 4, 5, 6 };
203a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
204a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  int result[6];
205a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sum((int*)numbers, (int*)numbers + 6, (int*)result);
206a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
207a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  // 1 3 6 10 15 21
208a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[0]==1);
209a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[1]==3);
210a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[2]==6);
211a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[3]==10);
212a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[4]==15);
213a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(result[5]==21);
214a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
215a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
216a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::partsum1()
217a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
218a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <int> v1(10);
219a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  __iota(v1.begin(), v1.end(), 0);
220a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <int> v2(v1.size());
221a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sum(v1.begin(), v1.end(), v2.begin());
222a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
223a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  // 0 1 3 6 10 15 21 28 36 45
224a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[0]==0);
225a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[1]==1);
226a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[2]==3);
227a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[3]==6);
228a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[4]==10);
229a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[5]==15);
230a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[6]==21);
231a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[7]==28);
232a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[8]==36);
233a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[9]==45);
234a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
235a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner
236a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turnervoid PartialTest::partsum2()
237a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner{
238a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <int> v1(5);
239a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  __iota(v1.begin(), v1.end(), 1);
240a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  vector <int> v2(v1.size());
241a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  partial_sum(v1.begin(), v1.end(), v2.begin(), multiplies<int>());
242a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  // 1 2 6 24 120
243a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[0]==1);
244a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[1]==2);
245a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[2]==6);
246a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[3]==24);
247a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner  CPPUNIT_ASSERT(v2[4]==120);
248a9225dc81bae267b3454f3676a9108ecb4c9264fDavid 'Digit' Turner}
249