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

"{ NameSpace: XQuery }"

XQTSTestCase subclass:#XQTSWhereExprTests

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'XQuery-Tests-XQTS'

!

!XQTSWhereExprTests methodsFor:'tests'!

test_K_WhereExpr_1

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-1                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for/where combination where the cardinality of the return statement is crucially affected by the binding sequence. :)

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

(for $fo in (1, 2, 3) where $fo eq 3 return $fo) eq 3

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-1.txt')

!

test_K_WhereExpr_10

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-10                                  :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for/where expression combined with fn:boolean and xs:anyURI. :)

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

for $i in (1, 2, current-time())[1] where xs:anyURI("example.com/") return true()

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-10.txt')

!

test_K_WhereExpr_11

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-11                                  :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for/where expression combined with fn:boolean and xs:anyURI. :)

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

empty(for $i in (1, 2, current-time())[1] where xs:anyURI("") return true())

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-11.txt')

!

test_K_WhereExpr_2

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-2                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: Get the string value of the return statement of a for expression after being filtered by a where clause. :)

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

string((for $fo in (1, 2, 3) where $fo eq 3 return $fo)) eq "3"

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-2.txt')

!

test_K_WhereExpr_3

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-3                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A where clause containing a value which EBV cannot be extracted from. :)

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

count((for $fo in (1, 2, 3) where xs:time("08:08:23Z") return $fo)) eq 3

'.

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

    self shouldRaiseError: [interpreter evaluate: query].

!

test_K_WhereExpr_4

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-4                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for/where expression combined with fn:count(). :)

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

for $i in 1 where count(($i, 2, timezone-from-time(current-time()))) return true()

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-4.txt')

!

test_K_WhereExpr_5

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-5                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for expression binding to one single value, combined with a positive where clause. :)

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

empty(for $i in 1 where false() return $i)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-5.txt')

!

test_K_WhereExpr_6

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-6                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for expression binding to one single value, combined with a negative where clause. :)

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

(for $i in 1 where true() return $i) eq 1

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-6.txt')

!

test_K_WhereExpr_7

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-7                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for expression binding to one single value, combined with a positive where clause. :)

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

empty(for $i in 1 where (1, current-time())[1] treat as xs:integer eq 0 return $i)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-7.txt')

!

test_K_WhereExpr_8

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-8                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for expression binding to one single value, combined with a negative where clause. :)

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

(for $i in 1 where (1, current-time())[1] treat as xs:integer eq 1 return $i) eq 1

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-8.txt')

!

test_K_WhereExpr_9

    | query result |

    query := ' 

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

(: Test: K-WhereExpr-9                                   :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A for/where expression combined with fn:boolean. :)

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

for $i in (1, 2, current-time())[1] where fn:boolean($i treat as xs:integer) return true()

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWOR/WhereExpr/K-WhereExpr-9.txt')

!

test_WhereExpr001

    | query result |

    query := ' 

        (: Name: WhereExpr001 :)

(: Description: For+Where+Return - test existence of child elements in Where clause :)

(: insert-start :)

declare variable $input-context external;

(: insert-end :)

if ( count( for $f in $input-context//* where $f/File return $f/File[1] ) = count( $input-context//File[1]) )

then <Same/>

else <notSame/>  

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWORExpr/WhereExpr/WhereExpr001.xml')

!

test_WhereExpr002

    | query result |

    query := ' 

        (: Name: WhereExpr002 :)

(: Description: For+Where+Return - error, variable in "Where" Expr hasn"t been defined :)

(: insert-start :)

declare variable $input-context external;

(: insert-end :)

for $folder in $input-context//Folder

where $folde/@name = "ABC"

return <folder/>

'.

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

    self shouldRaiseError: [interpreter evaluate: query].

!

test_WhereExpr003

    | query result |

    query := ' 

        (: Name: WhereExpr003 :)

(: Description: For+Where+Return - using same predicate (as FLWOR003) in "Where" predicate :)

(: insert-start :)

declare variable $input-context external;

(: insert-end :)

for $d in $input-context/MyComputer/Drive4

where $d/Folder[@id="128"]

return <FolderName>{$d/Folder/@name}</FolderName>

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWORExpr/WhereExpr/WhereExpr003.xml')

!

test_WhereExpr004

    | query result |

    query := ' 

        (: Name: WhereExpr004 :)

(: Description: For+Where+Return - filters in "Where" expr and in "In" expr using predicate :)

(: insert-start :)

declare variable $input-context external;

(: insert-end :)

for $f in $input-context/MyComputer/Drive1/Folder[@creator="Mani"]/File

where $f/@creation_date="08/06/00"

return $f

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWORExpr/WhereExpr/WhereExpr004.xml')

!

test_WhereExpr005

    | query result |

    query := ' 

        (: Name: WhereExpr005 :)

(: Description: For+Where+Return - use always-false-predicate in "Where" expr :)

(: insert-start :)

declare variable $input-context external;

(: insert-end :)

<empty>

  { for $folder in $input-context/MyComputer/Drive2//Folder

    where 1 = 2

    return 

    <Folder>

    { $folder/FolderName/text() }

    </Folder> 

  }

</empty>

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWORExpr/WhereExpr/WhereExpr005.xml')

!

test_WhereExpr006

    | query result |

    query := ' 

        (: Name: WhereExpr006 :)

(: Description: For+Where+Return - In the inner For+Where+Return, uses outer variable in "Where" expr :)

(: insert-start :)

declare variable $input-context external;

(: insert-end :)

for $folder in $input-context/MyComputer/Drive4//Folder

return 

<Folder>{ $folder/@name }{ for $file in $input-context/MyComputer/Drive4//File

                           where $file/@idref = $folder/@id

                           return 

                           <File>{ $file/@name }</File>

}</Folder>

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWORExpr/WhereExpr/WhereExpr006.xml')

!

test_WhereExpr007

    | query result |

    query := ' 

        (: Name: WhereExpr007 :)

(: Description: For+Where+Return - 2 iterations use "Where" to build relationship :)

(: insert-start :)

declare variable $input-context external;

(: insert-end :)

<fragment-result>{

	for $folder in $input-context/MyComputer/Drive3/Folder

	   ,$file in $input-context/MyComputer/Drive3/Folder/File

	where $folder/@id = $file/@idref

	return

	<Folder>

	 { $folder/@name, $folder/@id }

	 <file>{ $file/@idref, $file/FileName/text() }</file>

	</Folder>

}</fragment-result>

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/FLWORExpr/WhereExpr/WhereExpr007.xml')

!

test_WhereExpr008

    | query result |

    query := '