Compiler-Interpreter.js 9.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344
  1. smalltalk.addPackage('Compiler-Interpreter', {});
  2. smalltalk.addClass('ASTInterpreter', smalltalk.NodeVisitor, ['currentNode', 'context', 'shouldReturn'], 'Compiler-Interpreter');
  3. smalltalk.addMethod(
  4. "_blockValue_",
  5. smalltalk.method({
  6. selector: "blockValue:",
  7. category: 'interpreting',
  8. fn: function (anASTBlockClosure){
  9. var self=this;
  10. var $1;
  11. $1=smalltalk.send(self,"_interpret_",[smalltalk.send(smalltalk.send(smalltalk.send(anASTBlockClosure,"_astNode",[]),"_nodes",[]),"_first",[])]);
  12. return $1;
  13. },
  14. args: ["anASTBlockClosure"],
  15. source: "blockValue: anASTBlockClosure\x0a\x09^ self interpret: anASTBlockClosure astNode nodes first",
  16. messageSends: ["interpret:", "first", "nodes", "astNode"],
  17. referencedClasses: []
  18. }),
  19. smalltalk.ASTInterpreter);
  20. smalltalk.addMethod(
  21. "_context",
  22. smalltalk.method({
  23. selector: "context",
  24. category: 'accessing',
  25. fn: function (){
  26. var self=this;
  27. return self["@context"];
  28. },
  29. args: [],
  30. source: "context\x0a\x09^ context",
  31. messageSends: [],
  32. referencedClasses: []
  33. }),
  34. smalltalk.ASTInterpreter);
  35. smalltalk.addMethod(
  36. "_context_",
  37. smalltalk.method({
  38. selector: "context:",
  39. category: 'accessing',
  40. fn: function (aMethodContext){
  41. var self=this;
  42. self["@context"]=aMethodContext;
  43. return self},
  44. args: ["aMethodContext"],
  45. source: "context: aMethodContext\x0a\x09context := aMethodContext",
  46. messageSends: [],
  47. referencedClasses: []
  48. }),
  49. smalltalk.ASTInterpreter);
  50. smalltalk.addMethod(
  51. "_initialize",
  52. smalltalk.method({
  53. selector: "initialize",
  54. category: 'initialization',
  55. fn: function (){
  56. var self=this;
  57. smalltalk.send(self,"_initialize",[],smalltalk.NodeVisitor);
  58. self["@shouldReturn"]=false;
  59. return self},
  60. args: [],
  61. source: "initialize\x0a\x09super initialize.\x0a shouldReturn := false",
  62. messageSends: ["initialize"],
  63. referencedClasses: []
  64. }),
  65. smalltalk.ASTInterpreter);
  66. smalltalk.addMethod(
  67. "_interpret_",
  68. smalltalk.method({
  69. selector: "interpret:",
  70. category: 'interpreting',
  71. fn: function (aNode){
  72. var self=this;
  73. var $1;
  74. self["@shouldReturn"]=false;
  75. $1=smalltalk.send(self,"_interpretNode_",[aNode]);
  76. return $1;
  77. },
  78. args: ["aNode"],
  79. source: "interpret: aNode\x0a\x09shouldReturn := false.\x0a ^ self interpretNode: aNode",
  80. messageSends: ["interpretNode:"],
  81. referencedClasses: []
  82. }),
  83. smalltalk.ASTInterpreter);
  84. smalltalk.addMethod(
  85. "_interpretNode_",
  86. smalltalk.method({
  87. selector: "interpretNode:",
  88. category: 'interpreting',
  89. fn: function (aNode){
  90. var self=this;
  91. var $1;
  92. self["@currentNode"]=aNode;
  93. $1=smalltalk.send(self,"_visit_",[aNode]);
  94. return $1;
  95. },
  96. args: ["aNode"],
  97. source: "interpretNode: aNode\x0a\x09currentNode := aNode.\x0a ^ self visit: aNode",
  98. messageSends: ["visit:"],
  99. referencedClasses: []
  100. }),
  101. smalltalk.ASTInterpreter);
  102. smalltalk.addMethod(
  103. "_send_to_arguments_",
  104. smalltalk.method({
  105. selector: "send:to:arguments:",
  106. category: 'interpreting',
  107. fn: function (aSelector,anObject,aCollection){
  108. var self=this;
  109. var $1;
  110. $1=smalltalk.send(anObject,"_perform_withArguments_",[aSelector,aCollection]);
  111. return $1;
  112. },
  113. args: ["aSelector", "anObject", "aCollection"],
  114. source: "send: aSelector to: anObject arguments: aCollection\x0a\x09^ anObject perform: aSelector withArguments: aCollection",
  115. messageSends: ["perform:withArguments:"],
  116. referencedClasses: []
  117. }),
  118. smalltalk.ASTInterpreter);
  119. smalltalk.addMethod(
  120. "_visitBlockNode_",
  121. smalltalk.method({
  122. selector: "visitBlockNode:",
  123. category: 'visiting',
  124. fn: function (aNode){
  125. var self=this;
  126. var $1;
  127. $1=(function(){
  128. return _st(self)._interpretNode_(_st(_st(aNode)._nodes())._first());
  129. });
  130. return $1;
  131. },
  132. args: ["aNode"],
  133. source: "visitBlockNode: aNode\x0a ^ [ self interpretNode: aNode nodes first ]",
  134. messageSends: ["interpretNode:", "first", "nodes"],
  135. referencedClasses: []
  136. }),
  137. smalltalk.ASTInterpreter);
  138. smalltalk.addMethod(
  139. "_visitReturnNode_",
  140. smalltalk.method({
  141. selector: "visitReturnNode:",
  142. category: 'visiting',
  143. fn: function (aNode){
  144. var self=this;
  145. var $1;
  146. self["@shouldReturn"]=true;
  147. $1=_st(self)._interpretNode_(_st(_st(aNode)._nodes())._first());
  148. return $1;
  149. },
  150. args: ["aNode"],
  151. source: "visitReturnNode: aNode\x0a\x09shouldReturn := true.\x0a ^ self interpretNode: aNode nodes first",
  152. messageSends: ["interpretNode:", "first", "nodes"],
  153. referencedClasses: []
  154. }),
  155. smalltalk.ASTInterpreter);
  156. smalltalk.addMethod(
  157. "_visitSendNode_",
  158. smalltalk.method({
  159. selector: "visitSendNode:",
  160. category: 'visiting',
  161. fn: function (aNode){
  162. var self=this;
  163. var $1;
  164. var receiver;
  165. var arguments;
  166. receiver=_st(self)._interpretNode_(_st(aNode)._receiver());
  167. arguments=_st(_st(aNode)._arguments())._collect_((function(each){
  168. return _st(self)._interpretNode_(each);
  169. }));
  170. $1=_st(self)._send_to_arguments_(_st(aNode)._selector(),receiver,arguments);
  171. return $1;
  172. },
  173. args: ["aNode"],
  174. source: "visitSendNode: aNode\x0a\x09\x22TODO: Handle super sends\x22\x0a\x09| receiver arguments |\x0a \x0a receiver := self interpretNode: aNode receiver.\x0a arguments := aNode arguments collect: [ :each |\x0a\x09\x09self interpretNode: each ].\x0a \x0a ^ self send: aNode selector to: receiver arguments: arguments",
  175. messageSends: ["interpretNode:", "receiver", "collect:", "arguments", "send:to:arguments:", "selector"],
  176. referencedClasses: []
  177. }),
  178. smalltalk.ASTInterpreter);
  179. smalltalk.addMethod(
  180. "_visitSequenceNode_",
  181. smalltalk.method({
  182. selector: "visitSequenceNode:",
  183. category: 'visiting',
  184. fn: function (aNode){
  185. var self=this;
  186. var $1;
  187. var $early={};
  188. try {
  189. _st(_st(_st(aNode)._nodes())._allButLast())._do_((function(each){
  190. var value;
  191. value=_st(self)._interpretNode_(each);
  192. value;
  193. if(smalltalk.assert(self["@shouldReturn"])){
  194. throw $early=[value];
  195. };
  196. }));
  197. $1=_st(self)._interpretNode_(_st(_st(aNode)._nodes())._last());
  198. return $1;
  199. }
  200. catch(e) {if(e===$early)return e[0]; throw e}
  201. },
  202. args: ["aNode"],
  203. source: "visitSequenceNode: aNode\x0a\x09aNode nodes allButLast do: [ :each | | value |\x0a value := self interpretNode: each.\x0a\x09\x09shouldReturn ifTrue: [ ^ value ] ].\x0a ^ self interpretNode: aNode nodes last",
  204. messageSends: ["do:", "interpretNode:", "ifTrue:", "allButLast", "nodes", "last"],
  205. referencedClasses: []
  206. }),
  207. smalltalk.ASTInterpreter);
  208. smalltalk.addMethod(
  209. "_visitValueNode_",
  210. smalltalk.method({
  211. selector: "visitValueNode:",
  212. category: 'visiting',
  213. fn: function (aNode){
  214. var self=this;
  215. var $1;
  216. $1=smalltalk.send(aNode,"_value",[]);
  217. return $1;
  218. },
  219. args: ["aNode"],
  220. source: "visitValueNode: aNode\x0a\x09^ aNode value",
  221. messageSends: ["value"],
  222. referencedClasses: []
  223. }),
  224. smalltalk.ASTInterpreter);
  225. smalltalk.addClass('ASTInterpretorTest', smalltalk.TestCase, [], 'Compiler-Interpreter');
  226. smalltalk.addMethod(
  227. "_analyze_forClass_",
  228. smalltalk.method({
  229. selector: "analyze:forClass:",
  230. category: 'accessing',
  231. fn: function (aNode,aClass){
  232. var self=this;
  233. _st(_st((smalltalk.SemanticAnalyzer || SemanticAnalyzer))._on_(aClass))._visit_(aNode);
  234. return aNode;
  235. },
  236. args: ["aNode", "aClass"],
  237. source: "analyze: aNode forClass: aClass\x0a\x09(SemanticAnalyzer on: aClass) visit: aNode.\x0a ^ aNode",
  238. messageSends: ["visit:", "on:"],
  239. referencedClasses: ["SemanticAnalyzer"]
  240. }),
  241. smalltalk.ASTInterpretorTest);
  242. smalltalk.addMethod(
  243. "_interpret_",
  244. smalltalk.method({
  245. selector: "interpret:",
  246. category: 'accessing',
  247. fn: function (aString){
  248. var self=this;
  249. var $1;
  250. $1=_st(_st((smalltalk.ASTInterpreter || ASTInterpreter))._new())._interpret_(_st(_st(_st(self)._parse_forClass_(aString,(smalltalk.Object || Object)))._nodes())._first());
  251. return $1;
  252. },
  253. args: ["aString"],
  254. source: "interpret: aString\x0a\x09\x22the food is a methodNode. Interpret the sequenceNode only\x22\x0a ^ ASTInterpreter new\x0a \x09interpret: (self parse: aString forClass: Object) \x0a \x09nodes first",
  255. messageSends: ["interpret:", "first", "nodes", "parse:forClass:", "new"],
  256. referencedClasses: ["Object", "ASTInterpreter"]
  257. }),
  258. smalltalk.ASTInterpretorTest);
  259. smalltalk.addMethod(
  260. "_parse_",
  261. smalltalk.method({
  262. selector: "parse:",
  263. category: 'accessing',
  264. fn: function (aString){
  265. var self=this;
  266. var $1;
  267. $1=_st(_st((smalltalk.Smalltalk || Smalltalk))._current())._parse_(aString);
  268. return $1;
  269. },
  270. args: ["aString"],
  271. source: "parse: aString\x0a\x09^ Smalltalk current parse: aString",
  272. messageSends: ["parse:", "current"],
  273. referencedClasses: ["Smalltalk"]
  274. }),
  275. smalltalk.ASTInterpretorTest);
  276. smalltalk.addMethod(
  277. "_parse_forClass_",
  278. smalltalk.method({
  279. selector: "parse:forClass:",
  280. category: 'accessing',
  281. fn: function (aString,aClass){
  282. var self=this;
  283. var $1;
  284. $1=_st(self)._analyze_forClass_(_st(self)._parse_(aString),aClass);
  285. return $1;
  286. },
  287. args: ["aString", "aClass"],
  288. source: "parse: aString forClass: aClass\x0a\x09^ self analyze: (self parse: aString) forClass: aClass",
  289. messageSends: ["analyze:forClass:", "parse:"],
  290. referencedClasses: []
  291. }),
  292. smalltalk.ASTInterpretorTest);
  293. smalltalk.addMethod(
  294. "_testBinarySend",
  295. smalltalk.method({
  296. selector: "testBinarySend",
  297. category: 'tests',
  298. fn: function (){
  299. var self=this;
  300. _st(self)._assert_equals_(_st(self)._interpret_("foo 2+3+4"),(9));
  301. return self},
  302. args: [],
  303. source: "testBinarySend\x0a\x09self assert: (self interpret: 'foo 2+3+4') equals: 9",
  304. messageSends: ["assert:equals:", "interpret:"],
  305. referencedClasses: []
  306. }),
  307. smalltalk.ASTInterpretorTest);
  308. smalltalk.addMethod(
  309. "_testBlockLiteral",
  310. smalltalk.method({
  311. selector: "testBlockLiteral",
  312. category: 'tests',
  313. fn: function (){
  314. var self=this;
  315. _st(self)._assert_(false);
  316. return self},
  317. args: [],
  318. source: "testBlockLiteral\x0a\x09self assert: false",
  319. messageSends: ["assert:"],
  320. referencedClasses: []
  321. }),
  322. smalltalk.ASTInterpretorTest);