1 IN: smalltalk.parser.tests
2 USING: smalltalk.parser smalltalk.ast
3 peg.ebnf tools.test accessors
4 io.files io.encodings.ascii kernel ;
7 test = <foreign parse-smalltalk Character>
10 [ CHAR: a ] [ "a" test-Character ] unit-test
13 test = <foreign parse-smalltalk Comment>
16 [ T{ ast-comment f "Hello, this is a comment." } ]
17 [ "\"Hello, this is a comment.\"" test-Comment ]
20 [ T{ ast-comment f "Hello, \"this\" is a comment." } ]
21 [ "\"Hello, \"\"this\"\" is a comment.\"" test-Comment ]
25 test = <foreign parse-smalltalk Identifier>
28 [ "OrderedCollection" ] [ "OrderedCollection" test-Identifier ] unit-test
31 test = <foreign parse-smalltalk Literal>
34 [ nil ] [ "nil" test-Literal ] unit-test
35 [ 123 ] [ "123" test-Literal ] unit-test
36 [ 0xdeadbeef ] [ "16rdeadbeef" test-Literal ] unit-test
37 [ -123 ] [ "-123" test-Literal ] unit-test
38 [ 1.2 ] [ "1.2" test-Literal ] unit-test
39 [ -1.24 ] [ "-1.24" test-Literal ] unit-test
40 [ 12.4e7 ] [ "12.4e7" test-Literal ] unit-test
41 [ 12.4e-7 ] [ "12.4e-7" test-Literal ] unit-test
42 [ -12.4e7 ] [ "-12.4e7" test-Literal ] unit-test
43 [ CHAR: x ] [ "$x" test-Literal ] unit-test
44 [ "Hello, world" ] [ "'Hello, world'" test-Literal ] unit-test
45 [ "Hello, 'funny' world" ] [ "'Hello, ''funny'' world'" test-Literal ] unit-test
46 [ T{ symbol f "foo" } ] [ "#foo" test-Literal ] unit-test
47 [ T{ symbol f "+" } ] [ "#+" test-Literal ] unit-test
48 [ T{ symbol f "at:put:" } ] [ "#at:put:" test-Literal ] unit-test
49 [ T{ symbol f "Hello world" } ] [ "#'Hello world'" test-Literal ] unit-test
50 [ B{ 1 2 3 4 } ] [ "#[1 2 3 4]" test-Literal ] unit-test
51 [ { nil t f } ] [ "#(nil true false)" test-Literal ] unit-test
52 [ { nil { t f } } ] [ "#(nil (true false))" test-Literal ] unit-test
53 [ T{ ast-block f { } { } { } } ] [ "[]" test-Literal ] unit-test
54 [ T{ ast-block f { "x" } { } { T{ ast-return f T{ ast-name f "x" } } } } ] [ "[ :x|^x]" test-Literal ] unit-test
55 [ T{ ast-block f { } { } { T{ ast-return f self } } } ] [ "[^self]" test-Literal ] unit-test
63 { receiver T{ ast-name { name "i" } } }
70 [ "[ :i | i print ]" test-Literal ] unit-test
77 [ "[5. self]" test-Literal ] unit-test
79 EBNF: test-FormalBlockArgumentDeclarationList
80 test = <foreign parse-smalltalk FormalBlockArgumentDeclarationList>
83 [ V{ "x" "y" "elt" } ] [ ":x :y :elt" test-FormalBlockArgumentDeclarationList ] unit-test
86 test = <foreign parse-smalltalk Operand>
89 [ { 123 15.6 { t f } } ] [ "#(123 15.6 (true false))" test-Operand ] unit-test
90 [ T{ ast-name f "x" } ] [ "x" test-Operand ] unit-test
93 test = <foreign parse-smalltalk Expression>
96 [ self ] [ "self" test-Expression ] unit-test
97 [ { 123 15.6 { t f } } ] [ "#(123 15.6 (true false))" test-Expression ] unit-test
98 [ T{ ast-name f "x" } ] [ "x" test-Expression ] unit-test
99 [ T{ ast-message-send f 5 "print" { } } ] [ "5 print" test-Expression ] unit-test
100 [ T{ ast-message-send f T{ ast-message-send f 5 "squared" { } } "print" { } } ] [ "5 squared print" test-Expression ] unit-test
101 [ T{ ast-message-send f 2 "+" { 2 } } ] [ "2+2" test-Expression ] unit-test
104 T{ ast-message-send f
105 T{ ast-message-send f 3 "factorial" { } }
107 { T{ ast-message-send f 4 "factorial" { } } }
110 [ "3 factorial + 4 factorial" test-Expression ] unit-test
113 T{ ast-message-send f
114 T{ ast-message-send f 3 "factorial" { } }
116 { T{ ast-message-send f 4 "factorial" { } } }
119 [ " 3 factorial + 4 factorial" test-Expression ] unit-test
122 T{ ast-message-send f
123 T{ ast-message-send f 3 "factorial" { } }
125 { T{ ast-message-send f 4 "factorial" { } } }
128 [ " 3 factorial + 4 factorial " test-Expression ] unit-test
131 T{ ast-message-send f
132 T{ ast-message-send f
133 T{ ast-message-send f 3 "factorial" { } }
141 [ "(3 factorial + 4) factorial" test-Expression ] unit-test
154 { selector "ifTrue:ifFalse:" }
157 T{ ast-block { body { "HI" } } }
158 T{ ast-block { body { "BYE" } } }
166 [ "((1 < 10) ifTrue: [ 'HI' ] ifFalse: [ 'BYE' ]) print" test-Expression ] unit-test
173 T{ ast-message f "sqrt" }
174 T{ ast-message f "+" { 2 } }
179 [ "12 sqrt; + 2" test-Expression ] unit-test
183 { receiver T{ ast-message-send f 12 "sqrt" } }
186 T{ ast-message f "+" { 1 } }
187 T{ ast-message f "+" { 2 } }
192 [ "12 sqrt + 1; + 2" test-Expression ] unit-test
196 { receiver T{ ast-message-send f 12 "squared" } }
199 T{ ast-message f "to:" { 100 } }
200 T{ ast-message f "sqrt" }
205 [ "12 squared to: 100; sqrt" test-Expression ] unit-test
208 T{ ast-message-send f
209 T{ ast-message-send f 1 "+" { 2 } }
214 [ "1+2*3" test-Expression ] unit-test
220 { receiver { T{ ast-block { body { "a" } } } } }
228 [ "(#(['a']) at: 0) value" test-Expression ] unit-test
230 EBNF: test-FinalStatement
231 test = <foreign parse-smalltalk FinalStatement>
234 [ T{ ast-name f "value" } ] [ "value" test-FinalStatement ] unit-test
235 [ T{ ast-return f T{ ast-name f "value" } } ] [ "^value" test-FinalStatement ] unit-test
236 [ T{ ast-assignment f T{ ast-name f "value" } 5 } ] [ "value:=5" test-FinalStatement ] unit-test
238 EBNF: test-LocalVariableDeclarationList
239 test = <foreign parse-smalltalk LocalVariableDeclarationList>
242 [ T{ ast-local-variables f { "i" "j" } } ] [ " | i j |" test-LocalVariableDeclarationList ] unit-test
245 [ T{ ast-message-send f T{ ast-name f "x" } "foo:bar:" { 1 2 } } ]
246 [ "x foo:1 bar:2" test-Expression ] unit-test
251 T{ ast-message-send f
252 T{ ast-message-send f 3 "factorial" { } }
254 { T{ ast-message-send f 4 "factorial" { } } }
260 [ "3 factorial + 4 factorial between: 10 and: 100" test-Expression ] unit-test
262 [ T{ ast-sequence f { } { 1 2 } } ] [ "1. 2" parse-smalltalk ] unit-test
264 [ T{ ast-sequence f { } { 1 2 } } ] [ "1. 2." parse-smalltalk ] unit-test
267 T{ ast-sequence f { }
271 { superclass "Object" }
277 [ "class Test [|a|]" parse-smalltalk ] unit-test
280 T{ ast-sequence f { }
284 { superclass "Object" }
290 { superclass "Test1" }
296 [ "class Test1 [|a|]. class Test2 extends Test1 [|b|]" parse-smalltalk ] unit-test
298 [ ] [ "class Foo []. Tests blah " parse-smalltalk drop ] unit-test
300 [ ] [ "vocab:smalltalk/parser/test.st" ascii file-contents parse-smalltalk drop ] unit-test