hg/jv-tea: compiler/extensions.st@fa42d3f1a578 (annotated)

1 18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	1	"{ Package: 'jv:tea/compiler' }"!
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	2
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	3	!RBBlockNode methodsFor:'accessing'!
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	4
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	5	returnTypeSpec
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	6	"Return the TTypeSpecNode describing the return type of the
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	7	block"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	8
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	9	^ self propertyAt: #returnTypeSpec ifAbsent: nil
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	10
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	11	"Created: / 21-08-2015 / 22:47:23 / Jan Vrany <jan.vrany@fit.cvut.cz>"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	12	! !
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	13
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	14	!RBBlockNode methodsFor:'accessing'!
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	15
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	16	returnTypeSpec: aTTypeSpecNode
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	17	"Set the TTypeSpecNode describing the return type of the block"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	18
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	19	^ self propertyAt: #returnTypeSpec put: aTTypeSpecNode
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	20
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	21	"Created: / 21-08-2015 / 22:48:55 / Jan Vrany <jan.vrany@fit.cvut.cz>"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	22	! !
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	23
3 97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	24	!RBBlockNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	25
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	26	scope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	27	^ self propertyAt: #scope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	28
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	29	"Created: / 25-08-2015 / 22:14:17 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	30	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	31
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	32	!RBBlockNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	33
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	34	scope: aTScope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	35	^ self propertyAt: #scope put: aTScope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	36
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	37	"Created: / 25-08-2015 / 22:14:33 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	38	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	39
1 18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	40	!RBMethodNode methodsFor:'accessing'!
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	41
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	42	returnTypeSpec
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	43	"Return the TTypeSpecNode describing the return type of the
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	44	method"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	45
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	46	^ self propertyAt: #returnTypeSpec ifAbsent: nil
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	47
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	48	"Created: / 21-08-2015 / 22:47:23 / Jan Vrany <jan.vrany@fit.cvut.cz>"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	49	! !
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	50
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	51	!RBMethodNode methodsFor:'accessing'!
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	52
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	53	returnTypeSpec: aTTypeSpecNode
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	54	"Set the TTypeSpecNode describing the return type of the method"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	55
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	56	^ self propertyAt: #returnTypeSpec put: aTTypeSpecNode
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	57
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	58	"Created: / 21-08-2015 / 22:48:55 / Jan Vrany <jan.vrany@fit.cvut.cz>"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	59	! !
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	60
3 97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	61	!RBMethodNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	62
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	63	scope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	64	^ self propertyAt: #scope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	65
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	66	"Created: / 25-08-2015 / 22:14:17 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	67	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	68
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	69	!RBMethodNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	70
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	71	scope: aTScope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	72	^ self propertyAt: #scope put: aTScope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	73
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	74	"Created: / 25-08-2015 / 22:14:33 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	75	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	76
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	77	!RBProgramNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	78
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	79	binding
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	80	^ self propertyAt: #binding
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	81
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	82	"Created: / 25-08-2015 / 22:15:35 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	83	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	84
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	85	!RBProgramNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	86
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	87	binding: aTBinding
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	88	self propertyAt: #binding put: aTBinding
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	89
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	90	"Created: / 25-08-2015 / 22:15:44 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	91	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	92
6 0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	93	!RBProgramNode methodsFor:'testing'!
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	94
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	95	isInlineAssembly
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	96	^false
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	97
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	98	"Created: / 02-09-2015 / 06:30:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	99	! !
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	100
9 569bf5707c7e Added support for special forms to parser and typechecker (somewhat) Jan Vrany <jan.vrany@fit.cvut.cz> parents: 8 diff changeset	101	!RBProgramNode methodsFor:'testing'!
569bf5707c7e Added support for special forms to parser and typechecker (somewhat) Jan Vrany <jan.vrany@fit.cvut.cz> parents: 8 diff changeset	102
569bf5707c7e Added support for special forms to parser and typechecker (somewhat) Jan Vrany <jan.vrany@fit.cvut.cz> parents: 8 diff changeset	103	isSpecialFormNode
569bf5707c7e Added support for special forms to parser and typechecker (somewhat) Jan Vrany <jan.vrany@fit.cvut.cz> parents: 8 diff changeset	104	"return false here; to be redefined in subclass(es)"
569bf5707c7e Added support for special forms to parser and typechecker (somewhat) Jan Vrany <jan.vrany@fit.cvut.cz> parents: 8 diff changeset	105
569bf5707c7e Added support for special forms to parser and typechecker (somewhat) Jan Vrany <jan.vrany@fit.cvut.cz> parents: 8 diff changeset	106	^ false
569bf5707c7e Added support for special forms to parser and typechecker (somewhat) Jan Vrany <jan.vrany@fit.cvut.cz> parents: 8 diff changeset	107	! !
569bf5707c7e Added support for special forms to parser and typechecker (somewhat) Jan Vrany <jan.vrany@fit.cvut.cz> parents: 8 diff changeset	108
3 97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	109	!RBProgramNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	110
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	111	scope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	112	^ self parent scope
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	113
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	114	"Created: / 25-08-2015 / 22:13:34 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	115	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	116
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	117	!RBReturnNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	118
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	119	binding
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	120	^ value binding
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	121
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	122	"Created: / 25-08-2015 / 23:38:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	123	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	124
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	125	!RBReturnNode methodsFor:'accessing'!
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	126
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	127	binding: aTBinding
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	128	self shouldNotImplement
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	129
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	130	"Created: / 25-08-2015 / 23:39:05 / Jan Vrany <jan.vrany@fit.cvut.cz>"
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	131	! !
97ee341d3e9f Initial shot of scopes & bindings and type checking. Must be rethought. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 1 diff changeset	132
6 0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	133	!RBToken methodsFor:'testing'!
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	134
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	135	isTInlineAssemblyBegin
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	136	^ false
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	137
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	138	"Created: / 02-09-2015 / 06:19:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	139	! !
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	140
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	141	!RBToken methodsFor:'testing'!
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	142
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	143	isTInlineAssemblyEnd
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	144	^ false
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	145
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	146	"Created: / 02-09-2015 / 06:19:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	147	! !
0c806a7f1888 Initial support for inline assembly Jan Vrany <jan.vrany@fit.cvut.cz> parents: 4 diff changeset	148
1 18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	149	!RBVariableNode methodsFor:'accessing'!
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	150
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	151	typeSpec
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	152	"Return the TTypeSpecNode associated with this variable node
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	153	(if this node is for variable declaration) or nil (otherwise)"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	154
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	155	^ self propertyAt: #typeSpec ifAbsent: nil
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	156
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	157	"Created: / 21-08-2015 / 21:16:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	158	! !
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	159
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	160	!RBVariableNode methodsFor:'accessing'!
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	161
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	162	typeSpec: aTTypeSpecNode
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	163	"Associate a TTypeSpecNode this variable node"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	164
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	165	^ self propertyAt: #typeSpec put: aTTypeSpecNode
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	166
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	167	"Created: / 21-08-2015 / 21:17:22 / Jan Vrany <jan.vrany@fit.cvut.cz>"
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	168	! !
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	169
4 3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	170	!RGClassDefinition methodsFor:'visiting'!
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	171
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	172	acceptVisitor: anObject
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	173	^ anObject acceptClassDefinition: self
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	174
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	175	"Created: / 29-08-2015 / 21:47:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	176	! !
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	177
8 eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	178	!RGDefinition methodsFor:'testing types'!
eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	179
eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	180	isCompilationUnit
eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	181
eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	182	^false
eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	183
eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	184	"Created: / 14-09-2015 / 10:29:41 / Jan Vrany <jan.vrany@fit.cvut.cz>"
eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	185	! !
eec72263ed75 Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation Jan Vrany <jan.vrany@fit.cvut.cz> parents: 6 diff changeset	186
4 3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	187	!RGMetaclassDefinition methodsFor:'visiting'!
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	188
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	189	acceptVisitor: anObject
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	190	^ anObject acceptMetaclassDefinition: self
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	191
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	192	"Created: / 29-08-2015 / 21:48:05 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	193	! !
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	194
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	195	!RGMethodDefinition methodsFor:'visiting'!
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	196
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	197	acceptVisitor: anObject
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	198	^ anObject acceptMethodDefinition: self
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	199
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	200	"Created: / 29-08-2015 / 21:48:33 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	201	! !
3d80069ea3e2 More work on basic infrastructure - types, bindings & compilation. Jan Vrany <jan.vrany@fit.cvut.cz> parents: 3 diff changeset	202
1 18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	203	!jv_tea_compiler class methodsFor:'documentation'!
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	204
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	205	extensionsVersion_HG
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	206
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	207	^ '$Changeset: <not expanded> $'
18b4a3b98e96 Creates subpackage jv:tea/compiler Jan Vrany <jan.vrany@fit.cvut.cz> parents: diff changeset	208	! !

author	Jan Vrany <jan.vrany@fit.cvut.cz>
	Tue, 22 Sep 2015 17:43:38 +0100
changeset 14	fa42d3f1a578
parent 9	569bf5707c7e
child 15	10a95d798b36
permissions	-rw-r--r--