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

241 e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1	"{ Package: 'stx:goodies/xmlsuite/xquery' }"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	2
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	3	"{ NameSpace: XQuery }"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	4
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	5	Object subclass:#CastingRules
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	6	instanceVariableNames:'rules'
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	7	classVariableNames:''
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	8	poolDictionaries:''
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	9	category:'XQuery-TypeCasting'
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	10	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	11
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	12
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	13	!CastingRules methodsFor:'accessing'!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	14
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	15	rules
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	16	rules ifNil:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	17	[
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	18	self initRules.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	19	].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	20	^ rules
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	21
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	22	"Modified: / 18-11-2009 / 00:57:43 / Jan Kurs <kursj1@fel.cvut.cz>"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	23	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	24
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	25	rules:something
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	26	rules := something.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	27	! !
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	28
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	29	!CastingRules methodsFor:'casting'!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	30
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	31	cast: atomicValue to: anotherTypeName
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	32	\| type anotherType castingRule \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	33
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	34	type := TypeFactory getType: atomicValue typeName.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	35	anotherType := TypeFactory getType: anotherTypeName.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	36
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	37	((TypeFactory current isType: type subtypeOf: TypeXSAnyAtomicType instance) and:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	38	[ TypeFactory current isType: anotherType subtypeOf: TypeXSAnyAtomicType instance]) ifFalse:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	39	[
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	40	TypeError raiseErrorString: 'casting is allowed only for simple atomic types'.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	41	].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	42
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	43	castingRule := self selectCastingRuleFor: type and: anotherType.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	44	^ castingRule cast: atomicValue to: anotherType.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	45
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	46	"Created: / 07-11-2009 / 16:19:16 / Jan Kurs <kursj1@fel.cvut.cz>"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	47	"Modified: / 21-11-2009 / 18:50:13 / Jan Kurs <kursj1@fel.cvut.cz>"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	48	!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	49
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	50	selectCastingRuleFor: type and: anotherType
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	51	self rules do:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	52	[ : rule \|
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	53	(rule accept: type and: anotherType) ifTrue:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	54	[
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	55	"/ Transcript showCR: 'selected rule: ', rule asString.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	56	^ rule
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	57	]
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	58	].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	59	self shouldNeverBeReached.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	60
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	61	"/ (self primitiveToPrimitive accept: type and: anotherType) ifTrue:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	62	"/ [
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	63	"/ ^ self primitiveToPrimitive.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	64	"/ ].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	65	"/ (self parentToDerived accept: type and: anotherType) ifTrue:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	66	"/ [
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	67	"/ ^ self parentToDerived.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	68	"/ ].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	69	"/ (self derivedToParent accept: type and: anotherType) ifTrue:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	70	"/ [
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	71	"/ ^ self derivedToParent.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	72	"/ ].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	73	"/ (self withinBranch accept: type and: anotherType) ifTrue:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	74	"/ [
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	75	"/ ^ self withinBranch.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	76	"/ ].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	77	"/ (self accrossType accept: type and: anotherType) ifTrue:
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	78	"/ [
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	79	"/ ].
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	80
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	81
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	82	self shouldNeverBeReached.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	83
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	84	"Created: / 07-11-2009 / 16:40:44 / Jan Kurs <kursj1@fel.cvut.cz>"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	85	"Modified: / 21-11-2009 / 18:34:59 / Jan Kurs <kursj1@fel.cvut.cz>"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	86	! !
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	87
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	88	!CastingRules methodsFor:'initialization'!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	89
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	90	initRules
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	91	rules := OrderedCollection new.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	92	rules add: PrimitiveToPrimitiveCasting new.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	93	rules add: ParentToDerivedCasting new.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	94	rules add: DerivedToParentCasting new.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	95	rules add: WithinBranchCasting new.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	96	rules add: CrossTypeHierarchyCasting new.
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	97
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	98	"Created: / 18-11-2009 / 00:40:33 / Jan Kurs <kursj1@fel.cvut.cz>"
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	99	! !
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	100
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	101	!CastingRules class methodsFor:'documentation'!
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	102
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	103	version_SVN
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	104	^ '$Id$'
e28ef0f20186 Branch datatypes reintegrated Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	105	! !

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