/*******************************************************************************
 * 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: 10 mai 2016
 *
 * Contributors:
 *  Arnault Lapitre (CEA LIST) arnault.lapitre@cea.fr
 *   - Initial API and Implementation
 ******************************************************************************/

#ifndef FML_NUMERIC_GMP_INTEGERIMPL_H_
#define FML_NUMERIC_GMP_INTEGERIMPL_H_

#include <gmpxx.h>

#include <fml/numeric/Number.h>


namespace sep
{


class Integer :
		public Number,
		public GenericNumberClass< mpz_class , Integer >
{

	AVM_DECLARE_CLONABLE_CLASS( Integer )


	/**
	 * TYPEDEF
	 */
public:
	typedef  mpz_class  RawValueType;

private:
	typedef  GenericNumberClass< RawValueType , Integer >  ThisNumberClass;


public:
	/**
	 * CONSTRUCTOR
	 * Default
	 */
	// RawValueType  i.e.  mpz_class
	Integer(const RawValueType & aValue)
	: Number( CLASS_KIND_T( Integer ) ),
	ThisNumberClass( aValue )
	{
		//!! NOTHING
	}

	// mpz_t
	Integer(const mpz_t & aValue)
	: Number( CLASS_KIND_T( Integer ) ),
	ThisNumberClass( RawValueType(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( mpz_sgn(ThisNumberClass::mValue.get_mpz_t()) );
	}

	virtual inline bool isZero() const
	{
		return( sign() == 0 );
	}

	virtual inline bool isOne() const
	{
		return( mpz_cmp_si(ThisNumberClass::mValue.get_mpz_t(), 1) == 0 );
	}

	virtual inline bool isNegativeOne() const
	{
		return( mpz_cmp_si(ThisNumberClass::mValue.get_mpz_t(), -1) == 0 );
	}


	/**
	 * CONVERSION
	 */
#define MPZ_IS_INTEGER(MPZ_VAL, INF, SUP)                        \
	(mpz_cmp_si(MPZ_VAL.get_mpz_t(), MPZ_VAL.get_si()) == 0) &&  \
	(mpz_cmp_si(MPZ_VAL.get_mpz_t(), INF) >= 0) &&               \
	(mpz_cmp_ui(MPZ_VAL.get_mpz_t(), SUP) <= 0)

#define MPZ_IS_POSITIVE_INTEGER(MPZ_VAL, SUP)  \
	(mpz_sgn( MPZ_VAL.get_mpz_t() ) >= 0) &&   \
	(mpz_cmp_ui(MPZ_VAL.get_mpz_t(), MPZ_VAL.get_ui()) == 0) &&  \
	(mpz_cmp_ui(MPZ_VAL.get_mpz_t(), SUP) <= 0)


	inline virtual bool isInt32() const
	{
		return( MPZ_IS_INTEGER(ThisNumberClass::mValue,
				AVM_NUMERIC_MIN_INT32, AVM_NUMERIC_MAX_INT32) );
	}

	inline virtual avm_int32_t toInt32() const
	{
		return( static_cast< avm_int32_t >(
				ThisNumberClass::mValue.get_si() ) );
	}

	inline virtual bool isInt64() const
	{
		return( MPZ_IS_INTEGER(ThisNumberClass::mValue,
				AVM_NUMERIC_MIN_INT64, AVM_NUMERIC_MAX_INT64) );
	}

	inline virtual avm_int64_t toInt64() const
	{
		return( static_cast< avm_int64_t >(
				ThisNumberClass::mValue.get_si() ) );
	}


	inline virtual bool isInteger() const
	{
		return( MPZ_IS_INTEGER(ThisNumberClass::mValue,
				AVM_NUMERIC_MIN_INTEGER, AVM_NUMERIC_MAX_INTEGER) );
	}

	inline virtual avm_integer_t toInteger() const
	{
		return( static_cast< avm_integer_t >(
				ThisNumberClass::mValue.get_si() ) );
	}


	inline virtual bool isPosInteger() const
	{
		return( MPZ_IS_POSITIVE_INTEGER(
				ThisNumberClass::mValue, AVM_NUMERIC_MAX_UINTEGER ) );
	}


	inline virtual bool isUInteger() const
	{
		return( MPZ_IS_POSITIVE_INTEGER(
				ThisNumberClass::mValue, AVM_NUMERIC_MAX_UINTEGER ) );
	}

	inline virtual avm_uinteger_t toUInteger() const
	{
		return( static_cast< avm_uinteger_t >(
				ThisNumberClass::mValue.get_ui() ) );
	}


	inline virtual bool isRational() const
	{
		return( isInteger() );
	}

	virtual avm_integer_t toNumerator() const
	{
		return( static_cast< avm_integer_t >(
				ThisNumberClass::mValue.get_si() ) );
	}

	virtual avm_integer_t toDenominator() const
	{
		return( static_cast< avm_integer_t >( 1 ) );
	}


#define MPZ_IS_FLOAT(MPZ_VAL, INF, SUP)                        \
	(mpz_cmp_d(MPZ_VAL.get_mpz_t(), MPZ_VAL.get_d()) == 0) &&  \
	(mpz_cmp_d(MPZ_VAL.get_mpz_t(), INF) >= 0) &&              \
	(mpz_cmp_d(MPZ_VAL.get_mpz_t(), SUP) <= 0)


	inline virtual bool isFloat() const
	{
		return( MPZ_IS_INTEGER(ThisNumberClass::mValue,
				AVM_NUMERIC_MIN_FLOAT_T, AVM_NUMERIC_MAX_FLOAT_T) );
	}

	inline virtual avm_float_t toFloat() const
	{
		return( static_cast< avm_float_t >(
				ThisNumberClass::mValue.get_d() ) );
	}


	inline virtual bool isReal() const
	{
		return( MPZ_IS_INTEGER(ThisNumberClass::mValue,
				AVM_NUMERIC_MIN_REAL_T, AVM_NUMERIC_MAX_REAL_T) );
	}

	inline virtual avm_real_t toReal() const
	{
		return( static_cast< avm_real_t >(
				ThisNumberClass::mValue.get_d() ) );
	}


	/**
	 * math function
	 */
	inline void set_pow(avm_uinteger_t anExponent)
	{
		RawValueType mpResult;

		mpz_pow_ui( mpResult.get_mpz_t(),
				ThisNumberClass::mValue.get_mpz_t(), anExponent );

		ThisNumberClass::mValue = mpResult;
	}

	inline void set_pow(avm_uinteger_t aValue, avm_uinteger_t anExponent)
	{
		mpz_ui_pow_ui( ThisNumberClass::mValue.get_mpz_t(), aValue, anExponent );
	}


	inline Integer pow(avm_uinteger_t anExponent) const
	{
		RawValueType mpResult;

		mpz_pow_ui( mpResult.get_mpz_t(),
				ThisNumberClass::mValue.get_mpz_t(), anExponent );

		return( Integer(mpResult) );
	}

	inline static Integer pow(avm_uinteger_t aValue, avm_uinteger_t anExponent)
	{
		RawValueType mpResult;

		mpz_ui_pow_ui( mpResult.get_mpz_t(), aValue, anExponent );

		return( Integer(mpResult) );
	}


	/**
	 * 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_GMP_INTEGERIMPL_H_ */