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