1/* Test mp*_class unary expressions.
2
3Copyright 2001, 2002, 2003 Free Software Foundation, Inc.
4
5This file is part of the GNU MP Library.
6
7The GNU MP Library is free software; you can redistribute it and/or modify
8it under the terms of the GNU Lesser General Public License as published by
9the Free Software Foundation; either version 3 of the License, or (at your
10option) any later version.
11
12The GNU MP Library is distributed in the hope that it will be useful, but
13WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
15License for more details.
16
17You should have received a copy of the GNU Lesser General Public License
18along with the GNU MP Library.  If not, see http://www.gnu.org/licenses/.  */
19
20#include "config.h"
21
22#include <iostream>
23
24#include "gmp.h"
25#include "gmpxx.h"
26#include "gmp-impl.h"
27#include "tests.h"
28
29using namespace std;
30
31
32void
33check_mpz (void)
34{
35  // template <class T, class Op>
36  // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, T>, Op> >
37  {
38    mpz_class a(1);
39    mpz_class b(+a); ASSERT_ALWAYS(b == 1);
40  }
41  {
42    mpz_class a(2);
43    mpz_class b;
44    b = -a; ASSERT_ALWAYS(b == -2);
45  }
46  {
47    mpz_class a(3);
48    mpz_class b;
49    b = ~a; ASSERT_ALWAYS(b == -4);
50  }
51
52  // template <class T, class U, class Op>
53  // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, U>, Op> >
54  {
55    mpz_class a(1);
56    mpz_class b(-(-a)); ASSERT_ALWAYS(b == 1);
57  }
58  {
59    mpz_class a(2);
60    mpz_class b;
61    b = -(-(-a)); ASSERT_ALWAYS(b == -2);
62  }
63}
64
65void
66check_mpq (void)
67{
68  // template <class T, class Op>
69  // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, T>, Op> >
70  {
71    mpq_class a(1);
72    mpq_class b(+a); ASSERT_ALWAYS(b == 1);
73  }
74  {
75    mpq_class a(2);
76    mpq_class b;
77    b = -a; ASSERT_ALWAYS(b == -2);
78  }
79
80  // template <class T, class U, class Op>
81  // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, U>, Op> >
82  {
83    mpq_class a(1);
84    mpq_class b(-(-a)); ASSERT_ALWAYS(b == 1);
85  }
86  {
87    mpq_class a(2);
88    mpq_class b;
89    b = -(-(-a)); ASSERT_ALWAYS(b == -2);
90  }
91}
92
93void
94check_mpf (void)
95{
96  // template <class T, class Op>
97  // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, T>, Op> >
98  {
99    mpf_class a(1);
100    mpf_class b(+a); ASSERT_ALWAYS(b == 1);
101  }
102  {
103    mpf_class a(2);
104    mpf_class b;
105    b = -a; ASSERT_ALWAYS(b == -2);
106  }
107
108  // template <class T, class U, class Op>
109  // __gmp_expr<T, __gmp_unary_expr<__gmp_expr<T, U>, Op> >
110  {
111    mpf_class a(1);
112    mpf_class b(-(-a)); ASSERT_ALWAYS(b == 1);
113  }
114  {
115    mpf_class a(2);
116    mpf_class b;
117    b = -(-(-a)); ASSERT_ALWAYS(b == -2);
118  }
119}
120
121
122int
123main (void)
124{
125  tests_start();
126
127  check_mpz();
128  check_mpq();
129  check_mpf();
130
131  tests_end();
132  return 0;
133}
134