walt-compiler
Version:
Alternative syntax for WebAssembly text format
522 lines (521 loc) • 15.2 kB
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"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </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"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">23x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">90x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">90x</span>
<span class="cline-any cline-yes">90x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </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"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">90x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">90x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">63x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">63x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">63x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </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"> </span>
<span class="cline-any cline-yes">247x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">90x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-yes">171x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">173x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">1x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-yes">172x</span>
<span class="cline-any cline-yes">172x</span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </span>
<span class="cline-any cline-neutral"> </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';
export default function coreFunctionPlugin(): SemanticPlugin {
return {
semantics() {
return {
[Syntax.FunctionDeclaration]: _ignore => (
[fun, context]: [FunctionDeclaration, Context],
transform
) => {
// Enter a new scope, where all new declaration will go into
context.scopes = enter(context.scopes, LOCAL_INDEX);
const currentScope = current(context.scopes);
const [argsNode, resultNode, block] = fun.params;
const [args, result] = [argsNode, resultNode].map(p =>
transform([p, context])
);
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;
// Parse the block last, so that they can self-reference the function
ref.params = [args, result, transform([block, context])];
context.scopes = exit(context.scopes);
return ref;
},
[Syntax.FunctionResult]: _next => ([result, context]) => {
// 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;
return result;
},
[Syntax.FunctionArguments]: _next => (
[args, context]: [FunctionArguments, Context],
transform
) => {
const currentScope = current(context.scopes);
currentScope[signature].arguments = [];
walkNode({
[Syntax.Pair]: node => {
const [identifier, typeNode] = node.params;
currentScope[signature].arguments.push(node);
transform([
{
...node,
value: identifier.value,
type: typeNode.value,
params: [],
Type: Syntax.Declaration,
},
context,
]);
},
})({ ...args, params: args.params.filter(Boolean) });
return args;
},
// Regular function calls
[Syntax.FunctionCall]: next => ([call, context]) => {
const { functions } = context;
const index = Object.keys(functions).indexOf(call.value);
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 => (
[returnNode, context],
transform
) => {
const currentScope = current(context.scopes);
const [expression] = returnNode.params.map(p =>
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 &&
expression.Type === Syntax.Constant &&
typeWeight(expression.type) !== typeWeight(result)
) {
return {
...returnNode,
type: result,
params: [{ ...expression, type: result }],
};
}
const type = expression ? expression.type : null;
return {
...returnNode,
params: [expression],
type,
};
},
};
},
};
}
</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>