Newer
Older
/******************************************************************************
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* Contributors:
* Balasko, Jeno
* Bibo, Zoltan
* Forstner, Matyas
* Kovacs, Ferenc
* Raduly, Csaba
* Szabo, Janos Zoltan – initial implementation
*
******************************************************************************/
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
#ifndef Int_HH_
#define Int_HH_
#include "Real.hh"
#include "string.hh"
#include <openssl/bn.h>
#include <limits.h>
// Better together.
#if !defined(LLONG_MAX) || !defined(LLONG_MIN)
#define LLONG_MAX 9223372036854775807LL
#define LLONG_MIN (-LLONG_MAX-1)
#else
#if __GNUC__ < 3
#undef LLONG_MIN
#define LLONG_MIN ((long long)(-LLONG_MAX-1))
#endif
#endif
namespace Common {
class Location;
typedef long long Int;
typedef int RInt;
// Converts the Common::Int value to string.
string Int2string(const Int& i);
// Converts the string value to Common::Int. Throws Error_Int if conversion
// is not possible (e.g. value is out of range, or s is not a valid integer
// representation).
Int string2Int(const char *s, const Location& loc);
inline Int string2Int(const string& s, const Location& loc)
{ return string2Int(s.c_str(), loc); }
class int_val_t
{
private:
bool native_flag;
union {
Int native;
BIGNUM *openssl;
} val;
// Hide all BIGNUM related stuff here.
BIGNUM *to_openssl() const;
BIGNUM *get_val_openssl() const;
explicit int_val_t(BIGNUM *v) : native_flag(false), val() { val.openssl = v; }
public:
int_val_t();
int_val_t(const int_val_t& v);
int_val_t(const char *s, const Location& loc);
explicit int_val_t(Int v) : native_flag(true), val() { val.native = v; }
~int_val_t();
string t_str() const;
int_val_t operator-() const;
int_val_t operator>>(Int right) const;
int_val_t operator+(const int_val_t& right) const;
int_val_t operator-(const int_val_t& right) const;
inline int_val_t operator+(Int right) const { return operator+(int_val_t(right)); }
inline int_val_t operator-(Int right) const { return operator-(int_val_t(right)); }
int_val_t operator*(const int_val_t& right) const;
int_val_t operator/(const int_val_t& right) const;
int_val_t operator&(Int right) const;
bool operator<(const int_val_t& right) const;
inline bool operator<(Int right) const { return *this < int_val_t(right); }
inline bool operator>(Int right) const { return *this > int_val_t(right); }
inline bool operator>(const int_val_t& right) const { return *this != right && !(*this < right); }
inline bool operator<=(Int right) const { return *this == right || *this < right; }
inline bool operator>=(Int right) const { return *this == right || *this > right; }
inline bool operator<=(const int_val_t& right) const { return *this == right || *this < right; }
inline bool operator>=(const int_val_t& right) const { return *this == right || *this > right; }
inline bool operator!=(Int right) const { return !(*this == right); }
inline bool operator!=(const int_val_t& right) const { return !(*this == right); }
bool operator==(const int_val_t& right) const;
bool operator==(Int right) const;
int_val_t& operator=(const int_val_t& right);
int_val_t& operator+=(Int right);
int_val_t& operator<<=(Int right);
int_val_t& operator>>=(Int right);
const Int& get_val() const;
Real to_real() const;
inline bool is_native_fit() const
// It seems to give correct results (-2147483648..2147483647).
{ return native_flag && val.native == static_cast<RInt>(val.native); }
inline bool is_native() const { return native_flag; }
inline bool is_openssl() const { return !native_flag; }
inline bool is_negative() const
{ return native_flag ? val.native < 0 : BN_is_negative(val.openssl); }
};
} // Common
#endif // Int_HH_