Compiler-Semantic.js 90 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935
  1. define("amber_core/Compiler-Semantic", ["amber/boot", "amber_core/Kernel-Objects", "amber_core/Compiler-AST", "amber_core/Compiler-Core"], function($boot){"use strict";
  2. var $core=$boot.api,nil=$boot.nil,$recv=$boot.asReceiver,$globals=$boot.globals;
  3. $core.addPackage('Compiler-Semantic');
  4. $core.packages["Compiler-Semantic"].innerEval = function (expr) { return eval(expr); };
  5. $core.packages["Compiler-Semantic"].transport = {"type":"amd","amdNamespace":"amber_core"};
  6. $core.addClass('LexicalScope', $globals.Object, ['node', 'instruction', 'temps', 'args', 'outerScope', 'blockIndex'], 'Compiler-Semantic');
  7. //>>excludeStart("ide", pragmas.excludeIdeData);
  8. $globals.LexicalScope.comment="I represent a lexical scope where variable names are associated with ScopeVars\x0aInstances are used for block scopes. Method scopes are instances of MethodLexicalScope.\x0a\x0aI am attached to a ScopeVar and method/block nodes.\x0aEach context (method/closure) get a fresh scope that inherits from its outer scope.";
  9. //>>excludeEnd("ide");
  10. $core.addMethod(
  11. $core.method({
  12. selector: "addArg:",
  13. protocol: 'adding',
  14. fn: function (aString){
  15. var self=this;
  16. function $ArgVar(){return $globals.ArgVar||(typeof ArgVar=="undefined"?nil:ArgVar)}
  17. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  18. return $core.withContext(function($ctx1) {
  19. //>>excludeEnd("ctx");
  20. var $1;
  21. $1=self._args();
  22. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  23. $ctx1.sendIdx["args"]=1;
  24. //>>excludeEnd("ctx");
  25. $recv($1)._at_put_(aString,$recv($ArgVar())._on_(aString));
  26. $recv($recv(self._args())._at_(aString))._scope_(self);
  27. return self;
  28. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  29. }, function($ctx1) {$ctx1.fill(self,"addArg:",{aString:aString},$globals.LexicalScope)});
  30. //>>excludeEnd("ctx");
  31. },
  32. //>>excludeStart("ide", pragmas.excludeIdeData);
  33. args: ["aString"],
  34. source: "addArg: aString\x0a\x09self args at: aString put: (ArgVar on: aString).\x0a\x09(self args at: aString) scope: self",
  35. referencedClasses: ["ArgVar"],
  36. //>>excludeEnd("ide");
  37. messageSends: ["at:put:", "args", "on:", "scope:", "at:"]
  38. }),
  39. $globals.LexicalScope);
  40. $core.addMethod(
  41. $core.method({
  42. selector: "addTemp:",
  43. protocol: 'adding',
  44. fn: function (aString){
  45. var self=this;
  46. function $TempVar(){return $globals.TempVar||(typeof TempVar=="undefined"?nil:TempVar)}
  47. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  48. return $core.withContext(function($ctx1) {
  49. //>>excludeEnd("ctx");
  50. var $1;
  51. $1=self._temps();
  52. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  53. $ctx1.sendIdx["temps"]=1;
  54. //>>excludeEnd("ctx");
  55. $recv($1)._at_put_(aString,$recv($TempVar())._on_(aString));
  56. $recv($recv(self._temps())._at_(aString))._scope_(self);
  57. return self;
  58. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  59. }, function($ctx1) {$ctx1.fill(self,"addTemp:",{aString:aString},$globals.LexicalScope)});
  60. //>>excludeEnd("ctx");
  61. },
  62. //>>excludeStart("ide", pragmas.excludeIdeData);
  63. args: ["aString"],
  64. source: "addTemp: aString\x0a\x09self temps at: aString put: (TempVar on: aString).\x0a\x09(self temps at: aString) scope: self",
  65. referencedClasses: ["TempVar"],
  66. //>>excludeEnd("ide");
  67. messageSends: ["at:put:", "temps", "on:", "scope:", "at:"]
  68. }),
  69. $globals.LexicalScope);
  70. $core.addMethod(
  71. $core.method({
  72. selector: "alias",
  73. protocol: 'accessing',
  74. fn: function (){
  75. var self=this;
  76. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  77. return $core.withContext(function($ctx1) {
  78. //>>excludeEnd("ctx");
  79. return "$ctx".__comma($recv(self._scopeLevel())._asString());
  80. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  81. }, function($ctx1) {$ctx1.fill(self,"alias",{},$globals.LexicalScope)});
  82. //>>excludeEnd("ctx");
  83. },
  84. //>>excludeStart("ide", pragmas.excludeIdeData);
  85. args: [],
  86. source: "alias\x0a\x09^ '$ctx', self scopeLevel asString",
  87. referencedClasses: [],
  88. //>>excludeEnd("ide");
  89. messageSends: [",", "asString", "scopeLevel"]
  90. }),
  91. $globals.LexicalScope);
  92. $core.addMethod(
  93. $core.method({
  94. selector: "allVariableNames",
  95. protocol: 'accessing',
  96. fn: function (){
  97. var self=this;
  98. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  99. return $core.withContext(function($ctx1) {
  100. //>>excludeEnd("ctx");
  101. var $1;
  102. $1=$recv(self._args())._keys();
  103. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  104. $ctx1.sendIdx["keys"]=1;
  105. //>>excludeEnd("ctx");
  106. return $recv($1).__comma($recv(self._temps())._keys());
  107. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  108. }, function($ctx1) {$ctx1.fill(self,"allVariableNames",{},$globals.LexicalScope)});
  109. //>>excludeEnd("ctx");
  110. },
  111. //>>excludeStart("ide", pragmas.excludeIdeData);
  112. args: [],
  113. source: "allVariableNames\x0a\x09^ self args keys, self temps keys",
  114. referencedClasses: [],
  115. //>>excludeEnd("ide");
  116. messageSends: [",", "keys", "args", "temps"]
  117. }),
  118. $globals.LexicalScope);
  119. $core.addMethod(
  120. $core.method({
  121. selector: "args",
  122. protocol: 'accessing',
  123. fn: function (){
  124. var self=this;
  125. function $Dictionary(){return $globals.Dictionary||(typeof Dictionary=="undefined"?nil:Dictionary)}
  126. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  127. return $core.withContext(function($ctx1) {
  128. //>>excludeEnd("ctx");
  129. var $1,$receiver;
  130. $1=self["@args"];
  131. if(($receiver = $1) == null || $receiver.isNil){
  132. self["@args"]=$recv($Dictionary())._new();
  133. return self["@args"];
  134. } else {
  135. return $1;
  136. };
  137. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  138. }, function($ctx1) {$ctx1.fill(self,"args",{},$globals.LexicalScope)});
  139. //>>excludeEnd("ctx");
  140. },
  141. //>>excludeStart("ide", pragmas.excludeIdeData);
  142. args: [],
  143. source: "args\x0a\x09^ args ifNil: [ args := Dictionary new ]",
  144. referencedClasses: ["Dictionary"],
  145. //>>excludeEnd("ide");
  146. messageSends: ["ifNil:", "new"]
  147. }),
  148. $globals.LexicalScope);
  149. $core.addMethod(
  150. $core.method({
  151. selector: "bindingFor:",
  152. protocol: 'accessing',
  153. fn: function (aStringOrNode){
  154. var self=this;
  155. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  156. return $core.withContext(function($ctx1) {
  157. //>>excludeEnd("ctx");
  158. var $2,$3,$4,$5,$1;
  159. $2=self._pseudoVars();
  160. $3=$recv(aStringOrNode)._value();
  161. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  162. $ctx1.sendIdx["value"]=1;
  163. //>>excludeEnd("ctx");
  164. $1=$recv($2)._at_ifAbsent_($3,(function(){
  165. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  166. return $core.withContext(function($ctx2) {
  167. //>>excludeEnd("ctx");
  168. $4=self._args();
  169. $5=$recv(aStringOrNode)._value();
  170. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  171. $ctx2.sendIdx["value"]=2;
  172. //>>excludeEnd("ctx");
  173. return $recv($4)._at_ifAbsent_($5,(function(){
  174. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  175. return $core.withContext(function($ctx3) {
  176. //>>excludeEnd("ctx");
  177. return $recv(self._temps())._at_ifAbsent_($recv(aStringOrNode)._value(),(function(){
  178. return nil;
  179. }));
  180. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  181. }, function($ctx3) {$ctx3.fillBlock({},$ctx2,2)});
  182. //>>excludeEnd("ctx");
  183. }));
  184. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  185. $ctx2.sendIdx["at:ifAbsent:"]=2;
  186. //>>excludeEnd("ctx");
  187. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  188. }, function($ctx2) {$ctx2.fillBlock({},$ctx1,1)});
  189. //>>excludeEnd("ctx");
  190. }));
  191. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  192. $ctx1.sendIdx["at:ifAbsent:"]=1;
  193. //>>excludeEnd("ctx");
  194. return $1;
  195. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  196. }, function($ctx1) {$ctx1.fill(self,"bindingFor:",{aStringOrNode:aStringOrNode},$globals.LexicalScope)});
  197. //>>excludeEnd("ctx");
  198. },
  199. //>>excludeStart("ide", pragmas.excludeIdeData);
  200. args: ["aStringOrNode"],
  201. source: "bindingFor: aStringOrNode\x0a\x09^ self pseudoVars at: aStringOrNode value ifAbsent: [\x0a\x09\x09self args at: aStringOrNode value ifAbsent: [\x0a\x09\x09\x09self temps at: aStringOrNode value ifAbsent: [ nil ]]]",
  202. referencedClasses: [],
  203. //>>excludeEnd("ide");
  204. messageSends: ["at:ifAbsent:", "pseudoVars", "value", "args", "temps"]
  205. }),
  206. $globals.LexicalScope);
  207. $core.addMethod(
  208. $core.method({
  209. selector: "blockIndex",
  210. protocol: 'accessing',
  211. fn: function (){
  212. var self=this;
  213. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  214. return $core.withContext(function($ctx1) {
  215. //>>excludeEnd("ctx");
  216. var $1,$receiver;
  217. $1=self["@blockIndex"];
  218. if(($receiver = $1) == null || $receiver.isNil){
  219. return (0);
  220. } else {
  221. return $1;
  222. };
  223. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  224. }, function($ctx1) {$ctx1.fill(self,"blockIndex",{},$globals.LexicalScope)});
  225. //>>excludeEnd("ctx");
  226. },
  227. //>>excludeStart("ide", pragmas.excludeIdeData);
  228. args: [],
  229. source: "blockIndex\x0a\x09^ blockIndex ifNil: [ 0 ]",
  230. referencedClasses: [],
  231. //>>excludeEnd("ide");
  232. messageSends: ["ifNil:"]
  233. }),
  234. $globals.LexicalScope);
  235. $core.addMethod(
  236. $core.method({
  237. selector: "blockIndex:",
  238. protocol: 'accessing',
  239. fn: function (anInteger){
  240. var self=this;
  241. self["@blockIndex"]=anInteger;
  242. return self;
  243. },
  244. //>>excludeStart("ide", pragmas.excludeIdeData);
  245. args: ["anInteger"],
  246. source: "blockIndex: anInteger \x0a\x09blockIndex := anInteger",
  247. referencedClasses: [],
  248. //>>excludeEnd("ide");
  249. messageSends: []
  250. }),
  251. $globals.LexicalScope);
  252. $core.addMethod(
  253. $core.method({
  254. selector: "canInlineNonLocalReturns",
  255. protocol: 'testing',
  256. fn: function (){
  257. var self=this;
  258. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  259. return $core.withContext(function($ctx1) {
  260. //>>excludeEnd("ctx");
  261. return $recv(self._isInlined())._and_((function(){
  262. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  263. return $core.withContext(function($ctx2) {
  264. //>>excludeEnd("ctx");
  265. return $recv(self._outerScope())._canInlineNonLocalReturns();
  266. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  267. }, function($ctx2) {$ctx2.fillBlock({},$ctx1,1)});
  268. //>>excludeEnd("ctx");
  269. }));
  270. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  271. }, function($ctx1) {$ctx1.fill(self,"canInlineNonLocalReturns",{},$globals.LexicalScope)});
  272. //>>excludeEnd("ctx");
  273. },
  274. //>>excludeStart("ide", pragmas.excludeIdeData);
  275. args: [],
  276. source: "canInlineNonLocalReturns\x0a\x09^ self isInlined and: [ self outerScope canInlineNonLocalReturns ]",
  277. referencedClasses: [],
  278. //>>excludeEnd("ide");
  279. messageSends: ["and:", "isInlined", "canInlineNonLocalReturns", "outerScope"]
  280. }),
  281. $globals.LexicalScope);
  282. $core.addMethod(
  283. $core.method({
  284. selector: "instruction",
  285. protocol: 'accessing',
  286. fn: function (){
  287. var self=this;
  288. return self["@instruction"];
  289. },
  290. //>>excludeStart("ide", pragmas.excludeIdeData);
  291. args: [],
  292. source: "instruction\x0a\x09^ instruction",
  293. referencedClasses: [],
  294. //>>excludeEnd("ide");
  295. messageSends: []
  296. }),
  297. $globals.LexicalScope);
  298. $core.addMethod(
  299. $core.method({
  300. selector: "instruction:",
  301. protocol: 'accessing',
  302. fn: function (anIRInstruction){
  303. var self=this;
  304. self["@instruction"]=anIRInstruction;
  305. return self;
  306. },
  307. //>>excludeStart("ide", pragmas.excludeIdeData);
  308. args: ["anIRInstruction"],
  309. source: "instruction: anIRInstruction\x0a\x09instruction := anIRInstruction",
  310. referencedClasses: [],
  311. //>>excludeEnd("ide");
  312. messageSends: []
  313. }),
  314. $globals.LexicalScope);
  315. $core.addMethod(
  316. $core.method({
  317. selector: "isBlockScope",
  318. protocol: 'testing',
  319. fn: function (){
  320. var self=this;
  321. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  322. return $core.withContext(function($ctx1) {
  323. //>>excludeEnd("ctx");
  324. return $recv(self._isMethodScope())._not();
  325. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  326. }, function($ctx1) {$ctx1.fill(self,"isBlockScope",{},$globals.LexicalScope)});
  327. //>>excludeEnd("ctx");
  328. },
  329. //>>excludeStart("ide", pragmas.excludeIdeData);
  330. args: [],
  331. source: "isBlockScope\x0a\x09^ self isMethodScope not",
  332. referencedClasses: [],
  333. //>>excludeEnd("ide");
  334. messageSends: ["not", "isMethodScope"]
  335. }),
  336. $globals.LexicalScope);
  337. $core.addMethod(
  338. $core.method({
  339. selector: "isInlined",
  340. protocol: 'testing',
  341. fn: function (){
  342. var self=this;
  343. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  344. return $core.withContext(function($ctx1) {
  345. //>>excludeEnd("ctx");
  346. var $2,$1;
  347. $2=self._instruction();
  348. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  349. $ctx1.sendIdx["instruction"]=1;
  350. //>>excludeEnd("ctx");
  351. $1=$recv($2)._notNil();
  352. return $recv($1)._and_((function(){
  353. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  354. return $core.withContext(function($ctx2) {
  355. //>>excludeEnd("ctx");
  356. return $recv(self._instruction())._isInlined();
  357. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  358. }, function($ctx2) {$ctx2.fillBlock({},$ctx1,1)});
  359. //>>excludeEnd("ctx");
  360. }));
  361. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  362. }, function($ctx1) {$ctx1.fill(self,"isInlined",{},$globals.LexicalScope)});
  363. //>>excludeEnd("ctx");
  364. },
  365. //>>excludeStart("ide", pragmas.excludeIdeData);
  366. args: [],
  367. source: "isInlined\x0a\x09^ self instruction notNil and: [\x0a\x09\x09self instruction isInlined ]",
  368. referencedClasses: [],
  369. //>>excludeEnd("ide");
  370. messageSends: ["and:", "notNil", "instruction", "isInlined"]
  371. }),
  372. $globals.LexicalScope);
  373. $core.addMethod(
  374. $core.method({
  375. selector: "isMethodScope",
  376. protocol: 'testing',
  377. fn: function (){
  378. var self=this;
  379. return false;
  380. },
  381. //>>excludeStart("ide", pragmas.excludeIdeData);
  382. args: [],
  383. source: "isMethodScope\x0a\x09^ false",
  384. referencedClasses: [],
  385. //>>excludeEnd("ide");
  386. messageSends: []
  387. }),
  388. $globals.LexicalScope);
  389. $core.addMethod(
  390. $core.method({
  391. selector: "lookupVariable:",
  392. protocol: 'accessing',
  393. fn: function (aNode){
  394. var self=this;
  395. var lookup;
  396. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  397. return $core.withContext(function($ctx1) {
  398. //>>excludeEnd("ctx");
  399. var $1,$2,$receiver;
  400. lookup=self._bindingFor_(aNode);
  401. $1=lookup;
  402. if(($receiver = $1) == null || $receiver.isNil){
  403. $2=self._outerScope();
  404. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  405. $ctx1.sendIdx["outerScope"]=1;
  406. //>>excludeEnd("ctx");
  407. if(($receiver = $2) == null || $receiver.isNil){
  408. lookup=$2;
  409. } else {
  410. lookup=$recv(self._outerScope())._lookupVariable_(aNode);
  411. };
  412. lookup;
  413. } else {
  414. $1;
  415. };
  416. return lookup;
  417. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  418. }, function($ctx1) {$ctx1.fill(self,"lookupVariable:",{aNode:aNode,lookup:lookup},$globals.LexicalScope)});
  419. //>>excludeEnd("ctx");
  420. },
  421. //>>excludeStart("ide", pragmas.excludeIdeData);
  422. args: ["aNode"],
  423. source: "lookupVariable: aNode\x0a\x09| lookup |\x0a\x09lookup := (self bindingFor: aNode).\x0a\x09lookup ifNil: [\x0a\x09\x09lookup := self outerScope ifNotNil: [\x0a\x09\x09\x09(self outerScope lookupVariable: aNode) ]].\x0a\x09^ lookup",
  424. referencedClasses: [],
  425. //>>excludeEnd("ide");
  426. messageSends: ["bindingFor:", "ifNil:", "ifNotNil:", "outerScope", "lookupVariable:"]
  427. }),
  428. $globals.LexicalScope);
  429. $core.addMethod(
  430. $core.method({
  431. selector: "methodScope",
  432. protocol: 'accessing',
  433. fn: function (){
  434. var self=this;
  435. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  436. return $core.withContext(function($ctx1) {
  437. //>>excludeEnd("ctx");
  438. var $1,$receiver;
  439. $1=self._outerScope();
  440. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  441. $ctx1.sendIdx["outerScope"]=1;
  442. //>>excludeEnd("ctx");
  443. if(($receiver = $1) == null || $receiver.isNil){
  444. return $1;
  445. } else {
  446. return $recv(self._outerScope())._methodScope();
  447. };
  448. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  449. }, function($ctx1) {$ctx1.fill(self,"methodScope",{},$globals.LexicalScope)});
  450. //>>excludeEnd("ctx");
  451. },
  452. //>>excludeStart("ide", pragmas.excludeIdeData);
  453. args: [],
  454. source: "methodScope\x0a\x09^ self outerScope ifNotNil: [\x0a\x09\x09self outerScope methodScope ]",
  455. referencedClasses: [],
  456. //>>excludeEnd("ide");
  457. messageSends: ["ifNotNil:", "outerScope", "methodScope"]
  458. }),
  459. $globals.LexicalScope);
  460. $core.addMethod(
  461. $core.method({
  462. selector: "node",
  463. protocol: 'accessing',
  464. fn: function (){
  465. var self=this;
  466. return self["@node"];
  467. },
  468. //>>excludeStart("ide", pragmas.excludeIdeData);
  469. args: [],
  470. source: "node\x0a\x09\x22Answer the node in which I am defined\x22\x0a\x09\x0a\x09^ node",
  471. referencedClasses: [],
  472. //>>excludeEnd("ide");
  473. messageSends: []
  474. }),
  475. $globals.LexicalScope);
  476. $core.addMethod(
  477. $core.method({
  478. selector: "node:",
  479. protocol: 'accessing',
  480. fn: function (aNode){
  481. var self=this;
  482. self["@node"]=aNode;
  483. return self;
  484. },
  485. //>>excludeStart("ide", pragmas.excludeIdeData);
  486. args: ["aNode"],
  487. source: "node: aNode\x0a\x09node := aNode",
  488. referencedClasses: [],
  489. //>>excludeEnd("ide");
  490. messageSends: []
  491. }),
  492. $globals.LexicalScope);
  493. $core.addMethod(
  494. $core.method({
  495. selector: "outerScope",
  496. protocol: 'accessing',
  497. fn: function (){
  498. var self=this;
  499. return self["@outerScope"];
  500. },
  501. //>>excludeStart("ide", pragmas.excludeIdeData);
  502. args: [],
  503. source: "outerScope\x0a\x09^ outerScope",
  504. referencedClasses: [],
  505. //>>excludeEnd("ide");
  506. messageSends: []
  507. }),
  508. $globals.LexicalScope);
  509. $core.addMethod(
  510. $core.method({
  511. selector: "outerScope:",
  512. protocol: 'accessing',
  513. fn: function (aLexicalScope){
  514. var self=this;
  515. self["@outerScope"]=aLexicalScope;
  516. return self;
  517. },
  518. //>>excludeStart("ide", pragmas.excludeIdeData);
  519. args: ["aLexicalScope"],
  520. source: "outerScope: aLexicalScope\x0a\x09outerScope := aLexicalScope",
  521. referencedClasses: [],
  522. //>>excludeEnd("ide");
  523. messageSends: []
  524. }),
  525. $globals.LexicalScope);
  526. $core.addMethod(
  527. $core.method({
  528. selector: "pseudoVars",
  529. protocol: 'accessing',
  530. fn: function (){
  531. var self=this;
  532. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  533. return $core.withContext(function($ctx1) {
  534. //>>excludeEnd("ctx");
  535. return $recv(self._methodScope())._pseudoVars();
  536. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  537. }, function($ctx1) {$ctx1.fill(self,"pseudoVars",{},$globals.LexicalScope)});
  538. //>>excludeEnd("ctx");
  539. },
  540. //>>excludeStart("ide", pragmas.excludeIdeData);
  541. args: [],
  542. source: "pseudoVars\x0a\x09^ self methodScope pseudoVars",
  543. referencedClasses: [],
  544. //>>excludeEnd("ide");
  545. messageSends: ["pseudoVars", "methodScope"]
  546. }),
  547. $globals.LexicalScope);
  548. $core.addMethod(
  549. $core.method({
  550. selector: "scopeLevel",
  551. protocol: 'accessing',
  552. fn: function (){
  553. var self=this;
  554. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  555. return $core.withContext(function($ctx1) {
  556. //>>excludeEnd("ctx");
  557. var $1,$2,$4,$3,$receiver;
  558. $1=self._outerScope();
  559. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  560. $ctx1.sendIdx["outerScope"]=1;
  561. //>>excludeEnd("ctx");
  562. if(($receiver = $1) == null || $receiver.isNil){
  563. return (1);
  564. } else {
  565. $1;
  566. };
  567. $2=self._isInlined();
  568. if($core.assert($2)){
  569. $4=self._outerScope();
  570. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  571. $ctx1.sendIdx["outerScope"]=2;
  572. //>>excludeEnd("ctx");
  573. $3=$recv($4)._scopeLevel();
  574. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  575. $ctx1.sendIdx["scopeLevel"]=1;
  576. //>>excludeEnd("ctx");
  577. return $3;
  578. };
  579. return $recv($recv(self._outerScope())._scopeLevel()).__plus((1));
  580. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  581. }, function($ctx1) {$ctx1.fill(self,"scopeLevel",{},$globals.LexicalScope)});
  582. //>>excludeEnd("ctx");
  583. },
  584. //>>excludeStart("ide", pragmas.excludeIdeData);
  585. args: [],
  586. source: "scopeLevel\x0a\x09self outerScope ifNil: [ ^ 1 ].\x0a\x09self isInlined ifTrue: [ ^ self outerScope scopeLevel ].\x0a\x09\x0a\x09^ self outerScope scopeLevel + 1",
  587. referencedClasses: [],
  588. //>>excludeEnd("ide");
  589. messageSends: ["ifNil:", "outerScope", "ifTrue:", "isInlined", "scopeLevel", "+"]
  590. }),
  591. $globals.LexicalScope);
  592. $core.addMethod(
  593. $core.method({
  594. selector: "temps",
  595. protocol: 'accessing',
  596. fn: function (){
  597. var self=this;
  598. function $Dictionary(){return $globals.Dictionary||(typeof Dictionary=="undefined"?nil:Dictionary)}
  599. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  600. return $core.withContext(function($ctx1) {
  601. //>>excludeEnd("ctx");
  602. var $1,$receiver;
  603. $1=self["@temps"];
  604. if(($receiver = $1) == null || $receiver.isNil){
  605. self["@temps"]=$recv($Dictionary())._new();
  606. return self["@temps"];
  607. } else {
  608. return $1;
  609. };
  610. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  611. }, function($ctx1) {$ctx1.fill(self,"temps",{},$globals.LexicalScope)});
  612. //>>excludeEnd("ctx");
  613. },
  614. //>>excludeStart("ide", pragmas.excludeIdeData);
  615. args: [],
  616. source: "temps\x0a\x09^ temps ifNil: [ temps := Dictionary new ]",
  617. referencedClasses: ["Dictionary"],
  618. //>>excludeEnd("ide");
  619. messageSends: ["ifNil:", "new"]
  620. }),
  621. $globals.LexicalScope);
  622. $core.addClass('MethodLexicalScope', $globals.LexicalScope, ['iVars', 'pseudoVars', 'unknownVariables', 'localReturn', 'nonLocalReturns'], 'Compiler-Semantic');
  623. //>>excludeStart("ide", pragmas.excludeIdeData);
  624. $globals.MethodLexicalScope.comment="I represent a method scope.";
  625. //>>excludeEnd("ide");
  626. $core.addMethod(
  627. $core.method({
  628. selector: "addIVar:",
  629. protocol: 'adding',
  630. fn: function (aString){
  631. var self=this;
  632. function $InstanceVar(){return $globals.InstanceVar||(typeof InstanceVar=="undefined"?nil:InstanceVar)}
  633. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  634. return $core.withContext(function($ctx1) {
  635. //>>excludeEnd("ctx");
  636. var $1;
  637. $1=self._iVars();
  638. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  639. $ctx1.sendIdx["iVars"]=1;
  640. //>>excludeEnd("ctx");
  641. $recv($1)._at_put_(aString,$recv($InstanceVar())._on_(aString));
  642. $recv($recv(self._iVars())._at_(aString))._scope_(self);
  643. return self;
  644. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  645. }, function($ctx1) {$ctx1.fill(self,"addIVar:",{aString:aString},$globals.MethodLexicalScope)});
  646. //>>excludeEnd("ctx");
  647. },
  648. //>>excludeStart("ide", pragmas.excludeIdeData);
  649. args: ["aString"],
  650. source: "addIVar: aString\x0a\x09self iVars at: aString put: (InstanceVar on: aString).\x0a\x09(self iVars at: aString) scope: self",
  651. referencedClasses: ["InstanceVar"],
  652. //>>excludeEnd("ide");
  653. messageSends: ["at:put:", "iVars", "on:", "scope:", "at:"]
  654. }),
  655. $globals.MethodLexicalScope);
  656. $core.addMethod(
  657. $core.method({
  658. selector: "addNonLocalReturn:",
  659. protocol: 'adding',
  660. fn: function (aScope){
  661. var self=this;
  662. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  663. return $core.withContext(function($ctx1) {
  664. //>>excludeEnd("ctx");
  665. $recv(self._nonLocalReturns())._add_(aScope);
  666. return self;
  667. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  668. }, function($ctx1) {$ctx1.fill(self,"addNonLocalReturn:",{aScope:aScope},$globals.MethodLexicalScope)});
  669. //>>excludeEnd("ctx");
  670. },
  671. //>>excludeStart("ide", pragmas.excludeIdeData);
  672. args: ["aScope"],
  673. source: "addNonLocalReturn: aScope\x0a\x09self nonLocalReturns add: aScope",
  674. referencedClasses: [],
  675. //>>excludeEnd("ide");
  676. messageSends: ["add:", "nonLocalReturns"]
  677. }),
  678. $globals.MethodLexicalScope);
  679. $core.addMethod(
  680. $core.method({
  681. selector: "allVariableNames",
  682. protocol: 'accessing',
  683. fn: function (){
  684. var self=this;
  685. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  686. return $core.withContext(function($ctx1) {
  687. //>>excludeEnd("ctx");
  688. var $1;
  689. $1=(
  690. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  691. $ctx1.supercall = true,
  692. //>>excludeEnd("ctx");
  693. ($globals.MethodLexicalScope.superclass||$boot.dnu).fn.prototype._allVariableNames.apply($recv(self), []));
  694. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  695. $ctx1.supercall = false;
  696. //>>excludeEnd("ctx");;
  697. return $recv($1).__comma($recv(self._iVars())._keys());
  698. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  699. }, function($ctx1) {$ctx1.fill(self,"allVariableNames",{},$globals.MethodLexicalScope)});
  700. //>>excludeEnd("ctx");
  701. },
  702. //>>excludeStart("ide", pragmas.excludeIdeData);
  703. args: [],
  704. source: "allVariableNames\x0a\x09^ super allVariableNames, self iVars keys",
  705. referencedClasses: [],
  706. //>>excludeEnd("ide");
  707. messageSends: [",", "allVariableNames", "keys", "iVars"]
  708. }),
  709. $globals.MethodLexicalScope);
  710. $core.addMethod(
  711. $core.method({
  712. selector: "bindingFor:",
  713. protocol: 'accessing',
  714. fn: function (aNode){
  715. var self=this;
  716. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  717. return $core.withContext(function($ctx1) {
  718. //>>excludeEnd("ctx");
  719. var $1,$receiver;
  720. $1=(
  721. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  722. $ctx1.supercall = true,
  723. //>>excludeEnd("ctx");
  724. ($globals.MethodLexicalScope.superclass||$boot.dnu).fn.prototype._bindingFor_.apply($recv(self), [aNode]));
  725. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  726. $ctx1.supercall = false;
  727. //>>excludeEnd("ctx");;
  728. if(($receiver = $1) == null || $receiver.isNil){
  729. return $recv(self._iVars())._at_ifAbsent_($recv(aNode)._value(),(function(){
  730. return nil;
  731. }));
  732. } else {
  733. return $1;
  734. };
  735. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  736. }, function($ctx1) {$ctx1.fill(self,"bindingFor:",{aNode:aNode},$globals.MethodLexicalScope)});
  737. //>>excludeEnd("ctx");
  738. },
  739. //>>excludeStart("ide", pragmas.excludeIdeData);
  740. args: ["aNode"],
  741. source: "bindingFor: aNode\x0a\x09^ (super bindingFor: aNode) ifNil: [\x0a\x09\x09self iVars at: aNode value ifAbsent: [ nil ]]",
  742. referencedClasses: [],
  743. //>>excludeEnd("ide");
  744. messageSends: ["ifNil:", "bindingFor:", "at:ifAbsent:", "iVars", "value"]
  745. }),
  746. $globals.MethodLexicalScope);
  747. $core.addMethod(
  748. $core.method({
  749. selector: "canInlineNonLocalReturns",
  750. protocol: 'testing',
  751. fn: function (){
  752. var self=this;
  753. return true;
  754. },
  755. //>>excludeStart("ide", pragmas.excludeIdeData);
  756. args: [],
  757. source: "canInlineNonLocalReturns\x0a\x09^ true",
  758. referencedClasses: [],
  759. //>>excludeEnd("ide");
  760. messageSends: []
  761. }),
  762. $globals.MethodLexicalScope);
  763. $core.addMethod(
  764. $core.method({
  765. selector: "hasLocalReturn",
  766. protocol: 'testing',
  767. fn: function (){
  768. var self=this;
  769. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  770. return $core.withContext(function($ctx1) {
  771. //>>excludeEnd("ctx");
  772. return self._localReturn();
  773. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  774. }, function($ctx1) {$ctx1.fill(self,"hasLocalReturn",{},$globals.MethodLexicalScope)});
  775. //>>excludeEnd("ctx");
  776. },
  777. //>>excludeStart("ide", pragmas.excludeIdeData);
  778. args: [],
  779. source: "hasLocalReturn\x0a\x09^ self localReturn",
  780. referencedClasses: [],
  781. //>>excludeEnd("ide");
  782. messageSends: ["localReturn"]
  783. }),
  784. $globals.MethodLexicalScope);
  785. $core.addMethod(
  786. $core.method({
  787. selector: "hasNonLocalReturn",
  788. protocol: 'testing',
  789. fn: function (){
  790. var self=this;
  791. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  792. return $core.withContext(function($ctx1) {
  793. //>>excludeEnd("ctx");
  794. return $recv(self._nonLocalReturns())._notEmpty();
  795. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  796. }, function($ctx1) {$ctx1.fill(self,"hasNonLocalReturn",{},$globals.MethodLexicalScope)});
  797. //>>excludeEnd("ctx");
  798. },
  799. //>>excludeStart("ide", pragmas.excludeIdeData);
  800. args: [],
  801. source: "hasNonLocalReturn\x0a\x09^ self nonLocalReturns notEmpty",
  802. referencedClasses: [],
  803. //>>excludeEnd("ide");
  804. messageSends: ["notEmpty", "nonLocalReturns"]
  805. }),
  806. $globals.MethodLexicalScope);
  807. $core.addMethod(
  808. $core.method({
  809. selector: "iVars",
  810. protocol: 'accessing',
  811. fn: function (){
  812. var self=this;
  813. function $Dictionary(){return $globals.Dictionary||(typeof Dictionary=="undefined"?nil:Dictionary)}
  814. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  815. return $core.withContext(function($ctx1) {
  816. //>>excludeEnd("ctx");
  817. var $1,$receiver;
  818. $1=self["@iVars"];
  819. if(($receiver = $1) == null || $receiver.isNil){
  820. self["@iVars"]=$recv($Dictionary())._new();
  821. return self["@iVars"];
  822. } else {
  823. return $1;
  824. };
  825. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  826. }, function($ctx1) {$ctx1.fill(self,"iVars",{},$globals.MethodLexicalScope)});
  827. //>>excludeEnd("ctx");
  828. },
  829. //>>excludeStart("ide", pragmas.excludeIdeData);
  830. args: [],
  831. source: "iVars\x0a\x09^ iVars ifNil: [ iVars := Dictionary new ]",
  832. referencedClasses: ["Dictionary"],
  833. //>>excludeEnd("ide");
  834. messageSends: ["ifNil:", "new"]
  835. }),
  836. $globals.MethodLexicalScope);
  837. $core.addMethod(
  838. $core.method({
  839. selector: "isMethodScope",
  840. protocol: 'testing',
  841. fn: function (){
  842. var self=this;
  843. return true;
  844. },
  845. //>>excludeStart("ide", pragmas.excludeIdeData);
  846. args: [],
  847. source: "isMethodScope\x0a\x09^ true",
  848. referencedClasses: [],
  849. //>>excludeEnd("ide");
  850. messageSends: []
  851. }),
  852. $globals.MethodLexicalScope);
  853. $core.addMethod(
  854. $core.method({
  855. selector: "localReturn",
  856. protocol: 'accessing',
  857. fn: function (){
  858. var self=this;
  859. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  860. return $core.withContext(function($ctx1) {
  861. //>>excludeEnd("ctx");
  862. var $1,$receiver;
  863. $1=self["@localReturn"];
  864. if(($receiver = $1) == null || $receiver.isNil){
  865. return false;
  866. } else {
  867. return $1;
  868. };
  869. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  870. }, function($ctx1) {$ctx1.fill(self,"localReturn",{},$globals.MethodLexicalScope)});
  871. //>>excludeEnd("ctx");
  872. },
  873. //>>excludeStart("ide", pragmas.excludeIdeData);
  874. args: [],
  875. source: "localReturn\x0a\x09^ localReturn ifNil: [ false ]",
  876. referencedClasses: [],
  877. //>>excludeEnd("ide");
  878. messageSends: ["ifNil:"]
  879. }),
  880. $globals.MethodLexicalScope);
  881. $core.addMethod(
  882. $core.method({
  883. selector: "localReturn:",
  884. protocol: 'accessing',
  885. fn: function (aBoolean){
  886. var self=this;
  887. self["@localReturn"]=aBoolean;
  888. return self;
  889. },
  890. //>>excludeStart("ide", pragmas.excludeIdeData);
  891. args: ["aBoolean"],
  892. source: "localReturn: aBoolean\x0a\x09localReturn := aBoolean",
  893. referencedClasses: [],
  894. //>>excludeEnd("ide");
  895. messageSends: []
  896. }),
  897. $globals.MethodLexicalScope);
  898. $core.addMethod(
  899. $core.method({
  900. selector: "methodScope",
  901. protocol: 'accessing',
  902. fn: function (){
  903. var self=this;
  904. return self;
  905. },
  906. //>>excludeStart("ide", pragmas.excludeIdeData);
  907. args: [],
  908. source: "methodScope\x0a\x09^ self",
  909. referencedClasses: [],
  910. //>>excludeEnd("ide");
  911. messageSends: []
  912. }),
  913. $globals.MethodLexicalScope);
  914. $core.addMethod(
  915. $core.method({
  916. selector: "nonLocalReturns",
  917. protocol: 'accessing',
  918. fn: function (){
  919. var self=this;
  920. function $OrderedCollection(){return $globals.OrderedCollection||(typeof OrderedCollection=="undefined"?nil:OrderedCollection)}
  921. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  922. return $core.withContext(function($ctx1) {
  923. //>>excludeEnd("ctx");
  924. var $1,$receiver;
  925. $1=self["@nonLocalReturns"];
  926. if(($receiver = $1) == null || $receiver.isNil){
  927. self["@nonLocalReturns"]=$recv($OrderedCollection())._new();
  928. return self["@nonLocalReturns"];
  929. } else {
  930. return $1;
  931. };
  932. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  933. }, function($ctx1) {$ctx1.fill(self,"nonLocalReturns",{},$globals.MethodLexicalScope)});
  934. //>>excludeEnd("ctx");
  935. },
  936. //>>excludeStart("ide", pragmas.excludeIdeData);
  937. args: [],
  938. source: "nonLocalReturns\x0a\x09^ nonLocalReturns ifNil: [ nonLocalReturns := OrderedCollection new ]",
  939. referencedClasses: ["OrderedCollection"],
  940. //>>excludeEnd("ide");
  941. messageSends: ["ifNil:", "new"]
  942. }),
  943. $globals.MethodLexicalScope);
  944. $core.addMethod(
  945. $core.method({
  946. selector: "pseudoVars",
  947. protocol: 'accessing',
  948. fn: function (){
  949. var self=this;
  950. function $Dictionary(){return $globals.Dictionary||(typeof Dictionary=="undefined"?nil:Dictionary)}
  951. function $Smalltalk(){return $globals.Smalltalk||(typeof Smalltalk=="undefined"?nil:Smalltalk)}
  952. function $PseudoVar(){return $globals.PseudoVar||(typeof PseudoVar=="undefined"?nil:PseudoVar)}
  953. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  954. return $core.withContext(function($ctx1) {
  955. //>>excludeEnd("ctx");
  956. var $1,$2,$4,$3,$receiver;
  957. $1=self["@pseudoVars"];
  958. if(($receiver = $1) == null || $receiver.isNil){
  959. self["@pseudoVars"]=$recv($Dictionary())._new();
  960. self["@pseudoVars"];
  961. $recv($recv($Smalltalk())._pseudoVariableNames())._do_((function(each){
  962. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  963. return $core.withContext(function($ctx2) {
  964. //>>excludeEnd("ctx");
  965. $2=self["@pseudoVars"];
  966. $4=$recv($PseudoVar())._on_(each);
  967. $recv($4)._scope_(self._methodScope());
  968. $3=$recv($4)._yourself();
  969. return $recv($2)._at_put_(each,$3);
  970. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  971. }, function($ctx2) {$ctx2.fillBlock({each:each},$ctx1,2)});
  972. //>>excludeEnd("ctx");
  973. }));
  974. } else {
  975. $1;
  976. };
  977. return self["@pseudoVars"];
  978. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  979. }, function($ctx1) {$ctx1.fill(self,"pseudoVars",{},$globals.MethodLexicalScope)});
  980. //>>excludeEnd("ctx");
  981. },
  982. //>>excludeStart("ide", pragmas.excludeIdeData);
  983. args: [],
  984. source: "pseudoVars\x0a\x09pseudoVars ifNil: [\x0a\x09\x09pseudoVars := Dictionary new.\x0a\x09\x09Smalltalk pseudoVariableNames do: [ :each |\x0a\x09\x09\x09pseudoVars at: each put: ((PseudoVar on: each)\x0a\x09\x09\x09\x09scope: self methodScope;\x0a\x09\x09\x09\x09yourself) ]].\x0a\x09^ pseudoVars",
  985. referencedClasses: ["Dictionary", "Smalltalk", "PseudoVar"],
  986. //>>excludeEnd("ide");
  987. messageSends: ["ifNil:", "new", "do:", "pseudoVariableNames", "at:put:", "scope:", "on:", "methodScope", "yourself"]
  988. }),
  989. $globals.MethodLexicalScope);
  990. $core.addMethod(
  991. $core.method({
  992. selector: "removeNonLocalReturn:",
  993. protocol: 'adding',
  994. fn: function (aScope){
  995. var self=this;
  996. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  997. return $core.withContext(function($ctx1) {
  998. //>>excludeEnd("ctx");
  999. $recv(self._nonLocalReturns())._remove_ifAbsent_(aScope,(function(){
  1000. }));
  1001. return self;
  1002. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1003. }, function($ctx1) {$ctx1.fill(self,"removeNonLocalReturn:",{aScope:aScope},$globals.MethodLexicalScope)});
  1004. //>>excludeEnd("ctx");
  1005. },
  1006. //>>excludeStart("ide", pragmas.excludeIdeData);
  1007. args: ["aScope"],
  1008. source: "removeNonLocalReturn: aScope\x0a\x09self nonLocalReturns remove: aScope ifAbsent: []",
  1009. referencedClasses: [],
  1010. //>>excludeEnd("ide");
  1011. messageSends: ["remove:ifAbsent:", "nonLocalReturns"]
  1012. }),
  1013. $globals.MethodLexicalScope);
  1014. $core.addMethod(
  1015. $core.method({
  1016. selector: "unknownVariables",
  1017. protocol: 'accessing',
  1018. fn: function (){
  1019. var self=this;
  1020. function $OrderedCollection(){return $globals.OrderedCollection||(typeof OrderedCollection=="undefined"?nil:OrderedCollection)}
  1021. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1022. return $core.withContext(function($ctx1) {
  1023. //>>excludeEnd("ctx");
  1024. var $1,$receiver;
  1025. $1=self["@unknownVariables"];
  1026. if(($receiver = $1) == null || $receiver.isNil){
  1027. self["@unknownVariables"]=$recv($OrderedCollection())._new();
  1028. return self["@unknownVariables"];
  1029. } else {
  1030. return $1;
  1031. };
  1032. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1033. }, function($ctx1) {$ctx1.fill(self,"unknownVariables",{},$globals.MethodLexicalScope)});
  1034. //>>excludeEnd("ctx");
  1035. },
  1036. //>>excludeStart("ide", pragmas.excludeIdeData);
  1037. args: [],
  1038. source: "unknownVariables\x0a\x09^ unknownVariables ifNil: [ unknownVariables := OrderedCollection new ]",
  1039. referencedClasses: ["OrderedCollection"],
  1040. //>>excludeEnd("ide");
  1041. messageSends: ["ifNil:", "new"]
  1042. }),
  1043. $globals.MethodLexicalScope);
  1044. $core.addClass('ScopeVar', $globals.Object, ['scope', 'name'], 'Compiler-Semantic');
  1045. //>>excludeStart("ide", pragmas.excludeIdeData);
  1046. $globals.ScopeVar.comment="I am an entry in a LexicalScope that gets associated with variable nodes of the same name.\x0aThere are 4 different subclasses of vars: temp vars, local vars, args, and unknown/global vars.";
  1047. //>>excludeEnd("ide");
  1048. $core.addMethod(
  1049. $core.method({
  1050. selector: "alias",
  1051. protocol: 'accessing',
  1052. fn: function (){
  1053. var self=this;
  1054. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1055. return $core.withContext(function($ctx1) {
  1056. //>>excludeEnd("ctx");
  1057. return $recv(self._name())._asVariableName();
  1058. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1059. }, function($ctx1) {$ctx1.fill(self,"alias",{},$globals.ScopeVar)});
  1060. //>>excludeEnd("ctx");
  1061. },
  1062. //>>excludeStart("ide", pragmas.excludeIdeData);
  1063. args: [],
  1064. source: "alias\x0a\x09^ self name asVariableName",
  1065. referencedClasses: [],
  1066. //>>excludeEnd("ide");
  1067. messageSends: ["asVariableName", "name"]
  1068. }),
  1069. $globals.ScopeVar);
  1070. $core.addMethod(
  1071. $core.method({
  1072. selector: "isArgVar",
  1073. protocol: 'testing',
  1074. fn: function (){
  1075. var self=this;
  1076. return false;
  1077. },
  1078. //>>excludeStart("ide", pragmas.excludeIdeData);
  1079. args: [],
  1080. source: "isArgVar\x0a\x09^ false",
  1081. referencedClasses: [],
  1082. //>>excludeEnd("ide");
  1083. messageSends: []
  1084. }),
  1085. $globals.ScopeVar);
  1086. $core.addMethod(
  1087. $core.method({
  1088. selector: "isClassRefVar",
  1089. protocol: 'testing',
  1090. fn: function (){
  1091. var self=this;
  1092. return false;
  1093. },
  1094. //>>excludeStart("ide", pragmas.excludeIdeData);
  1095. args: [],
  1096. source: "isClassRefVar\x0a\x09^ false",
  1097. referencedClasses: [],
  1098. //>>excludeEnd("ide");
  1099. messageSends: []
  1100. }),
  1101. $globals.ScopeVar);
  1102. $core.addMethod(
  1103. $core.method({
  1104. selector: "isImmutable",
  1105. protocol: 'testing',
  1106. fn: function (){
  1107. var self=this;
  1108. return false;
  1109. },
  1110. //>>excludeStart("ide", pragmas.excludeIdeData);
  1111. args: [],
  1112. source: "isImmutable\x0a\x09^ false",
  1113. referencedClasses: [],
  1114. //>>excludeEnd("ide");
  1115. messageSends: []
  1116. }),
  1117. $globals.ScopeVar);
  1118. $core.addMethod(
  1119. $core.method({
  1120. selector: "isInstanceVar",
  1121. protocol: 'testing',
  1122. fn: function (){
  1123. var self=this;
  1124. return false;
  1125. },
  1126. //>>excludeStart("ide", pragmas.excludeIdeData);
  1127. args: [],
  1128. source: "isInstanceVar\x0a\x09^ false",
  1129. referencedClasses: [],
  1130. //>>excludeEnd("ide");
  1131. messageSends: []
  1132. }),
  1133. $globals.ScopeVar);
  1134. $core.addMethod(
  1135. $core.method({
  1136. selector: "isPseudoVar",
  1137. protocol: 'testing',
  1138. fn: function (){
  1139. var self=this;
  1140. return false;
  1141. },
  1142. //>>excludeStart("ide", pragmas.excludeIdeData);
  1143. args: [],
  1144. source: "isPseudoVar\x0a\x09^ false",
  1145. referencedClasses: [],
  1146. //>>excludeEnd("ide");
  1147. messageSends: []
  1148. }),
  1149. $globals.ScopeVar);
  1150. $core.addMethod(
  1151. $core.method({
  1152. selector: "isTempVar",
  1153. protocol: 'testing',
  1154. fn: function (){
  1155. var self=this;
  1156. return false;
  1157. },
  1158. //>>excludeStart("ide", pragmas.excludeIdeData);
  1159. args: [],
  1160. source: "isTempVar\x0a\x09^ false",
  1161. referencedClasses: [],
  1162. //>>excludeEnd("ide");
  1163. messageSends: []
  1164. }),
  1165. $globals.ScopeVar);
  1166. $core.addMethod(
  1167. $core.method({
  1168. selector: "isUnknownVar",
  1169. protocol: 'testing',
  1170. fn: function (){
  1171. var self=this;
  1172. return false;
  1173. },
  1174. //>>excludeStart("ide", pragmas.excludeIdeData);
  1175. args: [],
  1176. source: "isUnknownVar\x0a\x09^ false",
  1177. referencedClasses: [],
  1178. //>>excludeEnd("ide");
  1179. messageSends: []
  1180. }),
  1181. $globals.ScopeVar);
  1182. $core.addMethod(
  1183. $core.method({
  1184. selector: "name",
  1185. protocol: 'accessing',
  1186. fn: function (){
  1187. var self=this;
  1188. return self["@name"];
  1189. },
  1190. //>>excludeStart("ide", pragmas.excludeIdeData);
  1191. args: [],
  1192. source: "name\x0a\x09^ name",
  1193. referencedClasses: [],
  1194. //>>excludeEnd("ide");
  1195. messageSends: []
  1196. }),
  1197. $globals.ScopeVar);
  1198. $core.addMethod(
  1199. $core.method({
  1200. selector: "name:",
  1201. protocol: 'accessing',
  1202. fn: function (aString){
  1203. var self=this;
  1204. self["@name"]=aString;
  1205. return self;
  1206. },
  1207. //>>excludeStart("ide", pragmas.excludeIdeData);
  1208. args: ["aString"],
  1209. source: "name: aString\x0a\x09name := aString",
  1210. referencedClasses: [],
  1211. //>>excludeEnd("ide");
  1212. messageSends: []
  1213. }),
  1214. $globals.ScopeVar);
  1215. $core.addMethod(
  1216. $core.method({
  1217. selector: "scope",
  1218. protocol: 'accessing',
  1219. fn: function (){
  1220. var self=this;
  1221. return self["@scope"];
  1222. },
  1223. //>>excludeStart("ide", pragmas.excludeIdeData);
  1224. args: [],
  1225. source: "scope\x0a\x09^ scope",
  1226. referencedClasses: [],
  1227. //>>excludeEnd("ide");
  1228. messageSends: []
  1229. }),
  1230. $globals.ScopeVar);
  1231. $core.addMethod(
  1232. $core.method({
  1233. selector: "scope:",
  1234. protocol: 'accessing',
  1235. fn: function (aScope){
  1236. var self=this;
  1237. self["@scope"]=aScope;
  1238. return self;
  1239. },
  1240. //>>excludeStart("ide", pragmas.excludeIdeData);
  1241. args: ["aScope"],
  1242. source: "scope: aScope\x0a\x09scope := aScope",
  1243. referencedClasses: [],
  1244. //>>excludeEnd("ide");
  1245. messageSends: []
  1246. }),
  1247. $globals.ScopeVar);
  1248. $core.addMethod(
  1249. $core.method({
  1250. selector: "validateAssignment",
  1251. protocol: 'testing',
  1252. fn: function (){
  1253. var self=this;
  1254. function $InvalidAssignmentError(){return $globals.InvalidAssignmentError||(typeof InvalidAssignmentError=="undefined"?nil:InvalidAssignmentError)}
  1255. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1256. return $core.withContext(function($ctx1) {
  1257. //>>excludeEnd("ctx");
  1258. var $1,$2;
  1259. $1=$recv(self._isArgVar())._or_((function(){
  1260. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1261. return $core.withContext(function($ctx2) {
  1262. //>>excludeEnd("ctx");
  1263. return self._isPseudoVar();
  1264. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1265. }, function($ctx2) {$ctx2.fillBlock({},$ctx1,1)});
  1266. //>>excludeEnd("ctx");
  1267. }));
  1268. if($core.assert($1)){
  1269. $2=$recv($InvalidAssignmentError())._new();
  1270. $recv($2)._variableName_(self._name());
  1271. $recv($2)._signal();
  1272. };
  1273. return self;
  1274. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1275. }, function($ctx1) {$ctx1.fill(self,"validateAssignment",{},$globals.ScopeVar)});
  1276. //>>excludeEnd("ctx");
  1277. },
  1278. //>>excludeStart("ide", pragmas.excludeIdeData);
  1279. args: [],
  1280. source: "validateAssignment\x0a\x09(self isArgVar or: [ self isPseudoVar ]) ifTrue: [\x0a\x09\x09InvalidAssignmentError new\x0a\x09\x09\x09variableName: self name;\x0a\x09\x09\x09signal]",
  1281. referencedClasses: ["InvalidAssignmentError"],
  1282. //>>excludeEnd("ide");
  1283. messageSends: ["ifTrue:", "or:", "isArgVar", "isPseudoVar", "variableName:", "new", "name", "signal"]
  1284. }),
  1285. $globals.ScopeVar);
  1286. $core.addMethod(
  1287. $core.method({
  1288. selector: "on:",
  1289. protocol: 'instance creation',
  1290. fn: function (aString){
  1291. var self=this;
  1292. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1293. return $core.withContext(function($ctx1) {
  1294. //>>excludeEnd("ctx");
  1295. var $1;
  1296. $1=self._new();
  1297. $recv($1)._name_(aString);
  1298. return $recv($1)._yourself();
  1299. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1300. }, function($ctx1) {$ctx1.fill(self,"on:",{aString:aString},$globals.ScopeVar.klass)});
  1301. //>>excludeEnd("ctx");
  1302. },
  1303. //>>excludeStart("ide", pragmas.excludeIdeData);
  1304. args: ["aString"],
  1305. source: "on: aString\x0a\x09^ self new\x0a\x09\x09name: aString;\x0a\x09\x09yourself",
  1306. referencedClasses: [],
  1307. //>>excludeEnd("ide");
  1308. messageSends: ["name:", "new", "yourself"]
  1309. }),
  1310. $globals.ScopeVar.klass);
  1311. $core.addClass('AliasVar', $globals.ScopeVar, ['node'], 'Compiler-Semantic');
  1312. //>>excludeStart("ide", pragmas.excludeIdeData);
  1313. $globals.AliasVar.comment="I am an internally defined variable by the compiler";
  1314. //>>excludeEnd("ide");
  1315. $core.addMethod(
  1316. $core.method({
  1317. selector: "isImmutable",
  1318. protocol: 'testing',
  1319. fn: function (){
  1320. var self=this;
  1321. return true;
  1322. },
  1323. //>>excludeStart("ide", pragmas.excludeIdeData);
  1324. args: [],
  1325. source: "isImmutable\x0a\x09^ true",
  1326. referencedClasses: [],
  1327. //>>excludeEnd("ide");
  1328. messageSends: []
  1329. }),
  1330. $globals.AliasVar);
  1331. $core.addMethod(
  1332. $core.method({
  1333. selector: "node",
  1334. protocol: 'accessing',
  1335. fn: function (){
  1336. var self=this;
  1337. return self["@node"];
  1338. },
  1339. //>>excludeStart("ide", pragmas.excludeIdeData);
  1340. args: [],
  1341. source: "node\x0a\x09^ node",
  1342. referencedClasses: [],
  1343. //>>excludeEnd("ide");
  1344. messageSends: []
  1345. }),
  1346. $globals.AliasVar);
  1347. $core.addMethod(
  1348. $core.method({
  1349. selector: "node:",
  1350. protocol: 'accessing',
  1351. fn: function (aNode){
  1352. var self=this;
  1353. self["@node"]=aNode;
  1354. return self;
  1355. },
  1356. //>>excludeStart("ide", pragmas.excludeIdeData);
  1357. args: ["aNode"],
  1358. source: "node: aNode\x0a\x09node := aNode",
  1359. referencedClasses: [],
  1360. //>>excludeEnd("ide");
  1361. messageSends: []
  1362. }),
  1363. $globals.AliasVar);
  1364. $core.addClass('ArgVar', $globals.ScopeVar, [], 'Compiler-Semantic');
  1365. //>>excludeStart("ide", pragmas.excludeIdeData);
  1366. $globals.ArgVar.comment="I am an argument of a method or block.";
  1367. //>>excludeEnd("ide");
  1368. $core.addMethod(
  1369. $core.method({
  1370. selector: "isArgVar",
  1371. protocol: 'testing',
  1372. fn: function (){
  1373. var self=this;
  1374. return true;
  1375. },
  1376. //>>excludeStart("ide", pragmas.excludeIdeData);
  1377. args: [],
  1378. source: "isArgVar\x0a\x09^ true",
  1379. referencedClasses: [],
  1380. //>>excludeEnd("ide");
  1381. messageSends: []
  1382. }),
  1383. $globals.ArgVar);
  1384. $core.addMethod(
  1385. $core.method({
  1386. selector: "isImmutable",
  1387. protocol: 'testing',
  1388. fn: function (){
  1389. var self=this;
  1390. return true;
  1391. },
  1392. //>>excludeStart("ide", pragmas.excludeIdeData);
  1393. args: [],
  1394. source: "isImmutable\x0a\x09^ true",
  1395. referencedClasses: [],
  1396. //>>excludeEnd("ide");
  1397. messageSends: []
  1398. }),
  1399. $globals.ArgVar);
  1400. $core.addClass('ClassRefVar', $globals.ScopeVar, [], 'Compiler-Semantic');
  1401. //>>excludeStart("ide", pragmas.excludeIdeData);
  1402. $globals.ClassRefVar.comment="I am an class reference variable";
  1403. //>>excludeEnd("ide");
  1404. $core.addMethod(
  1405. $core.method({
  1406. selector: "alias",
  1407. protocol: 'accessing',
  1408. fn: function (){
  1409. var self=this;
  1410. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1411. return $core.withContext(function($ctx1) {
  1412. //>>excludeEnd("ctx");
  1413. var $1;
  1414. $1=$recv("$".__comma(self._name())).__comma("()");
  1415. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1416. $ctx1.sendIdx[","]=1;
  1417. //>>excludeEnd("ctx");
  1418. return $1;
  1419. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1420. }, function($ctx1) {$ctx1.fill(self,"alias",{},$globals.ClassRefVar)});
  1421. //>>excludeEnd("ctx");
  1422. },
  1423. //>>excludeStart("ide", pragmas.excludeIdeData);
  1424. args: [],
  1425. source: "alias\x0a\x09\x22Fixes issue #190.\x0a\x09A function is created in the method definition, answering the class or nil.\x0a\x09See JSStream >> #nextPutClassRefFunction:\x22\x0a\x09\x0a\x09^ '$', self name, '()'",
  1426. referencedClasses: [],
  1427. //>>excludeEnd("ide");
  1428. messageSends: [",", "name"]
  1429. }),
  1430. $globals.ClassRefVar);
  1431. $core.addMethod(
  1432. $core.method({
  1433. selector: "isClassRefVar",
  1434. protocol: 'testing',
  1435. fn: function (){
  1436. var self=this;
  1437. return true;
  1438. },
  1439. //>>excludeStart("ide", pragmas.excludeIdeData);
  1440. args: [],
  1441. source: "isClassRefVar\x0a\x09^ true",
  1442. referencedClasses: [],
  1443. //>>excludeEnd("ide");
  1444. messageSends: []
  1445. }),
  1446. $globals.ClassRefVar);
  1447. $core.addMethod(
  1448. $core.method({
  1449. selector: "isImmutable",
  1450. protocol: 'testing',
  1451. fn: function (){
  1452. var self=this;
  1453. return true;
  1454. },
  1455. //>>excludeStart("ide", pragmas.excludeIdeData);
  1456. args: [],
  1457. source: "isImmutable\x0a\x09^ true",
  1458. referencedClasses: [],
  1459. //>>excludeEnd("ide");
  1460. messageSends: []
  1461. }),
  1462. $globals.ClassRefVar);
  1463. $core.addClass('InstanceVar', $globals.ScopeVar, [], 'Compiler-Semantic');
  1464. //>>excludeStart("ide", pragmas.excludeIdeData);
  1465. $globals.InstanceVar.comment="I am an instance variable of a method or block.";
  1466. //>>excludeEnd("ide");
  1467. $core.addMethod(
  1468. $core.method({
  1469. selector: "alias",
  1470. protocol: 'testing',
  1471. fn: function (){
  1472. var self=this;
  1473. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1474. return $core.withContext(function($ctx1) {
  1475. //>>excludeEnd("ctx");
  1476. var $1;
  1477. $1=$recv("self[\x22@".__comma(self._name())).__comma("\x22]");
  1478. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1479. $ctx1.sendIdx[","]=1;
  1480. //>>excludeEnd("ctx");
  1481. return $1;
  1482. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1483. }, function($ctx1) {$ctx1.fill(self,"alias",{},$globals.InstanceVar)});
  1484. //>>excludeEnd("ctx");
  1485. },
  1486. //>>excludeStart("ide", pragmas.excludeIdeData);
  1487. args: [],
  1488. source: "alias\x0a\x09^ 'self[\x22@', self name, '\x22]'",
  1489. referencedClasses: [],
  1490. //>>excludeEnd("ide");
  1491. messageSends: [",", "name"]
  1492. }),
  1493. $globals.InstanceVar);
  1494. $core.addMethod(
  1495. $core.method({
  1496. selector: "isInstanceVar",
  1497. protocol: 'testing',
  1498. fn: function (){
  1499. var self=this;
  1500. return true;
  1501. },
  1502. //>>excludeStart("ide", pragmas.excludeIdeData);
  1503. args: [],
  1504. source: "isInstanceVar\x0a\x09^ true",
  1505. referencedClasses: [],
  1506. //>>excludeEnd("ide");
  1507. messageSends: []
  1508. }),
  1509. $globals.InstanceVar);
  1510. $core.addClass('PseudoVar', $globals.ScopeVar, [], 'Compiler-Semantic');
  1511. //>>excludeStart("ide", pragmas.excludeIdeData);
  1512. $globals.PseudoVar.comment="I am an pseudo variable.\x0a\x0aThe five Smalltalk pseudo variables are: 'self', 'super', 'nil', 'true' and 'false'";
  1513. //>>excludeEnd("ide");
  1514. $core.addMethod(
  1515. $core.method({
  1516. selector: "alias",
  1517. protocol: 'accessing',
  1518. fn: function (){
  1519. var self=this;
  1520. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1521. return $core.withContext(function($ctx1) {
  1522. //>>excludeEnd("ctx");
  1523. return self._name();
  1524. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1525. }, function($ctx1) {$ctx1.fill(self,"alias",{},$globals.PseudoVar)});
  1526. //>>excludeEnd("ctx");
  1527. },
  1528. //>>excludeStart("ide", pragmas.excludeIdeData);
  1529. args: [],
  1530. source: "alias\x0a\x09^ self name",
  1531. referencedClasses: [],
  1532. //>>excludeEnd("ide");
  1533. messageSends: ["name"]
  1534. }),
  1535. $globals.PseudoVar);
  1536. $core.addMethod(
  1537. $core.method({
  1538. selector: "isImmutable",
  1539. protocol: 'testing',
  1540. fn: function (){
  1541. var self=this;
  1542. return true;
  1543. },
  1544. //>>excludeStart("ide", pragmas.excludeIdeData);
  1545. args: [],
  1546. source: "isImmutable\x0a\x09^ true",
  1547. referencedClasses: [],
  1548. //>>excludeEnd("ide");
  1549. messageSends: []
  1550. }),
  1551. $globals.PseudoVar);
  1552. $core.addMethod(
  1553. $core.method({
  1554. selector: "isPseudoVar",
  1555. protocol: 'testing',
  1556. fn: function (){
  1557. var self=this;
  1558. return true;
  1559. },
  1560. //>>excludeStart("ide", pragmas.excludeIdeData);
  1561. args: [],
  1562. source: "isPseudoVar\x0a\x09^ true",
  1563. referencedClasses: [],
  1564. //>>excludeEnd("ide");
  1565. messageSends: []
  1566. }),
  1567. $globals.PseudoVar);
  1568. $core.addClass('TempVar', $globals.ScopeVar, [], 'Compiler-Semantic');
  1569. //>>excludeStart("ide", pragmas.excludeIdeData);
  1570. $globals.TempVar.comment="I am an temporary variable of a method or block.";
  1571. //>>excludeEnd("ide");
  1572. $core.addMethod(
  1573. $core.method({
  1574. selector: "isTempVar",
  1575. protocol: 'testing',
  1576. fn: function (){
  1577. var self=this;
  1578. return true;
  1579. },
  1580. //>>excludeStart("ide", pragmas.excludeIdeData);
  1581. args: [],
  1582. source: "isTempVar\x0a\x09^ true",
  1583. referencedClasses: [],
  1584. //>>excludeEnd("ide");
  1585. messageSends: []
  1586. }),
  1587. $globals.TempVar);
  1588. $core.addClass('UnknownVar', $globals.ScopeVar, [], 'Compiler-Semantic');
  1589. //>>excludeStart("ide", pragmas.excludeIdeData);
  1590. $globals.UnknownVar.comment="I am an unknown variable. Amber uses unknown variables as JavaScript globals";
  1591. //>>excludeEnd("ide");
  1592. $core.addMethod(
  1593. $core.method({
  1594. selector: "isUnknownVar",
  1595. protocol: 'testing',
  1596. fn: function (){
  1597. var self=this;
  1598. return true;
  1599. },
  1600. //>>excludeStart("ide", pragmas.excludeIdeData);
  1601. args: [],
  1602. source: "isUnknownVar\x0a\x09^ true",
  1603. referencedClasses: [],
  1604. //>>excludeEnd("ide");
  1605. messageSends: []
  1606. }),
  1607. $globals.UnknownVar);
  1608. $core.addClass('SemanticAnalyzer', $globals.NodeVisitor, ['currentScope', 'blockIndex', 'thePackage', 'theClass', 'classReferences', 'messageSends', 'visitedRefIds'], 'Compiler-Semantic');
  1609. //>>excludeStart("ide", pragmas.excludeIdeData);
  1610. $globals.SemanticAnalyzer.comment="I semantically analyze the abstract syntax tree and annotate it with informations such as non local returns and variable scopes.";
  1611. //>>excludeEnd("ide");
  1612. $core.addMethod(
  1613. $core.method({
  1614. selector: "classReferences",
  1615. protocol: 'accessing',
  1616. fn: function (){
  1617. var self=this;
  1618. function $Set(){return $globals.Set||(typeof Set=="undefined"?nil:Set)}
  1619. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1620. return $core.withContext(function($ctx1) {
  1621. //>>excludeEnd("ctx");
  1622. var $1,$receiver;
  1623. $1=self["@classReferences"];
  1624. if(($receiver = $1) == null || $receiver.isNil){
  1625. self["@classReferences"]=$recv($Set())._new();
  1626. return self["@classReferences"];
  1627. } else {
  1628. return $1;
  1629. };
  1630. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1631. }, function($ctx1) {$ctx1.fill(self,"classReferences",{},$globals.SemanticAnalyzer)});
  1632. //>>excludeEnd("ctx");
  1633. },
  1634. //>>excludeStart("ide", pragmas.excludeIdeData);
  1635. args: [],
  1636. source: "classReferences\x0a\x09^ classReferences ifNil: [ classReferences := Set new ]",
  1637. referencedClasses: ["Set"],
  1638. //>>excludeEnd("ide");
  1639. messageSends: ["ifNil:", "new"]
  1640. }),
  1641. $globals.SemanticAnalyzer);
  1642. $core.addMethod(
  1643. $core.method({
  1644. selector: "errorShadowingVariable:",
  1645. protocol: 'error handling',
  1646. fn: function (aString){
  1647. var self=this;
  1648. function $ShadowingVariableError(){return $globals.ShadowingVariableError||(typeof ShadowingVariableError=="undefined"?nil:ShadowingVariableError)}
  1649. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1650. return $core.withContext(function($ctx1) {
  1651. //>>excludeEnd("ctx");
  1652. var $1;
  1653. $1=$recv($ShadowingVariableError())._new();
  1654. $recv($1)._variableName_(aString);
  1655. $recv($1)._signal();
  1656. return self;
  1657. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1658. }, function($ctx1) {$ctx1.fill(self,"errorShadowingVariable:",{aString:aString},$globals.SemanticAnalyzer)});
  1659. //>>excludeEnd("ctx");
  1660. },
  1661. //>>excludeStart("ide", pragmas.excludeIdeData);
  1662. args: ["aString"],
  1663. source: "errorShadowingVariable: aString\x0a\x09ShadowingVariableError new\x0a\x09\x09variableName: aString;\x0a\x09\x09signal",
  1664. referencedClasses: ["ShadowingVariableError"],
  1665. //>>excludeEnd("ide");
  1666. messageSends: ["variableName:", "new", "signal"]
  1667. }),
  1668. $globals.SemanticAnalyzer);
  1669. $core.addMethod(
  1670. $core.method({
  1671. selector: "errorUnknownVariable:",
  1672. protocol: 'error handling',
  1673. fn: function (aNode){
  1674. var self=this;
  1675. var identifier;
  1676. function $Smalltalk(){return $globals.Smalltalk||(typeof Smalltalk=="undefined"?nil:Smalltalk)}
  1677. function $UnknownVariableError(){return $globals.UnknownVariableError||(typeof UnknownVariableError=="undefined"?nil:UnknownVariableError)}
  1678. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1679. return $core.withContext(function($ctx1) {
  1680. //>>excludeEnd("ctx");
  1681. var $1,$2,$3;
  1682. identifier=$recv(aNode)._value();
  1683. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1684. $ctx1.sendIdx["value"]=1;
  1685. //>>excludeEnd("ctx");
  1686. $1=$recv($recv($recv($recv($Smalltalk())._globalJsVariables())._includes_(identifier))._not())._and_((function(){
  1687. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1688. return $core.withContext(function($ctx2) {
  1689. //>>excludeEnd("ctx");
  1690. return self._isVariableUndefined_inPackage_(identifier,self._thePackage());
  1691. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1692. }, function($ctx2) {$ctx2.fillBlock({},$ctx1,1)});
  1693. //>>excludeEnd("ctx");
  1694. }));
  1695. if($core.assert($1)){
  1696. $2=$recv($UnknownVariableError())._new();
  1697. $3=$recv(aNode)._value();
  1698. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1699. $ctx1.sendIdx["value"]=2;
  1700. //>>excludeEnd("ctx");
  1701. $recv($2)._variableName_($3);
  1702. $recv($2)._signal();
  1703. } else {
  1704. $recv($recv($recv(self["@currentScope"])._methodScope())._unknownVariables())._add_($recv(aNode)._value());
  1705. };
  1706. return self;
  1707. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1708. }, function($ctx1) {$ctx1.fill(self,"errorUnknownVariable:",{aNode:aNode,identifier:identifier},$globals.SemanticAnalyzer)});
  1709. //>>excludeEnd("ctx");
  1710. },
  1711. //>>excludeStart("ide", pragmas.excludeIdeData);
  1712. args: ["aNode"],
  1713. source: "errorUnknownVariable: aNode\x0a\x09\x22Throw an error if the variable is undeclared in the global JS scope (i.e. window).\x0a\x09We allow all variables listed by Smalltalk>>#globalJsVariables.\x0a\x09This list includes: `window`, `document`, `process` and `global`\x0a\x09for nodejs and browser environments.\x0a\x09\x0a\x09This is only to make sure compilation works on both browser-based and nodejs environments.\x0a\x09The ideal solution would be to use a pragma instead\x22\x0a\x0a\x09| identifier |\x0a\x09identifier := aNode value.\x0a\x09\x0a\x09((Smalltalk globalJsVariables includes: identifier) not\x0a\x09\x09and: [ self isVariableUndefined: identifier inPackage: self thePackage ])\x0a\x09\x09\x09ifTrue: [\x0a\x09\x09\x09\x09UnknownVariableError new\x0a\x09\x09\x09\x09\x09variableName: aNode value;\x0a\x09\x09\x09\x09\x09signal ]\x0a\x09\x09\x09ifFalse: [\x0a\x09\x09\x09\x09currentScope methodScope unknownVariables add: aNode value ]",
  1714. referencedClasses: ["Smalltalk", "UnknownVariableError"],
  1715. //>>excludeEnd("ide");
  1716. messageSends: ["value", "ifTrue:ifFalse:", "and:", "not", "includes:", "globalJsVariables", "isVariableUndefined:inPackage:", "thePackage", "variableName:", "new", "signal", "add:", "unknownVariables", "methodScope"]
  1717. }),
  1718. $globals.SemanticAnalyzer);
  1719. $core.addMethod(
  1720. $core.method({
  1721. selector: "initialize",
  1722. protocol: 'initialization',
  1723. fn: function (){
  1724. var self=this;
  1725. function $Set(){return $globals.Set||(typeof Set=="undefined"?nil:Set)}
  1726. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1727. return $core.withContext(function($ctx1) {
  1728. //>>excludeEnd("ctx");
  1729. (
  1730. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1731. $ctx1.supercall = true,
  1732. //>>excludeEnd("ctx");
  1733. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._initialize.apply($recv(self), []));
  1734. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1735. $ctx1.supercall = false;
  1736. //>>excludeEnd("ctx");;
  1737. self["@visitedRefIds"]=$recv($Set())._new();
  1738. return self;
  1739. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1740. }, function($ctx1) {$ctx1.fill(self,"initialize",{},$globals.SemanticAnalyzer)});
  1741. //>>excludeEnd("ctx");
  1742. },
  1743. //>>excludeStart("ide", pragmas.excludeIdeData);
  1744. args: [],
  1745. source: "initialize\x0a\x09super initialize.\x0a\x0a\x09visitedRefIds := Set new",
  1746. referencedClasses: ["Set"],
  1747. //>>excludeEnd("ide");
  1748. messageSends: ["initialize", "new"]
  1749. }),
  1750. $globals.SemanticAnalyzer);
  1751. $core.addMethod(
  1752. $core.method({
  1753. selector: "isVariableUndefined:inPackage:",
  1754. protocol: 'testing',
  1755. fn: function (aString,aPackage){
  1756. var self=this;
  1757. function $Compiler(){return $globals.Compiler||(typeof Compiler=="undefined"?nil:Compiler)}
  1758. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1759. return $core.withContext(function($ctx1) {
  1760. //>>excludeEnd("ctx");
  1761. var $1,$2,$3,$receiver;
  1762. if(($receiver = aPackage) == null || $receiver.isNil){
  1763. aPackage;
  1764. } else {
  1765. var packageKnownVars;
  1766. packageKnownVars=$recv($recv($recv(aPackage)._imports())._reject_("isString"))._collect_("key");
  1767. packageKnownVars;
  1768. $1=$recv(packageKnownVars)._includes_(aString);
  1769. if($core.assert($1)){
  1770. return false;
  1771. };
  1772. };
  1773. $2=$recv($Compiler())._new();
  1774. $3=$recv("typeof ".__comma(aString)).__comma(" == \x22undefined\x22");
  1775. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1776. $ctx1.sendIdx[","]=1;
  1777. //>>excludeEnd("ctx");
  1778. return $recv($2)._eval_($3);
  1779. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1780. }, function($ctx1) {$ctx1.fill(self,"isVariableUndefined:inPackage:",{aString:aString,aPackage:aPackage},$globals.SemanticAnalyzer)});
  1781. //>>excludeEnd("ctx");
  1782. },
  1783. //>>excludeStart("ide", pragmas.excludeIdeData);
  1784. args: ["aString", "aPackage"],
  1785. source: "isVariableUndefined: aString inPackage: aPackage\x0a\x09aPackage ifNotNil: [\x0a\x09\x09| packageKnownVars |\x0a\x09\x09packageKnownVars := (aPackage imports\x0a\x09\x09\x09reject: #isString)\x0a\x09\x09\x09collect: #key.\x0a\x09\x09(packageKnownVars includes: aString) ifTrue: [ ^ false ]].\x0a\x09^ Compiler new\x0a\x09\x09eval: 'typeof ', aString, ' == \x22undefined\x22'",
  1786. referencedClasses: ["Compiler"],
  1787. //>>excludeEnd("ide");
  1788. messageSends: ["ifNotNil:", "collect:", "reject:", "imports", "ifTrue:", "includes:", "eval:", "new", ","]
  1789. }),
  1790. $globals.SemanticAnalyzer);
  1791. $core.addMethod(
  1792. $core.method({
  1793. selector: "messageSends",
  1794. protocol: 'accessing',
  1795. fn: function (){
  1796. var self=this;
  1797. function $Dictionary(){return $globals.Dictionary||(typeof Dictionary=="undefined"?nil:Dictionary)}
  1798. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1799. return $core.withContext(function($ctx1) {
  1800. //>>excludeEnd("ctx");
  1801. var $1,$receiver;
  1802. $1=self["@messageSends"];
  1803. if(($receiver = $1) == null || $receiver.isNil){
  1804. self["@messageSends"]=$recv($Dictionary())._new();
  1805. return self["@messageSends"];
  1806. } else {
  1807. return $1;
  1808. };
  1809. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1810. }, function($ctx1) {$ctx1.fill(self,"messageSends",{},$globals.SemanticAnalyzer)});
  1811. //>>excludeEnd("ctx");
  1812. },
  1813. //>>excludeStart("ide", pragmas.excludeIdeData);
  1814. args: [],
  1815. source: "messageSends\x0a\x09^ messageSends ifNil: [ messageSends := Dictionary new ]",
  1816. referencedClasses: ["Dictionary"],
  1817. //>>excludeEnd("ide");
  1818. messageSends: ["ifNil:", "new"]
  1819. }),
  1820. $globals.SemanticAnalyzer);
  1821. $core.addMethod(
  1822. $core.method({
  1823. selector: "newBlockScope",
  1824. protocol: 'factory',
  1825. fn: function (){
  1826. var self=this;
  1827. function $LexicalScope(){return $globals.LexicalScope||(typeof LexicalScope=="undefined"?nil:LexicalScope)}
  1828. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1829. return $core.withContext(function($ctx1) {
  1830. //>>excludeEnd("ctx");
  1831. return self._newScopeOfClass_($LexicalScope());
  1832. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1833. }, function($ctx1) {$ctx1.fill(self,"newBlockScope",{},$globals.SemanticAnalyzer)});
  1834. //>>excludeEnd("ctx");
  1835. },
  1836. //>>excludeStart("ide", pragmas.excludeIdeData);
  1837. args: [],
  1838. source: "newBlockScope\x0a\x09^ self newScopeOfClass: LexicalScope",
  1839. referencedClasses: ["LexicalScope"],
  1840. //>>excludeEnd("ide");
  1841. messageSends: ["newScopeOfClass:"]
  1842. }),
  1843. $globals.SemanticAnalyzer);
  1844. $core.addMethod(
  1845. $core.method({
  1846. selector: "newMethodScope",
  1847. protocol: 'factory',
  1848. fn: function (){
  1849. var self=this;
  1850. function $MethodLexicalScope(){return $globals.MethodLexicalScope||(typeof MethodLexicalScope=="undefined"?nil:MethodLexicalScope)}
  1851. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1852. return $core.withContext(function($ctx1) {
  1853. //>>excludeEnd("ctx");
  1854. return self._newScopeOfClass_($MethodLexicalScope());
  1855. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1856. }, function($ctx1) {$ctx1.fill(self,"newMethodScope",{},$globals.SemanticAnalyzer)});
  1857. //>>excludeEnd("ctx");
  1858. },
  1859. //>>excludeStart("ide", pragmas.excludeIdeData);
  1860. args: [],
  1861. source: "newMethodScope\x0a\x09^ self newScopeOfClass: MethodLexicalScope",
  1862. referencedClasses: ["MethodLexicalScope"],
  1863. //>>excludeEnd("ide");
  1864. messageSends: ["newScopeOfClass:"]
  1865. }),
  1866. $globals.SemanticAnalyzer);
  1867. $core.addMethod(
  1868. $core.method({
  1869. selector: "newScopeOfClass:",
  1870. protocol: 'factory',
  1871. fn: function (aLexicalScopeClass){
  1872. var self=this;
  1873. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1874. return $core.withContext(function($ctx1) {
  1875. //>>excludeEnd("ctx");
  1876. var $1;
  1877. $1=$recv(aLexicalScopeClass)._new();
  1878. $recv($1)._outerScope_(self["@currentScope"]);
  1879. return $recv($1)._yourself();
  1880. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1881. }, function($ctx1) {$ctx1.fill(self,"newScopeOfClass:",{aLexicalScopeClass:aLexicalScopeClass},$globals.SemanticAnalyzer)});
  1882. //>>excludeEnd("ctx");
  1883. },
  1884. //>>excludeStart("ide", pragmas.excludeIdeData);
  1885. args: ["aLexicalScopeClass"],
  1886. source: "newScopeOfClass: aLexicalScopeClass\x0a\x09^ aLexicalScopeClass new\x0a\x09\x09outerScope: currentScope;\x0a\x09\x09yourself",
  1887. referencedClasses: [],
  1888. //>>excludeEnd("ide");
  1889. messageSends: ["outerScope:", "new", "yourself"]
  1890. }),
  1891. $globals.SemanticAnalyzer);
  1892. $core.addMethod(
  1893. $core.method({
  1894. selector: "nextBlockIndex",
  1895. protocol: 'private',
  1896. fn: function (){
  1897. var self=this;
  1898. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1899. return $core.withContext(function($ctx1) {
  1900. //>>excludeEnd("ctx");
  1901. var $1,$receiver;
  1902. $1=self["@blockIndex"];
  1903. if(($receiver = $1) == null || $receiver.isNil){
  1904. self["@blockIndex"]=(0);
  1905. self["@blockIndex"];
  1906. } else {
  1907. $1;
  1908. };
  1909. self["@blockIndex"]=$recv(self["@blockIndex"]).__plus((1));
  1910. return self["@blockIndex"];
  1911. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1912. }, function($ctx1) {$ctx1.fill(self,"nextBlockIndex",{},$globals.SemanticAnalyzer)});
  1913. //>>excludeEnd("ctx");
  1914. },
  1915. //>>excludeStart("ide", pragmas.excludeIdeData);
  1916. args: [],
  1917. source: "nextBlockIndex\x0a\x09blockIndex ifNil: [ blockIndex := 0 ].\x0a\x09\x0a\x09blockIndex := blockIndex + 1.\x0a\x09^ blockIndex",
  1918. referencedClasses: [],
  1919. //>>excludeEnd("ide");
  1920. messageSends: ["ifNil:", "+"]
  1921. }),
  1922. $globals.SemanticAnalyzer);
  1923. $core.addMethod(
  1924. $core.method({
  1925. selector: "popScope",
  1926. protocol: 'scope',
  1927. fn: function (){
  1928. var self=this;
  1929. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1930. return $core.withContext(function($ctx1) {
  1931. //>>excludeEnd("ctx");
  1932. var $1,$receiver;
  1933. $1=self["@currentScope"];
  1934. if(($receiver = $1) == null || $receiver.isNil){
  1935. $1;
  1936. } else {
  1937. self["@currentScope"]=$recv(self["@currentScope"])._outerScope();
  1938. self["@currentScope"];
  1939. };
  1940. return self;
  1941. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1942. }, function($ctx1) {$ctx1.fill(self,"popScope",{},$globals.SemanticAnalyzer)});
  1943. //>>excludeEnd("ctx");
  1944. },
  1945. //>>excludeStart("ide", pragmas.excludeIdeData);
  1946. args: [],
  1947. source: "popScope\x0a\x09currentScope ifNotNil: [\x0a\x09\x09currentScope := currentScope outerScope ]",
  1948. referencedClasses: [],
  1949. //>>excludeEnd("ide");
  1950. messageSends: ["ifNotNil:", "outerScope"]
  1951. }),
  1952. $globals.SemanticAnalyzer);
  1953. $core.addMethod(
  1954. $core.method({
  1955. selector: "pushScope:",
  1956. protocol: 'scope',
  1957. fn: function (aScope){
  1958. var self=this;
  1959. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1960. return $core.withContext(function($ctx1) {
  1961. //>>excludeEnd("ctx");
  1962. $recv(aScope)._outerScope_(self["@currentScope"]);
  1963. self["@currentScope"]=aScope;
  1964. return self;
  1965. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  1966. }, function($ctx1) {$ctx1.fill(self,"pushScope:",{aScope:aScope},$globals.SemanticAnalyzer)});
  1967. //>>excludeEnd("ctx");
  1968. },
  1969. //>>excludeStart("ide", pragmas.excludeIdeData);
  1970. args: ["aScope"],
  1971. source: "pushScope: aScope\x0a\x09aScope outerScope: currentScope.\x0a\x09currentScope := aScope",
  1972. referencedClasses: [],
  1973. //>>excludeEnd("ide");
  1974. messageSends: ["outerScope:"]
  1975. }),
  1976. $globals.SemanticAnalyzer);
  1977. $core.addMethod(
  1978. $core.method({
  1979. selector: "theClass",
  1980. protocol: 'accessing',
  1981. fn: function (){
  1982. var self=this;
  1983. return self["@theClass"];
  1984. },
  1985. //>>excludeStart("ide", pragmas.excludeIdeData);
  1986. args: [],
  1987. source: "theClass\x0a\x09^ theClass",
  1988. referencedClasses: [],
  1989. //>>excludeEnd("ide");
  1990. messageSends: []
  1991. }),
  1992. $globals.SemanticAnalyzer);
  1993. $core.addMethod(
  1994. $core.method({
  1995. selector: "theClass:",
  1996. protocol: 'accessing',
  1997. fn: function (aClass){
  1998. var self=this;
  1999. self["@theClass"]=aClass;
  2000. return self;
  2001. },
  2002. //>>excludeStart("ide", pragmas.excludeIdeData);
  2003. args: ["aClass"],
  2004. source: "theClass: aClass\x0a\x09theClass := aClass",
  2005. referencedClasses: [],
  2006. //>>excludeEnd("ide");
  2007. messageSends: []
  2008. }),
  2009. $globals.SemanticAnalyzer);
  2010. $core.addMethod(
  2011. $core.method({
  2012. selector: "thePackage",
  2013. protocol: 'accessing',
  2014. fn: function (){
  2015. var self=this;
  2016. return self["@thePackage"];
  2017. },
  2018. //>>excludeStart("ide", pragmas.excludeIdeData);
  2019. args: [],
  2020. source: "thePackage\x0a\x09^ thePackage",
  2021. referencedClasses: [],
  2022. //>>excludeEnd("ide");
  2023. messageSends: []
  2024. }),
  2025. $globals.SemanticAnalyzer);
  2026. $core.addMethod(
  2027. $core.method({
  2028. selector: "thePackage:",
  2029. protocol: 'accessing',
  2030. fn: function (aPackage){
  2031. var self=this;
  2032. self["@thePackage"]=aPackage;
  2033. return self;
  2034. },
  2035. //>>excludeStart("ide", pragmas.excludeIdeData);
  2036. args: ["aPackage"],
  2037. source: "thePackage: aPackage\x0a\x09thePackage := aPackage",
  2038. referencedClasses: [],
  2039. //>>excludeEnd("ide");
  2040. messageSends: []
  2041. }),
  2042. $globals.SemanticAnalyzer);
  2043. $core.addMethod(
  2044. $core.method({
  2045. selector: "validateVariableScope:",
  2046. protocol: 'scope',
  2047. fn: function (aString){
  2048. var self=this;
  2049. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2050. return $core.withContext(function($ctx1) {
  2051. //>>excludeEnd("ctx");
  2052. var $1,$receiver;
  2053. $1=$recv(self["@currentScope"])._lookupVariable_(aString);
  2054. if(($receiver = $1) == null || $receiver.isNil){
  2055. $1;
  2056. } else {
  2057. self._errorShadowingVariable_(aString);
  2058. };
  2059. return self;
  2060. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2061. }, function($ctx1) {$ctx1.fill(self,"validateVariableScope:",{aString:aString},$globals.SemanticAnalyzer)});
  2062. //>>excludeEnd("ctx");
  2063. },
  2064. //>>excludeStart("ide", pragmas.excludeIdeData);
  2065. args: ["aString"],
  2066. source: "validateVariableScope: aString\x0a\x09\x22Validate the variable scope in by doing a recursive lookup, up to the method scope\x22\x0a\x0a\x09(currentScope lookupVariable: aString) ifNotNil: [\x0a\x09\x09self errorShadowingVariable: aString ]",
  2067. referencedClasses: [],
  2068. //>>excludeEnd("ide");
  2069. messageSends: ["ifNotNil:", "lookupVariable:", "errorShadowingVariable:"]
  2070. }),
  2071. $globals.SemanticAnalyzer);
  2072. $core.addMethod(
  2073. $core.method({
  2074. selector: "visitAssignmentNode:",
  2075. protocol: 'visiting',
  2076. fn: function (aNode){
  2077. var self=this;
  2078. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2079. return $core.withContext(function($ctx1) {
  2080. //>>excludeEnd("ctx");
  2081. (
  2082. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2083. $ctx1.supercall = true,
  2084. //>>excludeEnd("ctx");
  2085. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._visitAssignmentNode_.apply($recv(self), [aNode]));
  2086. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2087. $ctx1.supercall = false;
  2088. //>>excludeEnd("ctx");;
  2089. $recv($recv(aNode)._left())._beAssigned();
  2090. return self;
  2091. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2092. }, function($ctx1) {$ctx1.fill(self,"visitAssignmentNode:",{aNode:aNode},$globals.SemanticAnalyzer)});
  2093. //>>excludeEnd("ctx");
  2094. },
  2095. //>>excludeStart("ide", pragmas.excludeIdeData);
  2096. args: ["aNode"],
  2097. source: "visitAssignmentNode: aNode\x0a\x09super visitAssignmentNode: aNode.\x0a\x09aNode left beAssigned",
  2098. referencedClasses: [],
  2099. //>>excludeEnd("ide");
  2100. messageSends: ["visitAssignmentNode:", "beAssigned", "left"]
  2101. }),
  2102. $globals.SemanticAnalyzer);
  2103. $core.addMethod(
  2104. $core.method({
  2105. selector: "visitBlockNode:",
  2106. protocol: 'visiting',
  2107. fn: function (aNode){
  2108. var self=this;
  2109. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2110. return $core.withContext(function($ctx1) {
  2111. //>>excludeEnd("ctx");
  2112. self._pushScope_(self._newBlockScope());
  2113. $recv(aNode)._scope_(self["@currentScope"]);
  2114. $recv(self["@currentScope"])._node_(aNode);
  2115. $recv(self["@currentScope"])._blockIndex_(self._nextBlockIndex());
  2116. $recv($recv(aNode)._parameters())._do_((function(each){
  2117. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2118. return $core.withContext(function($ctx2) {
  2119. //>>excludeEnd("ctx");
  2120. self._validateVariableScope_(each);
  2121. return $recv(self["@currentScope"])._addArg_(each);
  2122. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2123. }, function($ctx2) {$ctx2.fillBlock({each:each},$ctx1,1)});
  2124. //>>excludeEnd("ctx");
  2125. }));
  2126. (
  2127. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2128. $ctx1.supercall = true,
  2129. //>>excludeEnd("ctx");
  2130. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._visitBlockNode_.apply($recv(self), [aNode]));
  2131. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2132. $ctx1.supercall = false;
  2133. //>>excludeEnd("ctx");;
  2134. self._popScope();
  2135. return self;
  2136. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2137. }, function($ctx1) {$ctx1.fill(self,"visitBlockNode:",{aNode:aNode},$globals.SemanticAnalyzer)});
  2138. //>>excludeEnd("ctx");
  2139. },
  2140. //>>excludeStart("ide", pragmas.excludeIdeData);
  2141. args: ["aNode"],
  2142. source: "visitBlockNode: aNode\x0a\x09self pushScope: self newBlockScope.\x0a\x09aNode scope: currentScope.\x0a\x09currentScope node: aNode.\x0a\x09currentScope blockIndex: self nextBlockIndex.\x0a\x0a\x09aNode parameters do: [ :each |\x0a\x09\x09self validateVariableScope: each.\x0a\x09\x09currentScope addArg: each ].\x0a\x0a\x09super visitBlockNode: aNode.\x0a\x09self popScope",
  2143. referencedClasses: [],
  2144. //>>excludeEnd("ide");
  2145. messageSends: ["pushScope:", "newBlockScope", "scope:", "node:", "blockIndex:", "nextBlockIndex", "do:", "parameters", "validateVariableScope:", "addArg:", "visitBlockNode:", "popScope"]
  2146. }),
  2147. $globals.SemanticAnalyzer);
  2148. $core.addMethod(
  2149. $core.method({
  2150. selector: "visitCascadeNode:",
  2151. protocol: 'visiting',
  2152. fn: function (aNode){
  2153. var self=this;
  2154. var recv;
  2155. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2156. return $core.withContext(function($ctx1) {
  2157. //>>excludeEnd("ctx");
  2158. var $2,$1;
  2159. $2=$recv(aNode)._nodes();
  2160. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2161. $ctx1.sendIdx["nodes"]=1;
  2162. //>>excludeEnd("ctx");
  2163. $1=$recv($2)._first();
  2164. recv=$recv($1)._receiver();
  2165. $recv($recv(aNode)._nodes())._do_((function(each){
  2166. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2167. return $core.withContext(function($ctx2) {
  2168. //>>excludeEnd("ctx");
  2169. return $recv(each)._receiver_($recv(recv)._asRefNode());
  2170. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2171. $ctx2.sendIdx["receiver:"]=1;
  2172. //>>excludeEnd("ctx");
  2173. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2174. }, function($ctx2) {$ctx2.fillBlock({each:each},$ctx1,1)});
  2175. //>>excludeEnd("ctx");
  2176. }));
  2177. $recv(aNode)._receiver_(recv);
  2178. (
  2179. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2180. $ctx1.supercall = true,
  2181. //>>excludeEnd("ctx");
  2182. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._visitCascadeNode_.apply($recv(self), [aNode]));
  2183. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2184. $ctx1.supercall = false;
  2185. //>>excludeEnd("ctx");;
  2186. return self;
  2187. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2188. }, function($ctx1) {$ctx1.fill(self,"visitCascadeNode:",{aNode:aNode,recv:recv},$globals.SemanticAnalyzer)});
  2189. //>>excludeEnd("ctx");
  2190. },
  2191. //>>excludeStart("ide", pragmas.excludeIdeData);
  2192. args: ["aNode"],
  2193. source: "visitCascadeNode: aNode\x0a\x09| recv |\x0a\x09recv := aNode nodes first receiver.\x0a\x09aNode nodes do: [ :each | each receiver: recv asRefNode ].\x0a\x09aNode receiver: recv.\x0a\x09super visitCascadeNode: aNode",
  2194. referencedClasses: [],
  2195. //>>excludeEnd("ide");
  2196. messageSends: ["receiver", "first", "nodes", "do:", "receiver:", "asRefNode", "visitCascadeNode:"]
  2197. }),
  2198. $globals.SemanticAnalyzer);
  2199. $core.addMethod(
  2200. $core.method({
  2201. selector: "visitMethodNode:",
  2202. protocol: 'visiting',
  2203. fn: function (aNode){
  2204. var self=this;
  2205. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2206. return $core.withContext(function($ctx1) {
  2207. //>>excludeEnd("ctx");
  2208. self._pushScope_(self._newMethodScope());
  2209. $recv(aNode)._scope_(self["@currentScope"]);
  2210. $recv(self["@currentScope"])._node_(aNode);
  2211. $recv($recv(self._theClass())._allInstanceVariableNames())._do_((function(each){
  2212. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2213. return $core.withContext(function($ctx2) {
  2214. //>>excludeEnd("ctx");
  2215. return $recv(self["@currentScope"])._addIVar_(each);
  2216. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2217. }, function($ctx2) {$ctx2.fillBlock({each:each},$ctx1,1)});
  2218. //>>excludeEnd("ctx");
  2219. }));
  2220. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2221. $ctx1.sendIdx["do:"]=1;
  2222. //>>excludeEnd("ctx");
  2223. $recv($recv(aNode)._arguments())._do_((function(each){
  2224. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2225. return $core.withContext(function($ctx2) {
  2226. //>>excludeEnd("ctx");
  2227. self._validateVariableScope_(each);
  2228. return $recv(self["@currentScope"])._addArg_(each);
  2229. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2230. }, function($ctx2) {$ctx2.fillBlock({each:each},$ctx1,2)});
  2231. //>>excludeEnd("ctx");
  2232. }));
  2233. (
  2234. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2235. $ctx1.supercall = true,
  2236. //>>excludeEnd("ctx");
  2237. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._visitMethodNode_.apply($recv(self), [aNode]));
  2238. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2239. $ctx1.supercall = false;
  2240. //>>excludeEnd("ctx");;
  2241. $recv(aNode)._classReferences_(self._classReferences());
  2242. $recv(aNode)._sendIndexes_(self._messageSends());
  2243. self._popScope();
  2244. return self;
  2245. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2246. }, function($ctx1) {$ctx1.fill(self,"visitMethodNode:",{aNode:aNode},$globals.SemanticAnalyzer)});
  2247. //>>excludeEnd("ctx");
  2248. },
  2249. //>>excludeStart("ide", pragmas.excludeIdeData);
  2250. args: ["aNode"],
  2251. source: "visitMethodNode: aNode\x0a\x09self pushScope: self newMethodScope.\x0a\x09aNode scope: currentScope.\x0a\x09currentScope node: aNode.\x0a\x0a\x09self theClass allInstanceVariableNames do: [ :each |\x0a\x09\x09currentScope addIVar: each ].\x0a\x09aNode arguments do: [ :each |\x0a\x09\x09self validateVariableScope: each.\x0a\x09\x09currentScope addArg: each ].\x0a\x0a\x09super visitMethodNode: aNode.\x0a\x0a\x09aNode\x0a\x09\x09classReferences: self classReferences;\x0a\x09\x09sendIndexes: self messageSends.\x0a\x09self popScope",
  2252. referencedClasses: [],
  2253. //>>excludeEnd("ide");
  2254. messageSends: ["pushScope:", "newMethodScope", "scope:", "node:", "do:", "allInstanceVariableNames", "theClass", "addIVar:", "arguments", "validateVariableScope:", "addArg:", "visitMethodNode:", "classReferences:", "classReferences", "sendIndexes:", "messageSends", "popScope"]
  2255. }),
  2256. $globals.SemanticAnalyzer);
  2257. $core.addMethod(
  2258. $core.method({
  2259. selector: "visitRefNode:",
  2260. protocol: 'visiting',
  2261. fn: function (aNode){
  2262. var self=this;
  2263. var ref,aux;
  2264. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2265. return $core.withContext(function($ctx1) {
  2266. //>>excludeEnd("ctx");
  2267. var $1,$2;
  2268. ref=$recv(aNode)._node();
  2269. aux=$recv(self["@visitedRefIds"])._size();
  2270. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2271. $ctx1.sendIdx["size"]=1;
  2272. //>>excludeEnd("ctx");
  2273. $recv(self["@visitedRefIds"])._add_($recv(ref)._nodeId());
  2274. $1=$recv(aux).__lt($recv(self["@visitedRefIds"])._size());
  2275. if($core.assert($1)){
  2276. $recv(ref)._shouldBeAliased_(true);
  2277. $2=(
  2278. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2279. $ctx1.supercall = true,
  2280. //>>excludeEnd("ctx");
  2281. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._visitRefNode_.apply($recv(self), [aNode]));
  2282. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2283. $ctx1.supercall = false;
  2284. //>>excludeEnd("ctx");;
  2285. return $2;
  2286. };
  2287. return self;
  2288. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2289. }, function($ctx1) {$ctx1.fill(self,"visitRefNode:",{aNode:aNode,ref:ref,aux:aux},$globals.SemanticAnalyzer)});
  2290. //>>excludeEnd("ctx");
  2291. },
  2292. //>>excludeStart("ide", pragmas.excludeIdeData);
  2293. args: ["aNode"],
  2294. source: "visitRefNode: aNode\x0a\x09| ref aux |\x0a\x09ref := aNode node.\x0a\x09aux := visitedRefIds size.\x0a\x09visitedRefIds add: ref nodeId.\x0a\x09aux < visitedRefIds size \x22added; not visited yet\x22 ifTrue: [\x0a\x09\x09ref shouldBeAliased: true.\x0a\x09\x09^ super visitRefNode: aNode ]",
  2295. referencedClasses: [],
  2296. //>>excludeEnd("ide");
  2297. messageSends: ["node", "size", "add:", "nodeId", "ifTrue:", "<", "shouldBeAliased:", "visitRefNode:"]
  2298. }),
  2299. $globals.SemanticAnalyzer);
  2300. $core.addMethod(
  2301. $core.method({
  2302. selector: "visitReturnNode:",
  2303. protocol: 'visiting',
  2304. fn: function (aNode){
  2305. var self=this;
  2306. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2307. return $core.withContext(function($ctx1) {
  2308. //>>excludeEnd("ctx");
  2309. var $1;
  2310. $recv(aNode)._scope_(self["@currentScope"]);
  2311. $1=$recv(self["@currentScope"])._isMethodScope();
  2312. if($core.assert($1)){
  2313. $recv(self["@currentScope"])._localReturn_(true);
  2314. } else {
  2315. $recv($recv(self["@currentScope"])._methodScope())._addNonLocalReturn_(self["@currentScope"]);
  2316. };
  2317. (
  2318. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2319. $ctx1.supercall = true,
  2320. //>>excludeEnd("ctx");
  2321. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._visitReturnNode_.apply($recv(self), [aNode]));
  2322. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2323. $ctx1.supercall = false;
  2324. //>>excludeEnd("ctx");;
  2325. return self;
  2326. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2327. }, function($ctx1) {$ctx1.fill(self,"visitReturnNode:",{aNode:aNode},$globals.SemanticAnalyzer)});
  2328. //>>excludeEnd("ctx");
  2329. },
  2330. //>>excludeStart("ide", pragmas.excludeIdeData);
  2331. args: ["aNode"],
  2332. source: "visitReturnNode: aNode\x0a\x09aNode scope: currentScope.\x0a\x09currentScope isMethodScope\x0a\x09\x09ifTrue: [ currentScope localReturn: true ]\x0a\x09\x09ifFalse: [ currentScope methodScope addNonLocalReturn: currentScope ].\x0a\x09super visitReturnNode: aNode",
  2333. referencedClasses: [],
  2334. //>>excludeEnd("ide");
  2335. messageSends: ["scope:", "ifTrue:ifFalse:", "isMethodScope", "localReturn:", "addNonLocalReturn:", "methodScope", "visitReturnNode:"]
  2336. }),
  2337. $globals.SemanticAnalyzer);
  2338. $core.addMethod(
  2339. $core.method({
  2340. selector: "visitSendNode:",
  2341. protocol: 'visiting',
  2342. fn: function (aNode){
  2343. var self=this;
  2344. function $IRSendInliner(){return $globals.IRSendInliner||(typeof IRSendInliner=="undefined"?nil:IRSendInliner)}
  2345. function $Set(){return $globals.Set||(typeof Set=="undefined"?nil:Set)}
  2346. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2347. return $core.withContext(function($ctx1) {
  2348. //>>excludeEnd("ctx");
  2349. var $3,$2,$1,$5,$6,$4,$7,$8,$9,$11,$12,$10,$receiver;
  2350. $3=$recv(aNode)._receiver();
  2351. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2352. $ctx1.sendIdx["receiver"]=1;
  2353. //>>excludeEnd("ctx");
  2354. $2=$recv($3)._value();
  2355. $1=$recv($2).__eq("super");
  2356. if(!$core.assert($1)){
  2357. $5=$recv($IRSendInliner())._inlinedSelectors();
  2358. $6=$recv(aNode)._selector();
  2359. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2360. $ctx1.sendIdx["selector"]=1;
  2361. //>>excludeEnd("ctx");
  2362. $4=$recv($5)._includes_($6);
  2363. if($core.assert($4)){
  2364. $recv(aNode)._shouldBeInlined_(true);
  2365. $7=$recv(aNode)._receiver();
  2366. if(($receiver = $7) == null || $receiver.isNil){
  2367. $7;
  2368. } else {
  2369. var receiver;
  2370. receiver=$receiver;
  2371. $recv(receiver)._shouldBeAliased_(true);
  2372. };
  2373. };
  2374. };
  2375. $8=self._messageSends();
  2376. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2377. $ctx1.sendIdx["messageSends"]=1;
  2378. //>>excludeEnd("ctx");
  2379. $9=$recv(aNode)._selector();
  2380. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2381. $ctx1.sendIdx["selector"]=2;
  2382. //>>excludeEnd("ctx");
  2383. $recv($8)._at_ifAbsentPut_($9,(function(){
  2384. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2385. return $core.withContext(function($ctx2) {
  2386. //>>excludeEnd("ctx");
  2387. return $recv($Set())._new();
  2388. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2389. }, function($ctx2) {$ctx2.fillBlock({},$ctx1,4)});
  2390. //>>excludeEnd("ctx");
  2391. }));
  2392. $11=self._messageSends();
  2393. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2394. $ctx1.sendIdx["messageSends"]=2;
  2395. //>>excludeEnd("ctx");
  2396. $12=$recv(aNode)._selector();
  2397. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2398. $ctx1.sendIdx["selector"]=3;
  2399. //>>excludeEnd("ctx");
  2400. $10=$recv($11)._at_($12);
  2401. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2402. $ctx1.sendIdx["at:"]=1;
  2403. //>>excludeEnd("ctx");
  2404. $recv($10)._add_(aNode);
  2405. $recv(aNode)._index_($recv($recv(self._messageSends())._at_($recv(aNode)._selector()))._size());
  2406. (
  2407. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2408. $ctx1.supercall = true,
  2409. //>>excludeEnd("ctx");
  2410. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._visitSendNode_.apply($recv(self), [aNode]));
  2411. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2412. $ctx1.supercall = false;
  2413. //>>excludeEnd("ctx");;
  2414. return self;
  2415. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2416. }, function($ctx1) {$ctx1.fill(self,"visitSendNode:",{aNode:aNode},$globals.SemanticAnalyzer)});
  2417. //>>excludeEnd("ctx");
  2418. },
  2419. //>>excludeStart("ide", pragmas.excludeIdeData);
  2420. args: ["aNode"],
  2421. source: "visitSendNode: aNode\x0a\x0a\x09aNode receiver value = 'super'\x0a\x09\x09ifFalse: [ (IRSendInliner inlinedSelectors includes: aNode selector) ifTrue: [\x0a\x09\x09\x09aNode shouldBeInlined: true.\x0a\x09\x09\x09aNode receiver ifNotNil: [ :receiver |\x0a\x09\x09\x09\x09receiver shouldBeAliased: true ] ] ].\x0a\x0a\x09self messageSends at: aNode selector ifAbsentPut: [ Set new ].\x0a\x09(self messageSends at: aNode selector) add: aNode.\x0a\x0a\x09aNode index: (self messageSends at: aNode selector) size.\x0a\x0a\x09super visitSendNode: aNode",
  2422. referencedClasses: ["IRSendInliner", "Set"],
  2423. //>>excludeEnd("ide");
  2424. messageSends: ["ifFalse:", "=", "value", "receiver", "ifTrue:", "includes:", "inlinedSelectors", "selector", "shouldBeInlined:", "ifNotNil:", "shouldBeAliased:", "at:ifAbsentPut:", "messageSends", "new", "add:", "at:", "index:", "size", "visitSendNode:"]
  2425. }),
  2426. $globals.SemanticAnalyzer);
  2427. $core.addMethod(
  2428. $core.method({
  2429. selector: "visitSequenceNode:",
  2430. protocol: 'visiting',
  2431. fn: function (aNode){
  2432. var self=this;
  2433. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2434. return $core.withContext(function($ctx1) {
  2435. //>>excludeEnd("ctx");
  2436. $recv($recv(aNode)._temps())._do_((function(each){
  2437. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2438. return $core.withContext(function($ctx2) {
  2439. //>>excludeEnd("ctx");
  2440. self._validateVariableScope_(each);
  2441. return $recv(self["@currentScope"])._addTemp_(each);
  2442. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2443. }, function($ctx2) {$ctx2.fillBlock({each:each},$ctx1,1)});
  2444. //>>excludeEnd("ctx");
  2445. }));
  2446. (
  2447. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2448. $ctx1.supercall = true,
  2449. //>>excludeEnd("ctx");
  2450. ($globals.SemanticAnalyzer.superclass||$boot.dnu).fn.prototype._visitSequenceNode_.apply($recv(self), [aNode]));
  2451. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2452. $ctx1.supercall = false;
  2453. //>>excludeEnd("ctx");;
  2454. return self;
  2455. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2456. }, function($ctx1) {$ctx1.fill(self,"visitSequenceNode:",{aNode:aNode},$globals.SemanticAnalyzer)});
  2457. //>>excludeEnd("ctx");
  2458. },
  2459. //>>excludeStart("ide", pragmas.excludeIdeData);
  2460. args: ["aNode"],
  2461. source: "visitSequenceNode: aNode\x0a\x09aNode temps do: [ :each |\x0a\x09\x09self validateVariableScope: each.\x0a\x09\x09currentScope addTemp: each ].\x0a\x0a\x09super visitSequenceNode: aNode",
  2462. referencedClasses: [],
  2463. //>>excludeEnd("ide");
  2464. messageSends: ["do:", "temps", "validateVariableScope:", "addTemp:", "visitSequenceNode:"]
  2465. }),
  2466. $globals.SemanticAnalyzer);
  2467. $core.addMethod(
  2468. $core.method({
  2469. selector: "visitVariableNode:",
  2470. protocol: 'visiting',
  2471. fn: function (aNode){
  2472. var self=this;
  2473. var binding;
  2474. function $ClassRefVar(){return $globals.ClassRefVar||(typeof ClassRefVar=="undefined"?nil:ClassRefVar)}
  2475. function $UnknownVar(){return $globals.UnknownVar||(typeof UnknownVar=="undefined"?nil:UnknownVar)}
  2476. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2477. return $core.withContext(function($ctx1) {
  2478. //>>excludeEnd("ctx");
  2479. var $1,$3,$2,$4,$5,$6,$7,$8,$9,$receiver;
  2480. binding=$recv(self["@currentScope"])._lookupVariable_(aNode);
  2481. $1=binding;
  2482. if(($receiver = $1) == null || $receiver.isNil){
  2483. $3=$recv(aNode)._value();
  2484. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2485. $ctx1.sendIdx["value"]=1;
  2486. //>>excludeEnd("ctx");
  2487. $2=$recv($3)._isCapitalized();
  2488. if($core.assert($2)){
  2489. $4=$recv($ClassRefVar())._new();
  2490. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2491. $ctx1.sendIdx["new"]=1;
  2492. //>>excludeEnd("ctx");
  2493. $5=$recv(aNode)._value();
  2494. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2495. $ctx1.sendIdx["value"]=2;
  2496. //>>excludeEnd("ctx");
  2497. $recv($4)._name_($5);
  2498. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2499. $ctx1.sendIdx["name:"]=1;
  2500. //>>excludeEnd("ctx");
  2501. $6=$recv($4)._yourself();
  2502. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2503. $ctx1.sendIdx["yourself"]=1;
  2504. //>>excludeEnd("ctx");
  2505. binding=$6;
  2506. binding;
  2507. $7=self._classReferences();
  2508. $8=$recv(aNode)._value();
  2509. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2510. $ctx1.sendIdx["value"]=3;
  2511. //>>excludeEnd("ctx");
  2512. $recv($7)._add_($8);
  2513. } else {
  2514. self._errorUnknownVariable_(aNode);
  2515. $9=$recv($UnknownVar())._new();
  2516. $recv($9)._name_($recv(aNode)._value());
  2517. binding=$recv($9)._yourself();
  2518. binding;
  2519. };
  2520. } else {
  2521. $1;
  2522. };
  2523. $recv(aNode)._binding_(binding);
  2524. return self;
  2525. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2526. }, function($ctx1) {$ctx1.fill(self,"visitVariableNode:",{aNode:aNode,binding:binding},$globals.SemanticAnalyzer)});
  2527. //>>excludeEnd("ctx");
  2528. },
  2529. //>>excludeStart("ide", pragmas.excludeIdeData);
  2530. args: ["aNode"],
  2531. source: "visitVariableNode: aNode\x0a\x09\x22Bind a ScopeVar to aNode by doing a lookup in the current scope.\x0a\x09If no ScopeVar is found, bind a UnknowVar and throw an error.\x22\x0a\x0a\x09| binding |\x0a\x09binding := currentScope lookupVariable: aNode.\x0a\x09\x0a\x09binding ifNil: [\x0a\x09\x09aNode value isCapitalized\x0a\x09\x09\x09ifTrue: [ \x22Capital letter variables might be globals.\x22\x0a\x09\x09\x09\x09binding := ClassRefVar new name: aNode value; yourself.\x0a\x09\x09\x09\x09self classReferences add: aNode value]\x0a\x09\x09\x09ifFalse: [\x0a\x09\x09\x09\x09self errorUnknownVariable: aNode.\x0a\x09\x09\x09\x09binding := UnknownVar new name: aNode value; yourself ] ].\x0a\x09\x09\x0a\x09aNode binding: binding.",
  2532. referencedClasses: ["ClassRefVar", "UnknownVar"],
  2533. //>>excludeEnd("ide");
  2534. messageSends: ["lookupVariable:", "ifNil:", "ifTrue:ifFalse:", "isCapitalized", "value", "name:", "new", "yourself", "add:", "classReferences", "errorUnknownVariable:", "binding:"]
  2535. }),
  2536. $globals.SemanticAnalyzer);
  2537. $core.addMethod(
  2538. $core.method({
  2539. selector: "on:",
  2540. protocol: 'instance creation',
  2541. fn: function (aClass){
  2542. var self=this;
  2543. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2544. return $core.withContext(function($ctx1) {
  2545. //>>excludeEnd("ctx");
  2546. var $1;
  2547. $1=self._new();
  2548. $recv($1)._theClass_(aClass);
  2549. return $recv($1)._yourself();
  2550. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2551. }, function($ctx1) {$ctx1.fill(self,"on:",{aClass:aClass},$globals.SemanticAnalyzer.klass)});
  2552. //>>excludeEnd("ctx");
  2553. },
  2554. //>>excludeStart("ide", pragmas.excludeIdeData);
  2555. args: ["aClass"],
  2556. source: "on: aClass\x0a\x09^ self new\x0a\x09\x09theClass: aClass;\x0a\x09\x09yourself",
  2557. referencedClasses: [],
  2558. //>>excludeEnd("ide");
  2559. messageSends: ["theClass:", "new", "yourself"]
  2560. }),
  2561. $globals.SemanticAnalyzer.klass);
  2562. $core.addClass('SemanticError', $globals.CompilerError, [], 'Compiler-Semantic');
  2563. //>>excludeStart("ide", pragmas.excludeIdeData);
  2564. $globals.SemanticError.comment="I represent an abstract semantic error thrown by the SemanticAnalyzer.\x0aSemantic errors can be unknown variable errors, etc.\x0aSee my subclasses for concrete errors.\x0a\x0aThe IDE should catch instances of Semantic error to deal with them when compiling";
  2565. //>>excludeEnd("ide");
  2566. $core.addClass('InvalidAssignmentError', $globals.SemanticError, ['variableName'], 'Compiler-Semantic');
  2567. //>>excludeStart("ide", pragmas.excludeIdeData);
  2568. $globals.InvalidAssignmentError.comment="I get signaled when a pseudo variable gets assigned.";
  2569. //>>excludeEnd("ide");
  2570. $core.addMethod(
  2571. $core.method({
  2572. selector: "messageText",
  2573. protocol: 'accessing',
  2574. fn: function (){
  2575. var self=this;
  2576. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2577. return $core.withContext(function($ctx1) {
  2578. //>>excludeEnd("ctx");
  2579. return " Invalid assignment to variable: ".__comma(self._variableName());
  2580. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2581. }, function($ctx1) {$ctx1.fill(self,"messageText",{},$globals.InvalidAssignmentError)});
  2582. //>>excludeEnd("ctx");
  2583. },
  2584. //>>excludeStart("ide", pragmas.excludeIdeData);
  2585. args: [],
  2586. source: "messageText\x0a\x09^ ' Invalid assignment to variable: ', self variableName",
  2587. referencedClasses: [],
  2588. //>>excludeEnd("ide");
  2589. messageSends: [",", "variableName"]
  2590. }),
  2591. $globals.InvalidAssignmentError);
  2592. $core.addMethod(
  2593. $core.method({
  2594. selector: "variableName",
  2595. protocol: 'accessing',
  2596. fn: function (){
  2597. var self=this;
  2598. return self["@variableName"];
  2599. },
  2600. //>>excludeStart("ide", pragmas.excludeIdeData);
  2601. args: [],
  2602. source: "variableName\x0a\x09^ variableName",
  2603. referencedClasses: [],
  2604. //>>excludeEnd("ide");
  2605. messageSends: []
  2606. }),
  2607. $globals.InvalidAssignmentError);
  2608. $core.addMethod(
  2609. $core.method({
  2610. selector: "variableName:",
  2611. protocol: 'accessing',
  2612. fn: function (aString){
  2613. var self=this;
  2614. self["@variableName"]=aString;
  2615. return self;
  2616. },
  2617. //>>excludeStart("ide", pragmas.excludeIdeData);
  2618. args: ["aString"],
  2619. source: "variableName: aString\x0a\x09variableName := aString",
  2620. referencedClasses: [],
  2621. //>>excludeEnd("ide");
  2622. messageSends: []
  2623. }),
  2624. $globals.InvalidAssignmentError);
  2625. $core.addClass('ShadowingVariableError', $globals.SemanticError, ['variableName'], 'Compiler-Semantic');
  2626. //>>excludeStart("ide", pragmas.excludeIdeData);
  2627. $globals.ShadowingVariableError.comment="I get signaled when a variable in a block or method scope shadows a variable of the same name in an outer scope.";
  2628. //>>excludeEnd("ide");
  2629. $core.addMethod(
  2630. $core.method({
  2631. selector: "messageText",
  2632. protocol: 'accessing',
  2633. fn: function (){
  2634. var self=this;
  2635. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2636. return $core.withContext(function($ctx1) {
  2637. //>>excludeEnd("ctx");
  2638. var $1;
  2639. $1=$recv("Variable shadowing error: ".__comma(self._variableName())).__comma(" is already defined");
  2640. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2641. $ctx1.sendIdx[","]=1;
  2642. //>>excludeEnd("ctx");
  2643. return $1;
  2644. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2645. }, function($ctx1) {$ctx1.fill(self,"messageText",{},$globals.ShadowingVariableError)});
  2646. //>>excludeEnd("ctx");
  2647. },
  2648. //>>excludeStart("ide", pragmas.excludeIdeData);
  2649. args: [],
  2650. source: "messageText\x0a\x09^ 'Variable shadowing error: ', self variableName, ' is already defined'",
  2651. referencedClasses: [],
  2652. //>>excludeEnd("ide");
  2653. messageSends: [",", "variableName"]
  2654. }),
  2655. $globals.ShadowingVariableError);
  2656. $core.addMethod(
  2657. $core.method({
  2658. selector: "variableName",
  2659. protocol: 'accessing',
  2660. fn: function (){
  2661. var self=this;
  2662. return self["@variableName"];
  2663. },
  2664. //>>excludeStart("ide", pragmas.excludeIdeData);
  2665. args: [],
  2666. source: "variableName\x0a\x09^ variableName",
  2667. referencedClasses: [],
  2668. //>>excludeEnd("ide");
  2669. messageSends: []
  2670. }),
  2671. $globals.ShadowingVariableError);
  2672. $core.addMethod(
  2673. $core.method({
  2674. selector: "variableName:",
  2675. protocol: 'accessing',
  2676. fn: function (aString){
  2677. var self=this;
  2678. self["@variableName"]=aString;
  2679. return self;
  2680. },
  2681. //>>excludeStart("ide", pragmas.excludeIdeData);
  2682. args: ["aString"],
  2683. source: "variableName: aString\x0a\x09variableName := aString",
  2684. referencedClasses: [],
  2685. //>>excludeEnd("ide");
  2686. messageSends: []
  2687. }),
  2688. $globals.ShadowingVariableError);
  2689. $core.addClass('UnknownVariableError', $globals.SemanticError, ['variableName'], 'Compiler-Semantic');
  2690. //>>excludeStart("ide", pragmas.excludeIdeData);
  2691. $globals.UnknownVariableError.comment="I get signaled when a variable is not defined.\x0aThe default behavior is to allow it, as this is how Amber currently is able to seamlessly send messages to JavaScript objects.";
  2692. //>>excludeEnd("ide");
  2693. $core.addMethod(
  2694. $core.method({
  2695. selector: "messageText",
  2696. protocol: 'accessing',
  2697. fn: function (){
  2698. var self=this;
  2699. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2700. return $core.withContext(function($ctx1) {
  2701. //>>excludeEnd("ctx");
  2702. var $1;
  2703. $1=$recv("Unknown Variable error: ".__comma(self._variableName())).__comma(" is not defined");
  2704. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2705. $ctx1.sendIdx[","]=1;
  2706. //>>excludeEnd("ctx");
  2707. return $1;
  2708. //>>excludeStart("ctx", pragmas.excludeDebugContexts);
  2709. }, function($ctx1) {$ctx1.fill(self,"messageText",{},$globals.UnknownVariableError)});
  2710. //>>excludeEnd("ctx");
  2711. },
  2712. //>>excludeStart("ide", pragmas.excludeIdeData);
  2713. args: [],
  2714. source: "messageText\x0a\x09^ 'Unknown Variable error: ', self variableName, ' is not defined'",
  2715. referencedClasses: [],
  2716. //>>excludeEnd("ide");
  2717. messageSends: [",", "variableName"]
  2718. }),
  2719. $globals.UnknownVariableError);
  2720. $core.addMethod(
  2721. $core.method({
  2722. selector: "variableName",
  2723. protocol: 'accessing',
  2724. fn: function (){
  2725. var self=this;
  2726. return self["@variableName"];
  2727. },
  2728. //>>excludeStart("ide", pragmas.excludeIdeData);
  2729. args: [],
  2730. source: "variableName\x0a\x09^ variableName",
  2731. referencedClasses: [],
  2732. //>>excludeEnd("ide");
  2733. messageSends: []
  2734. }),
  2735. $globals.UnknownVariableError);
  2736. $core.addMethod(
  2737. $core.method({
  2738. selector: "variableName:",
  2739. protocol: 'accessing',
  2740. fn: function (aString){
  2741. var self=this;
  2742. self["@variableName"]=aString;
  2743. return self;
  2744. },
  2745. //>>excludeStart("ide", pragmas.excludeIdeData);
  2746. args: ["aString"],
  2747. source: "variableName: aString\x0a\x09variableName := aString",
  2748. referencedClasses: [],
  2749. //>>excludeEnd("ide");
  2750. messageSends: []
  2751. }),
  2752. $globals.UnknownVariableError);
  2753. });