Compiler-Tests.st 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780
  1. Smalltalk createPackage: 'Compiler-Tests'!
  2. TestCase subclass: #ASTParsingTest
  3. instanceVariableNames: ''
  4. package: 'Compiler-Tests'!
  5. !ASTParsingTest methodsFor: 'parsing'!
  6. parse: aString forClass: aClass
  7. ^ Compiler new
  8. ast: aString
  9. forClass: aClass
  10. protocol: 'test'
  11. ! !
  12. ASTParsingTest subclass: #ASTPCNodeVisitorTest
  13. instanceVariableNames: ''
  14. package: 'Compiler-Tests'!
  15. !ASTPCNodeVisitorTest methodsFor: 'factory'!
  16. astPCNodeVisitor
  17. ^ ASTPCNodeVisitor new
  18. index: 0;
  19. yourself
  20. !
  21. astPCNodeVisitorForSelector: aString
  22. ^ ASTPCNodeVisitor new
  23. selector: aString;
  24. index: 0;
  25. yourself
  26. ! !
  27. !ASTPCNodeVisitorTest methodsFor: 'tests'!
  28. testJSStatementNode
  29. | ast visitor |
  30. ast := self parse: 'foo <inlineJS: ''consolee.log(1)''>' forClass: Object.
  31. self assert: (self astPCNodeVisitor
  32. visit: ast;
  33. currentNode) isJSStatementNode
  34. !
  35. testMessageSend
  36. | ast |
  37. ast := self parse: 'foo self asString yourself. ^ self asBoolean' forClass: Object.
  38. self assert: ((self astPCNodeVisitorForSelector: 'yourself')
  39. visit: ast;
  40. currentNode) selector equals: 'yourself'
  41. !
  42. testMessageSendWithBlocks
  43. | ast |
  44. ast := self parse: 'foo true ifTrue: [ [ self asString yourself ] value. ]. ^ self asBoolean' forClass: Object.
  45. self assert: ((self astPCNodeVisitorForSelector: 'yourself')
  46. visit: ast;
  47. currentNode) selector equals: 'yourself'
  48. !
  49. testMessageSendWithInlining
  50. | ast |
  51. ast := self parse: 'foo true ifTrue: [ self asString yourself ]. ^ self asBoolean' forClass: Object.
  52. self assert: ((self astPCNodeVisitorForSelector: 'yourself')
  53. visit: ast;
  54. currentNode) selector equals: 'yourself'.
  55. ast := self parse: 'foo true ifTrue: [ self asString yourself ]. ^ self asBoolean' forClass: Object.
  56. self assert: ((self astPCNodeVisitorForSelector: 'asBoolean')
  57. visit: ast;
  58. currentNode) selector equals: 'asBoolean'
  59. !
  60. testNoMessageSend
  61. | ast |
  62. ast := self parse: 'foo ^ self' forClass: Object.
  63. self assert: (self astPCNodeVisitor
  64. visit: ast;
  65. currentNode) isNil
  66. ! !
  67. ASTParsingTest subclass: #ASTPositionTest
  68. instanceVariableNames: ''
  69. package: 'Compiler-Tests'!
  70. !ASTPositionTest methodsFor: 'tests'!
  71. testNodeAtPosition
  72. | node |
  73. node := self parse: 'yourself
  74. ^ self' forClass: Object.
  75. self assert: (node navigationNodeAt: 2@4 ifAbsent: [ nil ]) source equals: 'self'.
  76. node := self parse: 'foo
  77. true ifTrue: [ 1 ]' forClass: Object.
  78. self assert: (node navigationNodeAt: 2@7 ifAbsent: [ nil ]) selector equals: 'ifTrue:'.
  79. node := self parse: 'foo
  80. self foo; bar; baz' forClass: Object.
  81. self assert: (node navigationNodeAt: 2@8 ifAbsent: [ nil ]) selector equals: 'foo'
  82. ! !
  83. ASTParsingTest subclass: #CodeGeneratorTest
  84. instanceVariableNames: 'receiver'
  85. package: 'Compiler-Tests'!
  86. !CodeGeneratorTest methodsFor: 'accessing'!
  87. codeGeneratorClass
  88. ^ CodeGenerator
  89. ! !
  90. !CodeGeneratorTest methodsFor: 'factory'!
  91. compiler
  92. ^ Compiler new
  93. codeGeneratorClass: self codeGeneratorClass;
  94. yourself
  95. ! !
  96. !CodeGeneratorTest methodsFor: 'initialization'!
  97. setUp
  98. receiver := DoIt new
  99. !
  100. tearDown
  101. "receiver := nil"
  102. ! !
  103. !CodeGeneratorTest methodsFor: 'testing'!
  104. should: aString receiver: anObject raise: anErrorClass
  105. | method result |
  106. receiver := anObject.
  107. [ self should: [
  108. method := self compiler install: aString forClass: anObject class protocol: 'tests'.
  109. receiver perform: method selector ] raise: anErrorClass ]
  110. ensure: [ method ifNotNil: [ anObject class removeCompiledMethod: method ] ]
  111. !
  112. should: aString receiver: anObject return: aResult
  113. | method result |
  114. receiver := anObject.
  115. method := self compiler install: aString forClass: anObject class protocol: 'tests'.
  116. result := receiver perform: method selector.
  117. anObject class removeCompiledMethod: method.
  118. self assert: aResult equals: result
  119. !
  120. should: aString return: anObject
  121. ^ self
  122. should: aString
  123. receiver: receiver
  124. return: anObject
  125. ! !
  126. !CodeGeneratorTest methodsFor: 'tests'!
  127. testAssignment
  128. self should: 'foo | a | a := true ifTrue: [ 1 ]. ^ a' return: 1.
  129. self should: 'foo | a | a := false ifTrue: [ 1 ]. ^ a' return: nil.
  130. self should: 'foo | a | ^ a := true ifTrue: [ 1 ]' return: 1
  131. !
  132. testBackslashSelectors
  133. self should: '\ arg ^ 4' return: 4.
  134. self should: '\\ arg ^ 42' return: 42
  135. !
  136. testBlockReturn
  137. self should: 'foo ^ #(1 2 3) collect: [ :each | true ifTrue: [ each + 1 ] ]' return: #(2 3 4).
  138. self should: 'foo ^ #(1 2 3) collect: [ :each | false ifFalse: [ each + 1 ] ]' return: #(2 3 4).
  139. self should: 'foo ^ #(1 2 3) collect: [ :each | each odd ifTrue: [ each + 1 ] ifFalse: [ each - 1 ] ]' return: #(2 1 4).
  140. !
  141. testCascades
  142. self should: 'foo ^ Array new add: 3; add: 4; yourself' return: #(3 4)
  143. !
  144. testCascadesInDynamicArray
  145. self should: 'foo | x | x := 1. ^ {x. [x:=2] value; in: [x]}' return: #(1 2)
  146. !
  147. testCascadesInDynamicDictioary
  148. self should: 'foo | x | x := 1. ^ #{''one'' -> x. ''two'' -> ([x:=2] value; in: [x])}' return: #{'one' -> 1. 'two' -> 2}
  149. !
  150. testCascadesInSend
  151. self should: 'foo | x | x := 1. ^ Array with: x with: ([x:=2] value; in: [x])' return: #(1 2)
  152. !
  153. testCascadesWithInlining
  154. self should: 'foo ^ true class; ifTrue: [ 1 ] ifFalse: [ 2 ]' return: 1.
  155. self should: 'foo ^ false class; ifTrue: [ 1 ] ifFalse: [ 2 ]' return: 2
  156. !
  157. testDynamicArrayElementsOrdered
  158. self should: 'foo
  159. | x |
  160. x := 1.
  161. ^ { x. x := 2 }
  162. ' return: #(1 2).
  163. self should: 'foo
  164. | x |
  165. x := 1.
  166. ^ { x. true ifTrue: [ x := 2 ] }
  167. ' return: #(1 2).
  168. !
  169. testDynamicDictionaryElementsOrdered
  170. self should: 'foo
  171. | x |
  172. x := ''foo''.
  173. ^ #{ x->1. ''bar''->(true ifTrue: [ 2 ]) }
  174. ' return: #{'foo'->1. 'bar'->2}.
  175. !
  176. testDynamicDictionaryWithMoreArrows
  177. self should: 'foo ^ #{1->2->3}' return: (HashedCollection with: 1->2->3)
  178. !
  179. testGlobalVar
  180. self should: 'foo ^ eval class' return: BlockClosure.
  181. self should: 'foo ^ Math cos: 0' return: 1.
  182. self should: 'foo ^ NonExistingVar' return: nil
  183. !
  184. testInnerTemporalDependentElementsOrdered
  185. self should: 'foo
  186. | x |
  187. x := Array.
  188. ^ x with: ''foo''->x with: ''bar''->(x := 2)
  189. ' return: {'foo'->Array. 'bar'->2}.
  190. self should: 'foo
  191. | x |
  192. x := Array.
  193. ^ x with: ''foo''->x with: ''bar''->(true ifTrue: [ x := 2 ])
  194. ' return: {'foo'->Array. 'bar'->2}.
  195. self should: 'foo
  196. | x |
  197. x := 1.
  198. ^ Array with: ''foo''->x with: ''bar''->(true ifTrue: [ x := 2 ])
  199. ' return: {'foo'->1. 'bar'->2}.
  200. self should: 'foo
  201. | x |
  202. x := 1.
  203. ^ { ''foo''->x. ''bar''->(true ifTrue: [ x := 2 ]) }
  204. ' return: {'foo'->1. 'bar'->2}.
  205. self should: 'foo
  206. | x |
  207. x := 1.
  208. ^ #{ ''foo''->x. ''bar''->(true ifTrue: [ x := 2 ]) }
  209. ' return: #{'foo'->1. 'bar'->2}.
  210. !
  211. testLexicalScope
  212. self should: 'foo | a | a := 1. [ a := 2 ] value. ^ a' return: 2
  213. !
  214. testLiterals
  215. self should: 'foo ^ 1' return: 1.
  216. self should: 'foo ^ ''hello''' return: 'hello'.
  217. self should: 'foo ^ #(1 2 3 4)' return: #(1 2 3 4).
  218. self should: 'foo ^ {1. [:x | x ] value: 2. 3. [4] value}' return: #(1 2 3 4).
  219. self should: 'foo ^ true' return: true.
  220. self should: 'foo ^ false' return: false.
  221. self should: 'foo ^ #{1->2. 3->4}' return: #{1->2. 3->4}.
  222. self should: 'foo ^ #hello' return: #hello.
  223. self should: 'foo ^ $h' return: 'h'.
  224. self should: 'foo ^ -123.456' return: -123.456.
  225. self should: 'foo ^ -2.5e4' return: -25000.
  226. !
  227. testLocalReturn
  228. self should: 'foo ^ 1' return: 1.
  229. self should: 'foo ^ 1 + 1' return: 2.
  230. self should: 'foo ' return: receiver.
  231. self should: 'foo self asString' return: receiver.
  232. self should: 'foo | a b | a := 1. b := 2. ^ a + b' return: 3
  233. !
  234. testMessageSends
  235. self should: 'foo ^ 1 asString' return: '1'.
  236. self should: 'foo ^ 1 + 1' return: 2.
  237. self should: 'foo ^ 1 + 2 * 3' return: 9.
  238. self should: 'foo ^ 1 to: 3' return: #(1 2 3).
  239. self should: 'foo ^ 1 to: 5 by: 2' return: #(1 3 5)
  240. !
  241. testMistypedPragmaJSStatement
  242. self should: 'foo < inlineJS: ''return ''foo'''' >' receiver: receiver raise: ParseError
  243. !
  244. testMultipleSequences
  245. self should: 'foo | a b c | a := 2. b := 3. c := a + b. ^ c * 6' return: 30
  246. !
  247. testMutableLiterals
  248. "Mutable literals must be aliased in cascades.
  249. See https://lolg.it/amber/amber/issues/428"
  250. self
  251. should: 'foo ^ #( 1 2 ) at: 1 put: 3; yourself'
  252. return: #(3 2)
  253. !
  254. testNestedIfTrue
  255. self should: 'foo ^ true ifTrue: [ false ifFalse: [ 1 ] ]' return: 1.
  256. self should: 'foo ^ true ifTrue: [ false ifTrue: [ 1 ] ]' return: nil.
  257. self should: 'foo true ifTrue: [ false ifFalse: [ ^ 1 ] ]' return: 1.
  258. self should: 'foo true ifTrue: [ false ifTrue: [ ^ 1 ] ]' return: receiver.
  259. !
  260. testNestedSends
  261. self should: 'foo ^ (Point x: (Point x: 2 y: 3) y: 4) asString' return: (Point x: (2@3) y: 4) asString
  262. !
  263. testNonLocalReturn
  264. self should: 'foo [ ^ 1 ] value' return: 1.
  265. self should: 'foo [ ^ 1 + 1 ] value' return: 2.
  266. self should: 'foo | a b | a := 1. b := 2. [ ^ a + b ] value. self halt' return: 3.
  267. self should: 'foo [ :x | ^ x + x ] value: 4. ^ 2' return: 8
  268. !
  269. testPascalCaseGlobal
  270. self should: 'foo ^Object' return: (Smalltalk globals at: 'Object').
  271. self should: 'foo ^NonExistent' return: nil
  272. !
  273. testPragmaJSStatement
  274. self should: 'foo < inlineJS: ''return 2+3'' >' return: 5
  275. !
  276. testRootSuperSend
  277. self
  278. should: 'foo ^ super class'
  279. receiver: ProtoObject new
  280. raise: MessageNotUnderstood
  281. !
  282. testSendReceiverAndArgumentsOrdered
  283. self should: 'foo
  284. | x |
  285. x := 1.
  286. ^ Array with: x with: (true ifTrue: [ x := 2 ])
  287. ' return: #(1 2).
  288. self should: 'foo
  289. | x |
  290. x := Array.
  291. ^ x with: x with: (true ifTrue: [ x := 2 ])
  292. ' return: {Array. 2}.
  293. !
  294. testSuperSend
  295. self
  296. should: 'foo ^ super isBoolean'
  297. receiver: true
  298. return: false
  299. !
  300. testTempVariables
  301. self should: 'foo | a | ^ a' return: nil.
  302. self should: 'foo | AVariable | ^ AVariable' return: nil.
  303. self should: 'foo | a b c | ^ c' return: nil.
  304. self should: 'foo | a | [ | d | ^ d ] value' return: nil.
  305. self should: 'foo | a | a:= 1. ^ a' return: 1.
  306. self should: 'foo | AVariable | AVariable := 1. ^ AVariable' return: 1.
  307. !
  308. testThisContext
  309. self should: 'foo ^ [ thisContext ] value outerContext == thisContext' return: true
  310. !
  311. testUnknownPragma
  312. self should: 'foo < fooBar: ''return 2+3'' > | x | ^ x := 6' return: 6.
  313. self should: 'foo | x | < fooBar: ''return 2+3'' > ^ x := 6' return: 6
  314. !
  315. testifFalse
  316. self should: 'foo true ifFalse: [ ^ 1 ]' return: receiver.
  317. self should: 'foo false ifFalse: [ ^ 2 ]' return: 2.
  318. self should: 'foo ^ true ifFalse: [ 1 ]' return: nil.
  319. self should: 'foo ^ false ifFalse: [ 2 ]' return: 2.
  320. !
  321. testifFalseIfTrue
  322. self should: 'foo true ifFalse: [ ^ 1 ] ifTrue: [ ^ 2 ]' return: 2.
  323. self should: 'foo false ifFalse: [ ^ 2 ] ifTrue: [ ^1 ]' return: 2.
  324. self should: 'foo ^ true ifFalse: [ 1 ] ifTrue: [ 2 ]' return: 2.
  325. self should: 'foo ^ false ifFalse: [ 2 ] ifTrue: [ 1 ]' return: 2.
  326. !
  327. testifNil
  328. self should: 'foo ^ 1 ifNil: [ 2 ]' return: 1.
  329. self should: 'foo ^ nil ifNil: [ 2 ]' return: 2.
  330. self should: 'foo 1 ifNil: [ ^ 2 ]' return: receiver.
  331. self should: 'foo nil ifNil: [ ^ 2 ]' return: 2.
  332. !
  333. testifNilIfNotNil
  334. self should: 'foo ^ 1 ifNil: [ 2 ] ifNotNil: [ 3 ]' return: 3.
  335. self should: 'foo ^ nil ifNil: [ 2 ] ifNotNil: [ 3 ]' return: 2.
  336. self should: 'foo 1 ifNil: [ ^ 2 ] ifNotNil: [ ^3 ]' return: 3.
  337. self should: 'foo nil ifNil: [ ^ 2 ] ifNotNil: [ ^3 ]' return: 2.
  338. !
  339. testifNotNil
  340. self should: 'foo ^ 1 ifNotNil: [ 2 ]' return: 2.
  341. self should: 'foo ^ nil ifNotNil: [ 2 ]' return: nil.
  342. self should: 'foo 1 ifNotNil: [ ^ 2 ]' return: 2.
  343. self should: 'foo nil ifNotNil: [ ^ 2 ]' return: receiver.
  344. !
  345. testifNotNilWithArgument
  346. self should: 'foo ^ 1 ifNotNil: [ :val | val + 2 ]' return: 3.
  347. self should: 'foo ^ nil ifNotNil: [ :val | val + 2 ]' return: nil.
  348. self should: 'foo ^ 1 ifNil: [ 5 ] ifNotNil: [ :val | val + 2 ]' return: 3.
  349. self should: 'foo ^ nil ifNil: [ 5 ] ifNotNil: [ :val | val + 2 ]' return: 5.
  350. self should: 'foo ^ 1 ifNotNil: [ :val | val + 2 ] ifNil: [ 5 ]' return: 3.
  351. self should: 'foo ^ nil ifNotNil: [ :val | val + 2 ] ifNil: [ 5 ]' return: 5
  352. !
  353. testifTrue
  354. self should: 'foo false ifTrue: [ ^ 1 ]' return: receiver.
  355. self should: 'foo true ifTrue: [ ^ 2 ]' return: 2.
  356. self should: 'foo ^ false ifTrue: [ 1 ]' return: nil.
  357. self should: 'foo ^ true ifTrue: [ 2 ]' return: 2.
  358. !
  359. testifTrueIfFalse
  360. self should: 'foo false ifTrue: [ ^ 1 ] ifFalse: [ ^2 ]' return: 2.
  361. self should: 'foo true ifTrue: [ ^ 1 ] ifFalse: [ ^ 2 ]' return: 1.
  362. self should: 'foo ^ false ifTrue: [ 2 ] ifFalse: [ 1 ]' return: 1.
  363. self should: 'foo ^ true ifTrue: [ 2 ] ifFalse: [ 1 ]' return: 2.
  364. ! !
  365. CodeGeneratorTest subclass: #ASTInterpreterTest
  366. instanceVariableNames: ''
  367. package: 'Compiler-Tests'!
  368. !ASTInterpreterTest methodsFor: 'private'!
  369. interpret: aString receiver: anObject withArguments: aDictionary
  370. "The food is a methodNode. Interpret the sequenceNode only"
  371. | ctx ast interpreter |
  372. interpreter := ASTInterpreter new.
  373. ast := self parse: aString forClass: anObject class.
  374. ctx := AIContext new
  375. receiver: anObject;
  376. interpreter: interpreter;
  377. yourself.
  378. "Define locals for the context"
  379. ast sequenceNode ifNotNil: [ :sequence |
  380. sequence temps do: [ :each |
  381. ctx defineLocal: each ] ].
  382. aDictionary keysAndValuesDo: [ :key :value |
  383. ctx localAt: key put: value ].
  384. ^ interpreter
  385. context: ctx;
  386. node: ast;
  387. enterNode;
  388. proceed;
  389. result
  390. ! !
  391. !ASTInterpreterTest methodsFor: 'testing'!
  392. should: aString receiver: anObject return: aResult
  393. receiver := anObject.
  394. ^ self
  395. assert: (self interpret: aString receiver: receiver withArguments: #{})
  396. equals: aResult
  397. ! !
  398. ASTInterpreterTest subclass: #ASTDebuggerTest
  399. instanceVariableNames: ''
  400. package: 'Compiler-Tests'!
  401. !ASTDebuggerTest methodsFor: 'private'!
  402. interpret: aString receiver: anObject withArguments: aDictionary
  403. | ctx ast debugger |
  404. ctx := AIContext new
  405. receiver: anObject;
  406. interpreter: ASTInterpreter new;
  407. yourself.
  408. ast := self parse: aString forClass: anObject class.
  409. "Define locals for the context"
  410. ast sequenceNode ifNotNil: [ :sequence |
  411. sequence temps do: [ :each |
  412. ctx defineLocal: each ] ].
  413. aDictionary keysAndValuesDo: [ :key :value |
  414. ctx localAt: key put: value ].
  415. ctx interpreter context: ctx.
  416. ctx interpreter node: ast; enterNode.
  417. debugger := ASTDebugger context: ctx.
  418. ^ debugger
  419. proceed;
  420. result
  421. ! !
  422. CodeGeneratorTest subclass: #InliningCodeGeneratorTest
  423. instanceVariableNames: ''
  424. package: 'Compiler-Tests'!
  425. !InliningCodeGeneratorTest methodsFor: 'accessing'!
  426. codeGeneratorClass
  427. ^ InliningCodeGenerator
  428. ! !
  429. TestCase subclass: #ScopeVarTest
  430. instanceVariableNames: ''
  431. package: 'Compiler-Tests'!
  432. !ScopeVarTest methodsFor: 'tests'!
  433. testClassRefVar
  434. | node |
  435. node := VariableNode new
  436. value: 'Object';
  437. yourself.
  438. SemanticAnalyzer new
  439. pushScope: MethodLexicalScope new;
  440. visit: node.
  441. self assert: node binding isClassRefVar
  442. !
  443. testInstanceVar
  444. | node scope |
  445. node := VariableNode new
  446. value: 'bzzz';
  447. yourself.
  448. scope := MethodLexicalScope new.
  449. scope addIVar: 'bzzz'.
  450. self assert: (scope bindingFor: node) isInstanceVar
  451. !
  452. testPseudoVar
  453. | node pseudoVars |
  454. pseudoVars := #('self' 'super' 'true' 'false' 'nil').
  455. pseudoVars do: [:each |
  456. node := VariableNode new
  457. value: each;
  458. yourself.
  459. self assert: (MethodLexicalScope new bindingFor: node) isPseudoVar]
  460. !
  461. testTempVar
  462. | node scope |
  463. node := VariableNode new
  464. value: 'bzzz';
  465. yourself.
  466. scope := MethodLexicalScope new.
  467. scope addTemp: 'bzzz'.
  468. self assert: (scope bindingFor: node) isTempVar
  469. !
  470. testUnknownVar
  471. | node |
  472. node := VariableNode new
  473. value: 'bzzz';
  474. yourself.
  475. self assert: (MethodLexicalScope new bindingFor: node) isNil
  476. ! !
  477. TestCase subclass: #SemanticAnalyzerTest
  478. instanceVariableNames: 'analyzer'
  479. package: 'Compiler-Tests'!
  480. !SemanticAnalyzerTest methodsFor: 'running'!
  481. setUp
  482. analyzer := SemanticAnalyzer on: Object
  483. ! !
  484. !SemanticAnalyzerTest methodsFor: 'tests'!
  485. testAssignment
  486. | src ast |
  487. src := 'foo self := 1'.
  488. ast := Smalltalk parse: src.
  489. self should: [analyzer visit: ast] raise: InvalidAssignmentError
  490. !
  491. testNonLocalReturn
  492. | src ast |
  493. src := 'foo | a | a + 1. ^ a'.
  494. ast := Smalltalk parse: src.
  495. analyzer visit: ast.
  496. self deny: ast scope hasNonLocalReturn
  497. !
  498. testNonLocalReturn2
  499. | src ast |
  500. src := 'foo | a | a + 1. [ [ ^ a] ]'.
  501. ast := Smalltalk parse: src.
  502. analyzer visit: ast.
  503. self assert: ast scope hasNonLocalReturn
  504. !
  505. testScope
  506. | src ast |
  507. src := 'foo | a | a + 1. [ | b | b := a ]'.
  508. ast := Smalltalk parse: src.
  509. analyzer visit: ast.
  510. self deny: ast dagChildren first dagChildren last scope == ast scope.
  511. !
  512. testScope2
  513. | src ast |
  514. src := 'foo | a | a + 1. [ [ | b | b := a ] ]'.
  515. ast := Smalltalk parse: src.
  516. analyzer visit: ast.
  517. self deny: ast dagChildren first dagChildren last dagChildren first dagChildren first scope == ast scope.
  518. !
  519. testScopeLevel
  520. | src ast |
  521. src := 'foo | a | a + 1. [ [ | b | b := a ] ]'.
  522. ast := Smalltalk parse: src.
  523. analyzer visit: ast.
  524. self assert: ast scope scopeLevel equals: 1.
  525. self assert: ast dagChildren first dagChildren last dagChildren first dagChildren first scope scopeLevel equals: 3
  526. !
  527. testUnknownVariables
  528. | src ast |
  529. src := 'foo | a | b + a'.
  530. ast := Smalltalk parse: src.
  531. self should: [ analyzer visit: ast ] raise: UnknownVariableError
  532. !
  533. testUnknownVariablesWithScope
  534. | src ast |
  535. src := 'foo | a b | [ c + 1. [ a + 1. d + 1 ]]'.
  536. ast := Smalltalk parse: src.
  537. self should: [ analyzer visit: ast ] raise: UnknownVariableError
  538. !
  539. testVariableShadowing
  540. | src ast |
  541. src := 'foo | a | a + 1'.
  542. ast := Smalltalk parse: src.
  543. analyzer visit: ast
  544. !
  545. testVariableShadowing2
  546. | src ast |
  547. src := 'foo | a | a + 1. [ | a | a := 2 ]'.
  548. ast := Smalltalk parse: src.
  549. self should: [analyzer visit: ast] raise: ShadowingVariableError
  550. !
  551. testVariableShadowing3
  552. | src ast |
  553. src := 'foo | a | a + 1. [ | b | b := 2 ]'.
  554. ast := Smalltalk parse: src.
  555. analyzer visit: ast
  556. !
  557. testVariableShadowing4
  558. | src ast |
  559. src := 'foo | a | a + 1. [ [ [ | b | b := 2 ] ] ]'.
  560. ast := Smalltalk parse: src.
  561. analyzer visit: ast
  562. !
  563. testVariableShadowing5
  564. | src ast |
  565. src := 'foo | a | a + 1. [ [ [ | a | a := 2 ] ] ]'.
  566. ast := Smalltalk parse: src.
  567. self should: [analyzer visit: ast] raise: ShadowingVariableError
  568. !
  569. testVariablesLookup
  570. | src ast |
  571. src := 'foo | a | a + 1. [ | b | b := a ]'.
  572. ast := Smalltalk parse: src.
  573. analyzer visit: ast.
  574. "Binding for `a` in the message send"
  575. self assert: ast dagChildren first dagChildren first receiver binding isTempVar.
  576. self assert: ast dagChildren first dagChildren first receiver binding scope == ast scope.
  577. "Binding for `b`"
  578. self assert: ast dagChildren first dagChildren last dagChildren first dagChildren first left binding isTempVar.
  579. self assert: ast dagChildren first dagChildren last dagChildren first dagChildren first left binding scope == ast dagChildren first dagChildren last scope.
  580. ! !
  581. SemanticAnalyzerTest subclass: #AISemanticAnalyzerTest
  582. instanceVariableNames: ''
  583. package: 'Compiler-Tests'!
  584. !AISemanticAnalyzerTest methodsFor: 'running'!
  585. setUp
  586. analyzer := (AISemanticAnalyzer on: Object)
  587. context: (AIContext new
  588. defineLocal: 'local';
  589. localAt: 'local' put: 3;
  590. yourself);
  591. yourself
  592. ! !
  593. !AISemanticAnalyzerTest methodsFor: 'tests'!
  594. testContextVariables
  595. | src ast |
  596. src := 'foo | a | local + a'.
  597. ast := Smalltalk parse: src.
  598. self shouldnt: [ analyzer visit: ast ] raise: UnknownVariableError
  599. ! !