UNPKG

walt-compiler

Version:

Alternative syntax for WebAssembly text format

522 lines (521 loc) 15.2 kB
<!doctype html> <html lang="en"> <head> <title>Code coverage report for src/core/function.js</title> <meta charset="utf-8" /> <link rel="stylesheet" href="../../prettify.css" /> <link rel="stylesheet" href="../../base.css" /> <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> / <a href="index.html">src/core</a> function.js </h1> <div class='clearfix'> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Statements</span> <span class='fraction'>43/43</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Branches</span> <span class='fraction'>9/9</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Functions</span> <span class='fraction'>13/13</span> </div> <div class='fl pad1y space-right2'> <span class="strong">100% </span> <span class="quiet">Lines</span> <span class='fraction'>43/43</span> </div> </div> </div> <div class='status-line high'></div> <pre><table class="coverage"> <tr><td class="line-count quiet">1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153</td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">23x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-yes">346x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">63x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">63x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">63x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-yes">247x</span> <span class="cline-any cline-yes">247x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">247x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">90x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-yes">171x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">173x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">1x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-yes">172x</span> <span class="cline-any cline-yes">172x</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span> <span class="cline-any cline-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">/* Core function plugin * * @flow * * This plugin only handles the basics of functions like vanilla function calls, * arguments and return statements */ import Syntax from 'walt-syntax'; import { current, enter, exit, signature } from 'walt-parser-tools/scope'; import walkNode from 'walt-parser-tools/walk-node'; import { FUNCTION_INDEX, FUNCTION_METADATA, LOCAL_INDEX, } from '../semantics/metadata'; import { typeWeight } from '../types'; import type { SemanticPlugin, FunctionDeclaration, FunctionArguments, Context, } from '../flow/types'; &nbsp; export default function coreFunctionPlugin(): SemanticPlugin { return { semantics() { return { [Syntax.FunctionDeclaration]: _ignore =&gt; ( [fun, context]: [FunctionDeclaration, Context], transform ) =&gt; { // Enter a new scope, where all new declaration will go into context.scopes = enter(context.scopes, LOCAL_INDEX); const currentScope = current(context.scopes); &nbsp; const [argsNode, resultNode, block] = fun.params; const [args, result] = [argsNode, resultNode].map(p =&gt; transform([p, context]) ); &nbsp; const ref = { ...fun, // This is set by the parsers below if necessary, defaults to null type: currentScope[signature].result, meta: { ...fun.meta, [FUNCTION_INDEX]: Object.keys(context.functions).length, [FUNCTION_METADATA]: { argumentsCount: currentScope[signature].arguments.length, locals: current(context.scopes), }, }, }; context.functions[fun.value] = ref; &nbsp; // Parse the block last, so that they can self-reference the function ref.params = [args, result, transform([block, context])]; &nbsp; context.scopes = exit(context.scopes); &nbsp; return ref; }, [Syntax.FunctionResult]: _next =&gt; ([result, context]) =&gt; { // Function statements are sybligs of FunctionResult so we need to mutate // the parent context (FunctionDeclaration) const currentScope = current(context.scopes); currentScope[signature].result = result.type; &nbsp; return result; }, [Syntax.FunctionArguments]: _next =&gt; ( [args, context]: [FunctionArguments, Context], transform ) =&gt; { const currentScope = current(context.scopes); &nbsp; currentScope[signature].arguments = []; &nbsp; walkNode({ [Syntax.Pair]: node =&gt; { const [identifier, typeNode] = node.params; &nbsp; currentScope[signature].arguments.push(node); &nbsp; transform([ { ...node, value: identifier.value, type: typeNode.value, params: [], Type: Syntax.Declaration, }, context, ]); }, })({ ...args, params: args.params.filter(Boolean) }); &nbsp; return args; }, // Regular function calls [Syntax.FunctionCall]: next =&gt; ([call, context]) =&gt; { const { functions } = context; const index = Object.keys(functions).indexOf(call.value); &nbsp; return next([ { ...call, type: functions[call.value] != null ? functions[call.value].type : null, meta: { [FUNCTION_INDEX]: index }, params: call.params.slice(1), }, context, ]); }, [Syntax.ReturnStatement]: _next =&gt; ( [returnNode, context], transform ) =&gt; { const currentScope = current(context.scopes); &nbsp; const [expression] = returnNode.params.map(p =&gt; transform([p, context]) ); const { result } = currentScope[signature]; // Constants as return values need to be assigned a correct type // (matching the result expected) if ( expression != null &amp;&amp; expression.Type === Syntax.Constant &amp;&amp; typeWeight(expression.type) !== typeWeight(result) ) { return { ...returnNode, type: result, params: [{ ...expression, type: result }], }; } &nbsp; const type = expression ? expression.type : null; return { ...returnNode, params: [expression], type, }; }, }; }, }; } &nbsp;</pre></td></tr> </table></pre> <div class='push'></div><!-- for sticky footer --> </div><!-- /wrapper --> <div class='footer quiet pad2 space-top1 center small'> Code coverage generated by <a href="https://istanbul.js.org/" target="_blank">istanbul</a> at Sun Dec 23 2018 17:46:36 GMT+0000 (UTC) </div> </div> <script src="../../prettify.js"></script> <script> window.onload = function () { if (typeof prettyPrint === 'function') { prettyPrint(); } }; </script> <script src="../../sorter.js"></script> </body> </html>