hg/stx-goodies-xmlsuite: xquery/XQuery__XQTSNumericModTests.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:#XQTSNumericModTests
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	!XQTSNumericModTests 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_K_NumericMod_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: K-NumericMod-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-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	24	(: Purpose: A test whose essence is: `(xs:decimal(6) mod xs:integer(2)) instance of xs:decimal`. :)
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:decimal(6) mod xs:integer(2)) instance of xs:decimal
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	34	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	35	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	36	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	37	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-1.txt')
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	!
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	test_K_NumericMod_10
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	44
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	45	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	46	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	47	(: Test: K-NumericMod-10 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	48	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	49	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	50	(: Purpose: A test whose essence is: `(xs:decimal(6) mod xs:double(2)) instance of xs:double`. :)
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	(xs:decimal(6) mod xs:double(2)) instance of xs:double
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 xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	60	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	61	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	62	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	63	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-10.txt')
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	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	66
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	67	test_K_NumericMod_11
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	68
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	69	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	70
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	71	query := '
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	(: Test: K-NumericMod-11 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	74	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	75	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	76	(: Purpose: A test whose essence is: `(xs:double(6) mod xs:decimal(2)) instance of xs:double`. :)
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	(xs:double(6) mod xs:decimal(2)) instance of xs:double
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	82	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	83
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	86	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	87	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	88	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	89	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-11.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	90
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	93	test_K_NumericMod_12
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	96
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	97	query := '
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	(: Test: K-NumericMod-12 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	100	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	101	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	102	(: Purpose: A test whose essence is: `(xs:double(6) mod xs:float(2)) instance of xs:double`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	103	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	104	(xs:double(6) mod xs:float(2)) instance of xs:double
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	108	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	109
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	112	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	113	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	114	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	115	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-12.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	116
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	119	test_K_NumericMod_13
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	122
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	123	query := '
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	(: Test: K-NumericMod-13 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	126	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	127	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	128	(: Purpose: A test whose essence is: `(xs:float(6) mod xs:double(2)) instance of xs:double`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	129	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	130	(xs:float(6) mod xs:double(2)) instance of xs:double
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	134	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	135
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	138	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	139	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	140	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	141	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-13.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	142
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	145	test_K_NumericMod_14
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	148
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	149	query := '
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	(: Test: K-NumericMod-14 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	152	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	153	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	154	(: Purpose: A test whose essence is: `(xs:double(6) mod xs:integer(2)) instance of xs:double`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	155	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	156	(xs:double(6) mod xs:integer(2)) instance of xs:double
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	160	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	161
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	164	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	165	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	166	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	167	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-14.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	168
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	171	test_K_NumericMod_15
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	174
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	175	query := '
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	(: Test: K-NumericMod-15 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	178	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	179	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	180	(: Purpose: A test whose essence is: `(xs:integer(6) mod xs:double(2)) instance of xs:double`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	181	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	182	(xs:integer(6) mod xs:double(2)) instance of xs:double
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	186	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	187
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	190	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	191	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	192	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	193	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-15.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	194
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	197	test_K_NumericMod_16
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	198
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	199	\| query result \|
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	query := '
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	(: Test: K-NumericMod-16 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	204	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	205	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	206	(: Purpose: A test whose essence is: `(xs:double(6) mod xs:double(2)) instance of xs:double`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	207	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	208	(xs:double(6) mod xs:double(2)) instance of xs:double
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	209
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	210	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	215	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	216	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	217	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	218	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	219	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-16.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	220
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	221	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	222
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	223	test_K_NumericMod_17
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	224
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	225	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	226
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	227	query := '
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	(: Test: K-NumericMod-17 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	230	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	231	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	232	(: Purpose: A test whose essence is: `10 mod 3 eq 1`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	233	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	234	10 mod 3 eq 1
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	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	237
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	238	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	239
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	240
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	241	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	242	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	243	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	244	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	245	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-17.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	246
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	249	test_K_NumericMod_18
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	250
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	251	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	252
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	253	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	254	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	255	(: Test: K-NumericMod-18 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	256	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	257	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	258	(: Purpose: A test whose essence is: `6 mod -2 eq 0`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	259	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	260	6 mod -2 eq 0
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	264	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	267	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	268	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	269	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	270	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	271	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-18.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	275	test_K_NumericMod_19
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	276
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	277	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	278
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	279	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	280	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	281	(: Test: K-NumericMod-19 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	282	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	283	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	284	(: Purpose: A test whose essence is: `4.5 mod 1.2 eq 0.9`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	285	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	286	4.5 mod 1.2 eq 0.9
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	290	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	294	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	295	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	296	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	297	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-19.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	298
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	299	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	300
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	301	test_K_NumericMod_2
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	304
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	305	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	306	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	307	(: Test: K-NumericMod-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	308	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	309	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	310	(: Purpose: A test whose essence is: `(xs:integer(6) mod xs:decimal(2)) instance of xs:decimal`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	311	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	312	(xs:integer(6) mod xs:decimal(2)) instance of xs:decimal
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	313
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	314	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	315
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	316	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	320	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	321	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	322	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	323	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-2.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	327	test_K_NumericMod_20
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	328
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	329	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	330
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	331	query := '
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	(: Test: K-NumericMod-20 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	334	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	335	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	336	(: Purpose: A test whose essence is: `1.23E2 mod 0.6E1 eq 3.0E0`. :)
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	1.23E2 mod 0.6E1 eq 3.0E0
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	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	341
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	342	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	343
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	344
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	345	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	346	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	347	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	348	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	349	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-20.txt')
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	test_K_NumericMod_21
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	356
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	357	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	358	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	359	(: Test: K-NumericMod-21 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	360	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	361	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	362	(: Purpose: Invalid whitespace for the "mod" operator. :)
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	10 mod3
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	371
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	372	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	373	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	374
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	375	test_K_NumericMod_22
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	378
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	379	query := '
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	(: Test: K-NumericMod-22 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	382	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	383	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	384	(: Purpose: Invalid whitespace for the "mod" operator. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	385	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	386	10mod 3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	387
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	388	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	389
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	390	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	394	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	395	!
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	test_K_NumericMod_23
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	400
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	401	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	402	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	403	(: Test: K-NumericMod-23 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	404	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	405	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	406	(: Purpose: Invalid whitespace for the "mod" operator. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	407	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	408	10mod3
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	412	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	415
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	416	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	417	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	418
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	419	test_K_NumericMod_24
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	422
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	423	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	424	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	425	(: Test: K-NumericMod-24 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	426	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	427	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	428	(: Purpose: Invoke the "mod operator with invalid operands. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	429	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	430	"3" mod "3"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	431
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	432	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	433
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	434	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
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	self shouldRaiseError: [interpreter evaluate: query].
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	441	test_K_NumericMod_25
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	444
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	445	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	446	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	447	(: Test: K-NumericMod-25 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	448	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	449	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	450	(: Purpose: Invoke the "mod operator with invalid operands. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	451	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	452	"3" mod 1.1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	453
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	456	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	457
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	458
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	459
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	460	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	461	!
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	test_K_NumericMod_26
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	464
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	465	\| query result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	468	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	469	(: Test: K-NumericMod-26 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	470	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	471	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	472	(: Purpose: A test whose essence is: `(xs:untypedAtomic("5") mod xs:double(3)) eq 2`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	473	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	474	(xs:untypedAtomic("5") mod xs:double(3)) eq 2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	475
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	479
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	482	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	483	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	484	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	485	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-26.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	486
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	487	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	488
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	489	test_K_NumericMod_27
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	490
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	491	\| query result \|
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	query := '
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	(: Test: K-NumericMod-27 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	496	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	497	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	498	(: Purpose: A test whose essence is: `(xs:decimal(5) mod xs:untypedAtomic("3")) eq 2`. :)
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	(xs:decimal(5) mod xs:untypedAtomic("3")) eq 2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	501
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	502	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	503
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	504	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	508	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	509	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	510	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	511	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-27.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	512
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	515	test_K_NumericMod_28
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	516
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	517	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	518
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	519	query := '
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	(: Test: K-NumericMod-28 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	522	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	523	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	524	(: Purpose: Operand(s) which are the empty sequence. :)
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	empty(() mod ())
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	530	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	531
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	532
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	533	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	534	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	535	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	536	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	537	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-28.txt')
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	!
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	test_K_NumericMod_29
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	544
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	545	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	546	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	547	(: Test: K-NumericMod-29 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	548	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	549	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	550	(: Purpose: Operand(s) which are the empty sequence. :)
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	empty(xs:float(3) mod ())
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	557
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	558
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	559	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	560	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	561	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	562	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	563	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-29.txt')
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	!
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	test_K_NumericMod_3
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 result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	572	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	573	(: Test: K-NumericMod-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	574	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	575	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	576	(: Purpose: A test whose essence is: `(xs:integer(6) mod xs:integer(2)) instance of xs:integer`. :)
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	(xs:integer(6) mod xs:integer(2)) instance of xs:integer
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/ArithExpr/NumericOpr/NumericMod/K-NumericMod-3.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_K_NumericMod_4
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: K-NumericMod-4 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	600	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	601	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	602	(: Purpose: A test whose essence is: `(xs:decimal(6) mod xs:decimal(2)) instance of xs:decimal`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	603	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	604	(xs:decimal(6) mod xs:decimal(2)) instance of xs:decimal
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	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	607
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	608	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	612	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	613	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	614	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	615	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-4.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	616
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_K_NumericMod_5
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: K-NumericMod-5 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	626	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	627	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	628	(: Purpose: A test whose essence is: `(xs:decimal(6) mod xs:float(2)) instance of xs:float`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	629	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	630	(xs:decimal(6) mod xs:float(2)) instance of xs:float
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	634	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	638	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	639	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	640	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	641	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-5.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	642
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	643	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	644
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	645	test_K_NumericMod_6
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	648
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	649	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	650	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	651	(: Test: K-NumericMod-6 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	652	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	653	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	654	(: Purpose: A test whose essence is: `(xs:float(6) mod xs:decimal(2)) instance of xs:float`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	655	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	656	(xs:float(6) mod xs:decimal(2)) instance of xs:float
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	657
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	658	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	659
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	660	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	663	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	664	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	665	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	666	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	667	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-6.txt')
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	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	670
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	671	test_K_NumericMod_7
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	672
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	673	\| query result \|
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	query := '
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: K-NumericMod-7 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	678	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	679	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	680	(: Purpose: A test whose essence is: `(xs:float(6) mod xs:integer(2)) instance of xs:float`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	681	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	682	(xs:float(6) mod xs:integer(2)) instance of xs:float
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	683
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	684	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	685
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	686	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	687
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	688
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	689	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	690	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	691	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	692	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	693	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-7.txt')
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	!
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	test_K_NumericMod_8
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	698
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	699	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	700
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	701	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	702	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	703	(: Test: K-NumericMod-8 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	704	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	705	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	706	(: Purpose: A test whose essence is: `(xs:integer(6) mod xs:float(2)) instance of xs:float`. :)
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	(xs:integer(6) mod xs:float(2)) instance of xs:float
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	713
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	714
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	715	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	716	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	717	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	718	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	719	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-8.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	720
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	test_K_NumericMod_9
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	724
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	725	\| query result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	728	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	729	(: Test: K-NumericMod-9 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	730	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	731	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	732	(: Purpose: A test whose essence is: `(xs:float(6) mod xs:float(2)) instance of xs:float`. :)
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	(xs:float(6) mod xs:float(2)) instance of xs:float
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	735
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	738	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	739
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	742	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	743	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	744	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	745	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/K-NumericMod-9.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	746
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	test_op_numeric_moddbl2args_1
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	\| query result \|
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	query := '
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	(:Test: op-numeric-moddbl2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	756	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	757	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	758	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	759	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	760	(:$arg1 = xs:double(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	761	(:$arg2 = xs:double(upper bound) :)
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	xs:double("-1.7976931348623157E308") mod xs:double("1.7976931348623157E308")
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	771	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	772	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	773	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	774	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	775	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-moddbl2args-1.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	779	test_op_numeric_moddec2args_1
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	782
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	783	query := '
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	(:Test: op-numeric-moddec2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	786	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	787	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	788	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	789	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	790	(:$arg1 = xs:decimal(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	791	(:$arg2 = xs:decimal(mid range) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	794	xs:decimal("-999999999999999999") mod xs:decimal("617375191608514839")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	795
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	798	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	799
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	800
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	801	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	802	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	803	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	804	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	805	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-moddec2args-1.txt')
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	!
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	test_op_numeric_moddec2args_2
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	\| query result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	814	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	815	(:Test: op-numeric-moddec2args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	816	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	817	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	818	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	819	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	820	(:$arg1 = xs:decimal(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	821	(:$arg2 = xs:decimal(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	822	(:*******************************************************:)
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	xs:decimal("-999999999999999999") mod xs:decimal("999999999999999999")
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	829
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	830
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	831	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	832	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	833	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	834	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	835	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-moddec2args-2.txt')
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	test_op_numeric_modflt2args_1
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	842
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	843	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	844	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	845	(:Test: op-numeric-modflt2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	846	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	847	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	848	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	849	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	850	(:$arg1 = xs:float(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	851	(:$arg2 = xs:float(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	852	(:*******************************************************:)
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	xs:float("-3.4028235E38") mod xs:float("3.4028235E38")
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	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	857
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	858	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	859
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	862	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	863	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	864	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	865	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modflt2args-1.txt')
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	!
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	test_op_numeric_modint2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	870
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	871	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	872
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	873	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	874	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	875	(:Test: op-numeric-modint2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	876	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	877	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	878	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	879	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	880	(:$arg1 = xs:int(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	881	(:$arg2 = xs:int(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	882	(:*******************************************************:)
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	xs:int("-2147483648") mod xs:int("2147483647")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	885
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	886	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	887
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	888	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	891	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	892	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	893	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	894	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	895	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modint2args-1.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	899	test_op_numeric_modintg2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	900
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	901	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	902
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	903	query := '
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	(:Test: op-numeric-modintg2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	906	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	907	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	908	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	909	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	910	(:$arg1 = xs:integer(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	911	(:$arg2 = xs:integer(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	912	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	913
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	914	xs:integer("-999999999999999999") mod xs:integer("830993497117024304")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	915
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	922	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	923	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	924	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	925	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modintg2args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	926
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	927	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	928
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	929	test_op_numeric_modintg2args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	930
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	931	\| query result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	934	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	935	(:Test: op-numeric-modintg2args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	936	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	937	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	938	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	939	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	940	(:$arg1 = xs:integer(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	941	(:$arg2 = xs:integer(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	942	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	943
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	944	xs:integer("-999999999999999999") mod xs:integer("999999999999999999")
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	952	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	953	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	954	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	955	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modintg2args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	956
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	957	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	958
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	959	test_op_numeric_modlng2args_1
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	962
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	963	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	964	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	965	(:Test: op-numeric-modlng2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	966	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	967	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	968	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	969	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	970	(:$arg1 = xs:long(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	971	(:$arg2 = xs:long(upper bound) :)
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:long("-92233720368547758") mod xs:long("92233720368547758")
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	979
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	982	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	983	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	984	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	985	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modlng2args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	986
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	test_op_numeric_modmix2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	990
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	991	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	992
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	993	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	994	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	995	(: Test: op-numeric-modmix2args-1.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	996	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	997	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	998	(: Purpose: Simple mod test with () as one operand should return null :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	999	(:*******************************************************:)
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	() mod 1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1002
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1008	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1011	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1012	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1013	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1014	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1015	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modmix2args-1.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1019	test_op_numeric_modmix2args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1020
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1021	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1022
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1023	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1024	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1025	(: Test: op-numeric-modmix2args-2.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1026	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1027	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1028	(: Purpose: Simple mod test pass string for second operator :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1031	1 mod "1"
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
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1039
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1040
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1041
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1042	self shouldRaiseError: [interpreter evaluate: query].
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	test_op_numeric_modmix2args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1046
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1047	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1048
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1049	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1050	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1051	(: Test: op-numeric-modmix2args-3.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1052	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1053	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1054	(: Purpose: Simple mod test, second operator cast string to integer :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1055	(:*******************************************************:)
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	1 mod xs:integer("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1058
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1064	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1067	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1068	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1069	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1070	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1071	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modmix2args-3.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1075	test_op_numeric_modmix2args_4
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1076
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1077	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1078
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1079	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1080	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1081	(: Test: op-numeric-modmix2args-4.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1082	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1083	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1084	(: Purpose: Simple mod test, second operator is a node, atomization applied :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1087	1 mod <a> 2 </a>
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
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1095
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1096
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1097	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1098	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1099	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1100	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1101	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modmix2args-4.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1102
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1105	test_op_numeric_modmix2args_5
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1106
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1107	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1108
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1109	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1110	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1111	(: Test: op-numeric-modmix2args-5.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1112	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1113	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1114	(: Purpose: Simple mod test, second operator is a node, atomization applied :)
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	1 mod <a> <b> 2 </b> </a>
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
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	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1123
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1124	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1125
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1126
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1127	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1128	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1129	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1130	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1131	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modmix2args-5.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1132
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1135	test_op_numeric_modmix2args_6
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1136
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1137	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1138
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1139	query := '
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	(: Test: op-numeric-modmix2args-6.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1142	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1143	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1144	(: Purpose: Simple mod test, second operator node which is not atomizable :)
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	1 mod <a> <b> 2</b> <c> 2</c> </a>
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1151
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1152	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1153
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1154	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	self shouldRaiseError: [interpreter evaluate: query].
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1161	test_op_numeric_modmix2args_7
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1162
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1163	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1164
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1165	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1166	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1167	(: Test: op-numeric-modmix2args-7.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1168	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1169	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1170	(: Purpose: Simple mod test, two operands are nodes :)
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	<a> 1 </a> mod <b> 2 </b>
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
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1179
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1180
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1181	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1182	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1183	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1184	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1185	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modmix2args-7.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1186
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1189	test_op_numeric_modmix2args_8
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1190
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1191	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1192
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1193	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1194	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1195	(: Test: op-numeric-modmix2args-8.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1196	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1197	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1198	(: Purpose: Simple mod test, second operator is a node, atomizable but not castable to integer :)
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	1 mod <a> x </a>
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
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	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1207
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1208	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1209
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1210
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	self shouldRaiseError: [interpreter evaluate: query].
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1215	test_op_numeric_modmix2args_9
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1216
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1217	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1218
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1219	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1220	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1221	(: Test: op-numeric-modmix2args-9.xq :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1222	(: Written By: Ravindranath Chennoju :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1223	(: Date: Wed Feb 2 15:17:31 2005 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1224	(: Purpose: Simple mod test pass an empty node for second operator:)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1227	1 mod <a/>
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
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	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1235
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1236	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1237
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1238
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	self shouldRaiseError: [interpreter evaluate: query].
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1243	test_op_numeric_modnni2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1244
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1245	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1246
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1247	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1248	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1249	(:Test: op-numeric-modnni2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1250	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1251	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1252	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1253	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1254	(:$arg1 = xs:nonNegativeInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1255	(:$arg2 = xs:nonNegativeInteger(mid range) :)
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	xs:nonNegativeInteger("0") mod xs:nonNegativeInteger("303884545991464527")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1259
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1263
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1264
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1265	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1266	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1267	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1268	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1269	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modnni2args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1270
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1273	test_op_numeric_modnni2args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1274
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1275	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1276
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1277	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1278	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1279	(:Test: op-numeric-modnni2args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1280	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1281	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1282	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1283	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1284	(:$arg1 = xs:nonNegativeInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1285	(:$arg2 = xs:nonNegativeInteger(upper bound) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1288	xs:nonNegativeInteger("0") mod xs:nonNegativeInteger("999999999999999999")
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	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1291
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1292	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1293
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1294
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1295	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1296	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1297	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1298	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1299	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modnni2args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1300
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1303	test_op_numeric_modpint2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1304
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1305	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1306
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1307	query := '
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	(:Test: op-numeric-modpint2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1310	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1311	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1312	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1313	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1314	(:$arg1 = xs:positiveInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1315	(:$arg2 = xs:positiveInteger(lower bound) :)
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	xs:positiveInteger("1") mod xs:positiveInteger("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1319
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1320	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1321
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1322	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1326	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1327	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1328	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1329	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modpint2args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1330
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1333	test_op_numeric_modpint2args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1334
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1335	\| query result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1338	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1339	(:Test: op-numeric-modpint2args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1340	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1341	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1342	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1343	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1344	(:$arg1 = xs:positiveInteger(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1345	(:$arg2 = xs:positiveInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1346	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1347
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1348	xs:positiveInteger("52704602390610033") mod xs:positiveInteger("1")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1349
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1350	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1355	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1356	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1357	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1358	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1359	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modpint2args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1360
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1361	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1362
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1363	test_op_numeric_modpint2args_3
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1366
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1367	query := '
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	(:Test: op-numeric-modpint2args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1370	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1371	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1372	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1373	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1374	(:$arg1 = xs:positiveInteger(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1375	(:$arg2 = xs:positiveInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1376	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1377
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1378	xs:positiveInteger("999999999999999999") mod xs:positiveInteger("1")
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1385	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1386	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1387	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1388	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1389	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modpint2args-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1390
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1391	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1392
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1393	test_op_numeric_modpint2args_4
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1394
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1395	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1396
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1397	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1398	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1399	(:Test: op-numeric-modpint2args-4 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1400	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1401	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1402	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1403	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1404	(:$arg1 = xs:positiveInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1405	(:$arg2 = xs:positiveInteger(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1406	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1407
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1408	xs:positiveInteger("1") mod xs:positiveInteger("52704602390610033")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1409
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1410	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1411
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1412	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1413
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1414
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1415	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1416	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1417	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1418	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1419	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modpint2args-4.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1420
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1421	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1422
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1423	test_op_numeric_modpint2args_5
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1424
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1425	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1426
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1427	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1428	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1429	(:Test: op-numeric-modpint2args-5 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1430	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1431	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1432	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1433	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1434	(:$arg1 = xs:positiveInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1435	(:$arg2 = xs:positiveInteger(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1436	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1437
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1438	xs:positiveInteger("1") mod xs:positiveInteger("999999999999999999")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1439
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1440	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1441
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1442	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1443
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1444
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1445	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1446	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1447	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1448	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1449	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modpint2args-5.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1450
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1451	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1452
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1453	test_op_numeric_modsht2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1454
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1455	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1456
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1457	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1458	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1459	(:Test: op-numeric-modsht2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1460	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1461	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1462	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1463	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1464	(:$arg1 = xs:short(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1465	(:$arg2 = xs:short(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1466	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1467
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1468	xs:short("-32768") mod xs:short("32767")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1469
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1470	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1471
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1472	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1473
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1474
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1475	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1476	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1477	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1478	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1479	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modsht2args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1480
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1481	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1482
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1483	test_op_numeric_modulng2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1484
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1485	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1486
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1487	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1488	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1489	(:Test: op-numeric-modulng2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1490	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1491	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1492	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1493	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1494	(:$arg1 = xs:unsignedLong(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1495	(:$arg2 = xs:unsignedLong(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1496	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1497
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1498	xs:unsignedLong("0") mod xs:unsignedLong("130747108607674654")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1499
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1500	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1501
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1502	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1503
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1504
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1505	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1506	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1507	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1508	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1509	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modulng2args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1510
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1511	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1512
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1513	test_op_numeric_modulng2args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1514
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1515	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1516
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1517	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1518	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1519	(:Test: op-numeric-modulng2args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1520	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1521	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1522	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1523	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1524	(:$arg1 = xs:unsignedLong(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1525	(:$arg2 = xs:unsignedLong(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1526	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1527
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1528	xs:unsignedLong("0") mod xs:unsignedLong("184467440737095516")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1529
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1530	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1531
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1532	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1533
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1534
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1535	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1536	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1537	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1538	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1539	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modulng2args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1540
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1541	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1542
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1543	test_op_numeric_modusht2args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1544
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1545	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1546
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1547	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1548	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1549	(:Test: op-numeric-modusht2args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1550	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1551	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1552	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1553	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1554	(:$arg1 = xs:unsignedShort(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1555	(:$arg2 = xs:unsignedShort(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1556	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1557
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1558	xs:unsignedShort("0") mod xs:unsignedShort("44633")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1559
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1560	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1561
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1562	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1563
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1564
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1565	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1566	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1567	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1568	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1569	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modusht2args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1570
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1571	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1572
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1573	test_op_numeric_modusht2args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1574
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1575	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1576
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1577	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1578	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1579	(:Test: op-numeric-modusht2args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1580	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1581	(:Date: Thu Dec 16 10:48:16 GMT-05:00 2004 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1582	(:Purpose: Evaluates The "op:numeric-mod" operator :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1583	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1584	(:$arg1 = xs:unsignedShort(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1585	(:$arg2 = xs:unsignedShort(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1586	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1587
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1588	xs:unsignedShort("0") mod xs:unsignedShort("65535")
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1589
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1590	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1591
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1592	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1593
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1594
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1595	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1596	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1597	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1598	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1599	'Expressions/Operators/ArithExpr/NumericOpr/NumericMod/op-numeric-modusht2args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1600
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1601	! !
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1602
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1603	!XQTSNumericModTests class methodsFor:'documentation'!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1604
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1605	version_SVN
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1606	^ '$Id$'
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1607	! !

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--