septima-lang 0.0.5 → 0.0.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/main.js +1 -0
- package/package.json +3 -3
- package/dist/src/ast-node.d.ts +0 -98
- package/dist/src/ast-node.js +0 -139
- package/dist/src/extract-message.d.ts +0 -1
- package/dist/src/extract-message.js +0 -10
- package/dist/src/fail-me.d.ts +0 -1
- package/dist/src/fail-me.js +0 -11
- package/dist/src/find-array-method.d.ts +0 -15
- package/dist/src/find-array-method.js +0 -104
- package/dist/src/find-string-method.d.ts +0 -2
- package/dist/src/find-string-method.js +0 -88
- package/dist/src/index.d.ts +0 -1
- package/dist/src/index.js +0 -18
- package/dist/src/location.d.ts +0 -11
- package/dist/src/location.js +0 -3
- package/dist/src/parser.d.ts +0 -44
- package/dist/src/parser.js +0 -458
- package/dist/src/result.d.ts +0 -24
- package/dist/src/result.js +0 -29
- package/dist/src/runtime.d.ts +0 -27
- package/dist/src/runtime.js +0 -343
- package/dist/src/scanner.d.ts +0 -23
- package/dist/src/scanner.js +0 -88
- package/dist/src/septima.d.ts +0 -32
- package/dist/src/septima.js +0 -91
- package/dist/src/should-never-happen.d.ts +0 -1
- package/dist/src/should-never-happen.js +0 -9
- package/dist/src/source-code.d.ts +0 -19
- package/dist/src/source-code.js +0 -90
- package/dist/src/stack.d.ts +0 -11
- package/dist/src/stack.js +0 -19
- package/dist/src/switch-on.d.ts +0 -1
- package/dist/src/switch-on.js +0 -9
- package/dist/src/symbol-table.d.ts +0 -6
- package/dist/src/symbol-table.js +0 -3
- package/dist/src/value.d.ts +0 -128
- package/dist/src/value.js +0 -634
- package/dist/tests/parser.spec.d.ts +0 -1
- package/dist/tests/parser.spec.js +0 -31
- package/dist/tests/septima-compute-module.spec.d.ts +0 -1
- package/dist/tests/septima-compute-module.spec.js +0 -30
- package/dist/tests/septima.spec.d.ts +0 -1
- package/dist/tests/septima.spec.js +0 -774
- package/dist/tests/value.spec.d.ts +0 -1
- package/dist/tests/value.spec.js +0 -355
- package/dist/tsconfig.tsbuildinfo +0 -1
- package/jest-output.json +0 -1
- package/src/a.js +0 -66
- package/src/ast-node.ts +0 -249
- package/src/extract-message.ts +0 -5
- package/src/fail-me.ts +0 -7
- package/src/find-array-method.ts +0 -115
- package/src/find-string-method.ts +0 -84
- package/src/index.ts +0 -1
- package/src/location.ts +0 -13
- package/src/parser.ts +0 -526
- package/src/result.ts +0 -45
- package/src/runtime.ts +0 -360
- package/src/scanner.ts +0 -106
- package/src/septima.ts +0 -114
- package/src/should-never-happen.ts +0 -4
- package/src/source-code.ts +0 -101
- package/src/stack.ts +0 -18
- package/src/switch-on.ts +0 -4
- package/src/symbol-table.ts +0 -7
- package/src/value.ts +0 -742
- package/tests/parser.spec.ts +0 -30
- package/tests/septima-compute-module.spec.ts +0 -33
- package/tests/septima.spec.ts +0 -839
- package/tests/value.spec.ts +0 -387
- package/tsconfig.json +0 -11
package/dist/src/runtime.js
DELETED
|
@@ -1,343 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
3
|
-
if (k2 === undefined) k2 = k;
|
|
4
|
-
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
5
|
-
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
6
|
-
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
7
|
-
}
|
|
8
|
-
Object.defineProperty(o, k2, desc);
|
|
9
|
-
}) : (function(o, m, k, k2) {
|
|
10
|
-
if (k2 === undefined) k2 = k;
|
|
11
|
-
o[k2] = m[k];
|
|
12
|
-
}));
|
|
13
|
-
var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
|
|
14
|
-
Object.defineProperty(o, "default", { enumerable: true, value: v });
|
|
15
|
-
}) : function(o, v) {
|
|
16
|
-
o["default"] = v;
|
|
17
|
-
});
|
|
18
|
-
var __importStar = (this && this.__importStar) || function (mod) {
|
|
19
|
-
if (mod && mod.__esModule) return mod;
|
|
20
|
-
var result = {};
|
|
21
|
-
if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
|
|
22
|
-
__setModuleDefault(result, mod);
|
|
23
|
-
return result;
|
|
24
|
-
};
|
|
25
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
26
|
-
exports.Runtime = void 0;
|
|
27
|
-
const ast_node_1 = require("./ast-node");
|
|
28
|
-
const extract_message_1 = require("./extract-message");
|
|
29
|
-
const fail_me_1 = require("./fail-me");
|
|
30
|
-
const should_never_happen_1 = require("./should-never-happen");
|
|
31
|
-
const Stack = __importStar(require("./stack"));
|
|
32
|
-
const switch_on_1 = require("./switch-on");
|
|
33
|
-
const value_1 = require("./value");
|
|
34
|
-
class SymbolFrame {
|
|
35
|
-
constructor(symbol, placeholder, earlier) {
|
|
36
|
-
this.symbol = symbol;
|
|
37
|
-
this.placeholder = placeholder;
|
|
38
|
-
this.earlier = earlier;
|
|
39
|
-
}
|
|
40
|
-
lookup(sym) {
|
|
41
|
-
if (this.symbol === sym) {
|
|
42
|
-
const ret = this.placeholder.destination;
|
|
43
|
-
if (ret === undefined) {
|
|
44
|
-
throw new Error(`Unresolved definition: ${this.symbol}`);
|
|
45
|
-
}
|
|
46
|
-
return ret;
|
|
47
|
-
}
|
|
48
|
-
return this.earlier.lookup(sym);
|
|
49
|
-
}
|
|
50
|
-
export() {
|
|
51
|
-
const ret = this.earlier.export();
|
|
52
|
-
ret[this.symbol] = this.placeholder.destination?.export() ?? (0, fail_me_1.failMe)(`Unbounded symbol: ${this.symbol}`);
|
|
53
|
-
return ret;
|
|
54
|
-
}
|
|
55
|
-
exportValue() {
|
|
56
|
-
const ret = this.earlier.exportValue();
|
|
57
|
-
ret[this.symbol] = this.placeholder.destination ?? (0, fail_me_1.failMe)(`Unbounded symbol: ${this.symbol}`);
|
|
58
|
-
return ret;
|
|
59
|
-
}
|
|
60
|
-
}
|
|
61
|
-
class EmptySymbolTable {
|
|
62
|
-
lookup(sym) {
|
|
63
|
-
throw new Error(`Symbol ${sym} was not found`);
|
|
64
|
-
}
|
|
65
|
-
export() {
|
|
66
|
-
return {};
|
|
67
|
-
}
|
|
68
|
-
exportValue() {
|
|
69
|
-
return {};
|
|
70
|
-
}
|
|
71
|
-
}
|
|
72
|
-
class Runtime {
|
|
73
|
-
constructor(root, verbosity = 'quiet', preimports, getAstOf) {
|
|
74
|
-
this.root = root;
|
|
75
|
-
this.verbosity = verbosity;
|
|
76
|
-
this.preimports = preimports;
|
|
77
|
-
this.getAstOf = getAstOf;
|
|
78
|
-
this.stack = undefined;
|
|
79
|
-
}
|
|
80
|
-
buildInitialSymbolTable() {
|
|
81
|
-
const empty = new EmptySymbolTable();
|
|
82
|
-
const keys = value_1.Value.foreign(o => o.keys());
|
|
83
|
-
const entries = value_1.Value.foreign(o => o.entries());
|
|
84
|
-
const fromEntries = value_1.Value.foreign(o => o.fromEntries());
|
|
85
|
-
let lib = new SymbolFrame('Object', { destination: value_1.Value.obj({ keys, entries, fromEntries }) }, empty);
|
|
86
|
-
for (const [importName, importValue] of Object.entries(this.preimports)) {
|
|
87
|
-
lib = new SymbolFrame(importName, { destination: importValue }, lib);
|
|
88
|
-
}
|
|
89
|
-
return lib;
|
|
90
|
-
}
|
|
91
|
-
compute() {
|
|
92
|
-
try {
|
|
93
|
-
const value = this.evalNode(this.root, this.buildInitialSymbolTable());
|
|
94
|
-
return { value };
|
|
95
|
-
}
|
|
96
|
-
catch (e) {
|
|
97
|
-
const trace = [];
|
|
98
|
-
for (let curr = this.stack; curr; curr = curr?.next) {
|
|
99
|
-
trace.push(curr.ast);
|
|
100
|
-
}
|
|
101
|
-
return {
|
|
102
|
-
expressionTrace: trace,
|
|
103
|
-
errorMessage: (0, extract_message_1.extractMessage)(e),
|
|
104
|
-
// eslint-disable-next-line @typescript-eslint/consistent-type-assertions
|
|
105
|
-
stack: e.stack,
|
|
106
|
-
};
|
|
107
|
-
}
|
|
108
|
-
}
|
|
109
|
-
evalNode(ast, table) {
|
|
110
|
-
this.stack = Stack.push(ast, this.stack);
|
|
111
|
-
let ret = this.evalNodeImpl(ast, table);
|
|
112
|
-
if (ret.isSink() && !ret.span()) {
|
|
113
|
-
ret = ret.bindToSpan((0, ast_node_1.span)(ast));
|
|
114
|
-
}
|
|
115
|
-
(0, switch_on_1.switchOn)(this.verbosity, {
|
|
116
|
-
quiet: () => { },
|
|
117
|
-
trace: () => {
|
|
118
|
-
// eslint-disable-next-line no-console
|
|
119
|
-
console.log(`output of <|${(0, ast_node_1.show)(ast)}|> is ${JSON.stringify(ret)} // ${ast.tag}`);
|
|
120
|
-
},
|
|
121
|
-
});
|
|
122
|
-
this.stack = Stack.pop(this.stack);
|
|
123
|
-
return ret;
|
|
124
|
-
}
|
|
125
|
-
importDefinitions(pathToImportFrom) {
|
|
126
|
-
const ast = this.getAstOf(pathToImportFrom);
|
|
127
|
-
const exp = ast.expression;
|
|
128
|
-
const imports = ast.imports;
|
|
129
|
-
if (exp.tag === 'arrayLiteral' ||
|
|
130
|
-
exp.tag === 'binaryOperator' ||
|
|
131
|
-
exp.tag === 'dot' ||
|
|
132
|
-
exp.tag === 'export*' ||
|
|
133
|
-
exp.tag === 'functionCall' ||
|
|
134
|
-
exp.tag === 'ident' ||
|
|
135
|
-
exp.tag === 'if' ||
|
|
136
|
-
exp.tag === 'indexAccess' ||
|
|
137
|
-
exp.tag === 'lambda' ||
|
|
138
|
-
exp.tag === 'literal' ||
|
|
139
|
-
exp.tag === 'objectLiteral' ||
|
|
140
|
-
exp.tag === 'unaryOperator' ||
|
|
141
|
-
exp.tag === 'unit') {
|
|
142
|
-
// TODO(imaman): throw an error on non-exporting unit?
|
|
143
|
-
return value_1.Value.obj({});
|
|
144
|
-
}
|
|
145
|
-
if (exp.tag === 'topLevelExpression') {
|
|
146
|
-
const unit = {
|
|
147
|
-
tag: 'unit',
|
|
148
|
-
imports,
|
|
149
|
-
expression: { tag: 'topLevelExpression', definitions: exp.definitions, computation: { tag: 'export*' } },
|
|
150
|
-
};
|
|
151
|
-
return this.evalNode(unit, this.buildInitialSymbolTable());
|
|
152
|
-
}
|
|
153
|
-
(0, should_never_happen_1.shouldNeverHappen)(exp);
|
|
154
|
-
}
|
|
155
|
-
evalNodeImpl(ast, table) {
|
|
156
|
-
if (ast.tag === 'unit') {
|
|
157
|
-
let newTable = table;
|
|
158
|
-
for (const imp of ast.imports) {
|
|
159
|
-
const o = this.importDefinitions(imp.pathToImportFrom.text);
|
|
160
|
-
newTable = new SymbolFrame(imp.ident.t.text, { destination: o }, newTable);
|
|
161
|
-
}
|
|
162
|
-
return this.evalNode(ast.expression, newTable);
|
|
163
|
-
}
|
|
164
|
-
if (ast.tag === 'topLevelExpression') {
|
|
165
|
-
let newTable = table;
|
|
166
|
-
for (const def of ast.definitions) {
|
|
167
|
-
const name = def.ident.t.text;
|
|
168
|
-
const placeholder = { destination: undefined };
|
|
169
|
-
newTable = new SymbolFrame(name, placeholder, newTable);
|
|
170
|
-
const v = this.evalNode(def.value, newTable);
|
|
171
|
-
placeholder.destination = v;
|
|
172
|
-
}
|
|
173
|
-
return this.evalNode(ast.computation, newTable);
|
|
174
|
-
}
|
|
175
|
-
if (ast.tag === 'export*') {
|
|
176
|
-
return value_1.Value.obj(table.exportValue());
|
|
177
|
-
}
|
|
178
|
-
if (ast.tag === 'binaryOperator') {
|
|
179
|
-
const lhs = this.evalNode(ast.lhs, table);
|
|
180
|
-
if (ast.operator === '||') {
|
|
181
|
-
return lhs.or(() => this.evalNode(ast.rhs, table));
|
|
182
|
-
}
|
|
183
|
-
if (ast.operator === '&&') {
|
|
184
|
-
return lhs.and(() => this.evalNode(ast.rhs, table));
|
|
185
|
-
}
|
|
186
|
-
if (ast.operator === '??') {
|
|
187
|
-
return lhs.unsink(() => this.evalNode(ast.rhs, table));
|
|
188
|
-
}
|
|
189
|
-
const rhs = this.evalNode(ast.rhs, table);
|
|
190
|
-
if (ast.operator === '!=') {
|
|
191
|
-
return lhs.equalsTo(rhs).not();
|
|
192
|
-
}
|
|
193
|
-
if (ast.operator === '==') {
|
|
194
|
-
return lhs.equalsTo(rhs);
|
|
195
|
-
}
|
|
196
|
-
if (ast.operator === '<=') {
|
|
197
|
-
const comp = lhs.order(rhs);
|
|
198
|
-
return comp.isToZero('<=');
|
|
199
|
-
}
|
|
200
|
-
if (ast.operator === '<') {
|
|
201
|
-
const comp = lhs.order(rhs);
|
|
202
|
-
return comp.isToZero('<');
|
|
203
|
-
}
|
|
204
|
-
if (ast.operator === '>=') {
|
|
205
|
-
const comp = lhs.order(rhs);
|
|
206
|
-
return comp.isToZero('>=');
|
|
207
|
-
}
|
|
208
|
-
if (ast.operator === '>') {
|
|
209
|
-
const comp = lhs.order(rhs);
|
|
210
|
-
return comp.isToZero('>');
|
|
211
|
-
}
|
|
212
|
-
if (ast.operator === '%') {
|
|
213
|
-
return lhs.modulo(rhs);
|
|
214
|
-
}
|
|
215
|
-
if (ast.operator === '*') {
|
|
216
|
-
return lhs.times(rhs);
|
|
217
|
-
}
|
|
218
|
-
if (ast.operator === '**') {
|
|
219
|
-
return lhs.power(rhs);
|
|
220
|
-
}
|
|
221
|
-
if (ast.operator === '+') {
|
|
222
|
-
return lhs.plus(rhs);
|
|
223
|
-
}
|
|
224
|
-
if (ast.operator === '-') {
|
|
225
|
-
return lhs.minus(rhs);
|
|
226
|
-
}
|
|
227
|
-
if (ast.operator === '/') {
|
|
228
|
-
return lhs.over(rhs);
|
|
229
|
-
}
|
|
230
|
-
(0, should_never_happen_1.shouldNeverHappen)(ast.operator);
|
|
231
|
-
}
|
|
232
|
-
if (ast.tag === 'unaryOperator') {
|
|
233
|
-
const operand = this.evalNode(ast.operand, table);
|
|
234
|
-
if (ast.operator === '!') {
|
|
235
|
-
return operand.not();
|
|
236
|
-
}
|
|
237
|
-
if (ast.operator === '+') {
|
|
238
|
-
// We intentionally do <0 + operand> instead of just <operand>. This is due to type-checking: the latter will
|
|
239
|
-
// evaluate to the operand as-is, making expression such as `+true` dynamically valid (which is not the desired
|
|
240
|
-
// behavior)
|
|
241
|
-
return value_1.Value.num(0).plus(operand);
|
|
242
|
-
}
|
|
243
|
-
if (ast.operator === '-') {
|
|
244
|
-
return operand.negate();
|
|
245
|
-
}
|
|
246
|
-
(0, should_never_happen_1.shouldNeverHappen)(ast.operator);
|
|
247
|
-
}
|
|
248
|
-
if (ast.tag === 'ident') {
|
|
249
|
-
return table.lookup(ast.t.text);
|
|
250
|
-
}
|
|
251
|
-
if (ast.tag === 'literal') {
|
|
252
|
-
if (ast.type === 'bool') {
|
|
253
|
-
// TODO(imaman): stricter checking of 'false'
|
|
254
|
-
return value_1.Value.bool(ast.t.text === 'true' ? true : false);
|
|
255
|
-
}
|
|
256
|
-
if (ast.type === 'num') {
|
|
257
|
-
return value_1.Value.num(Number(ast.t.text));
|
|
258
|
-
}
|
|
259
|
-
if (ast.type === 'sink!!') {
|
|
260
|
-
return value_1.Value.sink(undefined, this.stack, table);
|
|
261
|
-
}
|
|
262
|
-
if (ast.type === 'sink!') {
|
|
263
|
-
return value_1.Value.sink(undefined, this.stack);
|
|
264
|
-
}
|
|
265
|
-
if (ast.type === 'sink') {
|
|
266
|
-
return value_1.Value.sink();
|
|
267
|
-
}
|
|
268
|
-
if (ast.type === 'str') {
|
|
269
|
-
return value_1.Value.str(ast.t.text);
|
|
270
|
-
}
|
|
271
|
-
(0, should_never_happen_1.shouldNeverHappen)(ast.type);
|
|
272
|
-
}
|
|
273
|
-
if (ast.tag === 'arrayLiteral') {
|
|
274
|
-
const arr = [];
|
|
275
|
-
for (const curr of ast.parts) {
|
|
276
|
-
if (curr.tag === 'element') {
|
|
277
|
-
arr.push(this.evalNode(curr.v, table));
|
|
278
|
-
}
|
|
279
|
-
else if (curr.tag === 'spread') {
|
|
280
|
-
const v = this.evalNode(curr.v, table);
|
|
281
|
-
arr.push(...v.assertArr());
|
|
282
|
-
}
|
|
283
|
-
else {
|
|
284
|
-
(0, should_never_happen_1.shouldNeverHappen)(curr);
|
|
285
|
-
}
|
|
286
|
-
}
|
|
287
|
-
return value_1.Value.arr(arr);
|
|
288
|
-
}
|
|
289
|
-
if (ast.tag === 'objectLiteral') {
|
|
290
|
-
const entries = ast.parts.flatMap(at => {
|
|
291
|
-
if (at.tag === 'hardName') {
|
|
292
|
-
return [[at.k.t.text, this.evalNode(at.v, table)]];
|
|
293
|
-
}
|
|
294
|
-
if (at.tag === 'computedName') {
|
|
295
|
-
return [[this.evalNode(at.k, table).assertStr(), this.evalNode(at.v, table)]];
|
|
296
|
-
}
|
|
297
|
-
if (at.tag === 'spread') {
|
|
298
|
-
const o = this.evalNode(at.o, table);
|
|
299
|
-
return Object.entries(o.assertObj());
|
|
300
|
-
}
|
|
301
|
-
(0, should_never_happen_1.shouldNeverHappen)(at);
|
|
302
|
-
});
|
|
303
|
-
// TODO(imaman): verify type of all keys (strings, maybe also numbers)
|
|
304
|
-
return value_1.Value.obj(Object.fromEntries(entries));
|
|
305
|
-
}
|
|
306
|
-
if (ast.tag === 'lambda') {
|
|
307
|
-
return value_1.Value.lambda(ast, table);
|
|
308
|
-
}
|
|
309
|
-
if (ast.tag === 'functionCall') {
|
|
310
|
-
const argValues = ast.actualArgs.map(a => this.evalNode(a, table));
|
|
311
|
-
const callee = this.evalNode(ast.callee, table);
|
|
312
|
-
return this.call(callee, argValues);
|
|
313
|
-
}
|
|
314
|
-
if (ast.tag === 'if') {
|
|
315
|
-
const c = this.evalNode(ast.condition, table);
|
|
316
|
-
return c.ifElse(() => this.evalNode(ast.positive, table), () => this.evalNode(ast.negative, table));
|
|
317
|
-
}
|
|
318
|
-
if (ast.tag === 'dot') {
|
|
319
|
-
const rec = this.evalNode(ast.receiver, table);
|
|
320
|
-
if (rec === undefined || rec === null) {
|
|
321
|
-
throw new Error(`Cannot access attribute .${ast.ident.t.text} of ${rec}`);
|
|
322
|
-
}
|
|
323
|
-
return rec.access(ast.ident.t.text, (callee, args) => this.call(callee, args));
|
|
324
|
-
}
|
|
325
|
-
if (ast.tag === 'indexAccess') {
|
|
326
|
-
const rec = this.evalNode(ast.receiver, table);
|
|
327
|
-
const index = this.evalNode(ast.index, table);
|
|
328
|
-
return rec.access(index, (callee, args) => this.call(callee, args));
|
|
329
|
-
}
|
|
330
|
-
(0, should_never_happen_1.shouldNeverHappen)(ast);
|
|
331
|
-
}
|
|
332
|
-
call(callee, argValues) {
|
|
333
|
-
return callee.call(argValues, (names, body, lambdaTable) => {
|
|
334
|
-
if (names.length > argValues.length) {
|
|
335
|
-
throw new Error(`Arg list length mismatch: expected ${names.length} but got ${argValues.length}`);
|
|
336
|
-
}
|
|
337
|
-
const newTable = names.reduce((t, n, i) => new SymbolFrame(n, { destination: argValues[i] }, t), lambdaTable);
|
|
338
|
-
return this.evalNode(body, newTable);
|
|
339
|
-
});
|
|
340
|
-
}
|
|
341
|
-
}
|
|
342
|
-
exports.Runtime = Runtime;
|
|
343
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicnVudGltZS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ydW50aW1lLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQUEseUNBQXNEO0FBQ3RELHVEQUFrRDtBQUNsRCx1Q0FBa0M7QUFDbEMsK0RBQXlEO0FBQ3pELCtDQUFnQztBQUNoQywyQ0FBc0M7QUFFdEMsbUNBQStCO0FBTS9CLE1BQU0sV0FBVztJQUNmLFlBQXFCLE1BQWMsRUFBVyxXQUF3QixFQUFtQixPQUFvQjtRQUF4RixXQUFNLEdBQU4sTUFBTSxDQUFRO1FBQVcsZ0JBQVcsR0FBWCxXQUFXLENBQWE7UUFBbUIsWUFBTyxHQUFQLE9BQU8sQ0FBYTtJQUFHLENBQUM7SUFFakgsTUFBTSxDQUFDLEdBQVc7UUFDaEIsSUFBSSxJQUFJLENBQUMsTUFBTSxLQUFLLEdBQUcsRUFBRTtZQUN2QixNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsV0FBVyxDQUFDLFdBQVcsQ0FBQTtZQUN4QyxJQUFJLEdBQUcsS0FBSyxTQUFTLEVBQUU7Z0JBQ3JCLE1BQU0sSUFBSSxLQUFLLENBQUMsMEJBQTBCLElBQUksQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFBO2FBQ3pEO1lBQ0QsT0FBTyxHQUFHLENBQUE7U0FDWDtRQUVELE9BQU8sSUFBSSxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUE7SUFDakMsQ0FBQztJQUVELE1BQU07UUFDSixNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLE1BQU0sRUFBRSxDQUFBO1FBQ2pDLEdBQUcsQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxXQUFXLEVBQUUsTUFBTSxFQUFFLElBQUksSUFBQSxnQkFBTSxFQUFDLHFCQUFxQixJQUFJLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQTtRQUN2RyxPQUFPLEdBQUcsQ0FBQTtJQUNaLENBQUM7SUFFRCxXQUFXO1FBQ1QsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxXQUFXLEVBQUUsQ0FBQTtRQUN0QyxHQUFHLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxXQUFXLENBQUMsV0FBVyxJQUFJLElBQUEsZ0JBQU0sRUFBQyxxQkFBcUIsSUFBSSxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUE7UUFDN0YsT0FBTyxHQUFHLENBQUE7SUFDWixDQUFDO0NBQ0Y7QUFFRCxNQUFNLGdCQUFnQjtJQUNwQixNQUFNLENBQUMsR0FBVztRQUNoQixNQUFNLElBQUksS0FBSyxDQUFDLFVBQVUsR0FBRyxnQkFBZ0IsQ0FBQyxDQUFBO0lBQ2hELENBQUM7SUFFRCxNQUFNO1FBQ0osT0FBTyxFQUFFLENBQUE7SUFDWCxDQUFDO0lBRUQsV0FBVztRQUNULE9BQU8sRUFBRSxDQUFBO0lBQ1gsQ0FBQztDQUNGO0FBSUQsTUFBYSxPQUFPO0lBRWxCLFlBQ21CLElBQWEsRUFDYixZQUF1QixPQUFPLEVBQzlCLFVBQWlDLEVBQ2pDLFFBQW9DO1FBSHBDLFNBQUksR0FBSixJQUFJLENBQVM7UUFDYixjQUFTLEdBQVQsU0FBUyxDQUFxQjtRQUM5QixlQUFVLEdBQVYsVUFBVSxDQUF1QjtRQUNqQyxhQUFRLEdBQVIsUUFBUSxDQUE0QjtRQUwvQyxVQUFLLEdBQVksU0FBUyxDQUFBO0lBTS9CLENBQUM7SUFFSSx1QkFBdUI7UUFDN0IsTUFBTSxLQUFLLEdBQUcsSUFBSSxnQkFBZ0IsRUFBRSxDQUFBO1FBRXBDLE1BQU0sSUFBSSxHQUFHLGFBQUssQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUMsSUFBSSxFQUFFLENBQUMsQ0FBQTtRQUN6QyxNQUFNLE9BQU8sR0FBRyxhQUFLLENBQUMsT0FBTyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBQUE7UUFDL0MsTUFBTSxXQUFXLEdBQUcsYUFBSyxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxXQUFXLEVBQUUsQ0FBQyxDQUFBO1FBQ3ZELElBQUksR0FBRyxHQUFHLElBQUksV0FBVyxDQUFDLFFBQVEsRUFBRSxFQUFFLFdBQVcsRUFBRSxhQUFLLENBQUMsR0FBRyxDQUFDLEVBQUUsSUFBSSxFQUFFLE9BQU8sRUFBRSxXQUFXLEVBQUUsQ0FBQyxFQUFFLEVBQUUsS0FBSyxDQUFDLENBQUE7UUFFdEcsS0FBSyxNQUFNLENBQUMsVUFBVSxFQUFFLFdBQVcsQ0FBQyxJQUFJLE1BQU0sQ0FBQyxPQUFPLENBQUMsSUFBSSxDQUFDLFVBQVUsQ0FBQyxFQUFFO1lBQ3ZFLEdBQUcsR0FBRyxJQUFJLFdBQVcsQ0FBQyxVQUFVLEVBQUUsRUFBRSxXQUFXLEVBQUUsV0FBVyxFQUFFLEVBQUUsR0FBRyxDQUFDLENBQUE7U0FDckU7UUFDRCxPQUFPLEdBQUcsQ0FBQTtJQUNaLENBQUM7SUFFRCxPQUFPO1FBQ0wsSUFBSTtZQUNGLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRSxJQUFJLENBQUMsdUJBQXVCLEVBQUUsQ0FBQyxDQUFBO1lBQ3RFLE9BQU8sRUFBRSxLQUFLLEVBQUUsQ0FBQTtTQUNqQjtRQUFDLE9BQU8sQ0FBQyxFQUFFO1lBQ1YsTUFBTSxLQUFLLEdBQWMsRUFBRSxDQUFBO1lBQzNCLEtBQUssSUFBSSxJQUFJLEdBQUcsSUFBSSxDQUFDLEtBQUssRUFBRSxJQUFJLEVBQUUsSUFBSSxHQUFHLElBQUksRUFBRSxJQUFJLEVBQUU7Z0JBQ25ELEtBQUssQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3JCO1lBQ0QsT0FBTztnQkFDTCxlQUFlLEVBQUUsS0FBSztnQkFDdEIsWUFBWSxFQUFFLElBQUEsZ0NBQWMsRUFBQyxDQUFDLENBQUM7Z0JBQy9CLHlFQUF5RTtnQkFDekUsS0FBSyxFQUFHLENBQTBCLENBQUMsS0FBSzthQUN6QyxDQUFBO1NBQ0Y7SUFDSCxDQUFDO0lBRU8sUUFBUSxDQUFDLEdBQVksRUFBRSxLQUFrQjtRQUMvQyxJQUFJLENBQUMsS0FBSyxHQUFHLEtBQUssQ0FBQyxJQUFJLENBQUMsR0FBRyxFQUFFLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQTtRQUN4QyxJQUFJLEdBQUcsR0FBRyxJQUFJLENBQUMsWUFBWSxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQTtRQUN2QyxJQUFJLEdBQUcsQ0FBQyxNQUFNLEVBQUUsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLEVBQUUsRUFBRTtZQUMvQixHQUFHLEdBQUcsR0FBRyxDQUFDLFVBQVUsQ0FBQyxJQUFBLGVBQUksRUFBQyxHQUFHLENBQUMsQ0FBQyxDQUFBO1NBQ2hDO1FBQ0QsSUFBQSxvQkFBUSxFQUFDLElBQUksQ0FBQyxTQUFTLEVBQUU7WUFDdkIsS0FBSyxFQUFFLEdBQUcsRUFBRSxHQUFFLENBQUM7WUFDZixLQUFLLEVBQUUsR0FBRyxFQUFFO2dCQUNWLHNDQUFzQztnQkFDdEMsT0FBTyxDQUFDLEdBQUcsQ0FBQyxlQUFlLElBQUEsZUFBSSxFQUFDLEdBQUcsQ0FBQyxTQUFTLElBQUksQ0FBQyxTQUFTLENBQUMsR0FBRyxDQUFDLFFBQVEsR0FBRyxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUE7WUFDcEYsQ0FBQztTQUNGLENBQUMsQ0FBQTtRQUNGLElBQUksQ0FBQyxLQUFLLEdBQUcsS0FBSyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUE7UUFDbEMsT0FBTyxHQUFHLENBQUE7SUFDWixDQUFDO0lBRU8saUJBQWlCLENBQUMsZ0JBQXdCO1FBQ2hELE1BQU0sR0FBRyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsZ0JBQWdCLENBQUMsQ0FBQTtRQUMzQyxNQUFNLEdBQUcsR0FBRyxHQUFHLENBQUMsVUFBVSxDQUFBO1FBQzFCLE1BQU0sT0FBTyxHQUFHLEdBQUcsQ0FBQyxPQUFPLENBQUE7UUFDM0IsSUFDRSxHQUFHLENBQUMsR0FBRyxLQUFLLGNBQWM7WUFDMUIsR0FBRyxDQUFDLEdBQUcsS0FBSyxnQkFBZ0I7WUFDNUIsR0FBRyxDQUFDLEdBQUcsS0FBSyxLQUFLO1lBQ2pCLEdBQUcsQ0FBQyxHQUFHLEtBQUssU0FBUztZQUNyQixHQUFHLENBQUMsR0FBRyxLQUFLLGNBQWM7WUFDMUIsR0FBRyxDQUFDLEdBQUcsS0FBSyxPQUFPO1lBQ25CLEdBQUcsQ0FBQyxHQUFHLEtBQUssSUFBSTtZQUNoQixHQUFHLENBQUMsR0FBRyxLQUFLLGFBQWE7WUFDekIsR0FBRyxDQUFDLEdBQUcsS0FBSyxRQUFRO1lBQ3BCLEdBQUcsQ0FBQyxHQUFHLEtBQUssU0FBUztZQUNyQixHQUFHLENBQUMsR0FBRyxLQUFLLGVBQWU7WUFDM0IsR0FBRyxDQUFDLEdBQUcsS0FBSyxlQUFlO1lBQzNCLEdBQUcsQ0FBQyxHQUFHLEtBQUssTUFBTSxFQUNsQjtZQUNBLHNEQUFzRDtZQUN0RCxPQUFPLGFBQUssQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLENBQUE7U0FDckI7UUFFRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssb0JBQW9CLEVBQUU7WUFDcEMsTUFBTSxJQUFJLEdBQVk7Z0JBQ3BCLEdBQUcsRUFBRSxNQUFNO2dCQUNYLE9BQU87Z0JBQ1AsVUFBVSxFQUFFLEVBQUUsR0FBRyxFQUFFLG9CQUFvQixFQUFFLFdBQVcsRUFBRSxHQUFHLENBQUMsV0FBVyxFQUFFLFdBQVcsRUFBRSxFQUFFLEdBQUcsRUFBRSxTQUFTLEVBQUUsRUFBRTthQUN6RyxDQUFBO1lBQ0QsT0FBTyxJQUFJLENBQUMsUUFBUSxDQUFDLElBQUksRUFBRSxJQUFJLENBQUMsdUJBQXVCLEVBQUUsQ0FBQyxDQUFBO1NBQzNEO1FBRUQsSUFBQSx1Q0FBaUIsRUFBQyxHQUFHLENBQUMsQ0FBQTtJQUN4QixDQUFDO0lBRU8sWUFBWSxDQUFDLEdBQVksRUFBRSxLQUFrQjtRQUNuRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssTUFBTSxFQUFFO1lBQ3RCLElBQUksUUFBUSxHQUFHLEtBQUssQ0FBQTtZQUNwQixLQUFLLE1BQU0sR0FBRyxJQUFJLEdBQUcsQ0FBQyxPQUFPLEVBQUU7Z0JBQzdCLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxHQUFHLENBQUMsZ0JBQWdCLENBQUMsSUFBSSxDQUFDLENBQUE7Z0JBQzNELFFBQVEsR0FBRyxJQUFJLFdBQVcsQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsRUFBRSxXQUFXLEVBQUUsQ0FBQyxFQUFFLEVBQUUsUUFBUSxDQUFDLENBQUE7YUFDM0U7WUFDRCxPQUFPLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLFVBQVUsRUFBRSxRQUFRLENBQUMsQ0FBQTtTQUMvQztRQUNELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxvQkFBb0IsRUFBRTtZQUNwQyxJQUFJLFFBQVEsR0FBRyxLQUFLLENBQUE7WUFDcEIsS0FBSyxNQUFNLEdBQUcsSUFBSSxHQUFHLENBQUMsV0FBVyxFQUFFO2dCQUNqQyxNQUFNLElBQUksR0FBRyxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUE7Z0JBQzdCLE1BQU0sV0FBVyxHQUFnQixFQUFFLFdBQVcsRUFBRSxTQUFTLEVBQUUsQ0FBQTtnQkFDM0QsUUFBUSxHQUFHLElBQUksV0FBVyxDQUFDLElBQUksRUFBRSxXQUFXLEVBQUUsUUFBUSxDQUFDLENBQUE7Z0JBQ3ZELE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLEtBQUssRUFBRSxRQUFRLENBQUMsQ0FBQTtnQkFDNUMsV0FBVyxDQUFDLFdBQVcsR0FBRyxDQUFDLENBQUE7YUFDNUI7WUFFRCxPQUFPLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLFdBQVcsRUFBRSxRQUFRLENBQUMsQ0FBQTtTQUNoRDtRQUVELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxTQUFTLEVBQUU7WUFDekIsT0FBTyxhQUFLLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxXQUFXLEVBQUUsQ0FBQyxDQUFBO1NBQ3RDO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLGdCQUFnQixFQUFFO1lBQ2hDLE1BQU0sR0FBRyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLENBQUMsQ0FBQTtZQUN6QyxJQUFJLEdBQUcsQ0FBQyxRQUFRLEtBQUssSUFBSSxFQUFFO2dCQUN6QixPQUFPLEdBQUcsQ0FBQyxFQUFFLENBQUMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsR0FBRyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUE7YUFDbkQ7WUFDRCxJQUFJLEdBQUcsQ0FBQyxRQUFRLEtBQUssSUFBSSxFQUFFO2dCQUN6QixPQUFPLEdBQUcsQ0FBQyxHQUFHLENBQUMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsR0FBRyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUE7YUFDcEQ7WUFFRCxJQUFJLEdBQUcsQ0FBQyxRQUFRLEtBQUssSUFBSSxFQUFFO2dCQUN6QixPQUFPLEdBQUcsQ0FBQyxNQUFNLENBQUMsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsR0FBRyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUE7YUFDdkQ7WUFFRCxNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxHQUFHLEVBQUUsS0FBSyxDQUFDLENBQUE7WUFDekMsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLElBQUksRUFBRTtnQkFDekIsT0FBTyxHQUFHLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFDLEdBQUcsRUFBRSxDQUFBO2FBQy9CO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLElBQUksRUFBRTtnQkFDekIsT0FBTyxHQUFHLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3pCO1lBRUQsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLElBQUksRUFBRTtnQkFDekIsTUFBTSxJQUFJLEdBQUcsR0FBRyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsQ0FBQTtnQkFDM0IsT0FBTyxJQUFJLENBQUMsUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFBO2FBQzNCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsTUFBTSxJQUFJLEdBQUcsR0FBRyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsQ0FBQTtnQkFDM0IsT0FBTyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQzFCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLElBQUksRUFBRTtnQkFDekIsTUFBTSxJQUFJLEdBQUcsR0FBRyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsQ0FBQTtnQkFDM0IsT0FBTyxJQUFJLENBQUMsUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFBO2FBQzNCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsTUFBTSxJQUFJLEdBQUcsR0FBRyxDQUFDLEtBQUssQ0FBQyxHQUFHLENBQUMsQ0FBQTtnQkFDM0IsT0FBTyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQzFCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsT0FBTyxHQUFHLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3ZCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsT0FBTyxHQUFHLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3RCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLElBQUksRUFBRTtnQkFDekIsT0FBTyxHQUFHLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3RCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsT0FBTyxHQUFHLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3JCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsT0FBTyxHQUFHLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3RCO1lBQ0QsSUFBSSxHQUFHLENBQUMsUUFBUSxLQUFLLEdBQUcsRUFBRTtnQkFDeEIsT0FBTyxHQUFHLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFBO2FBQ3JCO1lBRUQsSUFBQSx1Q0FBaUIsRUFBQyxHQUFHLENBQUMsUUFBUSxDQUFDLENBQUE7U0FDaEM7UUFFRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssZUFBZSxFQUFFO1lBQy9CLE1BQU0sT0FBTyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLE9BQU8sRUFBRSxLQUFLLENBQUMsQ0FBQTtZQUNqRCxJQUFJLEdBQUcsQ0FBQyxRQUFRLEtBQUssR0FBRyxFQUFFO2dCQUN4QixPQUFPLE9BQU8sQ0FBQyxHQUFHLEVBQUUsQ0FBQTthQUNyQjtZQUNELElBQUksR0FBRyxDQUFDLFFBQVEsS0FBSyxHQUFHLEVBQUU7Z0JBQ3hCLDZHQUE2RztnQkFDN0csK0dBQStHO2dCQUMvRyxZQUFZO2dCQUNaLE9BQU8sYUFBSyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsT0FBTyxDQUFDLENBQUE7YUFDbEM7WUFDRCxJQUFJLEdBQUcsQ0FBQyxRQUFRLEtBQUssR0FBRyxFQUFFO2dCQUN4QixPQUFPLE9BQU8sQ0FBQyxNQUFNLEVBQUUsQ0FBQTthQUN4QjtZQUVELElBQUEsdUNBQWlCLEVBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQyxDQUFBO1NBQ2hDO1FBQ0QsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLE9BQU8sRUFBRTtZQUN2QixPQUFPLEtBQUssQ0FBQyxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQTtTQUNoQztRQUNELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxTQUFTLEVBQUU7WUFDekIsSUFBSSxHQUFHLENBQUMsSUFBSSxLQUFLLE1BQU0sRUFBRTtnQkFDdkIsNkNBQTZDO2dCQUM3QyxPQUFPLGFBQUssQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxJQUFJLEtBQUssTUFBTSxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFBO2FBQ3hEO1lBQ0QsSUFBSSxHQUFHLENBQUMsSUFBSSxLQUFLLEtBQUssRUFBRTtnQkFDdEIsT0FBTyxhQUFLLENBQUMsR0FBRyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLENBQUE7YUFDckM7WUFDRCxJQUFJLEdBQUcsQ0FBQyxJQUFJLEtBQUssUUFBUSxFQUFFO2dCQUN6QixPQUFPLGFBQUssQ0FBQyxJQUFJLENBQUMsU0FBUyxFQUFFLElBQUksQ0FBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLENBQUE7YUFDaEQ7WUFDRCxJQUFJLEdBQUcsQ0FBQyxJQUFJLEtBQUssT0FBTyxFQUFFO2dCQUN4QixPQUFPLGFBQUssQ0FBQyxJQUFJLENBQUMsU0FBUyxFQUFFLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQTthQUN6QztZQUNELElBQUksR0FBRyxDQUFDLElBQUksS0FBSyxNQUFNLEVBQUU7Z0JBQ3ZCLE9BQU8sYUFBSyxDQUFDLElBQUksRUFBRSxDQUFBO2FBQ3BCO1lBQ0QsSUFBSSxHQUFHLENBQUMsSUFBSSxLQUFLLEtBQUssRUFBRTtnQkFDdEIsT0FBTyxhQUFLLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUE7YUFDN0I7WUFDRCxJQUFBLHVDQUFpQixFQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQTtTQUM1QjtRQUVELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxjQUFjLEVBQUU7WUFDOUIsTUFBTSxHQUFHLEdBQVksRUFBRSxDQUFBO1lBQ3ZCLEtBQUssTUFBTSxJQUFJLElBQUksR0FBRyxDQUFDLEtBQUssRUFBRTtnQkFDNUIsSUFBSSxJQUFJLENBQUMsR0FBRyxLQUFLLFNBQVMsRUFBRTtvQkFDMUIsR0FBRyxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLElBQUksQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUMsQ0FBQTtpQkFDdkM7cUJBQU0sSUFBSSxJQUFJLENBQUMsR0FBRyxLQUFLLFFBQVEsRUFBRTtvQkFDaEMsTUFBTSxDQUFDLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFBO29CQUN0QyxHQUFHLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLFNBQVMsRUFBRSxDQUFDLENBQUE7aUJBQzNCO3FCQUFNO29CQUNMLElBQUEsdUNBQWlCLEVBQUMsSUFBSSxDQUFDLENBQUE7aUJBQ3hCO2FBQ0Y7WUFFRCxPQUFPLGFBQUssQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLENBQUE7U0FDdEI7UUFFRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssZUFBZSxFQUFFO1lBQy9CLE1BQU0sT0FBTyxHQUFzQixHQUFHLENBQUMsS0FBSyxDQUFDLE9BQU8sQ0FBQyxFQUFFLENBQUMsRUFBRTtnQkFDeEQsSUFBSSxFQUFFLENBQUMsR0FBRyxLQUFLLFVBQVUsRUFBRTtvQkFDekIsT0FBTyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxRQUFRLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUE7aUJBQ25EO2dCQUNELElBQUksRUFBRSxDQUFDLEdBQUcsS0FBSyxjQUFjLEVBQUU7b0JBQzdCLE9BQU8sQ0FBQyxDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsRUFBRSxDQUFDLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQyxTQUFTLEVBQUUsRUFBRSxJQUFJLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFBO2lCQUM5RTtnQkFDRCxJQUFJLEVBQUUsQ0FBQyxHQUFHLEtBQUssUUFBUSxFQUFFO29CQUN2QixNQUFNLENBQUMsR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUE7b0JBQ3BDLE9BQU8sTUFBTSxDQUFDLE9BQU8sQ0FBQyxDQUFDLENBQUMsU0FBUyxFQUFFLENBQUMsQ0FBQTtpQkFDckM7Z0JBRUQsSUFBQSx1Q0FBaUIsRUFBQyxFQUFFLENBQUMsQ0FBQTtZQUN2QixDQUFDLENBQUMsQ0FBQTtZQUVGLHNFQUFzRTtZQUN0RSxPQUFPLGFBQUssQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFDLFdBQVcsQ0FBQyxPQUFPLENBQUMsQ0FBQyxDQUFBO1NBQzlDO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLFFBQVEsRUFBRTtZQUN4QixPQUFPLGFBQUssQ0FBQyxNQUFNLENBQUMsR0FBRyxFQUFFLEtBQUssQ0FBQyxDQUFBO1NBQ2hDO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLGNBQWMsRUFBRTtZQUM5QixNQUFNLFNBQVMsR0FBRyxHQUFHLENBQUMsVUFBVSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLENBQUMsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUE7WUFDbEUsTUFBTSxNQUFNLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBRS9DLE9BQU8sSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsU0FBUyxDQUFDLENBQUE7U0FDcEM7UUFFRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssSUFBSSxFQUFFO1lBQ3BCLE1BQU0sQ0FBQyxHQUFHLElBQUksQ0FBQyxRQUFRLENBQUMsR0FBRyxDQUFDLFNBQVMsRUFBRSxLQUFLLENBQUMsQ0FBQTtZQUM3QyxPQUFPLENBQUMsQ0FBQyxNQUFNLENBQ2IsR0FBRyxFQUFFLENBQUMsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxFQUN4QyxHQUFHLEVBQUUsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxRQUFRLEVBQUUsS0FBSyxDQUFDLENBQ3pDLENBQUE7U0FDRjtRQUVELElBQUksR0FBRyxDQUFDLEdBQUcsS0FBSyxLQUFLLEVBQUU7WUFDckIsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBQzlDLElBQUksR0FBRyxLQUFLLFNBQVMsSUFBSSxHQUFHLEtBQUssSUFBSSxFQUFFO2dCQUNyQyxNQUFNLElBQUksS0FBSyxDQUFDLDRCQUE0QixHQUFHLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxJQUFJLE9BQU8sR0FBRyxFQUFFLENBQUMsQ0FBQTthQUMxRTtZQUNELE9BQU8sR0FBRyxDQUFDLE1BQU0sQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxJQUFJLEVBQUUsQ0FBQyxNQUFNLEVBQUUsSUFBSSxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFBO1NBQy9FO1FBRUQsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLGFBQWEsRUFBRTtZQUM3QixNQUFNLEdBQUcsR0FBRyxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxRQUFRLEVBQUUsS0FBSyxDQUFDLENBQUE7WUFDOUMsTUFBTSxLQUFLLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxHQUFHLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBQzdDLE9BQU8sR0FBRyxDQUFDLE1BQU0sQ0FBQyxLQUFLLEVBQUUsQ0FBQyxNQUFNLEVBQUUsSUFBSSxFQUFFLEVBQUUsQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxJQUFJLENBQUMsQ0FBQyxDQUFBO1NBQ3BFO1FBRUQsSUFBQSx1Q0FBaUIsRUFBQyxHQUFHLENBQUMsQ0FBQTtJQUN4QixDQUFDO0lBRUQsSUFBSSxDQUFDLE1BQWEsRUFBRSxTQUFrQjtRQUNwQyxPQUFPLE1BQU0sQ0FBQyxJQUFJLENBQUMsU0FBUyxFQUFFLENBQUMsS0FBSyxFQUFFLElBQUksRUFBRSxXQUF3QixFQUFFLEVBQUU7WUFDdEUsSUFBSSxLQUFLLENBQUMsTUFBTSxHQUFHLFNBQVMsQ0FBQyxNQUFNLEVBQUU7Z0JBQ25DLE1BQU0sSUFBSSxLQUFLLENBQUMsc0NBQXNDLEtBQUssQ0FBQyxNQUFNLFlBQVksU0FBUyxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUE7YUFDbEc7WUFDRCxNQUFNLFFBQVEsR0FBRyxLQUFLLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsRUFBRSxDQUFDLEVBQUUsRUFBRSxDQUFDLElBQUksV0FBVyxDQUFDLENBQUMsRUFBRSxFQUFFLFdBQVcsRUFBRSxTQUFTLENBQUMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsRUFBRSxXQUFXLENBQUMsQ0FBQTtZQUM3RyxPQUFPLElBQUksQ0FBQyxRQUFRLENBQUMsSUFBSSxFQUFFLFFBQVEsQ0FBQyxDQUFBO1FBQ3RDLENBQUMsQ0FBQyxDQUFBO0lBQ0osQ0FBQztDQUNGO0FBOVNELDBCQThTQyJ9
|
package/dist/src/scanner.d.ts
DELETED
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
import { Location } from './location';
|
|
2
|
-
import { SourceCode } from './source-code';
|
|
3
|
-
export interface Token {
|
|
4
|
-
readonly text: string;
|
|
5
|
-
readonly location: Location;
|
|
6
|
-
}
|
|
7
|
-
export declare class Scanner {
|
|
8
|
-
readonly sourceCode: SourceCode;
|
|
9
|
-
private offset;
|
|
10
|
-
constructor(sourceCode: SourceCode, offset?: number);
|
|
11
|
-
get sourceRef(): string;
|
|
12
|
-
private curr;
|
|
13
|
-
private eatWhitespace;
|
|
14
|
-
eof(): boolean;
|
|
15
|
-
synopsis(): {
|
|
16
|
-
position: number;
|
|
17
|
-
lookingAt: string;
|
|
18
|
-
};
|
|
19
|
-
headMatches(...patterns: (RegExp | string)[]): boolean;
|
|
20
|
-
consume(r: RegExp | string, eatWhitespace?: boolean): Token;
|
|
21
|
-
consumeIf(r: RegExp | string, eatWhitespace?: boolean): Token | undefined;
|
|
22
|
-
private match;
|
|
23
|
-
}
|
package/dist/src/scanner.js
DELETED
|
@@ -1,88 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.Scanner = void 0;
|
|
4
|
-
class Scanner {
|
|
5
|
-
constructor(sourceCode, offset = 0) {
|
|
6
|
-
this.sourceCode = sourceCode;
|
|
7
|
-
this.offset = offset;
|
|
8
|
-
if (this.offset === 0) {
|
|
9
|
-
this.eatWhitespace();
|
|
10
|
-
}
|
|
11
|
-
}
|
|
12
|
-
get sourceRef() {
|
|
13
|
-
return this.sourceCode.sourceRef(this.sourceCode.expandToEndOfLine({ offset: this.offset }));
|
|
14
|
-
}
|
|
15
|
-
curr() {
|
|
16
|
-
return this.sourceCode.input.substring(this.offset);
|
|
17
|
-
}
|
|
18
|
-
eatWhitespace() {
|
|
19
|
-
while (true) {
|
|
20
|
-
if (this.consumeIf(/\s*/, false)) {
|
|
21
|
-
continue;
|
|
22
|
-
}
|
|
23
|
-
if (this.consumeIf('//', false)) {
|
|
24
|
-
this.consume(/[^\n]*/, false);
|
|
25
|
-
continue;
|
|
26
|
-
}
|
|
27
|
-
return;
|
|
28
|
-
}
|
|
29
|
-
}
|
|
30
|
-
eof() {
|
|
31
|
-
return this.offset >= this.sourceCode.input.length;
|
|
32
|
-
}
|
|
33
|
-
synopsis() {
|
|
34
|
-
const c = this.curr();
|
|
35
|
-
let lookingAt = c.substring(0, 20);
|
|
36
|
-
if (lookingAt.length !== c.length) {
|
|
37
|
-
lookingAt = `${lookingAt}...`;
|
|
38
|
-
}
|
|
39
|
-
return {
|
|
40
|
-
position: this.offset,
|
|
41
|
-
lookingAt,
|
|
42
|
-
};
|
|
43
|
-
}
|
|
44
|
-
headMatches(...patterns) {
|
|
45
|
-
const alt = new Scanner(this.sourceCode, this.offset);
|
|
46
|
-
for (const p of patterns) {
|
|
47
|
-
const t = alt.consumeIf(p, true);
|
|
48
|
-
if (t === undefined) {
|
|
49
|
-
return false;
|
|
50
|
-
}
|
|
51
|
-
}
|
|
52
|
-
return true;
|
|
53
|
-
}
|
|
54
|
-
consume(r, eatWhitespace = true) {
|
|
55
|
-
const text = this.match(r);
|
|
56
|
-
if (text === undefined) {
|
|
57
|
-
throw new Error(`Expected ${r} ${this.sourceRef}`);
|
|
58
|
-
}
|
|
59
|
-
const offset = this.offset;
|
|
60
|
-
this.offset += text.length;
|
|
61
|
-
if (eatWhitespace) {
|
|
62
|
-
this.eatWhitespace();
|
|
63
|
-
}
|
|
64
|
-
return { location: { offset }, text };
|
|
65
|
-
}
|
|
66
|
-
consumeIf(r, eatWhitespace = true) {
|
|
67
|
-
const ret = this.match(r);
|
|
68
|
-
if (!ret) {
|
|
69
|
-
return undefined;
|
|
70
|
-
}
|
|
71
|
-
return this.consume(r, eatWhitespace);
|
|
72
|
-
}
|
|
73
|
-
match(r) {
|
|
74
|
-
if (typeof r === 'string') {
|
|
75
|
-
if (this.curr().startsWith(r)) {
|
|
76
|
-
return r;
|
|
77
|
-
}
|
|
78
|
-
return undefined;
|
|
79
|
-
}
|
|
80
|
-
const m = this.curr().match(r);
|
|
81
|
-
if (m && m.index === 0) {
|
|
82
|
-
return m[0];
|
|
83
|
-
}
|
|
84
|
-
return undefined;
|
|
85
|
-
}
|
|
86
|
-
}
|
|
87
|
-
exports.Scanner = Scanner;
|
|
88
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2Nhbm5lci5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zY2FubmVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7OztBQVFBLE1BQWEsT0FBTztJQUNsQixZQUFxQixVQUFzQixFQUFVLFNBQVMsQ0FBQztRQUExQyxlQUFVLEdBQVYsVUFBVSxDQUFZO1FBQVUsV0FBTSxHQUFOLE1BQU0sQ0FBSTtRQUM3RCxJQUFJLElBQUksQ0FBQyxNQUFNLEtBQUssQ0FBQyxFQUFFO1lBQ3JCLElBQUksQ0FBQyxhQUFhLEVBQUUsQ0FBQTtTQUNyQjtJQUNILENBQUM7SUFFRCxJQUFJLFNBQVM7UUFDWCxPQUFPLElBQUksQ0FBQyxVQUFVLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsaUJBQWlCLENBQUMsRUFBRSxNQUFNLEVBQUUsSUFBSSxDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FBQTtJQUM5RixDQUFDO0lBRU8sSUFBSTtRQUNWLE9BQU8sSUFBSSxDQUFDLFVBQVUsQ0FBQyxLQUFLLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsQ0FBQTtJQUNyRCxDQUFDO0lBRU8sYUFBYTtRQUNuQixPQUFPLElBQUksRUFBRTtZQUNYLElBQUksSUFBSSxDQUFDLFNBQVMsQ0FBQyxLQUFLLEVBQUUsS0FBSyxDQUFDLEVBQUU7Z0JBQ2hDLFNBQVE7YUFDVDtZQUNELElBQUksSUFBSSxDQUFDLFNBQVMsQ0FBQyxJQUFJLEVBQUUsS0FBSyxDQUFDLEVBQUU7Z0JBQy9CLElBQUksQ0FBQyxPQUFPLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUFBO2dCQUM3QixTQUFRO2FBQ1Q7WUFFRCxPQUFNO1NBQ1A7SUFDSCxDQUFDO0lBRUQsR0FBRztRQUNELE9BQU8sSUFBSSxDQUFDLE1BQU0sSUFBSSxJQUFJLENBQUMsVUFBVSxDQUFDLEtBQUssQ0FBQyxNQUFNLENBQUE7SUFDcEQsQ0FBQztJQUVELFFBQVE7UUFDTixNQUFNLENBQUMsR0FBRyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUE7UUFDckIsSUFBSSxTQUFTLEdBQUcsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUE7UUFDbEMsSUFBSSxTQUFTLENBQUMsTUFBTSxLQUFLLENBQUMsQ0FBQyxNQUFNLEVBQUU7WUFDakMsU0FBUyxHQUFHLEdBQUcsU0FBUyxLQUFLLENBQUE7U0FDOUI7UUFFRCxPQUFPO1lBQ0wsUUFBUSxFQUFFLElBQUksQ0FBQyxNQUFNO1lBQ3JCLFNBQVM7U0FDVixDQUFBO0lBQ0gsQ0FBQztJQUVELFdBQVcsQ0FBQyxHQUFHLFFBQTZCO1FBQzFDLE1BQU0sR0FBRyxHQUFHLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxVQUFVLEVBQUUsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFBO1FBQ3JELEtBQUssTUFBTSxDQUFDLElBQUksUUFBUSxFQUFFO1lBQ3hCLE1BQU0sQ0FBQyxHQUFHLEdBQUcsQ0FBQyxTQUFTLENBQUMsQ0FBQyxFQUFFLElBQUksQ0FBQyxDQUFBO1lBQ2hDLElBQUksQ0FBQyxLQUFLLFNBQVMsRUFBRTtnQkFDbkIsT0FBTyxLQUFLLENBQUE7YUFDYjtTQUNGO1FBRUQsT0FBTyxJQUFJLENBQUE7SUFDYixDQUFDO0lBRUQsT0FBTyxDQUFDLENBQWtCLEVBQUUsYUFBYSxHQUFHLElBQUk7UUFDOUMsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUMxQixJQUFJLElBQUksS0FBSyxTQUFTLEVBQUU7WUFDdEIsTUFBTSxJQUFJLEtBQUssQ0FBQyxZQUFZLENBQUMsSUFBSSxJQUFJLENBQUMsU0FBUyxFQUFFLENBQUMsQ0FBQTtTQUNuRDtRQUVELE1BQU0sTUFBTSxHQUFHLElBQUksQ0FBQyxNQUFNLENBQUE7UUFDMUIsSUFBSSxDQUFDLE1BQU0sSUFBSSxJQUFJLENBQUMsTUFBTSxDQUFBO1FBRTFCLElBQUksYUFBYSxFQUFFO1lBQ2pCLElBQUksQ0FBQyxhQUFhLEVBQUUsQ0FBQTtTQUNyQjtRQUNELE9BQU8sRUFBRSxRQUFRLEVBQUUsRUFBRSxNQUFNLEVBQUUsRUFBRSxJQUFJLEVBQUUsQ0FBQTtJQUN2QyxDQUFDO0lBRUQsU0FBUyxDQUFDLENBQWtCLEVBQUUsYUFBYSxHQUFHLElBQUk7UUFDaEQsTUFBTSxHQUFHLEdBQUcsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQTtRQUN6QixJQUFJLENBQUMsR0FBRyxFQUFFO1lBQ1IsT0FBTyxTQUFTLENBQUE7U0FDakI7UUFFRCxPQUFPLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQyxFQUFFLGFBQWEsQ0FBQyxDQUFBO0lBQ3ZDLENBQUM7SUFFTyxLQUFLLENBQUMsQ0FBa0I7UUFDOUIsSUFBSSxPQUFPLENBQUMsS0FBSyxRQUFRLEVBQUU7WUFDekIsSUFBSSxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxFQUFFO2dCQUM3QixPQUFPLENBQUMsQ0FBQTthQUNUO1lBQ0QsT0FBTyxTQUFTLENBQUE7U0FDakI7UUFFRCxNQUFNLENBQUMsR0FBRyxJQUFJLENBQUMsSUFBSSxFQUFFLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFBO1FBQzlCLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQyxLQUFLLEtBQUssQ0FBQyxFQUFFO1lBQ3RCLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFBO1NBQ1o7UUFFRCxPQUFPLFNBQVMsQ0FBQTtJQUNsQixDQUFDO0NBQ0Y7QUFqR0QsMEJBaUdDIn0=
|
package/dist/src/septima.d.ts
DELETED
|
@@ -1,32 +0,0 @@
|
|
|
1
|
-
import { Unit } from './ast-node';
|
|
2
|
-
import { Parser } from './parser';
|
|
3
|
-
import { Result, ResultSink } from './result';
|
|
4
|
-
import { Verbosity } from './runtime';
|
|
5
|
-
interface Options {
|
|
6
|
-
/**
|
|
7
|
-
* A callback function to be invoked when the Septima program evaluated to `sink`. Allows the caller to determine
|
|
8
|
-
* which value will be returned in that case. For instance, passing `() => undefined` will translate a `sink` value
|
|
9
|
-
* to `undefined`. The default behavior is to throw an error.
|
|
10
|
-
*/
|
|
11
|
-
onSink?: (res: ResultSink) => unknown;
|
|
12
|
-
}
|
|
13
|
-
export declare class Septima {
|
|
14
|
-
/**
|
|
15
|
-
* Runs a Septima program and returns the value it evaluates to. If it evaluates to `sink`, returns the value computed
|
|
16
|
-
* by `options.onSink()` - if present, or throws an error - otherwise.
|
|
17
|
-
*
|
|
18
|
-
* This method is the simplest way to evaluate a Septima program, and it fits many common use cases. One can also use
|
|
19
|
-
* `.compute()` to get additional details about the execution.
|
|
20
|
-
*
|
|
21
|
-
* @param input the source code of the Septima program
|
|
22
|
-
* @param options
|
|
23
|
-
* @returns the value that `input` evaluates to
|
|
24
|
-
*/
|
|
25
|
-
static run(input: string, options?: Options): unknown;
|
|
26
|
-
constructor();
|
|
27
|
-
computeModule(moduleName: string, moduleReader: (m: string) => string): Result;
|
|
28
|
-
compute(input: string, preimports?: Record<string, string>, verbosity?: Verbosity): Result;
|
|
29
|
-
private computeImpl;
|
|
30
|
-
}
|
|
31
|
-
export declare function parse(arg: string | Parser): Unit;
|
|
32
|
-
export {};
|
package/dist/src/septima.js
DELETED
|
@@ -1,91 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.parse = exports.Septima = void 0;
|
|
4
|
-
const parser_1 = require("./parser");
|
|
5
|
-
const result_1 = require("./result");
|
|
6
|
-
const runtime_1 = require("./runtime");
|
|
7
|
-
const scanner_1 = require("./scanner");
|
|
8
|
-
const should_never_happen_1 = require("./should-never-happen");
|
|
9
|
-
const source_code_1 = require("./source-code");
|
|
10
|
-
class Septima {
|
|
11
|
-
/**
|
|
12
|
-
* Runs a Septima program and returns the value it evaluates to. If it evaluates to `sink`, returns the value computed
|
|
13
|
-
* by `options.onSink()` - if present, or throws an error - otherwise.
|
|
14
|
-
*
|
|
15
|
-
* This method is the simplest way to evaluate a Septima program, and it fits many common use cases. One can also use
|
|
16
|
-
* `.compute()` to get additional details about the execution.
|
|
17
|
-
*
|
|
18
|
-
* @param input the source code of the Septima program
|
|
19
|
-
* @param options
|
|
20
|
-
* @returns the value that `input` evaluates to
|
|
21
|
-
*/
|
|
22
|
-
static run(input, options) {
|
|
23
|
-
const onSink = options?.onSink ??
|
|
24
|
-
((r) => {
|
|
25
|
-
throw new Error(r.message);
|
|
26
|
-
});
|
|
27
|
-
const res = new Septima().compute(input);
|
|
28
|
-
if (res.tag === 'ok') {
|
|
29
|
-
return res.value;
|
|
30
|
-
}
|
|
31
|
-
if (res.tag === 'sink') {
|
|
32
|
-
return onSink(res);
|
|
33
|
-
}
|
|
34
|
-
(0, should_never_happen_1.shouldNeverHappen)(res);
|
|
35
|
-
}
|
|
36
|
-
constructor() { }
|
|
37
|
-
computeModule(moduleName, moduleReader) {
|
|
38
|
-
const input = moduleReader(moduleName);
|
|
39
|
-
const sourceCode = new source_code_1.SourceCode(input);
|
|
40
|
-
const value = this.computeImpl(sourceCode, 'quiet', {}, moduleReader);
|
|
41
|
-
if (!value.isSink()) {
|
|
42
|
-
return { value: value.export(), tag: 'ok' };
|
|
43
|
-
}
|
|
44
|
-
return new result_1.ResultSinkImpl(value, sourceCode);
|
|
45
|
-
}
|
|
46
|
-
compute(input, preimports = {}, verbosity = 'quiet') {
|
|
47
|
-
const lib = {};
|
|
48
|
-
for (const [importName, importCode] of Object.entries(preimports)) {
|
|
49
|
-
const sourceCode = new source_code_1.SourceCode(importCode);
|
|
50
|
-
const value = this.computeImpl(sourceCode, verbosity, {}, undefined);
|
|
51
|
-
if (value.isSink()) {
|
|
52
|
-
// TODO(imaman): cover!
|
|
53
|
-
const r = new result_1.ResultSinkImpl(value, sourceCode);
|
|
54
|
-
throw new Error(`preimport (${importName}) evaluated to sink: ${r.message}`);
|
|
55
|
-
}
|
|
56
|
-
lib[importName] = value;
|
|
57
|
-
}
|
|
58
|
-
const sourceCode = new source_code_1.SourceCode(input);
|
|
59
|
-
const value = this.computeImpl(sourceCode, verbosity, lib, undefined);
|
|
60
|
-
if (!value.isSink()) {
|
|
61
|
-
return { value: value.export(), tag: 'ok' };
|
|
62
|
-
}
|
|
63
|
-
return new result_1.ResultSinkImpl(value, sourceCode);
|
|
64
|
-
}
|
|
65
|
-
computeImpl(sourceCode, verbosity, lib, moduleReader) {
|
|
66
|
-
const scanner = new scanner_1.Scanner(sourceCode);
|
|
67
|
-
const parser = new parser_1.Parser(scanner);
|
|
68
|
-
const ast = parse(parser);
|
|
69
|
-
const getAstOf = (fileName) => {
|
|
70
|
-
if (!moduleReader) {
|
|
71
|
-
throw new Error(`cannot read modules`);
|
|
72
|
-
}
|
|
73
|
-
return parse(moduleReader(fileName));
|
|
74
|
-
};
|
|
75
|
-
const runtime = new runtime_1.Runtime(ast, verbosity, lib, getAstOf);
|
|
76
|
-
const c = runtime.compute();
|
|
77
|
-
if (c.value) {
|
|
78
|
-
return c.value;
|
|
79
|
-
}
|
|
80
|
-
const runtimeErrorMessage = `${c.errorMessage} when evaluating:\n${sourceCode.formatTrace(c.expressionTrace)}`;
|
|
81
|
-
throw new Error(runtimeErrorMessage);
|
|
82
|
-
}
|
|
83
|
-
}
|
|
84
|
-
exports.Septima = Septima;
|
|
85
|
-
function parse(arg) {
|
|
86
|
-
const parser = typeof arg === 'string' ? new parser_1.Parser(new scanner_1.Scanner(new source_code_1.SourceCode(arg))) : arg;
|
|
87
|
-
const ast = parser.parse();
|
|
88
|
-
return ast;
|
|
89
|
-
}
|
|
90
|
-
exports.parse = parse;
|
|
91
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VwdGltYS5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zZXB0aW1hLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7OztBQUNBLHFDQUFpQztBQUNqQyxxQ0FBNkQ7QUFDN0QsdUNBQThDO0FBQzlDLHVDQUFtQztBQUNuQywrREFBeUQ7QUFDekQsK0NBQTBDO0FBWTFDLE1BQWEsT0FBTztJQUNsQjs7Ozs7Ozs7OztPQVVHO0lBQ0gsTUFBTSxDQUFDLEdBQUcsQ0FBQyxLQUFhLEVBQUUsT0FBaUI7UUFDekMsTUFBTSxNQUFNLEdBQ1YsT0FBTyxFQUFFLE1BQU07WUFDZixDQUFDLENBQUMsQ0FBYSxFQUFFLEVBQUU7Z0JBQ2pCLE1BQU0sSUFBSSxLQUFLLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQyxDQUFBO1lBQzVCLENBQUMsQ0FBQyxDQUFBO1FBQ0osTUFBTSxHQUFHLEdBQUcsSUFBSSxPQUFPLEVBQUUsQ0FBQyxPQUFPLENBQUMsS0FBSyxDQUFDLENBQUE7UUFDeEMsSUFBSSxHQUFHLENBQUMsR0FBRyxLQUFLLElBQUksRUFBRTtZQUNwQixPQUFPLEdBQUcsQ0FBQyxLQUFLLENBQUE7U0FDakI7UUFFRCxJQUFJLEdBQUcsQ0FBQyxHQUFHLEtBQUssTUFBTSxFQUFFO1lBQ3RCLE9BQU8sTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFBO1NBQ25CO1FBRUQsSUFBQSx1Q0FBaUIsRUFBQyxHQUFHLENBQUMsQ0FBQTtJQUN4QixDQUFDO0lBRUQsZ0JBQWUsQ0FBQztJQUVoQixhQUFhLENBQUMsVUFBa0IsRUFBRSxZQUFtQztRQUNuRSxNQUFNLEtBQUssR0FBRyxZQUFZLENBQUMsVUFBVSxDQUFDLENBQUE7UUFDdEMsTUFBTSxVQUFVLEdBQUcsSUFBSSx3QkFBVSxDQUFDLEtBQUssQ0FBQyxDQUFBO1FBQ3hDLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxXQUFXLENBQUMsVUFBVSxFQUFFLE9BQU8sRUFBRSxFQUFFLEVBQUUsWUFBWSxDQUFDLENBQUE7UUFDckUsSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLEVBQUUsRUFBRTtZQUNuQixPQUFPLEVBQUUsS0FBSyxFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsRUFBRSxHQUFHLEVBQUUsSUFBSSxFQUFFLENBQUE7U0FDNUM7UUFDRCxPQUFPLElBQUksdUJBQWMsQ0FBQyxLQUFLLEVBQUUsVUFBVSxDQUFDLENBQUE7SUFDOUMsQ0FBQztJQUVELE9BQU8sQ0FBQyxLQUFhLEVBQUUsYUFBcUMsRUFBRSxFQUFFLFlBQXVCLE9BQU87UUFDNUYsTUFBTSxHQUFHLEdBQTBCLEVBQUUsQ0FBQTtRQUNyQyxLQUFLLE1BQU0sQ0FBQyxVQUFVLEVBQUUsVUFBVSxDQUFDLElBQUksTUFBTSxDQUFDLE9BQU8sQ0FBQyxVQUFVLENBQUMsRUFBRTtZQUNqRSxNQUFNLFVBQVUsR0FBRyxJQUFJLHdCQUFVLENBQUMsVUFBVSxDQUFDLENBQUE7WUFDN0MsTUFBTSxLQUFLLEdBQUcsSUFBSSxDQUFDLFdBQVcsQ0FBQyxVQUFVLEVBQUUsU0FBUyxFQUFFLEVBQUUsRUFBRSxTQUFTLENBQUMsQ0FBQTtZQUNwRSxJQUFJLEtBQUssQ0FBQyxNQUFNLEVBQUUsRUFBRTtnQkFDbEIsdUJBQXVCO2dCQUN2QixNQUFNLENBQUMsR0FBRyxJQUFJLHVCQUFjLENBQUMsS0FBSyxFQUFFLFVBQVUsQ0FBQyxDQUFBO2dCQUMvQyxNQUFNLElBQUksS0FBSyxDQUFDLGNBQWMsVUFBVSx3QkFBd0IsQ0FBQyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBQUE7YUFDN0U7WUFDRCxHQUFHLENBQUMsVUFBVSxDQUFDLEdBQUcsS0FBSyxDQUFBO1NBQ3hCO1FBRUQsTUFBTSxVQUFVLEdBQUcsSUFBSSx3QkFBVSxDQUFDLEtBQUssQ0FBQyxDQUFBO1FBQ3hDLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxXQUFXLENBQUMsVUFBVSxFQUFFLFNBQVMsRUFBRSxHQUFHLEVBQUUsU0FBUyxDQUFDLENBQUE7UUFDckUsSUFBSSxDQUFDLEtBQUssQ0FBQyxNQUFNLEVBQUUsRUFBRTtZQUNuQixPQUFPLEVBQUUsS0FBSyxFQUFFLEtBQUssQ0FBQyxNQUFNLEVBQUUsRUFBRSxHQUFHLEVBQUUsSUFBSSxFQUFFLENBQUE7U0FDNUM7UUFDRCxPQUFPLElBQUksdUJBQWMsQ0FBQyxLQUFLLEVBQUUsVUFBVSxDQUFDLENBQUE7SUFDOUMsQ0FBQztJQUVPLFdBQVcsQ0FDakIsVUFBc0IsRUFDdEIsU0FBb0IsRUFDcEIsR0FBMEIsRUFDMUIsWUFBaUQ7UUFFakQsTUFBTSxPQUFPLEdBQUcsSUFBSSxpQkFBTyxDQUFDLFVBQVUsQ0FBQyxDQUFBO1FBQ3ZDLE1BQU0sTUFBTSxHQUFHLElBQUksZUFBTSxDQUFDLE9BQU8sQ0FBQyxDQUFBO1FBQ2xDLE1BQU0sR0FBRyxHQUFHLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQTtRQUV6QixNQUFNLFFBQVEsR0FBRyxDQUFDLFFBQWdCLEVBQUUsRUFBRTtZQUNwQyxJQUFJLENBQUMsWUFBWSxFQUFFO2dCQUNqQixNQUFNLElBQUksS0FBSyxDQUFDLHFCQUFxQixDQUFDLENBQUE7YUFDdkM7WUFDRCxPQUFPLEtBQUssQ0FBQyxZQUFZLENBQUMsUUFBUSxDQUFDLENBQUMsQ0FBQTtRQUN0QyxDQUFDLENBQUE7UUFDRCxNQUFNLE9BQU8sR0FBRyxJQUFJLGlCQUFPLENBQUMsR0FBRyxFQUFFLFNBQVMsRUFBRSxHQUFHLEVBQUUsUUFBUSxDQUFDLENBQUE7UUFDMUQsTUFBTSxDQUFDLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFBO1FBRTNCLElBQUksQ0FBQyxDQUFDLEtBQUssRUFBRTtZQUNYLE9BQU8sQ0FBQyxDQUFDLEtBQUssQ0FBQTtTQUNmO1FBRUQsTUFBTSxtQkFBbUIsR0FBRyxHQUFHLENBQUMsQ0FBQyxZQUFZLHNCQUFzQixVQUFVLENBQUMsV0FBVyxDQUFDLENBQUMsQ0FBQyxlQUFlLENBQUMsRUFBRSxDQUFBO1FBQzlHLE1BQU0sSUFBSSxLQUFLLENBQUMsbUJBQW1CLENBQUMsQ0FBQTtJQUN0QyxDQUFDO0NBQ0Y7QUF6RkQsMEJBeUZDO0FBRUQsU0FBZ0IsS0FBSyxDQUFDLEdBQW9CO0lBQ3hDLE1BQU0sTUFBTSxHQUFHLE9BQU8sR0FBRyxLQUFLLFFBQVEsQ0FBQyxDQUFDLENBQUMsSUFBSSxlQUFNLENBQUMsSUFBSSxpQkFBTyxDQUFDLElBQUksd0JBQVUsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQTtJQUMzRixNQUFNLEdBQUcsR0FBRyxNQUFNLENBQUMsS0FBSyxFQUFFLENBQUE7SUFDMUIsT0FBTyxHQUFHLENBQUE7QUFDWixDQUFDO0FBSkQsc0JBSUMifQ==
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
export declare function shouldNeverHappen(n: never): never;
|
|
@@ -1,9 +0,0 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.shouldNeverHappen = void 0;
|
|
4
|
-
function shouldNeverHappen(n) {
|
|
5
|
-
// This following line never gets executed. It is here just to make the compiler happy.
|
|
6
|
-
throw new Error(`This should never happen ${n}`);
|
|
7
|
-
}
|
|
8
|
-
exports.shouldNeverHappen = shouldNeverHappen;
|
|
9
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2hvdWxkLW5ldmVyLWhhcHBlbi5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zaG91bGQtbmV2ZXItaGFwcGVuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiI7OztBQUFBLFNBQWdCLGlCQUFpQixDQUFDLENBQVE7SUFDeEMsdUZBQXVGO0lBQ3ZGLE1BQU0sSUFBSSxLQUFLLENBQUMsNEJBQTRCLENBQUMsRUFBRSxDQUFDLENBQUE7QUFDbEQsQ0FBQztBQUhELDhDQUdDIn0=
|
|
@@ -1,19 +0,0 @@
|
|
|
1
|
-
import { AstNode } from './ast-node';
|
|
2
|
-
import { Location, Location2d, Span } from './location';
|
|
3
|
-
export declare class SourceCode {
|
|
4
|
-
readonly input: string;
|
|
5
|
-
constructor(input: string);
|
|
6
|
-
formatTrace(trace: AstNode[]): string;
|
|
7
|
-
sourceRefOfLocation(loc: Location): string;
|
|
8
|
-
sourceRef(span: Span | undefined): string;
|
|
9
|
-
formatSpan(span: Span): string;
|
|
10
|
-
private interestingPart;
|
|
11
|
-
resolveLocation(loc: Location): Location2d;
|
|
12
|
-
/**
|
|
13
|
-
* Returns a span starting a the given input location that runs all the way to the end of the line. Specifically, the
|
|
14
|
-
* returned span's `.to` location will point at the character (in the same line as `loc`) that is immediately before
|
|
15
|
-
* the terminating newline character.
|
|
16
|
-
*/
|
|
17
|
-
expandToEndOfLine(loc: Location): Span;
|
|
18
|
-
lineAt(loc: Location): string;
|
|
19
|
-
}
|