| /* |
| * Description : Test Quantified Expressions |
| * : some <variable-name> in [ordered-list], <variable-name> in [ordered-list] satisfies function 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_somesat_05.adm"; |
| |
| let $a := [ |
| some $x in ["foo","foobar","footnote"], $y in ["foofoo","fool","foolish","foot","foo"] satisfies string($x) = string($y), |
| some $x in ["1","2","3"], $y in ["4","5","6"] satisfies int32($x) = int32($y), |
| some $x in ["1.1","2.2","3.3"], $y in ["4.4","5.5","6.6"] satisfies float($x) = float($y), |
| some $x in ["1.1d","2.2d","3.3d"], $y in ["4.4d","5.5d","6.6d"] satisfies double($x) = double($y), |
| some $x in ["true", "false"], $y in ["false","true"] satisfies boolean($x) = boolean($y), |
| some $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), |
| some $x in ["1985-07-05Z", "1985-07-05Z"], $y in ["1985-07-05Z","1985-07-05Z"] satisfies date($x) = date($y) |
| ] |
| for $i in $a |
| return $i |
