1 /****************************************************************************
3 ** Copyright (C) 2012 Digia Plc and/or its subsidiary(-ies).
4 ** Contact: http://www.qt-project.org/legal
6 ** This file is part of the QtXmlPatterns module of the Qt Toolkit.
8 ** $QT_BEGIN_LICENSE:LGPL$
9 ** Commercial License Usage
10 ** Licensees holding valid commercial Qt licenses may use this file in
11 ** accordance with the commercial license agreement provided with the
12 ** Software or, alternatively, in accordance with the terms contained in
13 ** a written agreement between you and Digia. For licensing terms and
14 ** conditions see http://qt.digia.com/licensing. For further information
15 ** use the contact form at http://qt.digia.com/contact-us.
17 ** GNU Lesser General Public License Usage
18 ** Alternatively, this file may be used under the terms of the GNU Lesser
19 ** General Public License version 2.1 as published by the Free Software
20 ** Foundation and appearing in the file LICENSE.LGPL included in the
21 ** packaging of this file. Please review the following information to
22 ** ensure the GNU Lesser General Public License version 2.1 requirements
23 ** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
25 ** In addition, as a special exception, Digia gives you certain additional
26 ** rights. These rights are described in the Digia Qt LGPL Exception
27 ** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
29 ** GNU General Public License Usage
30 ** Alternatively, this file may be used under the terms of the GNU
31 ** General Public License version 3.0 as published by the Free Software
32 ** Foundation and appearing in the file LICENSE.GPL included in the
33 ** packaging of this file. Please review the following information to
34 ** ensure the GNU General Public License version 3.0 requirements will be
35 ** met: http://www.gnu.org/copyleft/gpl.html.
40 ****************************************************************************/
43 * @file qcomparingaggregator.cpp
44 * @short This file is included by qcomparingaggregator_p.h.
45 * If you need includes in this file, put them in qcomparingaggregator_p.h, outside of the namespace.
48 template <AtomicComparator::Operator oper, AtomicComparator::ComparisonResult result>
50 ComparingAggregator<oper, result>::applyNumericPromotion(const Item &old,
52 const Item &newVal) const
57 const ItemType::Ptr to(old.type());
58 const ItemType::Ptr tn(nev.type());
60 if(!(BuiltinTypes::numeric->xdtTypeMatches(to) && BuiltinTypes::numeric->xdtTypeMatches(tn)))
61 return newVal; /* At least one of them isn't numeric. */
62 else if(BuiltinTypes::xsDouble->xdtTypeMatches(to) || BuiltinTypes::xsDouble->xdtTypeMatches(tn))
63 return toItem(Double::fromValue(newVal.as<Numeric>()->toDouble()));
64 else if(BuiltinTypes::xsFloat->xdtTypeMatches(to) || BuiltinTypes::xsFloat->xdtTypeMatches(tn))
65 return toItem(Float::fromValue(newVal.as<Numeric>()->toDouble()));
66 else if(BuiltinTypes::xsInteger->xdtTypeMatches(to) &&
67 BuiltinTypes::xsInteger->xdtTypeMatches(tn))
68 return newVal; /* Both must be xs:integer. */
70 return toItem(Decimal::fromValue(newVal.as<Numeric>()->toDecimal()));
73 template <AtomicComparator::Operator oper, AtomicComparator::ComparisonResult result>
75 ComparingAggregator<oper, result>::evaluateSingleton(const DynamicContext::Ptr &context) const
77 const Item::Iterator::Ptr it(m_operands.first()->evaluateSequence(context));
82 Item next(it->next());
89 AtomicComparator::Ptr comp(comparator());
93 ItemType::Ptr t1(next.type());
96 if(BuiltinTypes::xsUntypedAtomic->xdtTypeMatches(t1))
98 next = cast(next, context);
99 t1 = BuiltinTypes::xsDouble;
109 comp = fetchComparator(largest.type(), t1, context);
118 if(comp->compare(next, operatorID(), largest) == result)
120 largest = applyNumericPromotion(largest, next, next);
124 const ItemType::Ptr t(next.type());
126 if(BuiltinTypes::xsDouble->xdtTypeMatches(t) &&
127 next.as<Numeric>()->isNaN())
129 return CommonValues::DoubleNaN;
131 else if(BuiltinTypes::xsFloat->xdtTypeMatches(t) &&
132 next.as<Numeric>()->isNaN())
134 if(BuiltinTypes::xsDouble->xdtTypeMatches(largest.type()))
135 return CommonValues::DoubleNaN;
137 /* If we have a xs:double somewhere, we must promote the NaN value to xs:double,
138 * and we really should raise error on invalid value. */
139 largest = it->next();
143 const ItemType::Ptr tf(largest.type());
144 if(BuiltinTypes::xsDouble->xdtTypeMatches(tf))
145 return CommonValues::DoubleNaN;
146 else if(BuiltinTypes::xsUntypedAtomic->xdtTypeMatches(tf))
148 /* Attempt a convert, which will raise an error if it doesn't work out. */
149 cast(largest, context);
150 return CommonValues::DoubleNaN;
152 else if(!BuiltinTypes::numeric->xdtTypeMatches(tf))
154 fetchComparator(BuiltinTypes::xsFloat, tf, context);
157 largest = it->next();
160 return CommonValues::FloatNaN;
163 largest = applyNumericPromotion(largest, next, largest);
167 template <AtomicComparator::Operator oper, AtomicComparator::ComparisonResult result>
169 ComparingAggregator<oper, result>::typeCheck(const StaticContext::Ptr &context,
170 const SequenceType::Ptr &reqType)
172 Q_ASSERT(oper == AtomicComparator::OperatorGreaterThan ||
173 oper == AtomicComparator::OperatorLessThan);
174 const Expression::Ptr me(FunctionCall::typeCheck(context, reqType));
176 ItemType::Ptr t1(m_operands.first()->staticType()->itemType());
178 if(*CommonSequenceTypes::Empty == *t1)
179 return EmptySequence::create(this, context);
180 else if(*BuiltinTypes::xsAnyAtomicType == *t1 ||
181 BuiltinTypes::numeric->xdtTypeMatches(t1))
183 else if(BuiltinTypes::xsUntypedAtomic->xdtTypeMatches(t1))
185 m_operands.replace(0, Expression::Ptr(new UntypedAtomicConverter(m_operands.first(),
186 BuiltinTypes::xsDouble)));
187 t1 = m_operands.first()->staticType()->itemType();
189 else if(!BuiltinTypes::xsString->xdtTypeMatches(t1) &&
190 !BuiltinTypes::xsAnyURI->xdtTypeMatches(t1) &&
191 !BuiltinTypes::xsDayTimeDuration->xdtTypeMatches(t1) &&
192 !BuiltinTypes::xsDate->xdtTypeMatches(t1) &&
193 !BuiltinTypes::xsTime->xdtTypeMatches(t1) &&
194 !BuiltinTypes::xsDateTime->xdtTypeMatches(t1) &&
195 !BuiltinTypes::xsYearMonthDuration->xdtTypeMatches(t1))
197 context->error(QtXmlPatterns::tr("The first argument to %1 cannot be of type %2.")
198 .arg(QPatternist::formatFunction(context->namePool(), signature()))
199 .arg(formatType(context->namePool(), m_operands.first()->staticType())),
200 ReportContext::FORG0006, this);
204 if(!m_operands.first()->staticType()->cardinality().allowsMany())
205 return m_operands.first();
207 // explicit scope needed in RVCT
208 ComparingAggregator<oper, result>::prepareComparison(fetchComparator(t1, t1, context));