"{ Package: 'stx:goodies/xmlsuite/xquery' }"

"{ NameSpace: XQuery }"

XQTSTestCase subclass:#XQTSForExprPositionalVarTests

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'XQuery-Tests-XQTS'

!

!XQTSForExprPositionalVarTests methodsFor:'tests'!

test_K_ForExprPositionalVar_1

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-1                        :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Variable which is not in scope.              :)

(:*******************************************************:)

for $a at $p in (1, 2) return 1, $p

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    self shouldRaiseError: [interpreter evaluate: query].

!

test_K_ForExprPositionalVar_10

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-10                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:string-to-codepoints(). :)

(:*******************************************************:)

deep-equal((1, 2, 3), for $i at $p in distinct-values((1, 2, 3, 1, 2)) return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-10.txt')

!

test_K_ForExprPositionalVar_11

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-11                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for the empty sequence. :)

(:*******************************************************:)

empty(for $i at $p in () return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-11.txt')

!

test_K_ForExprPositionalVar_12

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-12                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:insert-before(). :)

(:*******************************************************:)

deep-equal((1, 2, 3, 4),

	    for $i at $p

	    in insert-before((1, current-time()), 13, (current-date(), 3))

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-12.txt')

!

test_K_ForExprPositionalVar_13

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-13                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:insert-before()(#2). :)

(:*******************************************************:)

deep-equal((1, 2, 3, 4),

	    for $i at $p

	    in insert-before((1, current-time()), 1, (current-date(), 3))

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-13.txt')

!

test_K_ForExprPositionalVar_14

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-14                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:insert-before()(#3). :)

(:*******************************************************:)

deep-equal((1, 2, 3, 4),

	    for $i at $p

	    in insert-before((1, current-time()), 2, (current-date(), 3))

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-14.txt')

!

test_K_ForExprPositionalVar_15

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-15                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for the range expression. :)

(:*******************************************************:)

deep-equal((1, 2, 3, 4),

	    for $i at $p

	    in 1 to 4

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-15.txt')

!

test_K_ForExprPositionalVar_16

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-16                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for the range expression(#2). :)

(:*******************************************************:)

deep-equal((1, 2, 3, 4),

	    for $i at $p

	    in -10 to -7

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-16.txt')

!

test_K_ForExprPositionalVar_17

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-17                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:remove(). :)

(:*******************************************************:)

deep-equal((1, 2, 3),

	    for $i at $p

	    in remove((1, 2, 3, current-time()), 2)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-17.txt')

!

test_K_ForExprPositionalVar_18

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-18                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:remove(). :)

(:*******************************************************:)

deep-equal((1, 2, 3),

	    for $i at $p

	    in remove((1, 2, 3, current-time()), 4)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-18.txt')

!

test_K_ForExprPositionalVar_19

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-19                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:remove(). :)

(:*******************************************************:)

deep-equal((1, 2, 3),

	    for $i at $p

	    in remove((1, 2, current-time()), 10)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-19.txt')

!

test_K_ForExprPositionalVar_2

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-2                        :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Position variable which is not in scope.     :)

(:*******************************************************:)

for $a at $p1 in (1, 2), $b at $p2 in (1, 2), $c at $p3 in (1, 2) return 1, $p1

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    self shouldRaiseError: [interpreter evaluate: query].

!

test_K_ForExprPositionalVar_20

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-20                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:remove(). :)

(:*******************************************************:)

deep-equal((1, 2, 3),

	    for $i at $p

	    in remove((1, 2, current-time()), 0)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-20.txt')

!

test_K_ForExprPositionalVar_21

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-21                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:remove(). :)

(:*******************************************************:)

deep-equal((1, 2, 3),

	    for $i at $p

	    in remove((1, 2, 3, current-time()), 1)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-21.txt')

!

test_K_ForExprPositionalVar_22

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-22                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:remove(). :)

(:*******************************************************:)

deep-equal((1, 2, 3),

	    for $i at $p

	    in remove((1, 2, 3, current-time()), 3)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-22.txt')

!

test_K_ForExprPositionalVar_23

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-23                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:subsequence(). :)

(:*******************************************************:)

1 eq 

	    (for $i at $p

	    in subsequence((1, 2, 3, current-time()), 1, 1)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-23.txt')

!

test_K_ForExprPositionalVar_24

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-24                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:subsequence(). :)

(:*******************************************************:)

empty(for $i at $p

	    in subsequence((1, 2, 3, current-time()), 5)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-24.txt')

!

test_K_ForExprPositionalVar_25

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-25                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:subsequence(). :)

(:*******************************************************:)

empty(for $i at $p

	    in subsequence((1, 2, 3, current-time()), 5, 8)

	    return $p)

'.

    self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/ForExpr/ForExprPositionalVar/K-ForExprPositionalVar-25.txt')

!

test_K_ForExprPositionalVar_26

    | query result |

    query := ' 

        (:*******************************************************:)

(: Test: K-ForExprPositionalVar-26                       :)

(: Written by: Frans Englich                             :)

(: Date: 2006-10-05T18:29:37+02:00                       :)

(: Purpose: Verify that the position is properly computed for fn:subsequence(). :)

(:*******************************************************:)

deep-equal((1, 2),

	    for $i at $p

	    in subsequence((1, 2, 3, current-time()), 3, 2)

	    return $p)