| /* |
| * 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 |