/**
* Checks if specified query was rewritten for index access, and checks the query result.
*
* @param query query to be tested
* @param result result or {@code null} for no comparison
*/
private static void check(final String query, final String result) {
check(
query,
result,
"exists(/descendant-or-self::*"
+ "[self::"
+ Util.className(ValueAccess.class)
+ "|self::"
+ Util.className(FTIndexAccess.class)
+ "])");
}
/** Test method. */
@Test
public void foldLeft1Test() {
query("hof:fold-left1(1 to 10, function($x, $y) { $x + $y })", "55");
error("hof:fold-left1((), function($x, $y) { $x + $y })", EMPTYFOUND);
// should be unrolled and evaluated at compile time
final int limit = FnForEach.UNROLL_LIMIT;
check(
"hof:fold-left1(1 to " + limit + ", function($a,$b) {$a+$b})",
"55",
"empty(//" + Util.className(HofFoldLeft1.class) + "[contains(@name, 'fold-left1')])",
"exists(*/" + Util.className(Int.class) + ')');
// should be unrolled but not evaluated at compile time
check(
"hof:fold-left1(1 to " + limit + ", function($a,$b) {0*random:integer($a)+$b})",
"10",
"empty(//" + Util.className(HofFoldLeft1.class) + "[contains(@name, 'fold-left1')])",
"empty(*/" + Util.className(Int.class) + ')',
"count(//" + Util.className(Arith.class) + "[@op = '+']) eq 9");
// should not be unrolled
check(
"hof:fold-left1(1 to " + (limit + 1) + ", function($a,$b) {$a+$b})",
"66",
"exists(//" + Util.className(HofFoldLeft1.class) + "[contains(@name, 'fold-left1')])");
}
