OSDN Git Service

2010-10-31 Paolo Carlini <paolo.carlini@oracle.com>
[pf3gnuchains/gcc-fork.git] / libstdc++-v3 / testsuite / 26_numerics / slice / 1.cc
1 // 20020717 gdr
2
3 // Copyright (C) 2002, 2003, 2009 Free Software Foundation, Inc.
4 //
5 // This file is part of the GNU ISO C++ Library.  This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
9 // any later version.
10
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 // GNU General Public License for more details.
15
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3.  If not see
18 // <http://www.gnu.org/licenses/>.
19
20 // Test slice class invariants
21
22 #include <valarray>
23 #include <cstdlib>
24 #include <testsuite_hooks.h>
25
26 bool
27 construction(std::size_t start, std::size_t size, std::size_t stride)
28 {
29   std::slice s(start, size, stride);
30   return s.start() == start && s.size() == size && s.stride() == stride;
31 }
32
33 bool
34 copy(std::size_t start, std::size_t size, std::size_t stride)
35 {
36   std::slice s(start, size, stride);
37   std::slice t = s;
38   return t.start() == start && t.size() == size && t.stride() == stride;
39 }
40
41 bool
42 assignment(std::size_t start, std::size_t size, std::size_t stride)
43 {
44   std::slice s(start, size, stride);
45   std::slice t;
46   t = s;
47   return t.start() == start && t.size() == size && t.stride() == stride;
48 }
49
50
51 int main()
52 {
53   bool test __attribute__((unused)) = true;
54   std::srand(20020717);         
55   using std::rand;
56   VERIFY(construction(rand(), rand(), rand()));
57
58   VERIFY(copy(rand(), rand(), rand()));
59
60   VERIFY(assignment(rand(), rand(), rand()));
61
62   return 0;
63 }