1
0

Compiler-Tests.deploy.js 8.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220
  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. "_testUnknownVariables",
  89. smalltalk.method({
  90. selector: "testUnknownVariables",
  91. fn: function () {
  92. var self=this;
  93. var src=nil;
  94. var ast=nil;
  95. (src="foo | a | 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", []), "_unknownVariables", []), "__eq", [["b"]])]);
  99. return self;}
  100. }),
  101. smalltalk.SemanticAnalyzerTest);
  102. smalltalk.addMethod(
  103. "_testUnknownVariablesWithScope",
  104. smalltalk.method({
  105. selector: "testUnknownVariablesWithScope",
  106. fn: function () {
  107. var self=this;
  108. var src=nil;
  109. var ast=nil;
  110. (src="foo | a b | [ c + 1. [ a + 1. d + 1 ]]");
  111. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  112. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  113. smalltalk.send(self, "_assert_", [smalltalk.send(smalltalk.send(smalltalk.send(ast, "_scope", []), "_unknownVariables", []), "__eq", [["c", "d"]])]);
  114. return self;}
  115. }),
  116. smalltalk.SemanticAnalyzerTest);
  117. smalltalk.addMethod(
  118. "_testVariableShadowing",
  119. smalltalk.method({
  120. selector: "testVariableShadowing",
  121. fn: function () {
  122. var self=this;
  123. var src=nil;
  124. var ast=nil;
  125. (src="foo | a | a + 1");
  126. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  127. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  128. return self;}
  129. }),
  130. smalltalk.SemanticAnalyzerTest);
  131. smalltalk.addMethod(
  132. "_testVariableShadowing2",
  133. smalltalk.method({
  134. selector: "testVariableShadowing2",
  135. fn: function () {
  136. var self=this;
  137. var src=nil;
  138. var ast=nil;
  139. (src="foo | a | a + 1. [ | a | a := 2 ]");
  140. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  141. smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.ShadowingVariableError || ShadowingVariableError)]);
  142. return self;}
  143. }),
  144. smalltalk.SemanticAnalyzerTest);
  145. smalltalk.addMethod(
  146. "_testVariableShadowing3",
  147. smalltalk.method({
  148. selector: "testVariableShadowing3",
  149. fn: function () {
  150. var self=this;
  151. var src=nil;
  152. var ast=nil;
  153. (src="foo | a | a + 1. [ | b | b := 2 ]");
  154. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  155. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  156. return self;}
  157. }),
  158. smalltalk.SemanticAnalyzerTest);
  159. smalltalk.addMethod(
  160. "_testVariableShadowing4",
  161. smalltalk.method({
  162. selector: "testVariableShadowing4",
  163. fn: function () {
  164. var self=this;
  165. var src=nil;
  166. var ast=nil;
  167. (src="foo | a | a + 1. [ [ [ | b | b := 2 ] ] ]");
  168. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  169. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  170. return self;}
  171. }),
  172. smalltalk.SemanticAnalyzerTest);
  173. smalltalk.addMethod(
  174. "_testVariableShadowing5",
  175. smalltalk.method({
  176. selector: "testVariableShadowing5",
  177. fn: function () {
  178. var self=this;
  179. var src=nil;
  180. var ast=nil;
  181. (src="foo | a | a + 1. [ [ [ | a | a := 2 ] ] ]");
  182. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  183. smalltalk.send(self, "_should_raise_", [(function(){return smalltalk.send(self['@analyzer'], "_visit_", [ast]);}), (smalltalk.ShadowingVariableError || ShadowingVariableError)]);
  184. return self;}
  185. }),
  186. smalltalk.SemanticAnalyzerTest);
  187. smalltalk.addMethod(
  188. "_testVariablesLookup",
  189. smalltalk.method({
  190. selector: "testVariablesLookup",
  191. fn: function () {
  192. var self=this;
  193. var src=nil;
  194. var ast=nil;
  195. (src="foo | a | a + 1. [ | b | b := a ]");
  196. (ast=smalltalk.send((typeof smalltalk == 'undefined' ? nil : smalltalk), "_parse_", [src]));
  197. smalltalk.send(self['@analyzer'], "_visit_", [ast]);
  198. 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", [])]);
  199. 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", [])])]);
  200. 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", [])]);
  201. 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", [])])]);
  202. return self;}
  203. }),
  204. smalltalk.SemanticAnalyzerTest);