/****************************************************************************

**

** Copyright (C) 2009 Nokia Corporation and/or its subsidiary(-ies).

** All rights reserved.

** Contact: Nokia Corporation (qt-info@nokia.com)

**

** This file is part of the QtXmlPatterns module of the Qt Toolkit.

**

** $QT_BEGIN_LICENSE:LGPL$

** No Commercial Usage

** This file contains pre-release code and may not be distributed.

** You may use this file in accordance with the terms and conditions

** contained in the Technology Preview License Agreement accompanying

** this package.

**

** GNU Lesser General Public License Usage

** Alternatively, this file may be used under the terms of the GNU Lesser

** General Public License version 2.1 as published by the Free Software

** Foundation and appearing in the file LICENSE.LGPL included in the

** packaging of this file.  Please review the following information to

** ensure the GNU Lesser General Public License version 2.1 requirements

** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.

**

** In addition, as a special exception, Nokia gives you certain additional

** rights.  These rights are described in the Nokia Qt LGPL Exception

** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.

**

** If you have questions regarding the use of this file, please contact

** Nokia at qt-info@nokia.com.

**

**

**

**

**

**

**

**

** $QT_END_LICENSE$

**

****************************************************************************/

#include <math.h>

#include <qnumeric.h>

#include "qabstractdatetime_p.h"

#include "qabstractduration_p.h"

#include "qabstractfloat_p.h"

#include "qdaytimeduration_p.h"

#include "qdecimal_p.h"

#include "qinteger_p.h"

#include "qpatternistlocale_p.h"

#include "qatomicmathematicians_p.h"

QT_BEGIN_NAMESPACE

using namespace QPatternist;

/* The translation strings is place here once, in order to reduce work for translators,

 * and provide consistency. */

static inline QString idivZeroInvalid()

{

    return QtXmlPatterns::tr("Integer division (%1) by zero (%2) is undefined.")

             .arg(formatKeyword("idiv"))

             .arg(formatData("0"));

}

static inline QString divZeroInvalid()

{

    return QtXmlPatterns::tr("Division (%1) by zero (%2) is undefined.")

             .arg(formatKeyword("div"))

             .arg(formatData("0"));

}

static inline QString modZeroInvalid()

{

    return QtXmlPatterns::tr("Modulus division (%1) by zero (%2) is undefined.")

             .arg(formatKeyword("mod"))

             .arg(formatData("0"));

}

Item DecimalMathematician::calculate(const Item &o1,

                                     const Operator op,

                                     const Item &o2,

                                     const QExplicitlySharedDataPointer<DynamicContext> &context) const

{

    switch(op)

    {

        case Div:

        {

            if(o2.as<Numeric>()->toInteger() == 0)

            {

                context->error(divZeroInvalid(), ReportContext::FOAR0001, this);

                return Item(); /* Silences source code analyzer warning. */

            }

            else

                return toItem(Decimal::fromValue(o1.as<Numeric>()->toDecimal() / o2.as<Numeric>()->toDecimal()));

        }

        case IDiv:

        {

            if(o2.as<Numeric>()->toInteger() == 0)

            {

                context->error(idivZeroInvalid(), ReportContext::FOAR0001, this);

                return Item(); /* Silences source code analyzer warning. */

            }

            else

                return Integer::fromValue(static_cast<xsInteger>(o1.as<Numeric>()->toDecimal() /

                                                                 o2.as<Numeric>()->toDecimal()));

        }

        case Substract:

            return toItem(Decimal::fromValue(o1.as<Numeric>()->toDecimal() - o2.as<Numeric>()->toDecimal()));

        case Mod:

        {

            if(o2.as<Numeric>()->toInteger() == 0)

            {

                context->error(modZeroInvalid(), ReportContext::FOAR0001, this);

                return Item(); /* Silences source code analyzer warning. */

            }

            else

                return toItem(Decimal::fromValue(::fmod(o1.as<Numeric>()->toDecimal(), o2.as<Numeric>()->toDecimal())));

        }

        case Multiply:

            return toItem(Decimal::fromValue(o1.as<Numeric>()->toDecimal() * o2.as<Numeric>()->toDecimal()));

        case Add:

            return toItem(Decimal::fromValue(o1.as<Numeric>()->toDecimal() + o2.as<Numeric>()->toDecimal()));

    }

    Q_ASSERT(false);

    return Item(); /* GCC unbarfer. */

}

Item IntegerMathematician::calculate(const Item &o1,

                                     const Operator op,

                                     const Item &o2,

                                     const QExplicitlySharedDataPointer<DynamicContext> &context) const

{

    switch(op)

    {

        case Div:

            if(o2.as<Numeric>()->toInteger() == 0)

            {

                context->error(divZeroInvalid(), ReportContext::FOAR0001, this);

                return Item(); /* Silences source code analyzer warning. */

            }

            else /* C++ automatically performs truncation of long integer(xsInteger). */

                return toItem(Decimal::fromValue(o1.as<Numeric>()->toDecimal() / o2.as<Numeric>()->toDecimal()));

        case IDiv:

        {

            if(o2.as<Numeric>()->toInteger() == 0)

            {

                context->error(idivZeroInvalid(), ReportContext::FOAR0001, this);

                return Item(); /* Silences source code analyzer warning. */

            }

            else /* C++ automatically performs truncation of long integer(xsInteger). */

                return Integer::fromValue(o1.as<Numeric>()->toInteger() / o2.as<Numeric>()->toInteger());

        }

        case Substract:

            return Integer::fromValue(o1.as<Numeric>()->toInteger() - o2.as<Numeric>()->toInteger());

        case Mod:

        {

            const xsInteger divisor = o2.as<Numeric>()->toInteger();

            if(divisor == 0)

            {

                context->error(modZeroInvalid(), ReportContext::FOAR0001, this);

                return Item(); /* Silences source code analyzer warning. */

            }

            else

                return Integer::fromValue(o1.as<Numeric>()->toInteger() % divisor);

        }

        case Multiply:

            return Integer::fromValue(o1.as<Numeric>()->toInteger() * o2.as<Numeric>()->toInteger());

        case Add:

            return Integer::fromValue(o1.as<Numeric>()->toInteger() + o2.as<Numeric>()->toInteger());

    }

    Q_ASSERT(false);

    return Item(); /* GCC unbarfer. */

}

Item DurationNumericMathematician::calculate(const Item &o1,

                                             const Operator op,

                                             const Item &o2,

                                             const QExplicitlySharedDataPointer<DynamicContext> &context) const

{

    Q_ASSERT(op == Div || op == Multiply);

    const AbstractDuration::Ptr duration(o1.as<AbstractDuration>());

    const xsDouble dbl = o2.as<Numeric>()->toDouble();

    switch(op)

    {

        case Div:

        {

            if(qIsInf(dbl))

                return duration->fromValue(0);

            else if(qIsNaN(dbl))

            {

                context->error(QtXmlPatterns::tr(

                           "Dividing a value of type %1 by %2 (not-a-number) "

                           "is not allowed.")

                               .arg(formatType(context->namePool(),

                                               duration->type()))

                               .arg(formatData("NaN")),

                               ReportContext::FOCA0005,

                               this);

                return Item();

            }

            else if(Double::isEqual(dbl, 0))

            {

                context->error(QtXmlPatterns::tr(

                           "Dividing a value of type %1 by %2 or %3 (plus or "

                           "minus zero) is not allowed.")

                               .arg(formatType(context->namePool(),

                                               duration->type()))

                               .arg(formatData("-0"))

                               .arg(formatData("0")),

                               ReportContext::FODT0002,

                               this);

                return Item();

            }

            return duration->fromValue(static_cast<AbstractDuration::Value>(duration->value() / dbl));

        }

        case Multiply:

        {

            if(Double::isEqual(dbl, 0))

                return duration->fromValue(0);

            else if(qIsNaN(dbl))

            {

                context->error(QtXmlPatterns::tr(

                           "Dividing a value of type %1 by %2 (not-a-number) "

                           "is not allowed.")

                               .arg(formatType(context->namePool(),

                                               duration->type()))

                               .arg(formatData("NaN")),

                               ReportContext::FOCA0005,

                               this);

                return Item();

            }

            else if(qIsInf(dbl))

            {

                context->error(QtXmlPatterns::tr(

                           "Multiplication of a value of type %1 by %2 or %3 "

                           "(plus or minus infinity) is not allowed.")

                               .arg(formatType(context->namePool(),

                                               duration->type()))

                               .arg(formatData("-INF"))

                               .arg(formatData("INF")),

                               ReportContext::FODT0002,

                               this);

                return Item();

            }

            return duration->fromValue(static_cast<AbstractDuration::Value>(duration->value() * dbl));

        }

        default:

        {

            Q_ASSERT(false);

            return Item(); /* Silence warning. */

        }

    }

}

Item DurationDurationMathematician::calculate(const Item &o1,

                                              const Operator op,

                                              const Item &o2,

                                              const QExplicitlySharedDataPointer<DynamicContext> &) const

{

    const AbstractDuration::Ptr duration(o1.as<AbstractDuration>());

    const AbstractDuration::Value op2 = o2.as<AbstractDuration>()->value();

    switch(op)

    {

        case Div:

            return toItem(Decimal::fromValue(static_cast<xsDecimal>(duration->value()) / op2));

        case Substract:

            return duration->fromValue(duration->value() - op2);

        case Add:

            return duration->fromValue(duration->value() + op2);

        default:

        {

            Q_ASSERT(false);

            return Item(); /* Silence warning. */

        }

    }

}

OperandSwitcherMathematician::

OperandSwitcherMathematician(const AtomicMathematician::Ptr &mathematician) : m_mather(mathematician)

{

    Q_ASSERT(mathematician);

}

Item OperandSwitcherMathematician::calculate(const Item &o1,

                                             const Operator op,

                                             const Item &o2,

                                             const QExplicitlySharedDataPointer<DynamicContext> &context) const

{

    return m_mather->calculate(o2, op, o1, context);

}

Item DateTimeDurationMathematician::calculate(const Item &o1,

                                              const Operator op,

                                              const Item &o2,

                                              const QExplicitlySharedDataPointer<DynamicContext> &context) const

{

    Q_ASSERT(op == Substract || op == Add);

    const AbstractDateTime::Ptr adt(o1.as<AbstractDateTime>());

    const AbstractDuration::Ptr dur(o2.as<AbstractDuration>());

    QDateTime dt(adt->toDateTime());

    //pDebug() << "DateTimeDurationMathematician::calculate():" << dt.toString();

    //dt.setDateOnly(false);

    const qint8 sign = (op == Add ? 1 : -1) * (dur->isPositive() ? 1 : -1);

    // TODO milli seconds

    dt = dt.addSecs(sign * (dur->seconds() + dur->minutes() * 60 + dur->hours() * 60 * 60));

    dt = dt.addDays(sign * dur->days());

    dt = dt.addMonths(sign * dur->months());

    dt = dt.addYears(sign * dur->years());

    QString msg;

    if(AbstractDateTime::isRangeValid(dt.date(), msg))

        return adt->fromValue(dt);

    else

    {

        context->error(msg, ReportContext::FODT0001,

                       this);

        return Item();

    }

}

Item AbstractDateTimeMathematician::calculate(const Item &o1,

                                              const Operator op,

                                              const Item &o2,

                                              const QExplicitlySharedDataPointer<DynamicContext> &) const

{

    Q_ASSERT(op == Substract || op == Add);

    QDateTime dt1(o1.as<AbstractDateTime>()->toDateTime());

    QDateTime dt2(o2.as<AbstractDateTime>()->toDateTime());

    const int diff = op == Add ? dt1.secsTo(dt2) : dt2.secsTo(dt1);

    return toItem(DayTimeDuration::fromSeconds(diff));

}

QT_END_NAMESPACE