/*
 * Description      : Test Quantified Expressions 
 *                  : every <variable-name> in [ordered-list], <variable-name> in [ordered-list] satisfies expression
 * Expected Result  : Success
 * Date             : 5th July 2012
 */

drop dataverse test if exists;
create dataverse test;
use dataverse test;

write output to nc1:"rttest/quantifiers_everysat_02.adm";

let $a := [
every $x in [1, 2] satisfies avg([$x, 1]) = 1,
every $x in [1, 2] satisfies string($x) = "1",
every $x in [1, 2] satisfies string-length(string($x)) = 1,
every $x in [[1, 2],[10],[1,5,7,8]] satisfies count($x) = 1,
every $x in [[2],[10],[8]] satisfies count($x) = 1,
every $x in [1, 2] satisfies boolean("true"),
every $x in [1, 2] satisfies not($x),
every $x in [1,2,3], $y in [4,5,6] satisfies $x + $y = 5,
every $x in [1,2,3], $y in [4,5,6] satisfies $x - $y = 5,
every $x in [1,2,3], $y in [4,5,6] satisfies $x * $y = 10,
every $x in [1,2,3], $y in [4,5,6] satisfies string($x) = string($y),
every $x in [1,2,3], $y in [4,5,6] satisfies int32($x) = int32($y),
every $x in [1,2,3], $y in [4,5,6] satisfies float($x) = float($y),
every $x in [1,2,3], $y in [4,5,6] satisfies double($x) = double($y),
every $x in ["true", "false"], $y in ["false","true"] satisfies boolean($x) = boolean($y),
every $x in ["1980-05-05T13:13:13Z", "1980-05-05T13:13:13Z"], $y in ["1980-05-05T13:13:13Z","1980-05-05T13:13:13Z"] satisfies datetime($x) = datetime($y)
]
for $i in $a
return $i