Compiler-Interpreter.js 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401
  1. smalltalk.addPackage('Compiler-Interpreter', {});
  2. smalltalk.addClass('ASTInterpreter', smalltalk.NodeVisitor, ['currentNode', 'context', 'shouldReturn'], 'Compiler-Interpreter');
  3. smalltalk.addMethod(
  4. "_context",
  5. smalltalk.method({
  6. selector: "context",
  7. category: 'accessing',
  8. fn: function (){
  9. var self=this;
  10. return smalltalk.withContext(function($ctx1) { return self["@context"];
  11. }, self, "context", [], smalltalk.ASTInterpreter)},
  12. args: [],
  13. source: "context\x0a\x09^ context",
  14. messageSends: [],
  15. referencedClasses: []
  16. }),
  17. smalltalk.ASTInterpreter);
  18. smalltalk.addMethod(
  19. "_context_",
  20. smalltalk.method({
  21. selector: "context:",
  22. category: 'accessing',
  23. fn: function (aMethodContext){
  24. var self=this;
  25. return smalltalk.withContext(function($ctx1) { self["@context"]=aMethodContext;
  26. return self}, self, "context:", [aMethodContext], smalltalk.ASTInterpreter)},
  27. args: ["aMethodContext"],
  28. source: "context: aMethodContext\x0a\x09context := aMethodContext",
  29. messageSends: [],
  30. referencedClasses: []
  31. }),
  32. smalltalk.ASTInterpreter);
  33. smalltalk.addMethod(
  34. "_initialize",
  35. smalltalk.method({
  36. selector: "initialize",
  37. category: 'initialization',
  38. fn: function (){
  39. var self=this;
  40. return smalltalk.withContext(function($ctx1) { smalltalk.NodeVisitor.fn.prototype._initialize.apply(_st(self), []);
  41. self["@shouldReturn"]=false;
  42. return self}, self, "initialize", [], smalltalk.ASTInterpreter)},
  43. args: [],
  44. source: "initialize\x0a\x09super initialize.\x0a shouldReturn := false",
  45. messageSends: ["initialize"],
  46. referencedClasses: []
  47. }),
  48. smalltalk.ASTInterpreter);
  49. smalltalk.addMethod(
  50. "_interpret_",
  51. smalltalk.method({
  52. selector: "interpret:",
  53. category: 'interpreting',
  54. fn: function (aNode){
  55. var self=this;
  56. return smalltalk.withContext(function($ctx1) { var $1;
  57. self["@shouldReturn"]=false;
  58. $1=_st(self)._interpretNode_(aNode);
  59. return $1;
  60. }, self, "interpret:", [aNode], smalltalk.ASTInterpreter)},
  61. args: ["aNode"],
  62. source: "interpret: aNode\x0a\x09shouldReturn := false.\x0a ^ self interpretNode: aNode",
  63. messageSends: ["interpretNode:"],
  64. referencedClasses: []
  65. }),
  66. smalltalk.ASTInterpreter);
  67. smalltalk.addMethod(
  68. "_interpretNode_",
  69. smalltalk.method({
  70. selector: "interpretNode:",
  71. category: 'interpreting',
  72. fn: function (aNode){
  73. var self=this;
  74. return smalltalk.withContext(function($ctx1) { var $1;
  75. self["@currentNode"]=aNode;
  76. $1=_st(self)._visit_(aNode);
  77. return $1;
  78. }, self, "interpretNode:", [aNode], smalltalk.ASTInterpreter)},
  79. args: ["aNode"],
  80. source: "interpretNode: aNode\x0a\x09currentNode := aNode.\x0a ^ self visit: aNode",
  81. messageSends: ["visit:"],
  82. referencedClasses: []
  83. }),
  84. smalltalk.ASTInterpreter);
  85. smalltalk.addMethod(
  86. "_messageFromSendNode_",
  87. smalltalk.method({
  88. selector: "messageFromSendNode:",
  89. category: 'interpreting',
  90. fn: function (aSendNode){
  91. var self=this;
  92. return smalltalk.withContext(function($ctx1) { var $2,$3,$1;
  93. $2=_st((smalltalk.Message || Message))._new();
  94. _st($2)._selector_(_st(aSendNode)._selector());
  95. _st($2)._arguments_(_st(_st(aSendNode)._arguments())._collect_((function(each){
  96. return smalltalk.withContext(function($ctx2) { return _st(self)._interpretNode_(each);
  97. })})));
  98. $3=_st($2)._yourself();
  99. $1=$3;
  100. return $1;
  101. }, self, "messageFromSendNode:", [aSendNode], smalltalk.ASTInterpreter)},
  102. args: ["aSendNode"],
  103. source: "messageFromSendNode: aSendNode\x0a\x09^ Message new\x0a \x09selector: aSendNode selector;\x0a arguments: (aSendNode arguments collect: [ :each |\x0a \x09self interpretNode: each ]);\x0a yourself",
  104. messageSends: ["selector:", "selector", "new", "arguments:", "collect:", "interpretNode:", "arguments", "yourself"],
  105. referencedClasses: ["Message"]
  106. }),
  107. smalltalk.ASTInterpreter);
  108. smalltalk.addMethod(
  109. "_visitBlockNode_",
  110. smalltalk.method({
  111. selector: "visitBlockNode:",
  112. category: 'visiting',
  113. fn: function (aNode){
  114. var self=this;
  115. return smalltalk.withContext(function($ctx1) { var $1;
  116. $1=(function(){
  117. return smalltalk.withContext(function($ctx2) { return _st(self)._interpretNode_(_st(_st(aNode)._nodes())._first());
  118. })});
  119. return $1;
  120. }, self, "visitBlockNode:", [aNode], smalltalk.ASTInterpreter)},
  121. args: ["aNode"],
  122. source: "visitBlockNode: aNode\x0a ^ [ self interpretNode: aNode nodes first ]",
  123. messageSends: ["interpretNode:", "first", "nodes"],
  124. referencedClasses: []
  125. }),
  126. smalltalk.ASTInterpreter);
  127. smalltalk.addMethod(
  128. "_visitCascadeNode_",
  129. smalltalk.method({
  130. selector: "visitCascadeNode:",
  131. category: 'visiting',
  132. fn: function (aNode){
  133. var self=this;
  134. return smalltalk.withContext(function($ctx1) { var $1;
  135. $ctx1.locals.receiver=nil;
  136. $ctx1.locals.receiver=_st(self)._interpretNode_(_st(aNode)._receiver());
  137. _st(_st(_st(aNode)._nodes())._allButLast())._do_((function(each){
  138. return smalltalk.withContext(function($ctx2) { return _st(_st(self)._messageFromSendNode_(each))._sendTo_($ctx1.locals.receiver);
  139. })}));
  140. $1=_st(_st(self)._messageFromSendNode_(_st(_st(aNode)._nodes())._last()))._sendTo_($ctx1.locals.receiver);
  141. return $1;
  142. }, self, "visitCascadeNode:", [aNode], smalltalk.ASTInterpreter)},
  143. args: ["aNode"],
  144. source: "visitCascadeNode: aNode\x0a\x09\x22TODO: Handle super sends\x22\x0a\x09| receiver |\x0a \x0a receiver := self interpretNode: aNode receiver.\x0a\x0a aNode nodes allButLast\x0a \x09do: [ :each | \x0a \x09(self messageFromSendNode: each)\x0a \x09sendTo: receiver ].\x0a\x0a ^ (self messageFromSendNode: aNode nodes last)\x0a \x09sendTo: receiver",
  145. messageSends: ["interpretNode:", "receiver", "do:", "sendTo:", "messageFromSendNode:", "allButLast", "nodes", "last"],
  146. referencedClasses: []
  147. }),
  148. smalltalk.ASTInterpreter);
  149. smalltalk.addMethod(
  150. "_visitClassReferenceNode_",
  151. smalltalk.method({
  152. selector: "visitClassReferenceNode:",
  153. category: 'visiting',
  154. fn: function (aNode){
  155. var self=this;
  156. return smalltalk.withContext(function($ctx1) { var $1;
  157. $1=_st(_st((smalltalk.Smalltalk || Smalltalk))._current())._at_(_st(aNode)._value());
  158. return $1;
  159. }, self, "visitClassReferenceNode:", [aNode], smalltalk.ASTInterpreter)},
  160. args: ["aNode"],
  161. source: "visitClassReferenceNode: aNode\x0a\x09^ Smalltalk current at: aNode value",
  162. messageSends: ["at:", "value", "current"],
  163. referencedClasses: ["Smalltalk"]
  164. }),
  165. smalltalk.ASTInterpreter);
  166. smalltalk.addMethod(
  167. "_visitJSStatementNode_",
  168. smalltalk.method({
  169. selector: "visitJSStatementNode:",
  170. category: 'visiting',
  171. fn: function (aNode){
  172. var self=this;
  173. return smalltalk.withContext(function($ctx1) { _st(self)._halt();
  174. return self}, self, "visitJSStatementNode:", [aNode], smalltalk.ASTInterpreter)},
  175. args: ["aNode"],
  176. source: "visitJSStatementNode: aNode\x0a\x09self halt",
  177. messageSends: ["halt"],
  178. referencedClasses: []
  179. }),
  180. smalltalk.ASTInterpreter);
  181. smalltalk.addMethod(
  182. "_visitReturnNode_",
  183. smalltalk.method({
  184. selector: "visitReturnNode:",
  185. category: 'visiting',
  186. fn: function (aNode){
  187. var self=this;
  188. return smalltalk.withContext(function($ctx1) { var $1;
  189. self["@shouldReturn"]=true;
  190. $1=_st(self)._interpretNode_(_st(_st(aNode)._nodes())._first());
  191. return $1;
  192. }, self, "visitReturnNode:", [aNode], smalltalk.ASTInterpreter)},
  193. args: ["aNode"],
  194. source: "visitReturnNode: aNode\x0a\x09shouldReturn := true.\x0a ^ self interpretNode: aNode nodes first",
  195. messageSends: ["interpretNode:", "first", "nodes"],
  196. referencedClasses: []
  197. }),
  198. smalltalk.ASTInterpreter);
  199. smalltalk.addMethod(
  200. "_visitSendNode_",
  201. smalltalk.method({
  202. selector: "visitSendNode:",
  203. category: 'visiting',
  204. fn: function (aNode){
  205. var self=this;
  206. return smalltalk.withContext(function($ctx1) { var $1;
  207. $1=_st(_st(self)._messageFromSendNode_(aNode))._sendTo_(_st(self)._interpretNode_(_st(aNode)._receiver()));
  208. return $1;
  209. }, self, "visitSendNode:", [aNode], smalltalk.ASTInterpreter)},
  210. args: ["aNode"],
  211. source: "visitSendNode: aNode\x0a\x09\x22TODO: Handle super sends\x22\x0a \x0a ^ (self messageFromSendNode: aNode)\x0a \x09sendTo: (self interpretNode: aNode receiver)",
  212. messageSends: ["sendTo:", "interpretNode:", "receiver", "messageFromSendNode:"],
  213. referencedClasses: []
  214. }),
  215. smalltalk.ASTInterpreter);
  216. smalltalk.addMethod(
  217. "_visitSequenceNode_",
  218. smalltalk.method({
  219. selector: "visitSequenceNode:",
  220. category: 'visiting',
  221. fn: function (aNode){
  222. var self=this;
  223. return smalltalk.withContext(function($ctx1) { var $1;
  224. var $early={};
  225. try {
  226. _st(_st(_st(aNode)._nodes())._allButLast())._do_((function(each){
  227. return smalltalk.withContext(function($ctx2) { $ctx2.value=nil;
  228. $ctx2.locals.value=_st(self)._interpretNode_(each);
  229. $ctx2.locals.value;
  230. if(smalltalk.assert(self["@shouldReturn"])){
  231. throw $early=[$ctx2.locals.value];
  232. };
  233. })}));
  234. $1=_st(self)._interpretNode_(_st(_st(aNode)._nodes())._last());
  235. return $1;
  236. }
  237. catch(e) {if(e===$early)return e[0]; throw e}
  238. }, self, "visitSequenceNode:", [aNode], smalltalk.ASTInterpreter)},
  239. args: ["aNode"],
  240. 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",
  241. messageSends: ["do:", "interpretNode:", "ifTrue:", "allButLast", "nodes", "last"],
  242. referencedClasses: []
  243. }),
  244. smalltalk.ASTInterpreter);
  245. smalltalk.addMethod(
  246. "_visitValueNode_",
  247. smalltalk.method({
  248. selector: "visitValueNode:",
  249. category: 'visiting',
  250. fn: function (aNode){
  251. var self=this;
  252. return smalltalk.withContext(function($ctx1) { var $1;
  253. $1=_st(aNode)._value();
  254. return $1;
  255. }, self, "visitValueNode:", [aNode], smalltalk.ASTInterpreter)},
  256. args: ["aNode"],
  257. source: "visitValueNode: aNode\x0a\x09^ aNode value",
  258. messageSends: ["value"],
  259. referencedClasses: []
  260. }),
  261. smalltalk.ASTInterpreter);
  262. smalltalk.addClass('ASTInterpreterTest', smalltalk.TestCase, [], 'Compiler-Interpreter');
  263. smalltalk.addMethod(
  264. "_analyze_forClass_",
  265. smalltalk.method({
  266. selector: "analyze:forClass:",
  267. category: 'accessing',
  268. fn: function (aNode,aClass){
  269. var self=this;
  270. return smalltalk.withContext(function($ctx1) { _st(_st((smalltalk.SemanticAnalyzer || SemanticAnalyzer))._on_(aClass))._visit_(aNode);
  271. return aNode;
  272. }, self, "analyze:forClass:", [aNode,aClass], smalltalk.ASTInterpreterTest)},
  273. args: ["aNode", "aClass"],
  274. source: "analyze: aNode forClass: aClass\x0a\x09(SemanticAnalyzer on: aClass) visit: aNode.\x0a ^ aNode",
  275. messageSends: ["visit:", "on:"],
  276. referencedClasses: ["SemanticAnalyzer"]
  277. }),
  278. smalltalk.ASTInterpreterTest);
  279. smalltalk.addMethod(
  280. "_interpret_",
  281. smalltalk.method({
  282. selector: "interpret:",
  283. category: 'accessing',
  284. fn: function (aString){
  285. var self=this;
  286. return smalltalk.withContext(function($ctx1) { var $1;
  287. $1=_st(_st((smalltalk.ASTInterpreter || ASTInterpreter))._new())._interpret_(_st(_st(_st(self)._parse_forClass_(aString,(smalltalk.Object || Object)))._nodes())._first());
  288. return $1;
  289. }, self, "interpret:", [aString], smalltalk.ASTInterpreterTest)},
  290. args: ["aString"],
  291. 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",
  292. messageSends: ["interpret:", "first", "nodes", "parse:forClass:", "new"],
  293. referencedClasses: ["Object", "ASTInterpreter"]
  294. }),
  295. smalltalk.ASTInterpreterTest);
  296. smalltalk.addMethod(
  297. "_parse_",
  298. smalltalk.method({
  299. selector: "parse:",
  300. category: 'accessing',
  301. fn: function (aString){
  302. var self=this;
  303. return smalltalk.withContext(function($ctx1) { var $1;
  304. $1=_st(_st((smalltalk.Smalltalk || Smalltalk))._current())._parse_(aString);
  305. return $1;
  306. }, self, "parse:", [aString], smalltalk.ASTInterpreterTest)},
  307. args: ["aString"],
  308. source: "parse: aString\x0a\x09^ Smalltalk current parse: aString",
  309. messageSends: ["parse:", "current"],
  310. referencedClasses: ["Smalltalk"]
  311. }),
  312. smalltalk.ASTInterpreterTest);
  313. smalltalk.addMethod(
  314. "_parse_forClass_",
  315. smalltalk.method({
  316. selector: "parse:forClass:",
  317. category: 'accessing',
  318. fn: function (aString,aClass){
  319. var self=this;
  320. return smalltalk.withContext(function($ctx1) { var $1;
  321. $1=_st(self)._analyze_forClass_(_st(self)._parse_(aString),aClass);
  322. return $1;
  323. }, self, "parse:forClass:", [aString,aClass], smalltalk.ASTInterpreterTest)},
  324. args: ["aString", "aClass"],
  325. source: "parse: aString forClass: aClass\x0a\x09^ self analyze: (self parse: aString) forClass: aClass",
  326. messageSends: ["analyze:forClass:", "parse:"],
  327. referencedClasses: []
  328. }),
  329. smalltalk.ASTInterpreterTest);
  330. smalltalk.addMethod(
  331. "_testBinarySend",
  332. smalltalk.method({
  333. selector: "testBinarySend",
  334. category: 'tests',
  335. fn: function (){
  336. var self=this;
  337. return smalltalk.withContext(function($ctx1) { _st(self)._assert_equals_(_st(self)._interpret_("foo 2+3+4"),(9));
  338. return self}, self, "testBinarySend", [], smalltalk.ASTInterpreterTest)},
  339. args: [],
  340. source: "testBinarySend\x0a\x09self assert: (self interpret: 'foo 2+3+4') equals: 9",
  341. messageSends: ["assert:equals:", "interpret:"],
  342. referencedClasses: []
  343. }),
  344. smalltalk.ASTInterpreterTest);
  345. smalltalk.addMethod(
  346. "_testBlockLiteral",
  347. smalltalk.method({
  348. selector: "testBlockLiteral",
  349. category: 'tests',
  350. fn: function (){
  351. var self=this;
  352. return smalltalk.withContext(function($ctx1) { _st(self)._assert_equals_(_st(self)._interpret_("foo ^ true ifTrue: [ 1 ] ifFalse: [ 2 ]"),(1));
  353. _st(self)._assert_equals_(_st(self)._interpret_("foo true ifTrue: [ ^ 1 ] ifFalse: [ 2 ]"),(1));
  354. _st(self)._assert_equals_(_st(self)._interpret_("foo ^ false ifTrue: [ 1 ] ifFalse: [ 2 ]"),(2));
  355. return self}, self, "testBlockLiteral", [], smalltalk.ASTInterpreterTest)},
  356. args: [],
  357. source: "testBlockLiteral\x0a\x09self assert: (self interpret: 'foo ^ true ifTrue: [ 1 ] ifFalse: [ 2 ]') equals: 1.\x0a self assert: (self interpret: 'foo true ifTrue: [ ^ 1 ] ifFalse: [ 2 ]') equals: 1.\x0a self assert: (self interpret: 'foo ^ false ifTrue: [ 1 ] ifFalse: [ 2 ]') equals: 2",
  358. messageSends: ["assert:equals:", "interpret:"],
  359. referencedClasses: []
  360. }),
  361. smalltalk.ASTInterpreterTest);
  362. smalltalk.addMethod(
  363. "_testCascade",
  364. smalltalk.method({
  365. selector: "testCascade",
  366. category: 'tests',
  367. fn: function (){
  368. var self=this;
  369. return smalltalk.withContext(function($ctx1) { _st(self)._assert_equals_(_st(self)._interpret_("foo ^ OrderedCollection new add: 2; add: 3; yourself"),_st((smalltalk.OrderedCollection || OrderedCollection))._with_with_((2),(3)));
  370. return self}, self, "testCascade", [], smalltalk.ASTInterpreterTest)},
  371. args: [],
  372. source: "testCascade\x0a\x09self assert: (self interpret: 'foo ^ OrderedCollection new add: 2; add: 3; yourself') equals: (OrderedCollection with: 2 with: 3)",
  373. messageSends: ["assert:equals:", "interpret:", "with:with:"],
  374. referencedClasses: ["OrderedCollection"]
  375. }),
  376. smalltalk.ASTInterpreterTest);