fs_value fn_less_than_equal(fs_query *q, fs_value a, fs_value b)
{
#if 0
fs_value_print(a);
printf(" <= ");
fs_value_print(b);
printf("\n");
#endif
if (a.valid & fs_valid_bit(FS_V_TYPE_ERROR)) {
return a;
}
if (b.valid & fs_valid_bit(FS_V_TYPE_ERROR)) {
return b;
}
/* URIs and bNodes don't compare */
if (FS_IS_URI_BN(a.rid) || FS_IS_URI_BN(b.rid)) {
return fs_value_boolean(0);
}
/* If it's simply the same term it must be <= itsself */
fs_value term_eq = fn_rdfterm_equal(q, a, b);
if (term_eq.in == 1) {
return term_eq;
}
if (a.attr == fs_c.xsd_datetime && b.attr == fs_c.xsd_datetime) return fn_not(q, fn_datetime_greater_than(q, a, b));
if (fs_is_numeric(&a) && fs_is_numeric(&b)) return fn_logical_or(q, fn_numeric_less_than(q, a, b), fn_numeric_equal(q, a, b));
if (a.lex && b.lex)
return fn_not(q, fn_numeric_equal(q, fn_compare(q, a, b), fs_value_integer(1)));
return fs_value_error(FS_ERROR_INVALID_TYPE, NULL);
}
fs_value fn_greater_than(fs_query *q, fs_value a, fs_value b)
{
if (a.valid & fs_valid_bit(FS_V_TYPE_ERROR)) {
return a;
}
if (b.valid & fs_valid_bit(FS_V_TYPE_ERROR)) {
return b;
}
if (a.attr == fs_c.xsd_datetime && b.attr == fs_c.xsd_datetime)
return fn_datetime_greater_than(q, a, b);
if (fs_is_numeric(&a)) return fn_numeric_greater_than(q, a, b);
if (a.lex && b.lex)
return fn_numeric_equal(q, fn_compare(q, a, b), fs_value_integer(1));
return fs_value_error(FS_ERROR_INVALID_TYPE, NULL);
}
fs_value fn_less_than(fs_query *q, fs_value a, fs_value b)
{
if (a.valid & fs_valid_bit(FS_V_TYPE_ERROR)) {
return a;
}
if (b.valid & fs_valid_bit(FS_V_TYPE_ERROR)) {
return b;
}
#if 0
fs_value_print(a);
printf(" < ");
fs_value_print(b);
printf("\n");
#endif
if (a.attr == fs_c.xsd_datetime && b.attr == fs_c.xsd_datetime) return fn_datetime_less_than(q, a, b);
if (fs_is_numeric(&a)) return fn_numeric_less_than(q, a, b);
if (a.lex && b.lex) return fn_numeric_equal(q, fn_compare(q, a, b), fs_value_integer(-1));
return fs_value_error(FS_ERROR_INVALID_TYPE, NULL);
}
void PPFnCompare::do_next(xqp_tuple &t)
{
if (first_time)
{
CollationHandler* handler = is_codepoint_equal ?
charset_handler->get_unicode_codepoint_collation() :
cxt->get_static_context()->get_default_collation();
if (collation_child.op)
{
collation_child.op->next(t);
if(t.is_eos())
throw XQUERY_EXCEPTION2(XPTY0004, "Invalid arity of the third argument. Argument contains zero items in fn:compare()");
tuple_cell col = atomize(collation_child.get(t));
if (!is_string_type(col.get_atomic_type()))
throw XQUERY_EXCEPTION2(XPTY0004, "Invalid type of the third argument in fn:compare() (xs_string/derived/promotable is expected)");
collation_child.op->next(t);
if (!t.is_eos())
throw XQUERY_EXCEPTION2(XPTY0004, "Invalid arity of the third argument in fn:compare(). Argument contains more than one item");
col = tuple_cell::make_sure_light_atomic(col);
int res = cxt->get_static_context()->get_collation(col.get_str_mem(), &handler);
if(res != 0) throw XQUERY_EXCEPTION2(FOCH0002, (static_context::get_error_description(res) + " in fn:compare().").c_str());
}
tuple_cell tc1, tc2;
str1_child.op->next(t);
if (t.is_eos())
return;
tc1 = atomize(str1_child.get(t));
if (!is_string_type(tc1.get_atomic_type()))
throw XQUERY_EXCEPTION2(XPTY0004, "Invalid type of the first argument in fn:compare() (xs_string/derived/promotable is expected)");
str1_child.op->next(t);
if (!t.is_eos())
throw XQUERY_EXCEPTION2(XPTY0004, "Invalid arity of the first argument in fn:compare(). Argument contains more than one item");
str2_child.op->next(t);
if (t.is_eos())
return;
tc2 = atomize(str2_child.get(t));
if (!is_string_type(tc2.get_atomic_type()))
throw XQUERY_EXCEPTION2(XPTY0004, "Invalid type of the second argument in fn:compare() (xs_string/derived/promotable is expected)");
str2_child.op->next(t);
if (!t.is_eos())
throw XQUERY_EXCEPTION2(XPTY0004, "Invalid arity of the second argument in fn:compare(). Argument contains more than one item");
first_time = false;
if (is_codepoint_equal)
t.copy(tuple_cell::atomic(fn_compare(tc1, tc2, handler) == 0));
else
t.copy(tuple_cell::atomic((int64_t)(fn_compare(tc1, tc2, handler))));
}
else
{
t.set_eos();
first_time = true;
}
}