| author | Jan Vrany <jan.vrany@fit.cvut.cz> |
| Tue, 22 Sep 2015 17:43:38 +0100 | |
| changeset 14 | fa42d3f1a578 |
| parent 13 | 97090c2baa33 |
| child 16 | 17a2d1d9f205 |
| permissions | -rw-r--r-- |
|
4
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
1 |
"{ Package: 'jv:tea/compiler' }"
|
|
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
2 |
|
|
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
3 |
"{ NameSpace: Smalltalk }"
|
|
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
4 |
|
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
5 |
TestCase subclass:#TCompilerExamples |
|
4
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
6 |
instanceVariableNames:'' |
|
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
7 |
classVariableNames:'' |
|
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
8 |
poolDictionaries:'' |
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
9 |
category:'Languages-Tea-Compiler-Examples' |
|
6
0c806a7f1888
Initial support for inline assembly
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
4
diff
changeset
|
10 |
! |
|
0c806a7f1888
Initial support for inline assembly
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
4
diff
changeset
|
11 |
|
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
12 |
!TCompilerExamples class methodsFor:'asserting'! |
|
6
0c806a7f1888
Initial support for inline assembly
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
4
diff
changeset
|
13 |
|
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
14 |
isTestSelector:aSelector |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
15 |
^ (super isTestSelector:aSelector) or:[ aSelector startsWith: 'example' ] |
|
6
0c806a7f1888
Initial support for inline assembly
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
4
diff
changeset
|
16 |
|
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
17 |
"Created: / 14-09-2015 / 11:56:04 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
18 |
! ! |
|
6
0c806a7f1888
Initial support for inline assembly
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
4
diff
changeset
|
19 |
|
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
20 |
!TCompilerExamples methodsFor:'tests'! |
|
6
0c806a7f1888
Initial support for inline assembly
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
4
diff
changeset
|
21 |
|
|
13
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
22 |
example_factorialI |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
23 |
| environment unit compiler| |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
24 |
|
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
25 |
environment := TEnvironment new. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
26 |
unit := TSourceReader read:' |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
27 |
nil subclass: #FactorialI |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
28 |
category: ''t-Examples'' |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
29 |
!! |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
30 |
!!FactorialI class methodsFor:''examples''!! |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
31 |
factorialI:v <tSIntegerW> <^ tSIntegerW> |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
32 |
| result <tSIntegerW> |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
33 |
i <tSIntegerW> | |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
34 |
|
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
35 |
result := 0. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
36 |
i := v. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
37 |
|
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
38 |
[ i > 1 ] whileTrue:[ |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
39 |
result := result * i. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
40 |
i := i - 1 |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
41 |
]. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
42 |
^ result |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
43 |
!! !! |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
44 |
'. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
45 |
|
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
46 |
compiler := TCompiler new. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
47 |
compiler compile: unit in: environment. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
48 |
self halt. |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
49 |
" |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
50 |
compiler context module |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
51 |
" |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
52 |
|
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
53 |
"Created: / 19-09-2015 / 18:29:15 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
54 |
! |
|
97090c2baa33
Fixes/refactoring of scopes and bindings.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
11
diff
changeset
|
55 |
|
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
56 |
example_if |
|
8
eec72263ed75
Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
7
diff
changeset
|
57 |
| environment unit compiler| |
|
7
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
58 |
|
|
11
6d39860d0fdb
First shot on #ifTrie:ifFalse: special form
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
10
diff
changeset
|
59 |
environment := TEnvironment new. |
|
8
eec72263ed75
Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
7
diff
changeset
|
60 |
unit := TSourceReader read:' |
|
11
6d39860d0fdb
First shot on #ifTrie:ifFalse: special form
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
10
diff
changeset
|
61 |
nil subclass: #If |
|
6d39860d0fdb
First shot on #ifTrie:ifFalse: special form
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
10
diff
changeset
|
62 |
category: ''t-Examples'' |
|
7
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
63 |
!! |
|
11
6d39860d0fdb
First shot on #ifTrie:ifFalse: special form
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
10
diff
changeset
|
64 |
!!If class methodsFor:''examples''!! |
|
6d39860d0fdb
First shot on #ifTrie:ifFalse: special form
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
10
diff
changeset
|
65 |
if <^ tSIntegerW> |
|
6d39860d0fdb
First shot on #ifTrie:ifFalse: special form
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
10
diff
changeset
|
66 |
true ifTrue:[ ^ 1 ] ifFalse:[ ^ 0 ] |
|
8
eec72263ed75
Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
7
diff
changeset
|
67 |
'. |
|
7
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
68 |
|
|
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
69 |
compiler := TCompiler new. |
|
8
eec72263ed75
Introduced TEnvironment, a container object that keeps all (class) definition requiref for a compilation
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
7
diff
changeset
|
70 |
compiler compile: unit in: environment. |
|
7
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
71 |
self halt. |
|
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
72 |
" |
|
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
73 |
compiler context module |
|
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
74 |
" |
|
7556e3d41d80
Make 3 + 4 working, though the code is rather messy
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
6
diff
changeset
|
75 |
|
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
76 |
"Created: / 14-09-2015 / 12:14:27 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
11
6d39860d0fdb
First shot on #ifTrie:ifFalse: special form
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
10
diff
changeset
|
77 |
"Modified: / 15-09-2015 / 12:22:08 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
78 |
! |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
79 |
|
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
80 |
example_three_plus_four |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
81 |
| environment unit compiler| |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
82 |
|
|
10
2b9beeac547e
More work on environments...
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
83 |
environment := TEnvironment new. |
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
84 |
unit := TSourceReader read:' |
|
10
2b9beeac547e
More work on environments...
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
85 |
nil subclass: #ThreePlusFour |
|
2b9beeac547e
More work on environments...
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
86 |
category: ''t-Examples'' |
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
87 |
!! |
|
10
2b9beeac547e
More work on environments...
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
88 |
!!ThreePlusFour class methodsFor:''examples''!! |
|
9
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
89 |
threePlusFour <^ tSIntegerW> |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
90 |
^ 3 + 4 |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
91 |
|
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
92 |
!! !! |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
93 |
'. |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
94 |
|
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
95 |
compiler := TCompiler new. |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
96 |
compiler compile: unit in: environment. |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
97 |
self halt. |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
98 |
" |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
99 |
compiler context module |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
100 |
" |
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
101 |
|
|
569bf5707c7e
Added support for special forms to parser and typechecker (somewhat)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
8
diff
changeset
|
102 |
"Created: / 14-09-2015 / 11:56:57 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
10
2b9beeac547e
More work on environments...
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
9
diff
changeset
|
103 |
"Modified: / 14-09-2015 / 15:15:23 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
|
4
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
104 |
! ! |
|
3d80069ea3e2
More work on basic infrastructure - types, bindings & compilation.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff
changeset
|
105 |