hg/stx-goodies-xmlsuite: xquery/XQuery__XQTSNumericUnaryPlusTests.st@bad21c4f64bf (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:#XQTSNumericUnaryPlusTests
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	!XQTSNumericUnaryPlusTests 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_NumericUnaryPlus_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-NumericUnaryPlus-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: No unary operator is available for xs:string. :)
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	+"a string"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	27
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	28	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	29
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	30	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	31
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	32
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	33
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	34	self shouldRaiseError: [interpreter evaluate: query].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	35	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	36
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	37	test_K_NumericUnaryPlus_10
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	38
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	39	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	40
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	41	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	42	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	43	(: Test: K-NumericUnaryPlus-10 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	44	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	45	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	46	(: Purpose: A test whose essence is: `-+-+-+-+-+-+-+-3 eq 3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	47	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	48	-+-+-+-+-+-+-+-3 eq 3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	49
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	50	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	51
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	52	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	53
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	54
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	55	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	56	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	57	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	58	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	59	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-10.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	60
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	61	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	62
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	63	test_K_NumericUnaryPlus_11
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-11 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	70	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	71	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	72	(: Purpose: A test whose essence is: `-+-+-+-+-+-++-+-++-+-+-+-+++3 eq 3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	73	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	74	-+-+-+-+-+-++-+-++-+-+-+-+++3 eq 3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	75
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	76	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	77
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	78	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	82	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	83	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	84	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	85	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-11.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	86
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	87	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	88
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	89	test_K_NumericUnaryPlus_12
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-12 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	96	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	97	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	98	(: Purpose: A test whose essence is: `+++3 eq ++3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	99	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	100	+++3 eq ++3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	101
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	102	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	108	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	109	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	110	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	111	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-12.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	112
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	113	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	114
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	115	test_K_NumericUnaryPlus_2
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	122	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	123	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	124	(: Purpose: A test whose essence is: `(+3) eq 3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	125	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	126	(+3) eq 3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	127
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	128	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	134	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	135	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	136	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	137	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	138
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	139	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	140
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	141	test_K_NumericUnaryPlus_3
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	148	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	149	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	150	(: Purpose: A test whose essence is: `(+3) eq +3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	151	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	152	(+3) eq +3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	153
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	154	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	160	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	161	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	162	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	163	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	164
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	165	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	166
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	167	test_K_NumericUnaryPlus_4
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-4 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	174	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	175	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	176	(: Purpose: A test whose essence is: `(+3) eq +(3)`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	177	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	178	(+3) eq +(3)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	179
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	180	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	186	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	187	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	188	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	189	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-4.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	190
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	191	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	192
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	193	test_K_NumericUnaryPlus_5
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-5 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	200	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	201	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	202	(: Purpose: A test whose essence is: `+(3) eq 3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	203	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	204	+(3) eq 3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	205
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	206	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	212	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	213	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	214	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	215	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-5.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	216
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	217	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	218
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	219	test_K_NumericUnaryPlus_6
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-6 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	226	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	227	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	228	(: Purpose: A test whose essence is: `+(3) eq +3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	229	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	230	+(3) eq +3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	231
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	232	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	233
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	234	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	238	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	239	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	240	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	241	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-6.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	242
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	243	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	244
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	245	test_K_NumericUnaryPlus_7
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-7 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	252	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	253	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	254	(: Purpose: A test whose essence is: `-(3) ne 3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	255	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	256	-(3) ne 3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	257
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	258	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	259
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	260	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	264	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	265	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	266	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	267	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-7.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	268
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	269	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	270
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	271	test_K_NumericUnaryPlus_8
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-8 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	278	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	279	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	280	(: Purpose: A test whose essence is: `----------3 eq 3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	281	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	282	----------3 eq 3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	283
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	284	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	290	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	291	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	292	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	293	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-8.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	294
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	295	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	296
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	297	test_K_NumericUnaryPlus_9
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	\| query result \|
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	query := '
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	(: Test: K-NumericUnaryPlus-9 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	304	(: Written by: Frans Englich :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	305	(: Date: 2006-10-05T18:29:36+02:00 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	306	(: Purpose: A test whose essence is: `+++++++++++3 eq 3`. :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	307	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	308	+++++++++++3 eq 3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	309
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	310	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	316	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	317	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	318	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	319	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/K-NumericUnaryPlus-9.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	320
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	321	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	322
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	323	test_op_numeric_unary_plusdbl1args_1
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	\| query result \|
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	query := '
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	(:Test: op-numeric-unary-plusdbl1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	330	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	331	(: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	332	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	333	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	334	(:$arg = xs:double(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	335	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	336
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	337	+(xs:double("-1.7976931348623157E308"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	338
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	342
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	345	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	346	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	347	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	348	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusdbl1args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	349
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	test_op_numeric_unary_plusdbl1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	353
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	354	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	355
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	356	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	357	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	358	(:Test: op-numeric-unary-plusdbl1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	359	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	360	(: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	361	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	362	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	363	(:$arg = xs:double(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	364	(:*******************************************************:)
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	+(xs:double("0"))
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	373	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	374	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	375	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	376	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	377	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusdbl1args-2.txt')
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	!
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_op_numeric_unary_plusdbl1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	382
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	383	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	384
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	385	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	386	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	387	(:Test: op-numeric-unary-plusdbl1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	388	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	389	(: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	390	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	391	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	392	(:$arg = xs:double(upper bound) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	395	+(xs:double("1.7976931348623157E308"))
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	402	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	403	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	404	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	405	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	406	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusdbl1args-3.txt')
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	!
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	test_op_numeric_unary_plusdec1args_1
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	\| query result \|
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	query := '
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	(:Test: op-numeric-unary-plusdec1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	417	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	418	(: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	419	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	420	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	421	(:$arg = xs:decimal(lower bound) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	424	+(xs:decimal("-999999999999999999"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	425
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	426	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	427
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	428	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	431	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	432	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	433	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	434	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	435	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusdec1args-1.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	439	test_op_numeric_unary_plusdec1args_2
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	\| query result \|
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 := '
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	(:Test: op-numeric-unary-plusdec1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	446	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	447	(: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	448	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	449	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	450	(:$arg = xs:decimal(mid range) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	453	+(xs:decimal("617375191608514839"))
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	457	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	461	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	462	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	463	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	464	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusdec1args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	465
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	466	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	467
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	468	test_op_numeric_unary_plusdec1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	469
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	470	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	471
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	472	query := '
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	(:Test: op-numeric-unary-plusdec1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	475	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	476	(: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	477	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	478	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	479	(:$arg = xs:decimal(upper bound) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	482	+(xs:decimal("999999999999999999"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	483
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	484	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	485
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	486	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	490	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	491	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	492	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	493	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusdec1args-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	494
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	495	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	496
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	497	test_op_numeric_unary_plusflt1args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	498
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	499	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	500
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	501	query := '
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	(:Test: op-numeric-unary-plusflt1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	504	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	505	(: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	506	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	507	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	508	(:$arg = xs:float(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	509	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	510
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	511	+(xs:float("-3.4028235E38"))
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	518	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	519	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	520	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	521	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	522	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusflt1args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	523
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	524	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	525
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	526	test_op_numeric_unary_plusflt1args_2
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	\| query result \|
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	query := '
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	(:Test: op-numeric-unary-plusflt1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	533	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	534	(: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	535	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	536	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	537	(:$arg = xs:float(mid range) :)
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	+(xs:float("0"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	541
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	544	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	545
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	548	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	549	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	550	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	551	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusflt1args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	552
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	553	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	554
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	555	test_op_numeric_unary_plusflt1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	556
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	557	\| query result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	560	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	561	(:Test: op-numeric-unary-plusflt1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	562	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	563	(: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	564	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	565	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	566	(:$arg = xs:float(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	567	(:*******************************************************:)
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	+(xs:float("3.4028235E38"))
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	574
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	575
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	576	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	577	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	578	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	579	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	580	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusflt1args-3.txt')
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	!
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	test_op_numeric_unary_plusint1args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	585
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	586	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	587
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	588	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	589	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	590	(:Test: op-numeric-unary-plusint1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	591	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	592	(: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	593	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	594	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	595	(:$arg = xs:int(lower bound) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	598	+(xs:int("-2147483648"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	599
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	600	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	601
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	602	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	605	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	606	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	607	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	608	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	609	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusint1args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	610
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	611	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	612
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	613	test_op_numeric_unary_plusint1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	614
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	615	\| query result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	618	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	619	(:Test: op-numeric-unary-plusint1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	620	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	621	(: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	622	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	623	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	624	(:$arg = xs:int(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	625	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	626
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	627	+(xs:int("-1873914410"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	628
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	631	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	635	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	636	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	637	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	638	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusint1args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	639
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	640	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	641
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	642	test_op_numeric_unary_plusint1args_3
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	645
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	646	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	647	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	648	(:Test: op-numeric-unary-plusint1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	649	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	650	(: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	651	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	652	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	653	(:$arg = xs:int(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	654	(:*******************************************************:)
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:int("2147483647"))
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/NumericUnaryPlus/op-numeric-unary-plusint1args-3.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_op_numeric_unary_plusintg1args_1
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: op-numeric-unary-plusintg1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	678	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	679	(: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	680	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	681	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	682	(:$arg = xs:integer(lower bound) :)
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	+(xs:integer("-999999999999999999"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	686
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	690
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	691
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	692	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	693	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	694	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	695	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	696	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusintg1args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	697
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	698	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	699
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	700	test_op_numeric_unary_plusintg1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	701
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	702	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	703
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	704	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	705	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	706	(:Test: op-numeric-unary-plusintg1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	707	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	708	(: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	709	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	710	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	711	(:$arg = xs:integer(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	712	(:*******************************************************:)
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	+(xs:integer("830993497117024304"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	715
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	716	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	717
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	718	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	719
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	720
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	721	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	722	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	723	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	724	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	725	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusintg1args-2.txt')
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	!
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_op_numeric_unary_plusintg1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	730
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	731	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	732
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	733	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	734	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	735	(:Test: op-numeric-unary-plusintg1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	736	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	737	(: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	738	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	739	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	740	(:$arg = xs:integer(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	741	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	742
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	743	+(xs:integer("999999999999999999"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	744
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	745	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	750	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	751	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	752	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	753	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	754	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusintg1args-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	755
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	756	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	757
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	758	test_op_numeric_unary_pluslng1args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	759
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	760	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	761
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	762	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	763	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	764	(:Test: op-numeric-unary-pluslng1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	765	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	766	(: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	767	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	768	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	769	(:$arg = xs:long(lower bound) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	772	+(xs:long("-92233720368547758"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	773
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	774	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	775
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	776	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	780	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	781	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	782	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	783	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-pluslng1args-1.txt')
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	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	786
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	787	test_op_numeric_unary_pluslng1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	788
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	789	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	790
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	791	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	792	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	793	(:Test: op-numeric-unary-pluslng1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	794	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	795	(: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	796	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	797	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	798	(:$arg = xs:long(mid range) :)
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	+(xs:long("-47175562203048468"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	802
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	803	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	804
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	805	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	809	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	810	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	811	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	812	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-pluslng1args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	813
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	814	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	815
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	816	test_op_numeric_unary_pluslng1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	817
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	818	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	819
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	820	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	821	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	822	(:Test: op-numeric-unary-pluslng1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	823	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	824	(: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	825	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	826	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	827	(:$arg = xs:long(upper bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	828	(:*******************************************************:)
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	+(xs:long("92233720368547758"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	831
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	832	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	833
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	834	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	835
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	838	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	839	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	840	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	841	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-pluslng1args-3.txt')
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	!
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_unary_plusnint1args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	846
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	847	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	848
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	849	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	850	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	851	(:Test: op-numeric-unary-plusnint1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	852	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	853	(: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	854	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	855	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	856	(:$arg = xs:negativeInteger(lower bound) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	859	+(xs:negativeInteger("-999999999999999999"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	860
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	861	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	862
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	863	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	864
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	865
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	866	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	867	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	868	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	869	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	870	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusnint1args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	871
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	874	test_op_numeric_unary_plusnint1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	875
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	876	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	877
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	878	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	879	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	880	(:Test: op-numeric-unary-plusnint1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	881	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	882	(: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	883	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	884	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	885	(:$arg = xs:negativeInteger(mid range) :)
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	+(xs:negativeInteger("-297014075999096793"))
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	892	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	893
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	894
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	895	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	896	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	897	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	898	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	899	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusnint1args-2.txt')
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	!
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	test_op_numeric_unary_plusnint1args_3
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	906
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	907	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	908	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	909	(:Test: op-numeric-unary-plusnint1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	910	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	911	(: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	912	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	913	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	914	(:$arg = xs:negativeInteger(upper bound) :)
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	+(xs:negativeInteger("-1"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	918
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	922
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	923
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	924	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	925	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	926	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	927	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	928	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusnint1args-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	929
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	932	test_op_numeric_unary_plusnni1args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	933
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	934	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	935
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	936	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	937	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	938	(:Test: op-numeric-unary-plusnni1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	939	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	940	(: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	941	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	942	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	943	(:$arg = xs:nonNegativeInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	944	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	945
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	946	+(xs:nonNegativeInteger("0"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	947
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	948	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	949
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	950	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	951
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	952
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	953	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	954	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	955	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	956	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	957	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusnni1args-1.txt')
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	!
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	test_op_numeric_unary_plusnni1args_2
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 result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	966	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	967	(:Test: op-numeric-unary-plusnni1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	968	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	969	(: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	970	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	971	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	972	(:$arg = xs:nonNegativeInteger(mid range) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	975	+(xs:nonNegativeInteger("303884545991464527"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	976
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	977	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	978
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	979	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	980
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	981
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	982	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	983	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	984	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	985	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	986	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusnni1args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	987
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	988	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	989
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	990	test_op_numeric_unary_plusnni1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	991
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	992	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	993
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	994	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	995	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	996	(:Test: op-numeric-unary-plusnni1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	997	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	998	(: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	999	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1000	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1001	(:$arg = xs:nonNegativeInteger(upper bound) :)
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	+(xs:nonNegativeInteger("999999999999999999"))
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/NumericUnaryPlus/op-numeric-unary-plusnni1args-3.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_unary_plusnpi1args_1
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-unary-plusnpi1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1026	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1027	(: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	1028	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1029	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1030	(:$arg = xs:nonPositiveInteger(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1031	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1032
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1033	+(xs:nonPositiveInteger("-999999999999999999"))
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1038
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1041	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1042	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1043	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1044	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusnpi1args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1045
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1046	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1047
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1048	test_op_numeric_unary_plusnpi1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1049
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1050	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1051
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1052	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1053	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1054	(:Test: op-numeric-unary-plusnpi1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1055	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1056	(: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	1057	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1058	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1059	(:$arg = xs:nonPositiveInteger(mid range) :)
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	+(xs:nonPositiveInteger("-475688437271870490"))
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1067
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1068
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1069	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1070	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1071	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1072	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1073	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusnpi1args-2.txt')
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	!
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	test_op_numeric_unary_plusnpi1args_3
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 result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1082	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1083	(:Test: op-numeric-unary-plusnpi1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1084	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1085	(: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	1086	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1087	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1088	(:$arg = xs:nonPositiveInteger(upper bound) :)
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	+(xs:nonPositiveInteger("0"))
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1095	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1098	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1099	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1100	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1101	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1102	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusnpi1args-3.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1106	test_op_numeric_unary_pluspint1args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1107
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1108	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1109
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1110	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1111	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1112	(:Test: op-numeric-unary-pluspint1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1113	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1114	(: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	1115	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1116	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1117	(:$arg = xs:positiveInteger(lower bound) :)
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	+(xs:positiveInteger("1"))
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/NumericUnaryPlus/op-numeric-unary-pluspint1args-1.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_unary_pluspint1args_2
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-unary-pluspint1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1142	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1143	(: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	1144	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1145	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1146	(:$arg = xs:positiveInteger(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1147	(:*******************************************************:)
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	+(xs:positiveInteger("52704602390610033"))
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1154
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1157	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1158	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1159	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1160	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-pluspint1args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1161
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1162	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1163
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1164	test_op_numeric_unary_pluspint1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1165
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1166	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1167
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1168	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1169	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1170	(:Test: op-numeric-unary-pluspint1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1171	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1172	(: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	1173	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1174	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1175	(:$arg = xs:positiveInteger(upper bound) :)
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	+(xs:positiveInteger("999999999999999999"))
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1182	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1183
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1184
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1185	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1186	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1187	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1188	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1189	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-pluspint1args-3.txt')
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	!
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	test_op_numeric_unary_plussht1args_1
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1196
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1197	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1198	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1199	(:Test: op-numeric-unary-plussht1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1200	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1201	(: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	1202	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1203	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1204	(:$arg = xs:short(lower bound) :)
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	+(xs:short("-32768"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1208
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1212
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1213
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1214	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1215	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1216	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1217	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1218	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plussht1args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1219
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1220	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1221
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1222	test_op_numeric_unary_plussht1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1223
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1224	\| query result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1227	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1228	(:Test: op-numeric-unary-plussht1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1229	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1230	(: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	1231	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1232	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1233	(:$arg = xs:short(mid range) :)
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	+(xs:short("-5324"))
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 xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1244	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1245	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1246	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1247	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plussht1args-2.txt')
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	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1250
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1251	test_op_numeric_unary_plussht1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1252
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1253	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1254
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1255	query := '
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	(:Test: op-numeric-unary-plussht1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1258	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1259	(: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	1260	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1261	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1262	(:$arg = xs:short(upper bound) :)
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	+(xs:short("32767"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1266
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1267	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1268
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1269	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1273	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1274	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1275	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1276	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plussht1args-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1277
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1280	test_op_numeric_unary_plusulng1args_1
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1281
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1282	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1283
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1284	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1285	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1286	(:Test: op-numeric-unary-plusulng1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1287	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1288	(: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	1289	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1290	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1291	(:$arg = xs:unsignedLong(lower bound) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1292	(:*******************************************************:)
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	+(xs:unsignedLong("0"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1295
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1296	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1297
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1298	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1299
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1300
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1301	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1302	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1303	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1304	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1305	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusulng1args-1.txt')
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	!
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_unary_plusulng1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1310
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1311	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1312
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1313	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1314	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1315	(:Test: op-numeric-unary-plusulng1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1316	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1317	(: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	1318	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1319	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1320	(:$arg = xs:unsignedLong(mid range) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1323	+(xs:unsignedLong("130747108607674654"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1324
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1325	'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1326
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1327	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1328
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1329
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1330	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1331	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1332	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1333	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1334	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusulng1args-2.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1335
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1336	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1337
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1338	test_op_numeric_unary_plusulng1args_3
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1339
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1340	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1341
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1342	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1343	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1344	(:Test: op-numeric-unary-plusulng1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1345	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1346	(: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	1347	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1348	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1349	(:$arg = xs:unsignedLong(upper bound) :)
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	+(xs:unsignedLong("184467440737095516"))
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1356	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1357
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1358
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1359	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1360	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1361	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1362	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1363	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plusulng1args-3.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1364
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1365	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1366
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1367	test_op_numeric_unary_plususht1args_1
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	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1370
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1371	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1372	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1373	(:Test: op-numeric-unary-plususht1args-1 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1374	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1375	(: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	1376	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1377	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1378	(:$arg = xs:unsignedShort(lower bound) :)
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	+(xs:unsignedShort("0"))
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1382
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1386
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1387
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1388	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1389	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1390	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1391	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1392	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plususht1args-1.txt')
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1393
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1396	test_op_numeric_unary_plususht1args_2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1397
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1398	\| query result \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1399
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1400	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1401	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1402	(:Test: op-numeric-unary-plususht1args-2 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1403	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1404	(: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	1405	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1406	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1407	(:$arg = xs:unsignedShort(mid range) :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1408	(:*******************************************************:)
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	+(xs:unsignedShort("44633"))
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	'.
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	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1415
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1416
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1417	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1418	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1419	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1420	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1421	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plususht1args-2.txt')
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	!
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	test_op_numeric_unary_plususht1args_3
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 result \|
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	query := '
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1430	(:*******************************************************:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1431	(:Test: op-numeric-unary-plususht1args-3 :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1432	(:Written By: Carmelo Montanez :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1433	(: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	1434	(:Purpose: Evaluates The "op:numeric-unary-plus" operator:)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1435	(: with the arguments set as follows: :)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1436	(:$arg = xs:unsignedShort(upper bound) :)
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1439	+(xs:unsignedShort("65535"))
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1443	self xqtsBind: 'input-context' toContentsOf: 'emptydoc'.
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1446	result := interpreter evaluate: query.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1447	self
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1448	assert: (self xqtsResultTextFromResult: result)
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1449	= (self xqtsResultTextFromFile:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1450	'Expressions/Operators/ArithExpr/NumericOpr/NumericUnaryPlus/op-numeric-unary-plususht1args-3.txt')
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
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1454	!XQTSNumericUnaryPlusTests class methodsFor:'documentation'!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1455
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1456	version_SVN
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1457	^ '$Id$'
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1458	! !

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Mon, 02 Jul 2018 08:46:01 +0200
changeset 305	bad21c4f64bf
parent 296	ea3dbc023c80
permissions	-rw-r--r--