Compiler-Tests.deploy.js 9.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237
  1. smalltalk.addPackage('Compiler-Tests', {});
  2. smalltalk.addClass('SemanticAnalyzerTest', smalltalk.TestCase, ['analyzer'], 'Compiler-Tests');
  3. smalltalk.addMethod(
  4. "_setUp",
  5. smalltalk.method({
  6. selector: "setUp",
  7. fn: function () {
  8. var self=this;
  9. (self['@analyzer']=smalltalk.send((smalltalk.SemanticAnalyzer || SemanticAnalyzer), "_on_", [(smalltalk.Object || Object)]));
  10. return self;}
  11. }),
  12. smalltalk.SemanticAnalyzerTest);
  13. smalltalk.addMethod(
  14. "_testAssignment",
  15. smalltalk.method({
  16. selector: "testAssignment",
  17. fn: function () {
  18. var self=this;
  19. var src=nil;
  20. var ast=nil;
  21. (src="foo self := 1");
  22. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  23. smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.InvalidAssignmentError || InvalidAssignmentError)]);
  24. return self;}
  25. }),
  26. smalltalk.SemanticAnalyzerTest);
  27. smalltalk.addMethod(
  28. "_testNonLocalReturn",
  29. smalltalk.method({
  30. selector: "testNonLocalReturn",
  31. fn: function () {
  32. var self=this;
  33. var src=nil;
  34. var ast=nil;
  35. (src="foo | a | a + 1. ^ a");
  36. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  37. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  38. smalltalk.send(self, "_deny_", [smalltalk.send(ast, "_hasNonLocalReturn", [])]);
  39. return self;}
  40. }),
  41. smalltalk.SemanticAnalyzerTest);
  42. smalltalk.addMethod(
  43. "_testNonLocalReturn2",
  44. smalltalk.method({
  45. selector: "testNonLocalReturn2",
  46. fn: function () {
  47. var self=this;
  48. var src=nil;
  49. var ast=nil;
  50. (src="foo | a | a + 1. [ [ ^ a] ]");
  51. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  52. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  53. smalltalk.send(self, "_assert_", [smalltalk.send(ast, "_hasNonLocalReturn", [])]);
  54. return self;}
  55. }),
  56. smalltalk.SemanticAnalyzerTest);
  57. smalltalk.addMethod(
  58. "_testScope",
  59. smalltalk.method({
  60. selector: "testScope",
  61. fn: function () {
  62. var self=this;
  63. var src=nil;
  64. var ast=nil;
  65. (src="foo | a | a + 1. [ | b | b := a ]");
  66. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  67. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  68. 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", [])])]);
  69. return self;}
  70. }),
  71. smalltalk.SemanticAnalyzerTest);
  72. smalltalk.addMethod(
  73. "_testScope2",
  74. smalltalk.method({
  75. selector: "testScope2",
  76. fn: function () {
  77. var self=this;
  78. var src=nil;
  79. var ast=nil;
  80. (src="foo | a | a + 1. [ [ | b | b := a ] ]");
  81. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  82. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  83. 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", [])])]);
  84. return self;}
  85. }),
  86. smalltalk.SemanticAnalyzerTest);
  87. smalltalk.addMethod(
  88. "_testScopeLevel",
  89. smalltalk.method({
  90. selector: "testScopeLevel",
  91. fn: function () {
  92. var self=this;
  93. var src=nil;
  94. var ast=nil;
  95. (src="foo | a | a + 1. [ [ | b | b := a ] ]");
  96. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  97. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  98. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(ast, "_scope", []), "_scopeLevel", []), "__eq", [(1)])]);
  99. 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)])]);
  100. return self;}
  101. }),
  102. smalltalk.SemanticAnalyzerTest);
  103. smalltalk.addMethod(
  104. "_testUnknownVariables",
  105. smalltalk.method({
  106. selector: "testUnknownVariables",
  107. fn: function () {
  108. var self=this;
  109. var src=nil;
  110. var ast=nil;
  111. (src="foo | a | b + a");
  112. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  113. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  114. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(ast, "_scope", []), "_unknownVariables", []), "__eq", [["b"]])]);
  115. return self;}
  116. }),
  117. smalltalk.SemanticAnalyzerTest);
  118. smalltalk.addMethod(
  119. "_testUnknownVariablesWithScope",
  120. smalltalk.method({
  121. selector: "testUnknownVariablesWithScope",
  122. fn: function () {
  123. var self=this;
  124. var src=nil;
  125. var ast=nil;
  126. (src="foo | a b | [ c + 1. [ a + 1. d + 1 ]]");
  127. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  128. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  129. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(ast, "_scope", []), "_unknownVariables", []), "__eq", [["c", "d"]])]);
  130. return self;}
  131. }),
  132. smalltalk.SemanticAnalyzerTest);
  133. smalltalk.addMethod(
  134. "_testVariableShadowing",
  135. smalltalk.method({
  136. selector: "testVariableShadowing",
  137. fn: function () {
  138. var self=this;
  139. var src=nil;
  140. var ast=nil;
  141. (src="foo | a | a + 1");
  142. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  143. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  144. return self;}
  145. }),
  146. smalltalk.SemanticAnalyzerTest);
  147. smalltalk.addMethod(
  148. "_testVariableShadowing2",
  149. smalltalk.method({
  150. selector: "testVariableShadowing2",
  151. fn: function () {
  152. var self=this;
  153. var src=nil;
  154. var ast=nil;
  155. (src="foo | a | a + 1. [ | a | a := 2 ]");
  156. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  157. smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.ShadowingVariableError || ShadowingVariableError)]);
  158. return self;}
  159. }),
  160. smalltalk.SemanticAnalyzerTest);
  161. smalltalk.addMethod(
  162. "_testVariableShadowing3",
  163. smalltalk.method({
  164. selector: "testVariableShadowing3",
  165. fn: function () {
  166. var self=this;
  167. var src=nil;
  168. var ast=nil;
  169. (src="foo | a | a + 1. [ | b | b := 2 ]");
  170. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  171. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  172. return self;}
  173. }),
  174. smalltalk.SemanticAnalyzerTest);
  175. smalltalk.addMethod(
  176. "_testVariableShadowing4",
  177. smalltalk.method({
  178. selector: "testVariableShadowing4",
  179. fn: function () {
  180. var self=this;
  181. var src=nil;
  182. var ast=nil;
  183. (src="foo | a | a + 1. [ [ [ | b | b := 2 ] ] ]");
  184. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  185. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  186. return self;}
  187. }),
  188. smalltalk.SemanticAnalyzerTest);
  189. smalltalk.addMethod(
  190. "_testVariableShadowing5",
  191. smalltalk.method({
  192. selector: "testVariableShadowing5",
  193. fn: function () {
  194. var self=this;
  195. var src=nil;
  196. var ast=nil;
  197. (src="foo | a | a + 1. [ [ [ | a | a := 2 ] ] ]");
  198. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  199. smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.ShadowingVariableError || ShadowingVariableError)]);
  200. return self;}
  201. }),
  202. smalltalk.SemanticAnalyzerTest);
  203. smalltalk.addMethod(
  204. "_testVariablesLookup",
  205. smalltalk.method({
  206. selector: "testVariablesLookup",
  207. fn: function () {
  208. var self=this;
  209. var src=nil;
  210. var ast=nil;
  211. (src="foo | a | a + 1. [ | b | b := a ]");
  212. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  213. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  214. 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", [])]);
  215. 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", [])])]);
  216. 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", [])]);
  217. 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", [])])]);
  218. return self;}
  219. }),
  220. smalltalk.SemanticAnalyzerTest);