@adrianepi/constant-folding

<!doctype html> <html lang="en"> <head> <title>Code coverage report for constant-folding.js</title> <meta charset="utf-8" /> <link rel="stylesheet" href="prettify.css" /> <link rel="stylesheet" href="base.css" /> <link rel="shortcut icon" type="image/x-icon" href="favicon.png" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <style type='text/css'> .coverage-summary .sorter { background-image: url(sort-arrow-sprite.png); } </style> </head> <body> <div class='wrapper'> <div class='pad1'> <h1><a href="index.html">All files</a> constant-folding.js</h1> <div class='clearfix'> <div class='fl pad1y space-right2'> 95.76% Statements 113/118 </div> <div class='fl pad1y space-right2'> 93.9% Branches 77/82 </div> <div class='fl pad1y space-right2'> 100% Functions 7/7 </div> <div class='fl pad1y space-right2'> 95.65% Lines 110/115 </div> </div> Press n or j to go to the next uncovered block, b, p or k for the previous block. <template id="filterTemplate"> <div class="quiet"> Filter: <input oninput="onInput()" type="search" id="fileSearch"> </div> </template> </div> <div class='status-line high'></div> <pre><table class="coverage"> <tr><td class="line-count quiet"><a name='L1'></a><a href='#L1'>1</a> <a name='L2'></a><a href='#L2'>2</a> <a name='L3'></a><a href='#L3'>3</a> <a name='L4'></a><a href='#L4'>4</a> <a name='L5'></a><a href='#L5'>5</a> <a name='L6'></a><a href='#L6'>6</a> <a name='L7'></a><a href='#L7'>7</a> <a name='L8'></a><a href='#L8'>8</a> <a name='L9'></a><a href='#L9'>9</a> <a name='L10'></a><a href='#L10'>10</a> <a name='L11'></a><a href='#L11'>11</a> <a name='L12'></a><a href='#L12'>12</a> <a name='L13'></a><a href='#L13'>13</a> <a name='L14'></a><a href='#L14'>14</a> <a name='L15'></a><a href='#L15'>15</a> <a name='L16'></a><a href='#L16'>16</a> <a name='L17'></a><a href='#L17'>17</a> <a name='L18'></a><a href='#L18'>18</a> <a name='L19'></a><a href='#L19'>19</a> <a name='L20'></a><a href='#L20'>20</a> <a name='L21'></a><a href='#L21'>21</a> <a name='L22'></a><a href='#L22'>22</a> <a name='L23'></a><a href='#L23'>23</a> <a name='L24'></a><a href='#L24'>24</a> <a name='L25'></a><a href='#L25'>25</a> <a name='L26'></a><a href='#L26'>26</a> <a name='L27'></a><a href='#L27'>27</a> <a name='L28'></a><a href='#L28'>28</a> <a name='L29'></a><a href='#L29'>29</a> <a name='L30'></a><a href='#L30'>30</a> <a name='L31'></a><a href='#L31'>31</a> <a name='L32'></a><a href='#L32'>32</a> <a name='L33'></a><a href='#L33'>33</a> <a name='L34'></a><a href='#L34'>34</a> <a name='L35'></a><a href='#L35'>35</a> <a name='L36'></a><a href='#L36'>36</a> <a name='L37'></a><a href='#L37'>37</a> <a name='L38'></a><a href='#L38'>38</a> <a name='L39'></a><a href='#L39'>39</a> <a name='L40'></a><a href='#L40'>40</a> <a name='L41'></a><a href='#L41'>41</a> <a name='L42'></a><a href='#L42'>42</a> <a name='L43'></a><a href='#L43'>43</a> <a name='L44'></a><a href='#L44'>44</a> <a name='L45'></a><a href='#L45'>45</a> <a name='L46'></a><a href='#L46'>46</a> <a name='L47'></a><a href='#L47'>47</a> <a name='L48'></a><a href='#L48'>48</a> <a name='L49'></a><a href='#L49'>49</a> <a name='L50'></a><a href='#L50'>50</a> <a name='L51'></a><a href='#L51'>51</a> <a name='L52'></a><a href='#L52'>52</a> <a name='L53'></a><a href='#L53'>53</a> <a name='L54'></a><a href='#L54'>54</a> <a name='L55'></a><a href='#L55'>55</a> <a name='L56'></a><a href='#L56'>56</a> <a name='L57'></a><a href='#L57'>57</a> <a name='L58'></a><a href='#L58'>58</a> <a name='L59'></a><a href='#L59'>59</a> <a name='L60'></a><a href='#L60'>60</a> <a name='L61'></a><a href='#L61'>61</a> <a name='L62'></a><a href='#L62'>62</a> <a name='L63'></a><a href='#L63'>63</a> <a name='L64'></a><a href='#L64'>64</a> <a name='L65'></a><a href='#L65'>65</a> <a name='L66'></a><a href='#L66'>66</a> <a name='L67'></a><a href='#L67'>67</a> <a name='L68'></a><a href='#L68'>68</a> <a name='L69'></a><a href='#L69'>69</a> <a name='L70'></a><a href='#L70'>70</a> <a name='L71'></a><a href='#L71'>71</a> <a name='L72'></a><a href='#L72'>72</a> <a name='L73'></a><a href='#L73'>73</a> <a name='L74'></a><a href='#L74'>74</a> <a name='L75'></a><a href='#L75'>75</a> <a name='L76'></a><a href='#L76'>76</a> <a name='L77'></a><a href='#L77'>77</a> <a name='L78'></a><a href='#L78'>78</a> <a name='L79'></a><a href='#L79'>79</a> <a name='L80'></a><a href='#L80'>80</a> <a name='L81'></a><a href='#L81'>81</a> <a name='L82'></a><a href='#L82'>82</a> <a name='L83'></a><a href='#L83'>83</a> <a name='L84'></a><a href='#L84'>84</a> <a name='L85'></a><a href='#L85'>85</a> <a name='L86'></a><a href='#L86'>86</a> <a name='L87'></a><a href='#L87'>87</a> <a name='L88'></a><a href='#L88'>88</a> <a name='L89'></a><a href='#L89'>89</a> <a name='L90'></a><a href='#L90'>90</a> <a name='L91'></a><a href='#L91'>91</a> <a name='L92'></a><a href='#L92'>92</a> <a name='L93'></a><a href='#L93'>93</a> <a name='L94'></a><a href='#L94'>94</a> <a name='L95'></a><a href='#L95'>95</a> <a name='L96'></a><a href='#L96'>96</a> <a name='L97'></a><a href='#L97'>97</a> <a name='L98'></a><a href='#L98'>98</a> <a name='L99'></a><a href='#L99'>99</a> <a name='L100'></a><a href='#L100'>100</a> <a name='L101'></a><a href='#L101'>101</a> <a name='L102'></a><a href='#L102'>102</a> <a name='L103'></a><a href='#L103'>103</a> <a name='L104'></a><a href='#L104'>104</a> <a name='L105'></a><a href='#L105'>105</a> <a name='L106'></a><a href='#L106'>106</a> <a name='L107'></a><a href='#L107'>107</a> <a name='L108'></a><a href='#L108'>108</a> <a name='L109'></a><a href='#L109'>109</a> <a name='L110'></a><a href='#L110'>110</a> <a name='L111'></a><a href='#L111'>111</a> <a name='L112'></a><a href='#L112'>112</a> <a name='L113'></a><a href='#L113'>113</a> <a name='L114'></a><a href='#L114'>114</a> <a name='L115'></a><a href='#L115'>115</a> <a name='L116'></a><a href='#L116'>116</a> <a name='L117'></a><a href='#L117'>117</a> <a name='L118'></a><a href='#L118'>118</a> <a name='L119'></a><a href='#L119'>119</a> <a name='L120'></a><a href='#L120'>120</a> <a name='L121'></a><a href='#L121'>121</a> <a name='L122'></a><a href='#L122'>122</a> <a name='L123'></a><a href='#L123'>123</a> <a name='L124'></a><a href='#L124'>124</a> <a name='L125'></a><a href='#L125'>125</a> <a name='L126'></a><a href='#L126'>126</a> <a name='L127'></a><a href='#L127'>127</a> <a name='L128'></a><a href='#L128'>128</a> <a name='L129'></a><a href='#L129'>129</a> <a name='L130'></a><a href='#L130'>130</a> <a name='L131'></a><a href='#L131'>131</a> <a name='L132'></a><a href='#L132'>132</a> <a name='L133'></a><a href='#L133'>133</a> <a name='L134'></a><a href='#L134'>134</a> <a name='L135'></a><a href='#L135'>135</a> <a name='L136'></a><a href='#L136'>136</a> <a name='L137'></a><a href='#L137'>137</a> <a name='L138'></a><a href='#L138'>138</a> <a name='L139'></a><a href='#L139'>139</a> <a name='L140'></a><a href='#L140'>140</a> <a name='L141'></a><a href='#L141'>141</a> <a name='L142'></a><a href='#L142'>142</a> <a name='L143'></a><a href='#L143'>143</a> <a name='L144'></a><a href='#L144'>144</a> <a name='L145'></a><a href='#L145'>145</a> <a name='L146'></a><a href='#L146'>146</a> <a name='L147'></a><a href='#L147'>147</a> <a name='L148'></a><a href='#L148'>148</a> <a name='L149'></a><a href='#L149'>149</a> <a name='L150'></a><a href='#L150'>150</a> <a name='L151'></a><a href='#L151'>151</a> <a name='L152'></a><a href='#L152'>152</a> <a name='L153'></a><a href='#L153'>153</a> <a name='L154'></a><a href='#L154'>154</a> <a name='L155'></a><a href='#L155'>155</a> <a name='L156'></a><a href='#L156'>156</a> <a name='L157'></a><a href='#L157'>157</a> <a name='L158'></a><a href='#L158'>158</a> <a name='L159'></a><a href='#L159'>159</a> <a name='L160'></a><a href='#L160'>160</a> <a name='L161'></a><a href='#L161'>161</a> <a name='L162'></a><a href='#L162'>162</a> <a name='L163'></a><a href='#L163'>163</a> <a name='L164'></a><a href='#L164'>164</a> <a name='L165'></a><a href='#L165'>165</a> <a name='L166'></a><a href='#L166'>166</a> <a name='L167'></a><a href='#L167'>167</a> <a name='L168'></a><a href='#L168'>168</a> <a name='L169'></a><a href='#L169'>169</a> <a name='L170'></a><a href='#L170'>170</a> <a name='L171'></a><a href='#L171'>171</a> <a name='L172'></a><a href='#L172'>172</a> <a name='L173'></a><a href='#L173'>173</a> <a name='L174'></a><a href='#L174'>174</a> <a name='L175'></a><a href='#L175'>175</a> <a name='L176'></a><a href='#L176'>176</a> <a name='L177'></a><a href='#L177'>177</a> <a name='L178'></a><a href='#L178'>178</a> <a name='L179'></a><a href='#L179'>179</a> <a name='L180'></a><a href='#L180'>180</a> <a name='L181'></a><a href='#L181'>181</a> <a name='L182'></a><a href='#L182'>182</a> <a name='L183'></a><a href='#L183'>183</a> <a name='L184'></a><a href='#L184'>184</a> <a name='L185'></a><a href='#L185'>185</a> <a name='L186'></a><a href='#L186'>186</a> <a name='L187'></a><a href='#L187'>187</a> <a name='L188'></a><a href='#L188'>188</a> <a name='L189'></a><a href='#L189'>189</a> <a name='L190'></a><a href='#L190'>190</a> <a name='L191'></a><a href='#L191'>191</a> <a name='L192'></a><a href='#L192'>192</a> <a name='L193'></a><a href='#L193'>193</a> <a name='L194'></a><a href='#L194'>194</a> <a name='L195'></a><a href='#L195'>195</a> <a name='L196'></a><a href='#L196'>196</a> <a name='L197'></a><a href='#L197'>197</a> <a name='L198'></a><a href='#L198'>198</a> <a name='L199'></a><a href='#L199'>199</a> <a name='L200'></a><a href='#L200'>200</a> <a name='L201'></a><a href='#L201'>201</a> <a name='L202'></a><a href='#L202'>202</a> <a name='L203'></a><a href='#L203'>203</a> <a name='L204'></a><a href='#L204'>204</a> <a name='L205'></a><a href='#L205'>205</a> <a name='L206'></a><a href='#L206'>206</a> <a name='L207'></a><a href='#L207'>207</a> <a name='L208'></a><a href='#L208'>208</a> <a name='L209'></a><a href='#L209'>209</a> <a name='L210'></a><a href='#L210'>210</a> <a name='L211'></a><a href='#L211'>211</a> <a name='L212'></a><a href='#L212'>212</a> <a name='L213'></a><a href='#L213'>213</a> <a name='L214'></a><a href='#L214'>214</a> <a name='L215'></a><a href='#L215'>215</a> <a name='L216'></a><a href='#L216'>216</a> <a name='L217'></a><a href='#L217'>217</a> <a name='L218'></a><a href='#L218'>218</a> <a name='L219'></a><a href='#L219'>219</a> <a name='L220'></a><a href='#L220'>220</a> <a name='L221'></a><a href='#L221'>221</a> <a name='L222'></a><a href='#L222'>222</a> <a name='L223'></a><a href='#L223'>223</a> <a name='L224'></a><a href='#L224'>224</a> <a name='L225'></a><a href='#L225'>225</a> <a name='L226'></a><a href='#L226'>226</a> <a name='L227'></a><a href='#L227'>227</a> <a name='L228'></a><a href='#L228'>228</a> <a name='L229'></a><a href='#L229'>229</a> <a name='L230'></a><a href='#L230'>230</a> <a name='L231'></a><a href='#L231'>231</a> <a name='L232'></a><a href='#L232'>232</a> <a name='L233'></a><a href='#L233'>233</a> <a name='L234'></a><a href='#L234'>234</a> <a name='L235'></a><a href='#L235'>235</a> <a name='L236'></a><a href='#L236'>236</a> <a name='L237'></a><a href='#L237'>237</a> <a name='L238'></a><a href='#L238'>238</a> <a name='L239'></a><a href='#L239'>239</a> <a name='L240'></a><a href='#L240'>240</a> <a name='L241'></a><a href='#L241'>241</a> <a name='L242'></a><a href='#L242'>242</a> <a name='L243'></a><a href='#L243'>243</a> <a name='L244'></a><a href='#L244'>244</a> <a name='L245'></a><a href='#L245'>245</a> <a name='L246'></a><a href='#L246'>246</a> <a name='L247'></a><a href='#L247'>247</a> <a name='L248'></a><a href='#L248'>248</a> <a name='L249'></a><a href='#L249'>249</a> <a name='L250'></a><a href='#L250'>250</a> <a name='L251'></a><a href='#L251'>251</a> <a name='L252'></a><a href='#L252'>252</a> <a name='L253'></a><a href='#L253'>253</a> <a name='L254'></a><a href='#L254'>254</a> <a name='L255'></a><a href='#L255'>255</a> <a name='L256'></a><a href='#L256'>256</a> <a name='L257'></a><a href='#L257'>257</a> <a name='L258'></a><a href='#L258'>258</a> <a name='L259'></a><a href='#L259'>259</a> <a name='L260'></a><a href='#L260'>260</a> <a name='L261'></a><a href='#L261'>261</a> <a name='L262'></a><a href='#L262'>262</a> <a name='L263'></a><a href='#L263'>263</a> <a name='L264'></a><a href='#L264'>264</a> <a name='L265'></a><a href='#L265'>265</a> <a name='L266'></a><a href='#L266'>266</a> <a name='L267'></a><a href='#L267'>267</a> <a name='L268'></a><a href='#L268'>268</a> <a name='L269'></a><a href='#L269'>269</a></td><td class="line-coverage quiet">  1x 1x 1x 1x 1x   1x   1x                         23x 23x   334x 16x   318x 23x   295x 10x       23x 23x 23x   3x   20x   19x   1x 1x 1x               23x                     16x 16x 16x 16x 16x                     10x   10x 4x 4x 2x     2x       6x 6x 3x     3x     6x 3x     10x 10x 10x 10x                       23x 14x 14x 8x 8x 2x 2x     6x   8x 4x   8x     6x 6x 6x 4x 4x     2x   6x 6x 26x 26x 22x   4x 4x   26x   6x       9x 9x 9x 6x 6x     3x     9x 6x   9x 3x 3x 9x 9x 6x     3x   9x   23x 23x                     34x 34x 80x 28x   52x 48x 17x     31x     4x 4x           34x                     20x 20x 265x 221x 39x   182x 182x 24x       20x                                                    </td><td class="text"><pre class="prettyprint lang-js">// See https://github.com/babel/minify/tree/master/packages/babel-plugin-minify-constant-folding const fs = require("fs"); const deb = require('../src/deb.js'); const escodegen = require("escodegen"); const espree = require("espree"); const estraverse = require("estraverse");   "use strict";   module.exports = constantFolding;     /** * A function that creates the AST of the given code and modifies it for * allowing the use of array and strings methods. * * @param {string} code A string with the js program code. * @param {string} pattern The pattern (other parameters). * @return {string} Returns a string with the output in AST format or JS * format. */ function constantFolding(code, pattern) { const t = espree.parse(code, { ecmaVersion: 6, loc: false }); estraverse.traverse(t, { leave: function (n, p) { if (n.type == "BinaryExpression" && n.left.type == "Literal" && n.right.type == "Literal") { replaceByLiteral(n); } else if (n.type == "CallExpression") { replaceByCallExpression(n); } else if (n.type == "MemberExpression" && p.type != "CallExpression") { replaceByMemberExpression(n); } }, }); let result = ""; let c = escodegen.generate(t); if (pattern == "--ast" || pattern == "-a") { //result = 'AST Json code: \n\n'; result += JSON.stringify(t, 0, 2); } else if (pattern == "--js" || pattern == "-j") { //result = '\n\n---\n\n JavaScript code:\n\n'; result += generateOutput(c); } else Eif (pattern == "--deb" || pattern == "-d") { result += generateOutput(c); deb(t); } else { result = 'AST Json code: \n\n'; result += JSON.stringify(t, 0, 2); result += '\n\n---\n\n JavaScript code:\n\n'; result += generateOutput(c); } return result; }     /** * Modifies the literal node for computing the operations and apply constant * folding. * * @param {<type>} node The node. */ function replaceByLiteral(node) { node.type = "Literal"; node.value = eval(`${node.left.raw} ${node.operator} ${node.right.raw}`); node.raw = String(node.value); delete node.left; delete node.right; }     /** * Modifies the member expression node for allowing use for array and strings * methods. * * @param {Node} node The node. */ function replaceByMemberExpression(node) { node.type = "Literal"; // Array methods if (node.object.type == "ArrayExpression") { var arr = generateArray(node.object.elements); if (node.property.type == "Literal") { node.value = eval(`[${arr}][${node.property.value}]`); } else { node.value = eval(`[${arr}].${node.property.name}`); } } // String and number methods else Eif (node.object.type == "Literal") { if (node.property.type == "Literal") { node.value = eval(`"${node.object.value}"[${node.property.value}]`); } else { node.value = eval(`"${node.object.value}".${node.property.name}`); } // Add quotes to strings if (typeof(node.value) != "number") { node.value = "\"" + node.value + "\""; } } node.raw = String(node.value); node.computed = true; delete node.object; delete node.property; }     /** * Modifies the call expression node for allowing use for array and strings * methods. * * @param {Node} node The node. */ function replaceByCallExpression(node) { // Array methods if (node.callee.object.type == "ArrayExpression") { var arr = generateArray(node.callee.object.elements); if (node.callee.property.name == "join" || node.callee.property.name == "shift" || node.callee.property.name == "pop") { node.type = "Literal"; if (node.arguments.length > 0) { var args = generateArray(node.arguments); node.value = eval(`[${arr}].${node.callee.property.name}(${args})`); } else { node.value = eval(`[${arr}].${node.callee.property.name}()`); } if (node.callee.property.name === "join") { node.value = "\"" + node.value + "\""; } node.raw = String(node.value); } else { node.type = "ArrayExpression"; var result = ""; if (node.arguments.length > 0) { var args = generateArray(node.arguments) result = eval(`[${arr}].${node.callee.property.name}(${args})`); } else { result = eval(`[${arr}].${node.callee.property.name}()`); } var tmp = new Array(); for (var i = 0; i < result.length; i++) { var newNode = Object.assign({} , node.callee.object.elements[0]); if (newNode.hasOwnProperty("name")) { newNode.name = result[i]; } else Eif (newNode.hasOwnProperty("value")) { newNode.value = result[i]; } tmp.push(newNode); } node.elements = tmp; } } // String and number methods else Eif (node.callee.object.type == "Literal") { node.type = "Literal"; if (node.arguments.length > 0) { var args = generateArray(node.arguments); node.value = eval(`"${node.callee.object.value}".${node.callee.property.name}(${args})`); } else { node.value = eval(`"${node.callee.object.value}".${node.callee.property.name}()`); } // Add quotes in string methods if (typeof(node.value) !== "number" && node.callee.property.name !== 'split') { node.value = "\"" + node.value + "\""; } if (typeof(node.value) !== "number" && node.callee.property.name === 'split') { let addQuotes = ""; for (let i = 0; i < node.value.length; i++) { addQuotes += "\"" + node.value[i] + "\"" if (i < node.value.length - 1) { addQuotes += ", "; } } node.value = addQuotes; } node.raw = String(node.value); } delete node.callee; delete node.arguments; }     /** * Receives a node and generates an array from the elements of that node. * * @param {Node} node The node. * @return {Array} Array with the elements of the node. */ function generateArray (node) { var arr = new Array(); for (var i in node) { if (node[i].type === "Identifier") { arr.push(`"${node[i].name}"`); } else if (node[i].type === "Literal") { if (typeof(node[i].value) === "string") { arr.push(`"${node[i].value}"`); } else { arr.push(`${node[i].value}`); } } else Eif (node[i].type === "ArrayExpression") { arr.push(generateArray(node[i].elements)); } else { console.log("Error, not valid expresion in generateArray"); } } return arr; }     /** * Modifies the JS output for printing it in one line and without many spaces. * * @param {string} code The code * @return {string} The output with better format. */ function generateOutput(code) { let result = ""; for (let i = 0; i < code.length; i++) { if (code[i] !== '\n' && code[i] !== '\'') { if (code[i] === ' ' && code[i - 1] === ' ') { continue; } result += code[i]; if (code[i] === ';') { result += '\n'; } } } return result; }   // const input = ` // var f = 3+null; // var e = 4 | 3; // var d = 3+"c"; // var b = 9 +1; // var a = 2+3*5+b; // [a, b, c].concat([d, e], f, g, [h]); // ["a", "b", "c"].join(); // ["a", "b", "c"].join('@'); // [1, 2, 3].length; // [1, 2, 3][2-1]; // [1, 2, 3].shift(); // [1, 2, 3].slice(0, 1+1); // [a, b, c].pop(); // [a, b, c].reverse(); // "abc"[0]; // "abc".charAt(); // "abc".charAt(1); // "abc".length; // "a,b,c".split(","); // (100 + 23).toString(); // `;   // console.log(constantFolding(input, "--js"));</pre></td></tr></table></pre> <div class='push'></div> </div> <div class='footer quiet pad2 space-top1 center small'> Code coverage generated by <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a> at Sat Mar 05 2022 15:26:35 GMT+0000 (Western European Standard Time) </div> <script src="prettify.js"></script> <script> window.onload = function () { prettyPrint(); }; </script> <script src="sorter.js"></script> <script src="block-navigation.js"></script> </body> </html>