hg/stx-goodies-xmlsuite: xquery/XQuery__XQTSSequenceTypeSyntaxTests.st@bad21c4f64bf (annotated)

23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1	"{ Package: 'stx:goodies/xmlsuite/xquery' }"
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	2
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	3	"{ NameSpace: XQuery }"
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	4
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	5	XQTSTestCase subclass:#XQTSSequenceTypeSyntaxTests
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	6	instanceVariableNames:''
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	7	classVariableNames:''
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	8	poolDictionaries:''
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	9	category:'XQuery-Tests-XQTS'
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	10	!
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	11
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	12
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	13	!XQTSSequenceTypeSyntaxTests methodsFor:'tests'!
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	14
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	15	test_sequence_type_1
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	16
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	17	\| query result \|
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	18
232 9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	19	query := '
23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	20	(:*******************************************************:)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	21	(:Test: sequence-type-1 :)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	22	(:Written By: Carmelo Montanez :)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	23	(:Date: March 29, 2006 :)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	24	(:Purpose: Evaluate simple sequence type using instance of :)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	25	(: and integers. :)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	26	(:*******************************************************:)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	27	(: insert-start :)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	28	declare variable $input-context1 external;
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	29	(: insert-end :)
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	30
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	31	(1,2,3) instance of xs:integer*
232 9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	32
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	33
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	34	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	35
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	36	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	37
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	38	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	39
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	40	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	41	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	42	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	43	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	44	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	45
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	46	"Modified: / 08-03-2009 / 20:19:08 / Jan Kurs <kursj1@fel.cvut.cz>"
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	47	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	48
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	49	test_sequence_type_10
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	50
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	51	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	52
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	53	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	54	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	55	(:Test: sequence-type-10 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	56	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	57	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	58	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	59	(: and integer. uses "integer?" on sequence of two integers.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	60	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	61
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	62	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	63	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	64	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	65
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	66	(1,2) castable as xs:integer?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	67
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	68	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	69
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	70	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	71
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	72	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	73
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	74	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	75	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	76	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	77	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	78	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	79
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	80	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	81
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	82	test_sequence_type_11
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	83
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	84	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	85
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	86	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	87	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	88	(:Test: sequence-type-11 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	89	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	90	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	91	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	92	(: and double. uses "double?" on sequence of one double.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	93	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	94
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	95	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	96	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	97	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	98
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	99	(1E3) castable as xs:double?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	100
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	101	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	102
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	103	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	104
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	105	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	106
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	107	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	108	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	109	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	110	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	111	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	112
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	113	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	114
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	115	test_sequence_type_12
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	116
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	117	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	118
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	119	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	120	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	121	(:Test: sequence-type-12 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	122	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	123	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	124	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	125	(: and double. uses "double?" on sequence of two doubles.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	126	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	127
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	128	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	129	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	130	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	131
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	132	(1E3,2E3) castable as xs:double?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	133
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	134	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	135
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	136	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	137
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	138	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	139
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	140	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	141	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	142	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	143	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	144	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	145
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	146	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	147
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	148	test_sequence_type_13
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	149
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	150	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	151
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	152	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	153	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	154	(:Test: sequence-type-13 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	155	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	156	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	157	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	158	(: and decimal. uses "decimal?" on sequence of one decimal.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	159	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	160
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	161	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	162	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	163	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	164
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	165	(1.2) castable as xs:decimal?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	166
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	167	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	168
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	169	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	170
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	171	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	172
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	173	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	174	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	175	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	176	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	177	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	178
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	179	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	180
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	181	test_sequence_type_14
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	182
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	183	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	184
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	185	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	186	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	187	(:Test: sequence-type-14 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	188	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	189	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	190	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	191	(: and decimal. uses "decimal?" on sequence of two decimals.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	192	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	193
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	194	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	195	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	196	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	197
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	198	(1.2,2.1) castable as xs:decimal?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	199
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	200	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	201
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	202	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	203
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	204	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	205
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	206	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	207	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	208	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	209	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	210	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	211
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	212	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	213
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	214	test_sequence_type_15
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	215
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	216	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	217
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	218	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	219	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	220	(:Test: sequence-type-15 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	221	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	222	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	223	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	224	(: and string. uses "string?" on sequence of one string.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	225	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	226
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	227	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	228	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	229	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	230
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	231	("abc") castable as xs:string?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	232
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	233	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	234
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	235	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	236
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	237	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	238
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	239	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	240	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	241	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	242	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	243	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	244
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	245	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	246
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	247	test_sequence_type_16
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	248
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	249	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	250
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	251	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	252	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	253	(:Test: sequence-type-16 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	254	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	255	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	256	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	257	(: and string. uses "string?" on sequence of two strings.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	258	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	259
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	260	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	261	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	262	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	263
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	264	("abc","def") castable as xs:string?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	265
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	266	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	267
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	268	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	269
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	270	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	271
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	272	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	273	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	274	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	275	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	276	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	277
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	278	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	279
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	280	test_sequence_type_17
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	281
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	282	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	283
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	284	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	285	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	286	(:Test: sequence-type-17 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	287	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	288	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	289	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	290	(: and integer. uses "integer?" on sequence of one string.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	291	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	292
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	293	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	294	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	295	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	296
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	297	("abc") castable as xs:integer?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	298
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	299	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	300
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	301	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	302
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	303	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	304
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	305	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	306	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	307	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	308	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	309	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	310
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	311	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	312
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	313	test_sequence_type_18
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	314
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	315	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	316
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	317	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	318	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	319	(:Test: sequence-type-18 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	320	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	321	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	322	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	323	(: and integer. uses "integer?" on sequence of two strings.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	324	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	325
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	326	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	327	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	328	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	329
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	330	("abc","def") castable as xs:integer?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	331
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	332	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	333
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	334	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	335
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	336	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	337
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	338	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	339	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	340	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	341	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	342	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	343
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	344	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	345
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	346	test_sequence_type_19
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	347
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	348	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	349
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	350	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	351	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	352	(:Test: sequence-type-19 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	353	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	354	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	355	(:Purpose: Evaluate simple sequence type using instance :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	356	(: and boolean. uses "boolean*" on sequence of two booleans.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	357	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	358
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	359	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	360	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	361	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	362
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	363	(fn:true(),fn:false()) instance of xs:boolean*
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	364
23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	365	'.
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	366
232 9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	367	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	368
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	369	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	370
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	371	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	372	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	373	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	374	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	375	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	376
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	377	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	378
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	379	test_sequence_type_2
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	380
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	381	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	382
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	383	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	384	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	385	(:Test: sequence-type-2 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	386	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	387	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	388	(:Purpose: Evaluate simple sequence type using instance of :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	389	(: and doubles. :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	390	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	391	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	392	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	393	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	394
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	395	(1E3,2E3,3E3) instance of xs:double*
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	396
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	397
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	398	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	399
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	400	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	401
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	402	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	403
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	404	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	405	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	406	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	407	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	408	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	409
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	410	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	411
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	412	test_sequence_type_20
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	413
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	414	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	415
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	416	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	417	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	418	(:Test: sequence-type-20 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	419	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	420	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	421	(:Purpose: Evaluate simple sequence type using instance :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	422	(: and boolean. uses "boolean?" on sequence of two booleans.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	423	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	424
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	425	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	426	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	427	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	428
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	429	(fn:true(),fn:false()) instance of xs:boolean?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	430
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	431	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	432
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	433	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	434
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	435	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	436
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	437	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	438	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	439	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	440	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	441	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	442
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	443	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	444
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	445	test_sequence_type_21
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	446
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	447	\| query result \|
23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	448
232 9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	449	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	450	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	451	(:Test: sequence-type-21 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	452	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	453	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	454	(:Purpose: Evaluate simple sequence type using instance :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	455	(: and boolean. uses "boolean+" on sequence of two booleans.:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	456	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	457
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	458	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	459	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	460	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	461
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	462	(fn:true(),fn:false()) instance of xs:boolean+
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	463
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	464	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	465
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	466	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	467
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	468	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	469
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	470	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	471	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	472	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	473	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	474	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	475
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	476	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	477
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	478	test_sequence_type_3
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	479
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	480	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	481
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	482	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	483	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	484	(:Test: sequence-type-3 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	485	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	486	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	487	(:Purpose: Evaluate simple sequence type using instance of :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	488	(: and decimal. :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	489	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	490	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	491	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	492	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	493
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	494	(1.1,3.2,4.5) instance of xs:decimal*
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	495
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	496
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	497	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	498
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	499	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	500
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	501	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	502
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	503	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	504	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	505	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	506	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	507	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	508
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	509	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	510
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	511	test_sequence_type_4
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	512
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	513	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	514
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	515	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	516	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	517	(:Test: sequence-type-4 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	518	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	519	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	520	(:Purpose: Evaluate simple sequence type using instance of :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	521	(: and string. :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	522	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	523	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	524	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	525	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	526
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	527	("ab","cde","fgh") instance of xs:string*
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	528
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	529
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	530	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	531
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	532	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	533
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	534	result := interpreter evaluate: query.
23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	535
232 9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	536	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	537	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	538	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	539	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	540	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	541
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	542	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	543
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	544	test_sequence_type_5
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	545
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	546	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	547
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	548	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	549	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	550	(:Test: sequence-type-5 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	551	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	552	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	553	(:Purpose: Evaluate simple sequence type using instance of :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	554	(: and strings. uses "integer*" on string sequence. :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	555	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	556	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	557	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	558	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	559
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	560	("ab","cde","fgh") instance of xs:integer*
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	561
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	562
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	563	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	564
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	565	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	566
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	567	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	568
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	569	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	570	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	571	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	572	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	573	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	574
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	575	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	576
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	577	test_sequence_type_6
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	578
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	579	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	580
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	581	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	582	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	583	(:Test: sequence-type-6 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	584	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	585	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	586	(:Purpose: Evaluate simple sequence type using instance of :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	587	(: and string. uses "integer?". :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	588	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	589	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	590	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	591	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	592
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	593	(1) instance of xs:integer?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	594
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	595
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	596	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	597
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	598	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	599
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	600	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	601
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	602	self
23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	603	assert:
232 9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	604	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	605	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	606	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	607
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	608	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	609
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	610	test_sequence_type_7
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	611
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	612	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	613
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	614	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	615	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	616	(:Test: sequence-type-7 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	617	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	618	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	619	(:Purpose: Evaluate simple sequence type using instance of :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	620	(: and integer. uses "integer?". :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	621	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	622	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	623	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	624	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	625
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	626	(1,2) instance of xs:integer?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	627
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	628
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	629	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	630
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	631	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	632
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	633	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	634
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	635	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	636	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	637	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	638	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	639	'Basics/Types/SequenceTypeSyntax/falsevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	640
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	641	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	642
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	643	test_sequence_type_8
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	644
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	645	\| query result \|
23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	646
232 9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	647	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	648	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	649	(:Test: sequence-type-8 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	650	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	651	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	652	(:Purpose: Evaluate simple sequence type using instance of :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	653	(: and integer. uses "integer+". :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	654	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	655	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	656	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	657	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	658
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	659	(1,2) instance of xs:integer+
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	660
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	661	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	662
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	663	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	664
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	665	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	666
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	667	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	668	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	669	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	670	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	671	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	672
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	673	!
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	674
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	675	test_sequence_type_9
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	676
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	677	\| query result \|
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	678
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	679	query := '
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	680	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	681	(:Test: sequence-type-9 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	682	(:Written By: Carmelo Montanez :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	683	(:Date: March 29, 2006 :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	684	(:Purpose: Evaluate simple sequence type using castable :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	685	(: and integer. uses "integer?". :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	686	(:*******************************************************:)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	687
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	688	(: insert-start :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	689	declare variable $input-context1 external;
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	690	(: insert-end :)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	691
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	692	(2) castable as xs:integer?
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	693
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	694	'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	695
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	696	self xqtxBind: 'input-context1' toContentsOf: 'emptydoc'.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	697
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	698	result := interpreter evaluate: query.
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	699
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	700	self
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	701	assert:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	702	(self xqtsResultTextFromResult: result)
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	703	= (self xqtsResultTextFromFile:
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	704	'Basics/Types/SequenceTypeSyntax/truevalue.txt')
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	705
23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	706	! !
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	707
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	708	!XQTSSequenceTypeSyntaxTests class methodsFor:'documentation'!
6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	709
232 9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	710	version_SVN
9d8fd28b99b0 branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: 23 diff changeset	711	^ '$Id$'
23 6fbb595a44bc added basic support for XQTS test suite Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	712	! !

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