Compiler-Tests.deploy.js 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327
  1. smalltalk.addPackage('Compiler-Tests', {});
  2. smalltalk.addClass('IRASTTranslatorTest', smalltalk.TestCase, [], 'Compiler-Tests');
  3. smalltalk.addMethod(
  4. "_testIRMethod",
  5. smalltalk.method({
  6. selector: "testIRMethod",
  7. fn: function (){
  8. var self=this;
  9. return self;}
  10. }),
  11. smalltalk.IRASTTranslatorTest);
  12. smalltalk.addClass('ScopeVarTest', smalltalk.TestCase, [], 'Compiler-Tests');
  13. smalltalk.addMethod(
  14. "_testClassRefVar",
  15. smalltalk.method({
  16. selector: "testClassRefVar",
  17. fn: function (){
  18. var self=this;
  19. var node=nil;
  20. (node=(function($rec){smalltalk.send($rec, "_value_", ["Object"]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.ClassReferenceNode || ClassReferenceNode), "_new", [])));
  21. smalltalk.send(smalltalk.send((smalltalk.SemanticAnalyzer || SemanticAnalyzer), "_new", []), "_visit_", [node]);
  22. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(node, "_binding", []), "_isClassRefVar", [])]);
  23. return self;}
  24. }),
  25. smalltalk.ScopeVarTest);
  26. smalltalk.addMethod(
  27. "_testInstanceVar",
  28. smalltalk.method({
  29. selector: "testInstanceVar",
  30. fn: function (){
  31. var self=this;
  32. var node=nil;
  33. var scope=nil;
  34. (node=(function($rec){smalltalk.send($rec, "_value_", ["bzzz"]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.VariableNode || VariableNode), "_new", [])));
  35. (scope=smalltalk.send((smalltalk.MethodLexicalScope || MethodLexicalScope), "_new", []));
  36. smalltalk.send(scope, "_addIVar_", ["bzzz"]);
  37. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(scope, "_bindingFor_", [node]), "_isInstanceVar", [])]);
  38. return self;}
  39. }),
  40. smalltalk.ScopeVarTest);
  41. smalltalk.addMethod(
  42. "_testPseudoVar",
  43. smalltalk.method({
  44. selector: "testPseudoVar",
  45. fn: function (){
  46. var self=this;
  47. var node=nil;
  48. var pseudoVars=nil;
  49. (pseudoVars=["self", "super", "true", "false", "nil"]);
  50. smalltalk.send(pseudoVars, "_do_", [(function(each){(node=(function($rec){smalltalk.send($rec, "_value_", [each]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.VariableNode || VariableNode), "_new", [])));return smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send((smalltalk.MethodLexicalScope || MethodLexicalScope), "_new", []), "_bindingFor_", [node]), "_isPseudoVar", [])]);})]);
  51. return self;}
  52. }),
  53. smalltalk.ScopeVarTest);
  54. smalltalk.addMethod(
  55. "_testTempVar",
  56. smalltalk.method({
  57. selector: "testTempVar",
  58. fn: function (){
  59. var self=this;
  60. var node=nil;
  61. var scope=nil;
  62. (node=(function($rec){smalltalk.send($rec, "_value_", ["bzzz"]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.VariableNode || VariableNode), "_new", [])));
  63. (scope=smalltalk.send((smalltalk.MethodLexicalScope || MethodLexicalScope), "_new", []));
  64. smalltalk.send(scope, "_addTemp_", ["bzzz"]);
  65. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(scope, "_bindingFor_", [node]), "_isTempVar", [])]);
  66. return self;}
  67. }),
  68. smalltalk.ScopeVarTest);
  69. smalltalk.addMethod(
  70. "_testUnknownVar",
  71. smalltalk.method({
  72. selector: "testUnknownVar",
  73. fn: function (){
  74. var self=this;
  75. var node=nil;
  76. (node=(function($rec){smalltalk.send($rec, "_value_", ["bzzz"]);return smalltalk.send($rec, "_yourself", []);})(smalltalk.send((smalltalk.VariableNode || VariableNode), "_new", [])));
  77. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send((smalltalk.MethodLexicalScope || MethodLexicalScope), "_new", []), "_bindingFor_", [node]), "_isNil", [])]);
  78. return self;}
  79. }),
  80. smalltalk.ScopeVarTest);
  81. smalltalk.addClass('SemanticAnalyzerTest', smalltalk.TestCase, ['analyzer'], 'Compiler-Tests');
  82. smalltalk.addMethod(
  83. "_setUp",
  84. smalltalk.method({
  85. selector: "setUp",
  86. fn: function () {
  87. var self=this;
  88. (self['@analyzer']=smalltalk.send((smalltalk.SemanticAnalyzer || SemanticAnalyzer), "_on_", [(smalltalk.Object || Object)]));
  89. return self;}
  90. }),
  91. smalltalk.SemanticAnalyzerTest);
  92. smalltalk.addMethod(
  93. "_testAssignment",
  94. smalltalk.method({
  95. selector: "testAssignment",
  96. fn: function () {
  97. var self=this;
  98. var src=nil;
  99. var ast=nil;
  100. (src="foo self := 1");
  101. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  102. smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.InvalidAssignmentError || InvalidAssignmentError)]);
  103. return self;}
  104. }),
  105. smalltalk.SemanticAnalyzerTest);
  106. smalltalk.addMethod(
  107. "_testNonLocalReturn",
  108. smalltalk.method({
  109. selector: "testNonLocalReturn",
  110. fn: function () {
  111. var self=this;
  112. var src=nil;
  113. var ast=nil;
  114. (src="foo | a | a + 1. ^ a");
  115. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  116. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  117. smalltalk.send(self, "_deny_", [smalltalk.send(ast, "_hasNonLocalReturn", [])]);
  118. return self;}
  119. }),
  120. smalltalk.SemanticAnalyzerTest);
  121. smalltalk.addMethod(
  122. "_testNonLocalReturn2",
  123. smalltalk.method({
  124. selector: "testNonLocalReturn2",
  125. fn: function () {
  126. var self=this;
  127. var src=nil;
  128. var ast=nil;
  129. (src="foo | a | a + 1. [ [ ^ a] ]");
  130. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  131. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  132. smalltalk.send(self, "_assert_", [smalltalk.send(ast, "_hasNonLocalReturn", [])]);
  133. return self;}
  134. }),
  135. smalltalk.SemanticAnalyzerTest);
  136. smalltalk.addMethod(
  137. "_testScope",
  138. smalltalk.method({
  139. selector: "testScope",
  140. fn: function () {
  141. var self=this;
  142. var src=nil;
  143. var ast=nil;
  144. (src="foo | a | a + 1. [ | b | b := a ]");
  145. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  146. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  147. smalltalk.send(self, "_deny_", [smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast, "_nodes", []), "_first", []), "_nodes", []), "_last", []), "_scope", []), "__eq_eq", [smalltalk.send(ast, "_scope", [])])]);
  148. return self;}
  149. }),
  150. smalltalk.SemanticAnalyzerTest);
  151. smalltalk.addMethod(
  152. "_testScope2",
  153. smalltalk.method({
  154. selector: "testScope2",
  155. fn: function () {
  156. var self=this;
  157. var src=nil;
  158. var ast=nil;
  159. (src="foo | a | a + 1. [ [ | b | b := a ] ]");
  160. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  161. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  162. smalltalk.send(self, "_deny_", [smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast, "_nodes", []), "_first", []), "_nodes", []), "_last", []), "_nodes", []), "_first", []), "_nodes", []), "_first", []), "_scope", []), "__eq_eq", [smalltalk.send(ast, "_scope", [])])]);
  163. return self;}
  164. }),
  165. smalltalk.SemanticAnalyzerTest);
  166. smalltalk.addMethod(
  167. "_testScopeLevel",
  168. smalltalk.method({
  169. selector: "testScopeLevel",
  170. fn: function () {
  171. var self=this;
  172. var src=nil;
  173. var ast=nil;
  174. (src="foo | a | a + 1. [ [ | b | b := a ] ]");
  175. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  176. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  177. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(ast, "_scope", []), "_scopeLevel", []), "__eq", [(1)])]);
  178. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast, "_nodes", []), "_first", []), "_nodes", []), "_last", []), "_nodes", []), "_first", []), "_nodes", []), "_first", []), "_scope", []), "_scopeLevel", []), "__eq", [(3)])]);
  179. return self;}
  180. }),
  181. smalltalk.SemanticAnalyzerTest);
  182. smalltalk.addMethod(
  183. "_testUnknownVariables",
  184. smalltalk.method({
  185. selector: "testUnknownVariables",
  186. fn: function () {
  187. var self=this;
  188. var src=nil;
  189. var ast=nil;
  190. (src="foo | a | b + a");
  191. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  192. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  193. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(ast, "_scope", []), "_unknownVariables", []), "__eq", [["b"]])]);
  194. return self;}
  195. }),
  196. smalltalk.SemanticAnalyzerTest);
  197. smalltalk.addMethod(
  198. "_testUnknownVariablesWithScope",
  199. smalltalk.method({
  200. selector: "testUnknownVariablesWithScope",
  201. fn: function () {
  202. var self=this;
  203. var src=nil;
  204. var ast=nil;
  205. (src="foo | a b | [ c + 1. [ a + 1. d + 1 ]]");
  206. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  207. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  208. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(ast, "_scope", []), "_unknownVariables", []), "__eq", [["c", "d"]])]);
  209. return self;}
  210. }),
  211. smalltalk.SemanticAnalyzerTest);
  212. smalltalk.addMethod(
  213. "_testVariableShadowing",
  214. smalltalk.method({
  215. selector: "testVariableShadowing",
  216. fn: function () {
  217. var self=this;
  218. var src=nil;
  219. var ast=nil;
  220. (src="foo | a | a + 1");
  221. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  222. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  223. return self;}
  224. }),
  225. smalltalk.SemanticAnalyzerTest);
  226. smalltalk.addMethod(
  227. "_testVariableShadowing2",
  228. smalltalk.method({
  229. selector: "testVariableShadowing2",
  230. fn: function () {
  231. var self=this;
  232. var src=nil;
  233. var ast=nil;
  234. (src="foo | a | a + 1. [ | a | a := 2 ]");
  235. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  236. smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.ShadowingVariableError || ShadowingVariableError)]);
  237. return self;}
  238. }),
  239. smalltalk.SemanticAnalyzerTest);
  240. smalltalk.addMethod(
  241. "_testVariableShadowing3",
  242. smalltalk.method({
  243. selector: "testVariableShadowing3",
  244. fn: function () {
  245. var self=this;
  246. var src=nil;
  247. var ast=nil;
  248. (src="foo | a | a + 1. [ | b | b := 2 ]");
  249. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  250. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  251. return self;}
  252. }),
  253. smalltalk.SemanticAnalyzerTest);
  254. smalltalk.addMethod(
  255. "_testVariableShadowing4",
  256. smalltalk.method({
  257. selector: "testVariableShadowing4",
  258. fn: function () {
  259. var self=this;
  260. var src=nil;
  261. var ast=nil;
  262. (src="foo | a | a + 1. [ [ [ | b | b := 2 ] ] ]");
  263. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  264. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  265. return self;}
  266. }),
  267. smalltalk.SemanticAnalyzerTest);
  268. smalltalk.addMethod(
  269. "_testVariableShadowing5",
  270. smalltalk.method({
  271. selector: "testVariableShadowing5",
  272. fn: function () {
  273. var self=this;
  274. var src=nil;
  275. var ast=nil;
  276. (src="foo | a | a + 1. [ [ [ | a | a := 2 ] ] ]");
  277. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  278. smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.ShadowingVariableError || ShadowingVariableError)]);
  279. return self;}
  280. }),
  281. smalltalk.SemanticAnalyzerTest);
  282. smalltalk.addMethod(
  283. "_testVariablesLookup",
  284. smalltalk.method({
  285. selector: "testVariablesLookup",
  286. fn: function () {
  287. var self=this;
  288. var src=nil;
  289. var ast=nil;
  290. (src="foo | a | a + 1. [ | b | b := a ]");
  291. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  292. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  293. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast, "_nodes", []), "_first", []), "_nodes", []), "_first", []), "_receiver", []), "_binding", []), "_isTempVar", [])]);
  294. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast, "_nodes", []), "_first", []), "_nodes", []), "_first", []), "_receiver", []), "_binding", []), "_scope", []), "__eq_eq", [smalltalk.send(ast, "_scope", [])])]);
  295. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast, "_nodes", []), "_first", []), "_nodes", []), "_last", []), "_nodes", []), "_first", []), "_nodes", []), "_first", []), "_left", []), "_binding", []), "_isTempVar", [])]);
  296. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast, "_nodes", []), "_first", []), "_nodes", []), "_last", []), "_nodes", []), "_first", []), "_nodes", []), "_first", []), "_left", []), "_binding", []), "_scope", []), "__eq_eq", [smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(smalltalk.send(ast, "_nodes", []), "_first", []), "_nodes", []), "_last", []), "_scope", [])])]);
  297. return self;}
  298. }),
  299. smalltalk.SemanticAnalyzerTest);