hg/stx-goodies-xmlsuite: xquery/XQuery__XQTSBooleanEqualTests.st@9696f76605bd (annotated)

241 e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1	"{ Package: 'stx:goodies/xmlsuite/xquery' }"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	3	"{ NameSpace: XQuery }"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	4
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	5	XQTSTestCase subclass:#XQTSBooleanEqualTests
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	6	instanceVariableNames:''
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	7	classVariableNames:''
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	8	poolDictionaries:''
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	9	category:'XQuery-Tests-XQTS'
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	10	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	11
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	12
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	13	!XQTSBooleanEqualTests methodsFor:'tests'!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	14
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	15	test_K2_BooleanEqual_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	16
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	17	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	18
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	19	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	20	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	21	(: Test: K2-BooleanEqual-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	22	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	23	(: Date: 2006-08-04T17:13:26Z :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	24	(: Purpose: Cannot compare xs:boolean and xs:untypedAtomic. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	25	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	26	xs:untypedAtomic("true") eq true()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	27
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	28	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	29
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	30	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	31
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	32
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	33
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	34	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	35	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	36
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	37	test_K2_BooleanEqual_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	38
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	39	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	40
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	41	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	42	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	43	(: Test: K2-BooleanEqual-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	44	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	45	(: Date: 2006-08-04T17:13:26Z :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	46	(: Purpose: Cannot compare xs:boolean and xs:untypedAtomic. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	47	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	48	<name>true</name> eq true()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	49
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	50	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	51
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	52	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	53
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	54
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	55
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	56	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	57	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	58
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	59	test_K2_BooleanEqual_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	60
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	61	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	62
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	63	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	64	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	65	(: Test: K2-BooleanEqual-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	66	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	67	(: Date: 2006-08-04T17:13:26Z :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	68	(: Purpose: Cannot compare xs:boolean and xs:untypedAtomic(#2). :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	69	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	70	true() eq <name>true</name>
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	71
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	72	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	73
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	74	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	75
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	76
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	77
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	78	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	79	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	80
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	81	test_K_BooleanEqual_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	82
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	83	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	84
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	85	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	86	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	87	(: Test: K-BooleanEqual-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	88	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	89	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	90	(: Purpose: Compare two xs:boolean values. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	91	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	92	false() eq false()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	93
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	94	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	95
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	96	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	97
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	98
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	99	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	100	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	101	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	102	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	103	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/K-BooleanEqual-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	104
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	105	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	106
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	107	test_K_BooleanEqual_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	108
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	109	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	110
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	111	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	112	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	113	(: Test: K-BooleanEqual-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	114	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	115	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	116	(: Purpose: Compare two xs:boolean values. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	117	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	118	true() eq true()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	119
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	120	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	121
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	122	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	123
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	124
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	125	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	126	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	127	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	128	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	129	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/K-BooleanEqual-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	130
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	131	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	132
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	133	test_K_BooleanEqual_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	134
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	135	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	136
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	137	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	138	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	139	(: Test: K-BooleanEqual-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	140	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	141	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	142	(: Purpose: Compare two xs:boolean values. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	143	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	144	false() ne true()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	145
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	146	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	147
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	148	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	149
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	150
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	151	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	152	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	153	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	154	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	155	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/K-BooleanEqual-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	156
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	157	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	158
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	159	test_K_BooleanEqual_4
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	160
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	161	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	162
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	163	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	164	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	165	(: Test: K-BooleanEqual-4 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	166	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	167	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	168	(: Purpose: Compare two xs:boolean values. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	169	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	170	true() ne false()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	171
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	172	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	173
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	174	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	175
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	176
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	177	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	178	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	179	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	180	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	181	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/K-BooleanEqual-4.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	182
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	183	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	184
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	185	test_K_BooleanEqual_5
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	186
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	187	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	188
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	189	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	190	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	191	(: Test: K-BooleanEqual-5 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	192	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	193	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	194	(: Purpose: A complex value-comparison involving xs:boolean. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	195	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	196	((((((((((((false() eq false()) eq false()) eq false())
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	197	eq false()) eq false()) eq false()) eq false())
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	198	eq false()) eq false()) eq false()) eq false())
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	199	eq false()) eq false()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	200
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	201	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	202
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	203	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	204
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	205
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	206	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	207	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	208	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	209	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	210	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/K-BooleanEqual-5.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	211
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	212	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	213
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	214	test_op_boolean_equal2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	215
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	216	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	217
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	218	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	219	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	220	(:Test: op-boolean-equal2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	221	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	222	(:Date: Thu Dec 16 10:48:17 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	223	(:Purpose: Evaluates The "op:boolean-equal" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	224	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	225	(:$value1 = xs:boolean(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	226	(:$value2 = xs:boolean(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	227	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	228
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	229	xs:boolean("false") eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	230
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	231	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	232
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	233	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	234
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	235
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	236	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	237	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	238	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	239	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	240	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal2args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	241
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	242	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	243
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	244	test_op_boolean_equal2args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	245
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	246	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	247
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	248	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	249	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	250	(:Test: op-boolean-equal2args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	251	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	252	(:Date: Thu Dec 16 10:48:17 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	253	(:Purpose: Evaluates The "op:boolean-equal" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	254	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	255	(:$value1 = xs:boolean(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	256	(:$value2 = xs:boolean(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	257	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	258
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	259	xs:boolean("1") eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	260
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	261	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	262
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	263	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	264
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	265
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	266	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	267	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	268	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	269	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	270	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal2args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	271
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	272	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	273
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	274	test_op_boolean_equal2args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	275
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	276	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	277
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	278	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	279	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	280	(:Test: op-boolean-equal2args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	281	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	282	(:Date: Thu Dec 16 10:48:17 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	283	(:Purpose: Evaluates The "op:boolean-equal" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	284	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	285	(:$value1 = xs:boolean(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	286	(:$value2 = xs:boolean(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	287	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	288
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	289	xs:boolean("0") eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	290
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	291	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	292
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	293	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	294
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	295
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	296	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	297	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	298	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	299	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	300	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal2args-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	301
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	302	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	303
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	304	test_op_boolean_equal2args_4
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	305
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	306	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	307
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	308	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	309	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	310	(:Test: op-boolean-equal2args-4 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	311	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	312	(:Date: Thu Dec 16 10:48:17 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	313	(:Purpose: Evaluates The "op:boolean-equal" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	314	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	315	(:$value1 = xs:boolean(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	316	(:$value2 = xs:boolean(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	317	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	318
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	319	xs:boolean("false") eq xs:boolean("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	320
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	321	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	322
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	323	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	324
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	325
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	326	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	327	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	328	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	329	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	330	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal2args-4.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	331
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	332	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	333
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	334	test_op_boolean_equal2args_5
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	335
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	336	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	337
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	338	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	339	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	340	(:Test: op-boolean-equal2args-5 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	341	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	342	(:Date: Thu Dec 16 10:48:17 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	343	(:Purpose: Evaluates The "op:boolean-equal" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	344	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	345	(:$value1 = xs:boolean(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	346	(:$value2 = xs:boolean(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	347	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	348
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	349	xs:boolean("false") eq xs:boolean("0")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	350
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	351	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	352
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	353	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	354
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	355
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	356	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	357	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	358	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	359	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	360	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal2args-5.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	361
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	362	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	363
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	364	test_op_boolean_equal_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	365
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	366	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	367
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	368	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	369	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	370	(:Test: op-boolean-equal-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	371	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	372	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	373	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	374	(: with operands set to "not(true)", "true" respectively.:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	375	(: Use of eq operator. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	376	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	377
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	378	fn:not(xs:boolean("true")) eq xs:boolean("true")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	379
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	380	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	381
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	382	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	383
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	384
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	385	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	386	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	387	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	388	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	389	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	390
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	391	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	392
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	393	test_op_boolean_equal_10
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	394
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	395	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	396
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	397	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	398	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	399	(:Test: op-boolean-equal-10 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	400	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	401	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	402	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	403	(: with operands set to "(7 eq 7)" and "false" respectively. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	404	(: Use of ge operator. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	405	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	406
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	407	(7 eq 7) eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	408
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	409	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	410
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	411	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	412
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	413
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	414	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	415	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	416	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	417	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	418	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-10.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	419
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	420	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	421
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	422	test_op_boolean_equal_11
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	423
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	424	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	425
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	426	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	427	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	428	(:Test: op-boolean-equal-11 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	429	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	430	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	431	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	432	(: with operands set to "not(7 lt 7)", "true" respectively.:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	433	(: Use of lt operator. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	434	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	435
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	436	fn:not(7 lt 7) eq xs:boolean("true")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	437
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	438	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	439
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	440	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	441
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	442
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	443	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	444	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	445	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	446	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	447	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-11.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	448
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	449	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	450
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	451	test_op_boolean_equal_12
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	452
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	453	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	454
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	455	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	456	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	457	(:Test: op-boolean-equal-12 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	458	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	459	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	460	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	461	(: with operands set to "not(7 lt 7)" and "false" respectively.:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	462	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	463
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	464	fn:not(7 lt 7) and xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	465
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	466	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	467
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	468	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	469
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	470
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	471	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	472	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	473	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	474	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	475	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-12.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	476
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	477	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	478
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	479	test_op_boolean_equal_13
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	480
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	481	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	482
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	483	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	484	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	485	(:Test: op-boolean-equal-13 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	486	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	487	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	488	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	489	(: with both operands set to expressions unsing multiple :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	490	(: "eq" operators connected by an "and" expression. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	491	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	492
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	493	((7 eq 7) eq xs:boolean("true")) and (xs:boolean("false") eq xs:boolean("true"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	494
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	495	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	496
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	497	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	498
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	499
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	500	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	501	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	502	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	503	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	504	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-13.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	505
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	506	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	507
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	508	test_op_boolean_equal_14
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	509
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	510	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	511
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	512	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	513	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	514	(:Test: op-boolean-equal-14 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	515	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	516	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	517	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	518	(: with both operands set to expressions unsing multiple :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	519	(: "eq" operators connected by an "or" expression. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	520	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	521
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	522	((7 eq 7) eq xs:boolean("true")) or (xs:boolean("false") eq xs:boolean("true"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	523
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	524	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	525
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	526	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	527
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	528
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	529	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	530	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	531	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	532	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	533	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-14.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	534
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	535	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	536
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	537	test_op_boolean_equal_15
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	538
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	539	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	540
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	541	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	542	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	543	(:Test: op-boolean-equal-15 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	544	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	545	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	546	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	547	(: using the "starts-with" function. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	548	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	549
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	550	fn:starts-with("Query","Que") eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	551
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	552	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	553
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	554	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	555
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	556
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	557	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	558	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	559	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	560	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	561	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-15.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	562
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	563	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	564
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	565	test_op_boolean_equal_16
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	566
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	567	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	568
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	569	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	570	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	571	(:Test: op-boolean-equal-16 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	572	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	573	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	574	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	575	(: using the "ends-with" function. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	576	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	577
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	578	fn:ends-with("Query","ry") eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	579
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	580	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	581
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	582	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	583
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	584
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	585	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	586	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	587	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	588	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	589	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-16.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	590
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	591	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	592
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	593	test_op_boolean_equal_17
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	594
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	595	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	596
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	597	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	598	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	599	(:Test: op-boolean-equal-17 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	600	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	601	(:Date: March 26, 2006 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	602	(:Purpose: Evaluates cardinality violation on a sequence :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	603	(: of two or more items. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	604	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	605
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	606	let $e := (0,1)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	607	return $e eq 0
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	608
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	609
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	610	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	611
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	612	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	613
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	614
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	615
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	616	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	617	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	618
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	619	test_op_boolean_equal_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	620
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	621	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	622
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	623	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	624	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	625	(:Test: op-boolean-equal-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	626	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	627	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	628	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	629	(: with operands set to "not(true)", "false" respectively.:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	630	(: Use of eq operator. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	631	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	632
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	633	fn:not(xs:boolean("true")) eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	634
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	635	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	636
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	637	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	638
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	639
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	640	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	641	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	642	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	643	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	644	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	645
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	646	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	647
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	648	test_op_boolean_equal_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	649
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	650	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	651
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	652	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	653	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	654	(:Test: op-boolean-equal-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	655	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	656	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	657	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	658	(: with operands set to "not(false)" ad "false" respectively.:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	659	(: Use of eq operator. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	660	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	661
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	662	fn:not(xs:boolean("false")) eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	663
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	664	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	665
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	666	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	667
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	668
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	669	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	670	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	671	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	672	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	673	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	674
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	675	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	676
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	677	test_op_boolean_equal_4
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	678
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	679	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	680
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	681	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	682	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	683	(:Test: op-boolean-equal-4 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	684	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	685	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	686	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	687	(: with both operands set to "and" expressions respectively.:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	688	(: Use of eq operator. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	689	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	690
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	691	(xs:boolean("true") and xs:boolean("true")) eq (xs:boolean("false") and xs:boolean("false"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	692
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	693	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	694
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	695	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	696
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	697
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	698	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	699	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	700	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	701	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	702	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-4.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	703
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	704	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	705
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	706	test_op_boolean_equal_5
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	707
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	708	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	709
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	710	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	711	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	712	(:Test: op-boolean-equal-5 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	713	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	714	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	715	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	716	(: with left operand set to and "and" expressions with the :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	717	(: "not" function and right operand set to "true". :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	718	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	719
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	720	fn:not(xs:boolean("true") and xs:boolean("true")) eq xs:boolean("true")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	721
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	722	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	723
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	724	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	725
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	726
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	727	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	728	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	729	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	730	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	731	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-5.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	732
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	733	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	734
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	735	test_op_boolean_equal_6
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	736
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	737	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	738
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	739	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	740	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	741	(:Test: op-boolean-equal-6 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	742	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	743	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	744	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	745	(: with left operand set to and "and" expressions with the :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	746	(: "not" function and right operand set to "false". :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	747	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	748
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	749	fn:not(xs:boolean("false") and xs:boolean("false")) eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	750
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	751	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	752
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	753	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	754
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	755
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	756	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	757	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	758	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	759	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	760	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-6.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	761
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	762	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	763
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	764	test_op_boolean_equal_7
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	765
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	766	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	767
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	768	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	769	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	770	(:Test: op-boolean-equal-7 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	771	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	772	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	773	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	774	(: with operands set to "fn:not(false)" and "fn:not(false)" :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	775	(: respectively. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	776	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	777
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	778	fn:not(xs:boolean("false")) eq fn:not(xs:boolean("false"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	779
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	780	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	781
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	782	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	783
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	784
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	785	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	786	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	787	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	788	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	789	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-7.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	790
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	791	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	792
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	793	test_op_boolean_equal_8
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	794
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	795	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	796
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	797	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	798	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	799	(:Test: op-boolean-equal-8 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	800	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	801	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	802	(:Purpose: Evaluates The "boolean-equal" function with :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	803	(: with operands set to "not(false and true)" and :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	804	(: "not(false and true)" respectively. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	805	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	806
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	807	fn:not(xs:boolean("false") and xs:boolean("true")) eq fn:not(xs:boolean("false") and xs:boolean("true"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	808
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	809	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	810
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	811	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	812
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	813
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	814	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	815	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	816	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	817	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	818	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-8.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	819
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	820	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	821
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	822	test_op_boolean_equal_9
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	823
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	824	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	825
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	826	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	827	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	828	(:Test: op-boolean-equal-9 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	829	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	830	(:Date: June 24, 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	831	(:Purpose: Evaluates The "boolean-equal" function :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	832	(: with operands set to "(7 lt 7)" and "true" respectively. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	833	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	834
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	835	(7 lt 7) eq xs:boolean("true")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	836
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	837	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	838
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	839	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	840
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	841
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	842	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	843	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	844	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	845	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	846	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-9.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	847
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	848	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	849
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	850	test_op_boolean_equal_more_args_001
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	851
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	852	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	853
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	854	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	855	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	856	(: Test: op-boolean-equal-more-args-001.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	857	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	858	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	859	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	860	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	861
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	862	xs:boolean("false") eq xs:boolean("true")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	863
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	864
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	865	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	866
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	867	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	868
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	869
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	870	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	871	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	872	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	873	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	874	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-001.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	875
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	876	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	877
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	878	test_op_boolean_equal_more_args_002
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	879
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	880	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	881
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	882	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	883	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	884	(: Test: op-boolean-equal-more-args-002.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	885	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	886	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	887	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	888	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	889
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	890	xs:boolean("false") eq xs:boolean("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	891
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	892
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	893	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	894
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	895	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	896
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	897
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	898	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	899	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	900	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	901	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	902	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-002.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	903
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	904	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	905
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	906	test_op_boolean_equal_more_args_003
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	907
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	908	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	909
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	910	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	911	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	912	(: Test: op-boolean-equal-more-args-003.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	913	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	914	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	915	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	916	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	917
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	918	xs:boolean("false") eq xs:boolean("0")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	919
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	920
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	921	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	922
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	923	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	924
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	925
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	926	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	927	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	928	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	929	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	930	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-003.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	931
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	932	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	933
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	934	test_op_boolean_equal_more_args_004
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	935
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	936	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	937
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	938	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	939	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	940	(: Test: op-boolean-equal-more-args-004.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	941	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	942	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	943	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	944	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	945
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	946	xs:boolean("false") eq xs:boolean("0")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	947
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	948
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	949	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	950
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	951	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	952
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	953
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	954	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	955	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	956	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	957	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	958	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-004.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	959
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	960	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	961
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	962	test_op_boolean_equal_more_args_005
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	963
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	964	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	965
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	966	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	967	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	968	(: Test: op-boolean-equal-more-args-005.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	969	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	970	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	971	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	972	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	973
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	974	xs:boolean("false") eq xs:boolean("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	975
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	976
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	977	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	978
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	979	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	980
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	981
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	982	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	983	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	984	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	985	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	986	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-005.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	987
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	988	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	989
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	990	test_op_boolean_equal_more_args_006
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	991
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	992	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	993
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	994	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	995	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	996	(: Test: op-boolean-equal-more-args-006.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	997	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	998	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	999	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1000	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1001
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1002	xs:boolean("false") eq true()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1003
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1004
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1005	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1006
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1007	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1008
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1009
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1010	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1011	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1012	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1013	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1014	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-006.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1015
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1016	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1017
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1018	test_op_boolean_equal_more_args_007
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1019
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1020	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1021
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1022	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1023	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1024	(: Test: op-boolean-equal-more-args-007.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1025	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1026	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1027	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1028	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1029
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1030	xs:boolean("false") eq false()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1031
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1032
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1033	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1034
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1035	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1036
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1037
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1038	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1039	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1040	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1041	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1042	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-007.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1043
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1044	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1045
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1046	test_op_boolean_equal_more_args_008
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1047
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1048	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1049
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1050	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1051	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1052	(: Test: op-boolean-equal-more-args-008.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1053	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1054	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1055	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1056	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1057
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1058	xs:boolean("true") eq xs:boolean("true")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1059
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1060
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1061	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1062
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1063	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1064
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1065
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1066	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1067	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1068	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1069	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1070	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-008.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1071
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1072	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1073
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1074	test_op_boolean_equal_more_args_009
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1075
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1076	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1077
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1078	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1079	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1080	(: Test: op-boolean-equal-more-args-009.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1081	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1082	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1083	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1084	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1085
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1086	xs:boolean("true") eq xs:boolean("false")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1087
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1088
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1089	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1090
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1091	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1092
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1093
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1094	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1095	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1096	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1097	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1098	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-009.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1099
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1100	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1101
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1102	test_op_boolean_equal_more_args_010
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1103
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1104	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1105
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1106	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1107	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1108	(: Test: op-boolean-equal-more-args-010.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1109	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1110	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1111	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1112	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1113
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1114	xs:boolean("true") eq xs:boolean("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1115
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1116
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1117	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1118
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1119	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1120
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1121
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1122	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1123	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1124	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1125	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1126	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-010.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1127
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1128	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1129
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1130	test_op_boolean_equal_more_args_011
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1131
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1132	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1133
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1134	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1135	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1136	(: Test: op-boolean-equal-more-args-011.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1137	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1138	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1139	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1140	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1141
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1142	xs:boolean("true") eq xs:boolean("0")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1143
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1144
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1145	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1146
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1147	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1148
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1149
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1150	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1151	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1152	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1153	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1154	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-011.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1155
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1156	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1157
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1158	test_op_boolean_equal_more_args_012
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1159
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1160	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1161
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1162	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1163	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1164	(: Test: op-boolean-equal-more-args-012.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1165	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1166	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1167	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1168	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1169
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1170	xs:boolean("1") eq xs:boolean("true")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1171
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1172
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1173	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1174
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1175	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1176
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1177
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1178	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1179	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1180	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1181	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1182	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-012.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1183
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1184	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1185
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1186	test_op_boolean_equal_more_args_013
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1187
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1188	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1189
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1190	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1191	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1192	(: Test: op-boolean-equal-more-args-013.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1193	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1194	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1195	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1196	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1197
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1198	xs:boolean("0") eq xs:boolean("true")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1199
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1200
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1201	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1202
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1203	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1204
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1205
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1206	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1207	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1208	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1209	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1210	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-013.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1211
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1212	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1213
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1214	test_op_boolean_equal_more_args_014
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1215
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1216	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1217
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1218	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1219	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1220	(: Test: op-boolean-equal-more-args-014.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1221	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1222	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1223	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1224	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1225
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1226	xs:boolean("true") eq xs:boolean("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1227
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1228
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1229	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1230
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1231	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1232
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1233
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1234	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1235	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1236	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1237	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1238	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-014.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1239
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1240	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1241
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1242	test_op_boolean_equal_more_args_015
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1243
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1244	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1245
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1246	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1247	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1248	(: Test: op-boolean-equal-more-args-015.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1249	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1250	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1251	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1252	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1253
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1254	xs:boolean("true") eq xs:boolean("0")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1255
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1256
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1257	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1258
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1259	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1260
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1261
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1262	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1263	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1264	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1265	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1266	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-015.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1267
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1268	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1269
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1270	test_op_boolean_equal_more_args_016
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1271
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1272	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1273
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1274	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1275	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1276	(: Test: op-boolean-equal-more-args-016.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1277	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1278	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1279	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1280	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1281
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1282	xs:boolean("true") eq xs:boolean("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1283
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1284
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1285	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1286
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1287	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1288
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1289
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1290	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1291	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1292	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1293	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1294	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-016.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1295
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1296	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1297
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1298	test_op_boolean_equal_more_args_017
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1299
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1300	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1301
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1302	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1303	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1304	(: Test: op-boolean-equal-more-args-017.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1305	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1306	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1307	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1308	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1309
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1310	xs:boolean("true") eq xs:boolean("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1311
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1312
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1313	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1314
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1315	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1316
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1317
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1318	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1319	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1320	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1321	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1322	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-017.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1323
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1324	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1325
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1326	test_op_boolean_equal_more_args_018
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1327
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1328	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1329
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1330	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1331	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1332	(: Test: op-boolean-equal-more-args-018.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1333	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1334	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1335	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1336	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1337
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1338	xs:boolean("true") eq true()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1339
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1340
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1341	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1342
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1343	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1344
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1345
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1346	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1347	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1348	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1349	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1350	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-018.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1351
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1352	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1353
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1354	test_op_boolean_equal_more_args_019
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1355
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1356	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1357
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1358	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1359	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1360	(: Test: op-boolean-equal-more-args-019.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1361	(: Written By: Pulkita Tyagi :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1362	(: Date: Thu Jun 2 00:10:02 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1363	(: Purpose: To check if args of Boolean type are equal :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1364	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1365
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1366	xs:boolean("true") eq false()
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1367
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1368
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1369	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1370
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1371	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1372
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1373
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1374	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1375	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1376	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1377	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1378	'Expressions/Operators/CompExpr/ValComp/BooleanOp/BooleanEqual/op-boolean-equal-more-args-019.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1379
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1380	! !
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1381
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1382	!XQTSBooleanEqualTests class methodsFor:'documentation'!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1383
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1384	version_SVN
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1385	^ '$Id$'
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1386	! !

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Mon, 25 Jan 2016 16:35:43 +0000
changeset 298	9696f76605bd
parent 296	ea3dbc023c80
permissions	-rw-r--r--