@Override
public Item ev(final InputInfo ii, final Item a, final Item b) throws QueryException {
final Type ta = a.type, tb = b.type;
final boolean t1 = ta.isNumber() || ta.isUntyped();
final boolean t2 = tb.isNumber() || tb.isUntyped();
if (t1 ^ t2) errNum(ii, !t1 ? a : b);
if (t1 && t2) {
final Type t = type(ta, tb);
if (t == ITR) {
final long l1 = a.itr(ii);
final long l2 = b.itr(ii);
checkRange(ii, l1 - (double) l2);
return Int.get(l1 - l2);
}
if (t == DBL) return Dbl.get(a.dbl(ii) - b.dbl(ii));
if (t == FLT) return Flt.get(a.flt(ii) - b.flt(ii));
return Dec.get(a.dec(ii).subtract(b.dec(ii)));
}
if (ta == tb) {
if (ta == DTM || ta == DAT || ta == TIM) return new DTd((Date) a, (Date) b);
if (ta == YMD) return new YMd((YMd) a, (YMd) b, false);
if (ta == DTD) return new DTd((DTd) a, (DTd) b, false);
errNum(ii, !t1 ? a : b);
}
if (ta == DTM) return new Dtm((Date) a, checkDur(ii, b), false, ii);
if (ta == DAT) return new Dat((Date) a, checkDur(ii, b), false, ii);
if (ta == TIM) {
if (tb != DTD) errType(ii, DTD, b);
return new Tim((Tim) a, (DTd) b, false, ii);
}
errType(ii, ta, b);
return null;
}
@Override
public Item ev(final InputInfo ii, final Item a, final Item b) throws QueryException {
final Type ta = a.type, tb = b.type;
if (ta == YMD) {
if (!tb.isNumber()) errNum(ii, b);
return new YMd((Dur) a, b.dbl(ii), true, ii);
}
if (tb == YMD) {
if (!ta.isNumber()) errNum(ii, a);
return new YMd((Dur) b, a.dbl(ii), true, ii);
}
if (ta == DTD) {
if (!tb.isNumber()) errNum(ii, b);
return new DTd((Dur) a, b.dbl(ii), true, ii);
}
if (tb == DTD) {
if (!ta.isNumber()) errNum(ii, a);
return new DTd((Dur) b, a.dbl(ii), true, ii);
}
final boolean t1 = ta.isNumber() || ta.isUntyped();
final boolean t2 = tb.isNumber() || tb.isUntyped();
if (t1 ^ t2) errType(ii, ta, b);
if (t1 && t2) {
final Type t = type(ta, tb);
if (t == ITR) {
final long l1 = a.itr(ii);
final long l2 = b.itr(ii);
checkRange(ii, l1 * (double) l2);
return Int.get(l1 * l2);
}
if (t == DBL) return Dbl.get(a.dbl(ii) * b.dbl(ii));
if (t == FLT) return Flt.get(a.flt(ii) * b.flt(ii));
return Dec.get(a.dec(ii).multiply(b.dec(ii)));
}
errNum(ii, !t1 ? a : b);
return null;
}
/**
* Checks if the specified items are numeric or untyped.
*
* @param ii input info
* @param a first item
* @param b second item
* @throws QueryException query exception
*/
final void checkNum(final InputInfo ii, final Item a, final Item b) throws QueryException {
final Type ta = a.type;
final Type tb = b.type;
if (!ta.isUntyped() && !ta.isNumber()) errNum(ii, a);
if (!tb.isUntyped() && !tb.isNumber()) errNum(ii, b);
}
/**
* Returns the numeric type with the highest precedence.
*
* @param a first item type
* @param b second item type
* @return type
*/
static final Type type(final Type a, final Type b) {
if (a == DBL || b == DBL || a.isUntyped() || b.isUntyped()) return DBL;
if (a == FLT || b == FLT) return FLT;
if (a == DEC || b == DEC) return DEC;
return ITR;
}
