| /******************************************************************************* |
| * Copyright (c) 2016 CEA LIST. |
| * |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Created on: 17 mai 2016 |
| * |
| * Contributors: |
| * Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr |
| * - Initial API and Implementation |
| ******************************************************************************/ |
| |
| #ifndef FML_NUMERIC_BOOST_INTEGERIMPL_H_ |
| #define FML_NUMERIC_BOOST_INTEGERIMPL_H_ |
| |
| #include <boost/multiprecision/cpp_int.hpp> |
| #include <boost/multiprecision/detail/default_ops.hpp> |
| #include <boost/multiprecision/cpp_dec_float.hpp> |
| |
| #include <fml/numeric/Number.h> |
| |
| |
| namespace sep |
| { |
| |
| |
| class Integer : |
| public Number, |
| public GenericNumberClass< boost::multiprecision::cpp_int , Integer > |
| { |
| |
| AVM_DECLARE_CLONABLE_CLASS( Integer ) |
| |
| |
| /** |
| * TYPEDEF |
| */ |
| public: |
| typedef boost::multiprecision::cpp_int RawValueType; |
| |
| private: |
| typedef GenericNumberClass< RawValueType , Integer > ThisNumberClass; |
| |
| |
| public: |
| /** |
| * CONSTRUCTOR |
| * Default |
| */ |
| Integer(const RawValueType & aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( aValue ) |
| { |
| //!! NOTHING |
| } |
| |
| #ifdef _AVM_NEED_INT64_T_OVERLOADS_ |
| |
| // avm_integer_t i.e. avm_int64_t |
| Integer(avm_integer_t aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType( static_cast< long >( aValue ) ) ) |
| { |
| //!! NOTHING |
| } |
| |
| // avm_uinteger_t i.e. avm_uint64_t |
| Integer(avm_uinteger_t aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType( static_cast< unsigned long >( aValue ) ) ) |
| { |
| //!! NOTHING |
| } |
| |
| // long |
| Integer(long aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType( aValue ) ) |
| { |
| //!! NOTHING |
| } |
| |
| Integer(unsigned long aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType( aValue ) ) |
| { |
| //!! NOTHING |
| } |
| |
| #else |
| |
| // avm_integer_t i.e. avm_int64_t |
| Integer(avm_integer_t aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType(aValue) ) |
| { |
| //!! NOTHING |
| } |
| |
| // avm_uinteger_t i.e. avm_uint64_t |
| Integer(avm_uinteger_t aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType(aValue) ) |
| { |
| //!! NOTHING |
| } |
| |
| #endif /* _AVM_NEED_INT64_T_OVERLOADS_ */ |
| |
| // int32_t |
| Integer(int aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType(aValue) ) |
| { |
| //!! NOTHING |
| } |
| |
| // uint32_t |
| Integer(unsigned int aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType(aValue) ) |
| { |
| //!! NOTHING |
| } |
| |
| // std::string |
| Integer(const std::string & aValue) |
| : Number( CLASS_KIND_T( Integer ) ), |
| ThisNumberClass( RawValueType(aValue) ) |
| { |
| //!! NOTHING |
| } |
| |
| /** |
| * CONSTRUCTOR |
| * Copy |
| */ |
| Integer(const Integer & anInteger) |
| : Number( anInteger ), |
| ThisNumberClass( anInteger ) |
| { |
| //!! NOTHING |
| } |
| |
| |
| /** |
| * DESTRUCTOR |
| */ |
| virtual ~Integer() |
| { |
| //!! NOTHING |
| } |
| |
| |
| /** |
| * BASICS TESTS |
| */ |
| virtual inline int sign() const |
| { |
| return( ThisNumberClass::mValue.sign() ); |
| } |
| |
| virtual inline bool isZero() const |
| { |
| return( ThisNumberClass::mValue.is_zero() ); |
| } |
| |
| virtual inline bool isOne() const |
| { |
| return( ThisNumberClass::mValue == 1 ); |
| } |
| |
| virtual inline bool isNegativeOne() const |
| { |
| return( ThisNumberClass::mValue == -1 ); |
| } |
| |
| |
| /** |
| * CONVERSION |
| */ |
| #define CPP_INT_IS_INTEGER(CPP_INT, INT_T) \ |
| ( CPP_INT == CPP_INT.convert_to< INT_T >() ) |
| // && boost::multiprecision::default_ops::check_in_range< INT_T >( CPP_INT ) |
| |
| #define CPP_INT_IS_POSITIVE_INTEGER(CPP_INT, INT_T) \ |
| ( CPP_INT.sign() >= 0 ) \ |
| && ( CPP_INT == CPP_INT.convert_to< INT_T >() ) |
| // && boost::multiprecision::default_ops::check_in_range< INT_T >( CPP_INT ) |
| |
| |
| inline virtual bool isInt32() const |
| { |
| return( CPP_INT_IS_INTEGER(ThisNumberClass::mValue, avm_int32_t) ); |
| } |
| |
| inline virtual avm_int32_t toInt32() const |
| { |
| return( ThisNumberClass::mValue.convert_to< avm_int32_t >() ); |
| } |
| |
| |
| inline virtual bool isInt64() const |
| { |
| return( CPP_INT_IS_INTEGER(ThisNumberClass::mValue, avm_int64_t) ); |
| } |
| |
| inline virtual avm_int64_t toInt64() const |
| { |
| return( ThisNumberClass::mValue.convert_to< avm_int64_t >() ); |
| } |
| |
| |
| inline virtual bool isInteger() const |
| { |
| return( CPP_INT_IS_INTEGER(ThisNumberClass::mValue, avm_integer_t) ); |
| } |
| |
| inline virtual avm_integer_t toInteger() const |
| { |
| return( ThisNumberClass::mValue.convert_to< avm_integer_t >() ); |
| } |
| |
| |
| inline virtual bool isPosInteger() const |
| { |
| return( CPP_INT_IS_POSITIVE_INTEGER( |
| ThisNumberClass::mValue, avm_uinteger_t) ); |
| } |
| |
| |
| inline virtual bool isUInteger() const |
| { |
| return( CPP_INT_IS_POSITIVE_INTEGER( |
| ThisNumberClass::mValue, avm_uinteger_t) ); |
| } |
| |
| inline virtual avm_uinteger_t toUInteger() const |
| { |
| return( ThisNumberClass::mValue.convert_to< avm_uinteger_t >() ); |
| } |
| |
| |
| inline virtual bool isRational() const |
| { |
| return( isInteger() ); |
| } |
| |
| virtual avm_integer_t toNumerator() const |
| { |
| return( ThisNumberClass::mValue.convert_to< avm_integer_t >() ); |
| } |
| |
| virtual avm_integer_t toDenominator() const |
| { |
| return( static_cast< avm_integer_t >( 1 ) ); |
| } |
| |
| |
| #define CPP_INT_IS_FLOAT(CPP_INT, FLOAT_T) \ |
| boost::multiprecision::default_ops::check_in_range< FLOAT_T >( \ |
| CPP_INT.convert_to< boost::multiprecision::cpp_dec_float<0> >() ) |
| // ( CPP_INT == CPP_INT.convert_to< FLOAT_T >() ) |
| |
| |
| inline virtual bool isFloat() const |
| { |
| return( false ); |
| // return( CPP_INT_IS_FLOAT(ThisNumberClass::mValue, avm_float_t) ); |
| } |
| |
| |
| inline virtual avm_float_t toFloat() const |
| { |
| return( ThisNumberClass::mValue.convert_to< avm_float_t >() ); |
| } |
| |
| |
| inline virtual bool isReal() const |
| { |
| return( false ); |
| // return( CPP_INT_IS_FLOAT(ThisNumberClass::mValue, avm_real_t) ); |
| } |
| |
| inline virtual avm_real_t toReal() const |
| { |
| return( ThisNumberClass::mValue.convert_to< avm_real_t >() ); |
| } |
| |
| |
| /** |
| * math function |
| */ |
| inline void set_pow(avm_uinteger_t anExponent) |
| { |
| ThisNumberClass::mValue = boost::multiprecision::pow( |
| ThisNumberClass::mValue, anExponent); |
| } |
| |
| inline void set_pow(avm_uinteger_t aValue, avm_uinteger_t anExponent) |
| { |
| ThisNumberClass::mValue = boost::multiprecision::pow( |
| RawValueType(aValue), anExponent); |
| } |
| |
| |
| inline Integer pow(avm_uinteger_t anExponent) const |
| { |
| return( Integer( boost::multiprecision::pow( |
| ThisNumberClass::mValue, anExponent) ) ); |
| } |
| |
| inline static Integer pow(avm_uinteger_t aValue, avm_uinteger_t anExponent) |
| { |
| return( Integer( boost::multiprecision::pow( |
| RawValueType(aValue), anExponent) ) ); |
| } |
| |
| |
| /** |
| * Serialization |
| */ |
| inline void toStream(OutStream & os) const |
| { |
| os << TAB << mValue; |
| AVM_DEBUG_REF_COUNTER(os); |
| os << EOL << std::flush; |
| } |
| |
| virtual std::string str() const |
| { |
| return( OSS() << mValue ); |
| } |
| |
| inline virtual std::string strNum( |
| avm_uint8_t precision = AVM_MUMERIC_PRECISION) const |
| { |
| return( OSS() << mValue ); |
| } |
| |
| }; |
| |
| |
| } /* namespace sep */ |
| |
| #endif /* FML_NUMERIC_BOOST_INTEGERIMPL_H_ */ |
