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

"{ NameSpace: XQuery }"

XQTSTestCase subclass:#XQTSSeqExprInstanceOfTests

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'XQuery-Tests-XQTS'

!

!XQTSSeqExprInstanceOfTests methodsFor:'tests'!

test_K_SeqExprInstanceOf_1

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-1                           :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `1 instance of item()`. :)

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

1 instance of item()

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-1.txt')

!

test_K_SeqExprInstanceOf_10

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-10                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `"a string" instance of xs:string`. :)

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

"a string" instance of xs:string

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-10.txt')

!

test_K_SeqExprInstanceOf_11

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-11                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not("false" instance of xs:boolean)`. :)

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

not("false" instance of xs:boolean)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-11.txt')

!

test_K_SeqExprInstanceOf_12

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-12                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `1.1 instance of xs:decimal`. :)

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

1.1 instance of xs:decimal

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-12.txt')

!

test_K_SeqExprInstanceOf_13

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-13                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not(1.1 instance of xs:integer)`. :)

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

not(1.1 instance of xs:integer)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-13.txt')

!

test_K_SeqExprInstanceOf_14

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-14                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `xs:anyURI("http://www.example.com/") instance of xs:anyURI`. :)

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

xs:anyURI("http://www.example.com/") instance of xs:anyURI

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-14.txt')

!

test_K_SeqExprInstanceOf_15

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-15                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not(xs:anyURI("http://www.example.com/") instance of xs:string)`. :)

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

not(xs:anyURI("http://www.example.com/") instance of xs:string)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-15.txt')

!

test_K_SeqExprInstanceOf_16

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-16                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not("a string" instance of xs:untypedAtomic)`. :)

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

not("a string" instance of xs:untypedAtomic)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-16.txt')

!

test_K_SeqExprInstanceOf_17

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-17                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `(1, 2, 3, 4, 5) instance of xs:integer+`. :)

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

(1, 2, 3, 4, 5) instance of xs:integer+

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-17.txt')

!

test_K_SeqExprInstanceOf_18

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-18                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not((1, 2, 3, 4, 5) instance of xs:integer)`. :)

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

not((1, 2, 3, 4, 5) instance of xs:integer)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-18.txt')

!

test_K_SeqExprInstanceOf_19

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-19                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not((1, 2, 3, 4, 5) instance of xs:integer?)`. :)

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

not((1, 2, 3, 4, 5) instance of xs:integer?)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-19.txt')

!

test_K_SeqExprInstanceOf_2

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-2                           :)

(: Written by: Frans Englich                             :)

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

(: Purpose: item() type with comment appearing inside the paranteses. :)

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

1 instance of item((:comment:))

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-2.txt')

!

test_K_SeqExprInstanceOf_20

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-20                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `(1, 2, 3, 4, 5) instance of xs:integer*`. :)

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

(1, 2, 3, 4, 5) instance of xs:integer*

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-20.txt')

!

test_K_SeqExprInstanceOf_21

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-21                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `(1, 2, 3, 4, 5) instance of item()+`. :)

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

(1, 2, 3, 4, 5) instance of item()+

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-21.txt')

!

test_K_SeqExprInstanceOf_22

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-22                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not((1, 2, "a string", 4, 5) instance of xs:integer*)`. :)

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

not((1, 2, "a string", 4, 5) instance of xs:integer*)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-22.txt')

!

test_K_SeqExprInstanceOf_23

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-23                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not((1, 2, 1.1, 4, 5) instance of xs:integer*)`. :)

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

not((1, 2, 1.1, 4, 5) instance of xs:integer*)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-23.txt')

!

test_K_SeqExprInstanceOf_24

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-24                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not((1, 2, "a string", 4, 5) instance of xs:string*)`. :)

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

not((1, 2, "a string", 4, 5) instance of xs:string*)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-24.txt')

!

test_K_SeqExprInstanceOf_25

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-25                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `(1, 2, "a string", 4, 5) instance of xs:anyAtomicType*`. :)

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

(1, 2, "a string", 4, 5) instance of xs:anyAtomicType*

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-25.txt')

!

test_K_SeqExprInstanceOf_26

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-26                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `(1, 2, count("one"), 4, 5) instance of xs:integer+`. :)

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

(1, 2, count("one"), 4, 5) instance of xs:integer+

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/seqExprTypes/SeqExprInstanceOf/K-SeqExprInstanceOf-26.txt')

!

test_K_SeqExprInstanceOf_27

    | query result |

    query := ' 

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

(: Test: K-SeqExprInstanceOf-27                          :)

(: Written by: Frans Englich                             :)

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

(: Purpose: A test whose essence is: `not(1 instance of text())`. :)

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

not(1 instance of text())

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)