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

"{ NameSpace: XQuery }"

XQTSTestCase subclass:#XQTSGenCompLTEQTests

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'XQuery-Tests-XQTS'

!

!XQTSGenCompLTEQTests methodsFor:'tests'!

test_K_GenCompLTEQ_1

    | query result |

    query := ' 

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

(: Test: K-GenCompLTEQ-1                                 :)

(: Written by: Frans Englich                             :)

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

(: Purpose: General comparison where one or more operands is the empty sequence. :)

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

not(() <= () )

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/K-GenCompLTEQ-1.txt')

!

test_K_GenCompLTEQ_2

    | query result |

    query := ' 

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

(: Test: K-GenCompLTEQ-2                                 :)

(: Written by: Frans Englich                             :)

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

(: Purpose: General comparison where one or more operands is the empty sequence. :)

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

not(1 <= () )

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/K-GenCompLTEQ-2.txt')

!

test_K_GenCompLTEQ_3

    | query result |

    query := ' 

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

(: Test: K-GenCompLTEQ-3                                 :)

(: Written by: Frans Englich                             :)

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

(: Purpose: General comparison where one or more operands is the empty sequence. :)

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

not(() <= 1 )

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/K-GenCompLTEQ-3.txt')

!

test_K_GenCompLTEQ_4

    | query result |

    query := ' 

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

(: Test: K-GenCompLTEQ-4                                 :)

(: Written by: Frans Englich                             :)

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

(: Purpose: General comparison where the operands are various various sequence of xs:integers. :)

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

1 <= 1

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/K-GenCompLTEQ-4.txt')

!

test_K_GenCompLTEQ_5

    | query result |

    query := ' 

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

(: Test: K-GenCompLTEQ-5                                 :)

(: Written by: Frans Englich                             :)

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

(: Purpose: General comparison causing a xs:untypedAtomic value to be cast to xs:boolean, and then compared. :)

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

xs:untypedAtomic("false") <= false()

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/K-GenCompLTEQ-5.txt')

!

test_K_GenCompLTEQ_6

    | query result |

    query := ' 

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

(: Test: K-GenCompLTEQ-6                                 :)

(: Written by: Frans Englich                             :)

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

(: Purpose: General comparison causing a xs:untypedAtomic value to be cast to xs:boolean, and then compared. :)

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

false() <= xs:untypedAtomic("false")

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/K-GenCompLTEQ-6.txt')

!

test_K_GenCompLTEQ_7

    | query result |

    query := ' 

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

(: Test: K-GenCompLTEQ-7                                 :)

(: Written by: Frans Englich                             :)

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

(: Purpose: General comparison causing a xs:untypedAtomic value to be cast to xs:boolean, and then compared. :)

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

xs:untypedAtomic("false") <= false()

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/K-GenCompLTEQ-7.txt')

!

test_K_GenCompLTEQ_8

    | query result |

    query := ' 

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

(: Test: K-GenCompLTEQ-8                                 :)

(: Written by: Frans Englich                             :)

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

(: Purpose: General comparison causing a xs:untypedAtomic value to be cast to xs:boolean, and then compared. :)

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

true() <= xs:untypedAtomic("true")

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/K-GenCompLTEQ-8.txt')

!

test_generalexpression298

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Empty sequence:)

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

() <= ()

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression298.txt')

!

test_generalexpression299

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Atomic Value:)

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

() <= 10000

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression299.txt')

!

test_generalexpression300

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Sequence of single atomic value:)

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

() <= (50000)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression300.txt')

!

test_generalexpression301

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Sequence of single atomic values:)

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

() <= (10000,50000)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression301.txt')

!

test_generalexpression302

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Element Constructor:)

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

() <= <a>10000</a>

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression302.txt')

!

test_generalexpression303

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Sequence of single element constructor:)

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

() <= (<a>10000</a>)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression303.txt')

!

test_generalexpression304

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Sequence of multiple element constructors:)

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

() <= (<a>10000</a>,<b>50000</b>)

'.

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

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression304.txt')

!

test_generalexpression305

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Sequence of single element nodes:)

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

(: insert-start :)

declare variable $input-context1 external;

(: insert-end :)

() <= ($input-context1/works/employee[1]/hours[1])

'.

    self xqtsBind: 'input-context1' toContentsOf: 'works'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression305.txt')

!

test_generalexpression306

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)

(:  operand1 = Empty sequence:)

(:  operator = <=:)

(:  operand2 = Sequence of multiple element nodes (single source):)

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

(: insert-start :)

declare variable $input-context1 external;

(: insert-end :)

() <= ($input-context1/works/employee[1]/hours[1],$input-context1/works/employee[6]/hours[1])

'.

    self xqtsBind: 'input-context1' toContentsOf: 'works'.

    result  := interpreter evaluate: query.

    self

        assert: (self xqtsResultTextFromResult: result)

               = (self xqtsResultTextFromFile:

'Expressions/Operators/CompExpr/GenComprsn/GenCompLTEQ/generalexpression306.txt')

!

test_generalexpression307

    | query result |

    query := ' 

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

(:Written By: Carmelo Montanez (Automatic Generation)    :)

(:Date: June 2, 2005                                :)

(:Purpose: Test of a General Expression      :)

(:with the operands set as follows          :)