occam-verify-cli 0.0.936 → 0.0.938
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/lib/conclusion.js +7 -10
- package/lib/consequent.js +7 -10
- package/lib/context/local.js +1 -1
- package/lib/equality.js +2 -5
- package/lib/premise.js +15 -21
- package/lib/proofStep.js +3 -6
- package/lib/rule.js +23 -23
- package/lib/substitution/statementForMetavariable.js +3 -6
- package/lib/supposition.js +15 -21
- package/lib/topLevelAssertion.js +27 -23
- package/lib/unifier/equality.js +37 -107
- package/lib/unifier/metaLevel.js +48 -121
- package/lib/unifier/statementAgainstCombinator.js +41 -123
- package/lib/unifier/termAgainstConstructor.js +29 -103
- package/lib/unifier.js +60 -41
- package/lib/unify/metavariableAgainstStatement.js +5 -5
- package/lib/unify/statementAgainstMetaType.js +10 -4
- package/lib/unify/statementAtainstStatement.js +3 -6
- package/lib/unify/termAgainstTerm.js +1 -1
- package/lib/unify/termAgainstType.js +10 -4
- package/lib/utilities/string.js +2 -2
- package/lib/utilities/unifier.js +51 -0
- package/lib/verifier/metaLevel.js +48 -128
- package/lib/verifier/statementAsCombinator.js +48 -128
- package/lib/verifier/termAsConstructor.js +42 -112
- package/lib/verifier.js +50 -33
- package/lib/verify/assertion/contained.js +3 -6
- package/lib/verify/assertion/defined.js +3 -6
- package/lib/verify/assertion/subproof.js +9 -14
- package/lib/verify/statement/qualified.js +7 -7
- package/lib/verify/statement.js +10 -54
- package/lib/verify/statementAsCombinator.js +4 -8
- package/lib/verify/term.js +5 -5
- package/lib/verify/termAsConstructor.js +30 -23
- package/package.json +2 -2
- package/src/conclusion.js +8 -12
- package/src/consequent.js +8 -12
- package/src/context/local.js +7 -7
- package/src/equality.js +2 -8
- package/src/premise.js +20 -28
- package/src/proofStep.js +5 -9
- package/src/rule.js +22 -22
- package/src/substitution/statementForMetavariable.js +4 -8
- package/src/supposition.js +20 -28
- package/src/topLevelAssertion.js +29 -22
- package/src/unifier/equality.js +31 -59
- package/src/unifier/metaLevel.js +50 -83
- package/src/unifier/statementAgainstCombinator.js +33 -83
- package/src/unifier/termAgainstConstructor.js +19 -57
- package/src/unifier.js +57 -31
- package/src/unify/metavariableAgainstStatement.js +5 -3
- package/src/unify/statementAgainstMetaType.js +8 -3
- package/src/unify/statementAtainstStatement.js +4 -8
- package/src/unify/termAgainstTerm.js +1 -1
- package/src/unify/termAgainstType.js +7 -3
- package/src/utilities/string.js +1 -1
- package/src/verifier/metaLevel.js +37 -81
- package/src/verifier/statementAsCombinator.js +39 -82
- package/src/verifier/termAsConstructor.js +33 -62
- package/src/verifier.js +47 -21
- package/src/verify/assertion/contained.js +2 -7
- package/src/verify/assertion/defined.js +2 -7
- package/src/verify/assertion/subproof.js +3 -16
- package/src/verify/statement/qualified.js +7 -7
- package/src/verify/statement.js +10 -78
- package/src/verify/statementAsCombinator.js +3 -11
- package/src/verify/term.js +8 -8
- package/src/verify/termAsConstructor.js +40 -27
- package/lib/unify/argumentAgainstArgument.js +0 -24
- package/lib/utilities/terminalNodes.js +0 -51
- package/src/unify/argumentAgainstArgument.js +0 -15
- /package/src/utilities/{terminalNodes.js → unifier.js} +0 -0
package/lib/utilities/string.js
CHANGED
|
@@ -34,7 +34,7 @@ function nodeAsString(node, tokens) {
|
|
|
34
34
|
var nonTerminalNode = node; ///
|
|
35
35
|
string = nonTerminalNodeAsString(nonTerminalNode, tokens);
|
|
36
36
|
}
|
|
37
|
-
string = string.replace(
|
|
37
|
+
string = string.replace(/\s+$/, _constants.EMPTY_STRING);
|
|
38
38
|
}
|
|
39
39
|
return string;
|
|
40
40
|
}
|
|
@@ -71,4 +71,4 @@ function nonTerminalNodeAsString(nonTerminalNode, tokens) {
|
|
|
71
71
|
return string;
|
|
72
72
|
}
|
|
73
73
|
|
|
74
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
74
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3RyaW5nLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBDT01NQSwgRU1QVFlfU1RSSU5HIH0gZnJvbSBcIi4uL2NvbnN0YW50c1wiO1xuXG5leHBvcnQgZnVuY3Rpb24gbm9kZUFzU3RyaW5nKG5vZGUsIHRva2Vucykge1xuICBsZXQgc3RyaW5nID0gRU1QVFlfU1RSSU5HO1xuXG4gIGlmIChub2RlICE9PSBudWxsKSB7XG4gICAgY29uc3Qgbm9kZVRlcm1pbmFsTm9kZSA9IG5vZGUuaXNUZXJtaW5hbE5vZGUoKTtcblxuICAgIGlmIChub2RlVGVybWluYWxOb2RlKSB7XG4gICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBub2RlOyAgLy8vXG5cbiAgICAgIHN0cmluZyA9IHRlcm1pbmFsTm9kZUFzU3RyaW5nKHRlcm1pbmFsTm9kZSk7XG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IG5vblRlcm1pbmFsTm9kZSA9IG5vZGU7IC8vL1xuXG4gICAgICBzdHJpbmcgPSBub25UZXJtaW5hbE5vZGVBc1N0cmluZyhub25UZXJtaW5hbE5vZGUsIHRva2Vucyk7XG4gICAgfVxuXG4gICAgc3RyaW5nID0gc3RyaW5nLnJlcGxhY2UoL1xccyskLywgRU1QVFlfU1RSSU5HKTtcbiAgfVxuXG4gIHJldHVybiBzdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBub2Rlc0FzU3RyaW5nKG5vZGVzLCB0b2tlbnMpIHtcbiAgY29uc3Qgc3RyaW5nID0gbm9kZXMucmVkdWNlKChzdHJpbmcsIG5vZGUpID0+IHtcbiAgICBjb25zdCBub2RlU3RyaW5nID0gbm9kZUFzU3RyaW5nKG5vZGUsIHRva2Vucyk7XG5cbiAgICBzdHJpbmcgPSAoc3RyaW5nID09PSBFTVBUWV9TVFJJTkcpID9cbiAgICAgICAgICAgICAgIG5vZGVTdHJpbmcgOlxuICAgICAgICAgICAgICAgIGAke3N0cmluZ30ke0NPTU1BfSR7bm9kZVN0cmluZ31gO1xuXG4gICAgcmV0dXJuIHN0cmluZztcbiAgfSwgRU1QVFlfU1RSSU5HKTtcblxuICByZXR1cm4gc3RyaW5nO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdGVybWluYWxOb2RlQXNTdHJpbmcodGVybWluYWxOb2RlKSB7XG4gIGNvbnN0IGNvbnRlbnQgPSB0ZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpLFxuICAgICAgICBzdHJpbmcgPSBjb250ZW50OyAvLy9cblxuICByZXR1cm4gc3RyaW5nO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbm9uVGVybWluYWxOb2RlQXNTdHJpbmcobm9uVGVybWluYWxOb2RlLCB0b2tlbnMpIHtcbiAgbGV0IHN0cmluZztcblxuICBpZiAodG9rZW5zID09PSBudWxsKSB7XG4gICAgY29uc3QgY2hpbGROb2RlcyA9IG5vblRlcm1pbmFsTm9kZS5nZXRDaGlsZE5vZGVzKCk7XG5cbiAgICBzdHJpbmcgPSBjaGlsZE5vZGVzLnJlZHVjZSgoc3RyaW5nLCBjaGlsZE5vZGUpID0+IHtcbiAgICAgIGNvbnN0IG5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgbm9kZVN0cmluZyA9IG5vZGVBc1N0cmluZyhub2RlLCB0b2tlbnMpO1xuXG4gICAgICBzdHJpbmcgPSBgJHtzdHJpbmd9JHtub2RlU3RyaW5nfWA7XG5cbiAgICAgIHJldHVybiBzdHJpbmc7XG4gICAgfSwgRU1QVFlfU1RSSU5HKTtcbiAgfSBlbHNlIHtcbiAgICBjb25zdCBsYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4ID0gbm9uVGVybWluYWxOb2RlLmdldExhc3RTaWduaWZpY2FudFRva2VuSW5kZXgodG9rZW5zKSxcbiAgICAgICAgICBmaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCA9IG5vblRlcm1pbmFsTm9kZS5nZXRGaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCh0b2tlbnMpLFxuICAgICAgICAgIHN0YXJ0ID0gZmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXgsIC8vL1xuICAgICAgICAgIGVuZCA9IGxhc3RTaWduaWZpY2FudFRva2VuSW5kZXggKyAxO1xuXG4gICAgdG9rZW5zID0gdG9rZW5zLnNsaWNlKHN0YXJ0LCBlbmQpOyAgLy8vXG5cbiAgICBzdHJpbmcgPSB0b2tlbnMucmVkdWNlKChzdHJpbmcsIHRva2VuKSA9PiB7XG4gICAgICBjb25zdCBjb250ZW50ID0gdG9rZW4uZ2V0Q29udGVudCgpO1xuXG4gICAgICBzdHJpbmcgPSBgJHtzdHJpbmd9JHtjb250ZW50fWA7XG5cbiAgICAgIHJldHVybiBzdHJpbmc7XG4gICAgfSwgRU1QVFlfU1RSSU5HKTtcbiAgfVxuXG4gIHJldHVybiBzdHJpbmc7XG59XG4iXSwibmFtZXMiOlsibm9kZUFzU3RyaW5nIiwibm9kZXNBc1N0cmluZyIsIm5vblRlcm1pbmFsTm9kZUFzU3RyaW5nIiwidGVybWluYWxOb2RlQXNTdHJpbmciLCJub2RlIiwidG9rZW5zIiwic3RyaW5nIiwiRU1QVFlfU1RSSU5HIiwibm9kZVRlcm1pbmFsTm9kZSIsImlzVGVybWluYWxOb2RlIiwidGVybWluYWxOb2RlIiwibm9uVGVybWluYWxOb2RlIiwicmVwbGFjZSIsIm5vZGVzIiwicmVkdWNlIiwibm9kZVN0cmluZyIsIkNPTU1BIiwiY29udGVudCIsImdldENvbnRlbnQiLCJjaGlsZE5vZGVzIiwiZ2V0Q2hpbGROb2RlcyIsImNoaWxkTm9kZSIsImxhc3RTaWduaWZpY2FudFRva2VuSW5kZXgiLCJnZXRMYXN0U2lnbmlmaWNhbnRUb2tlbkluZGV4IiwiZmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXgiLCJnZXRGaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCIsInN0YXJ0IiwiZW5kIiwic2xpY2UiLCJ0b2tlbiJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBSWdCQSxZQUFZO2VBQVpBOztJQXNCQUMsYUFBYTtlQUFiQTs7SUFxQkFDLHVCQUF1QjtlQUF2QkE7O0lBUEFDLG9CQUFvQjtlQUFwQkE7Ozt5QkF0Q29CO0FBRTdCLFNBQVNILGFBQWFJLElBQUksRUFBRUMsTUFBTTtJQUN2QyxJQUFJQyxTQUFTQyx1QkFBWTtJQUV6QixJQUFJSCxTQUFTLE1BQU07UUFDakIsSUFBTUksbUJBQW1CSixLQUFLSyxjQUFjO1FBRTVDLElBQUlELGtCQUFrQjtZQUNwQixJQUFNRSxlQUFlTixNQUFPLEdBQUc7WUFFL0JFLFNBQVNILHFCQUFxQk87UUFDaEMsT0FBTztZQUNMLElBQU1DLGtCQUFrQlAsTUFBTSxHQUFHO1lBRWpDRSxTQUFTSix3QkFBd0JTLGlCQUFpQk47UUFDcEQ7UUFFQUMsU0FBU0EsT0FBT00sT0FBTyxDQUFDLFFBQVFMLHVCQUFZO0lBQzlDO0lBRUEsT0FBT0Q7QUFDVDtBQUVPLFNBQVNMLGNBQWNZLEtBQUssRUFBRVIsTUFBTTtJQUN6QyxJQUFNQyxTQUFTTyxNQUFNQyxNQUFNLENBQUMsU0FBQ1IsUUFBUUY7UUFDbkMsSUFBTVcsYUFBYWYsYUFBYUksTUFBTUM7UUFFdENDLFNBQVMsQUFBQ0EsV0FBV0MsdUJBQVksR0FDdEJRLGFBQ0MsQUFBQyxHQUFXQyxPQUFUVixRQUFpQlMsT0FBUkMsZ0JBQUssRUFBYyxPQUFYRDtRQUVoQyxPQUFPVDtJQUNULEdBQUdDLHVCQUFZO0lBRWYsT0FBT0Q7QUFDVDtBQUVPLFNBQVNILHFCQUFxQk8sWUFBWTtJQUMvQyxJQUFNTyxVQUFVUCxhQUFhUSxVQUFVLElBQ2pDWixTQUFTVyxTQUFTLEdBQUc7SUFFM0IsT0FBT1g7QUFDVDtBQUVPLFNBQVNKLHdCQUF3QlMsZUFBZSxFQUFFTixNQUFNO0lBQzdELElBQUlDO0lBRUosSUFBSUQsV0FBVyxNQUFNO1FBQ25CLElBQU1jLGFBQWFSLGdCQUFnQlMsYUFBYTtRQUVoRGQsU0FBU2EsV0FBV0wsTUFBTSxDQUFDLFNBQUNSLFFBQVFlO1lBQ2xDLElBQU1qQixPQUFPaUIsV0FDUE4sYUFBYWYsYUFBYUksTUFBTUM7WUFFdENDLFNBQVMsQUFBQyxHQUFXUyxPQUFUVCxRQUFvQixPQUFYUztZQUVyQixPQUFPVDtRQUNULEdBQUdDLHVCQUFZO0lBQ2pCLE9BQU87UUFDTCxJQUFNZSw0QkFBNEJYLGdCQUFnQlksNEJBQTRCLENBQUNsQixTQUN6RW1CLDZCQUE2QmIsZ0JBQWdCYyw2QkFBNkIsQ0FBQ3BCLFNBQzNFcUIsUUFBUUYsNEJBQ1JHLE1BQU1MLDRCQUE0QjtRQUV4Q2pCLFNBQVNBLE9BQU91QixLQUFLLENBQUNGLE9BQU9DLE1BQU8sR0FBRztRQUV2Q3JCLFNBQVNELE9BQU9TLE1BQU0sQ0FBQyxTQUFDUixRQUFRdUI7WUFDOUIsSUFBTVosVUFBVVksTUFBTVgsVUFBVTtZQUVoQ1osU0FBUyxBQUFDLEdBQVdXLE9BQVRYLFFBQWlCLE9BQVJXO1lBRXJCLE9BQU9YO1FBQ1QsR0FBR0MsdUJBQVk7SUFDakI7SUFFQSxPQUFPRDtBQUNUIn0=
|
|
@@ -0,0 +1,51 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", {
|
|
3
|
+
value: true
|
|
4
|
+
});
|
|
5
|
+
function _export(target, all) {
|
|
6
|
+
for(var name in all)Object.defineProperty(target, name, {
|
|
7
|
+
enumerable: true,
|
|
8
|
+
get: all[name]
|
|
9
|
+
});
|
|
10
|
+
}
|
|
11
|
+
_export(exports, {
|
|
12
|
+
areTerminalNodeMapsEqual: function() {
|
|
13
|
+
return areTerminalNodeMapsEqual;
|
|
14
|
+
},
|
|
15
|
+
terminalNodeMapFromNodes: function() {
|
|
16
|
+
return terminalNodeMapFromNodes;
|
|
17
|
+
}
|
|
18
|
+
});
|
|
19
|
+
var _array = require("../utilities/array");
|
|
20
|
+
function terminalNodeMapFromNodes(nodes) {
|
|
21
|
+
var terminalNodeMap = {};
|
|
22
|
+
nodes.forEach(function(node, index) {
|
|
23
|
+
var nodeTerminalNode = node.isTerminalNode();
|
|
24
|
+
if (nodeTerminalNode) {
|
|
25
|
+
var terminalNode = node; //
|
|
26
|
+
terminalNodeMap[index] = terminalNode;
|
|
27
|
+
}
|
|
28
|
+
});
|
|
29
|
+
return terminalNodeMap;
|
|
30
|
+
}
|
|
31
|
+
function areTerminalNodeMapsEqual(terminalNodeMapA, terminalNodeMapB) {
|
|
32
|
+
var terminalNodeMapsEqual = false;
|
|
33
|
+
var indexesA = Object.keys(terminalNodeMapA), indexesB = Object.keys(terminalNodeMapB), terminalNodeMapKeysMatch = (0, _array.match)(indexesA, indexesB, function(indexA, indexB) {
|
|
34
|
+
var matches = indexA === indexB;
|
|
35
|
+
if (matches) {
|
|
36
|
+
return true;
|
|
37
|
+
}
|
|
38
|
+
});
|
|
39
|
+
if (terminalNodeMapKeysMatch) {
|
|
40
|
+
var terminalNodesA = Object.values(terminalNodeMapA), terminalNodesB = Object.values(terminalNodeMapB), terminalNodeMapValuesMatch = (0, _array.match)(terminalNodesA, terminalNodesB, function(terminalNodeA, terminalNodeB) {
|
|
41
|
+
var matches = terminalNodeA.match(terminalNodeB);
|
|
42
|
+
if (matches) {
|
|
43
|
+
return true;
|
|
44
|
+
}
|
|
45
|
+
});
|
|
46
|
+
terminalNodeMapsEqual = terminalNodeMapValuesMatch; ///
|
|
47
|
+
}
|
|
48
|
+
return terminalNodeMapsEqual;
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdW5pZmllci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgbWF0Y2ggfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2FycmF5XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiB0ZXJtaW5hbE5vZGVNYXBGcm9tTm9kZXMobm9kZXMpIHtcbiAgY29uc3QgdGVybWluYWxOb2RlTWFwID0ge307XG5cbiAgbm9kZXMuZm9yRWFjaCgobm9kZSwgaW5kZXgpID0+IHtcbiAgICBjb25zdCBub2RlVGVybWluYWxOb2RlID0gbm9kZS5pc1Rlcm1pbmFsTm9kZSgpO1xuXG4gICAgaWYgKG5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICAgIGNvbnN0IHRlcm1pbmFsTm9kZSA9IG5vZGU7ICAvL1xuXG4gICAgICB0ZXJtaW5hbE5vZGVNYXBbaW5kZXhdID0gdGVybWluYWxOb2RlO1xuICAgIH1cbiAgfSk7XG5cbiAgcmV0dXJuIHRlcm1pbmFsTm9kZU1hcDtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGFyZVRlcm1pbmFsTm9kZU1hcHNFcXVhbCh0ZXJtaW5hbE5vZGVNYXBBLCB0ZXJtaW5hbE5vZGVNYXBCKSB7XG4gIGxldCB0ZXJtaW5hbE5vZGVNYXBzRXF1YWwgPSBmYWxzZTtcblxuICBjb25zdCBpbmRleGVzQSA9IE9iamVjdC5rZXlzKHRlcm1pbmFsTm9kZU1hcEEpLCAvLy9cbiAgICAgICAgaW5kZXhlc0IgPSBPYmplY3Qua2V5cyh0ZXJtaW5hbE5vZGVNYXBCKSwgLy8vXG4gICAgICAgIHRlcm1pbmFsTm9kZU1hcEtleXNNYXRjaCA9IG1hdGNoKGluZGV4ZXNBLCBpbmRleGVzQiwgKGluZGV4QSwgaW5kZXhCKSA9PiB7XG4gICAgICAgICAgY29uc3QgbWF0Y2hlcyA9IChpbmRleEEgPT09IGluZGV4Qik7XG5cbiAgICAgICAgICBpZiAobWF0Y2hlcykge1xuICAgICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgICAgfVxuICAgICAgICB9KTtcblxuICBpZiAodGVybWluYWxOb2RlTWFwS2V5c01hdGNoKSB7XG4gICAgY29uc3QgdGVybWluYWxOb2Rlc0EgPSBPYmplY3QudmFsdWVzKHRlcm1pbmFsTm9kZU1hcEEpLCAvLy9cbiAgICAgICAgICB0ZXJtaW5hbE5vZGVzQiA9IE9iamVjdC52YWx1ZXModGVybWluYWxOb2RlTWFwQiksIC8vL1xuICAgICAgICAgIHRlcm1pbmFsTm9kZU1hcFZhbHVlc01hdGNoID0gbWF0Y2godGVybWluYWxOb2Rlc0EsIHRlcm1pbmFsTm9kZXNCLCAodGVybWluYWxOb2RlQSwgdGVybWluYWxOb2RlQikgPT4ge1xuICAgICAgICAgICAgY29uc3QgbWF0Y2hlcyA9IHRlcm1pbmFsTm9kZUEubWF0Y2godGVybWluYWxOb2RlQik7XG5cbiAgICAgICAgICAgIGlmIChtYXRjaGVzKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pO1xuXG4gICAgdGVybWluYWxOb2RlTWFwc0VxdWFsID0gdGVybWluYWxOb2RlTWFwVmFsdWVzTWF0Y2g7IC8vL1xuICB9XG5cbiAgcmV0dXJuIHRlcm1pbmFsTm9kZU1hcHNFcXVhbDtcbn1cbiJdLCJuYW1lcyI6WyJhcmVUZXJtaW5hbE5vZGVNYXBzRXF1YWwiLCJ0ZXJtaW5hbE5vZGVNYXBGcm9tTm9kZXMiLCJub2RlcyIsInRlcm1pbmFsTm9kZU1hcCIsImZvckVhY2giLCJub2RlIiwiaW5kZXgiLCJub2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGVNYXBBIiwidGVybWluYWxOb2RlTWFwQiIsInRlcm1pbmFsTm9kZU1hcHNFcXVhbCIsImluZGV4ZXNBIiwiT2JqZWN0Iiwia2V5cyIsImluZGV4ZXNCIiwidGVybWluYWxOb2RlTWFwS2V5c01hdGNoIiwibWF0Y2giLCJpbmRleEEiLCJpbmRleEIiLCJtYXRjaGVzIiwidGVybWluYWxOb2Rlc0EiLCJ2YWx1ZXMiLCJ0ZXJtaW5hbE5vZGVzQiIsInRlcm1pbmFsTm9kZU1hcFZhbHVlc01hdGNoIiwidGVybWluYWxOb2RlQSIsInRlcm1pbmFsTm9kZUIiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQW9CZ0JBLHdCQUF3QjtlQUF4QkE7O0lBaEJBQyx3QkFBd0I7ZUFBeEJBOzs7cUJBRk07QUFFZixTQUFTQSx5QkFBeUJDLEtBQUs7SUFDNUMsSUFBTUMsa0JBQWtCLENBQUM7SUFFekJELE1BQU1FLE9BQU8sQ0FBQyxTQUFDQyxNQUFNQztRQUNuQixJQUFNQyxtQkFBbUJGLEtBQUtHLGNBQWM7UUFFNUMsSUFBSUQsa0JBQWtCO1lBQ3BCLElBQU1FLGVBQWVKLE1BQU8sRUFBRTtZQUU5QkYsZUFBZSxDQUFDRyxNQUFNLEdBQUdHO1FBQzNCO0lBQ0Y7SUFFQSxPQUFPTjtBQUNUO0FBRU8sU0FBU0gseUJBQXlCVSxnQkFBZ0IsRUFBRUMsZ0JBQWdCO0lBQ3pFLElBQUlDLHdCQUF3QjtJQUU1QixJQUFNQyxXQUFXQyxPQUFPQyxJQUFJLENBQUNMLG1CQUN2Qk0sV0FBV0YsT0FBT0MsSUFBSSxDQUFDSixtQkFDdkJNLDJCQUEyQkMsSUFBQUEsWUFBSyxFQUFDTCxVQUFVRyxVQUFVLFNBQUNHLFFBQVFDO1FBQzVELElBQU1DLFVBQVdGLFdBQVdDO1FBRTVCLElBQUlDLFNBQVM7WUFDWCxPQUFPO1FBQ1Q7SUFDRjtJQUVOLElBQUlKLDBCQUEwQjtRQUM1QixJQUFNSyxpQkFBaUJSLE9BQU9TLE1BQU0sQ0FBQ2IsbUJBQy9CYyxpQkFBaUJWLE9BQU9TLE1BQU0sQ0FBQ1osbUJBQy9CYyw2QkFBNkJQLElBQUFBLFlBQUssRUFBQ0ksZ0JBQWdCRSxnQkFBZ0IsU0FBQ0UsZUFBZUM7WUFDakYsSUFBTU4sVUFBVUssY0FBY1IsS0FBSyxDQUFDUztZQUVwQyxJQUFJTixTQUFTO2dCQUNYLE9BQU87WUFDVDtRQUNGO1FBRU5ULHdCQUF3QmEsNEJBQTRCLEdBQUc7SUFDekQ7SUFFQSxPQUFPYjtBQUNUIn0=
|
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var _verifier = /*#__PURE__*/
|
|
11
|
+
var _verifier = /*#__PURE__*/ _interop_require_default(require("../verifier"));
|
|
12
12
|
var _query = require("../utilities/query");
|
|
13
13
|
var _term = require("../verify/term");
|
|
14
14
|
var _variable = require("../verify/variable");
|
|
@@ -42,21 +42,18 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
42
42
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
43
43
|
return Constructor;
|
|
44
44
|
}
|
|
45
|
-
function
|
|
46
|
-
if (
|
|
47
|
-
|
|
45
|
+
function _define_property(obj, key, value) {
|
|
46
|
+
if (key in obj) {
|
|
47
|
+
Object.defineProperty(obj, key, {
|
|
48
|
+
value: value,
|
|
49
|
+
enumerable: true,
|
|
50
|
+
configurable: true,
|
|
51
|
+
writable: true
|
|
52
|
+
});
|
|
48
53
|
} else {
|
|
49
|
-
|
|
50
|
-
var base = _super_prop_base(target, property);
|
|
51
|
-
if (!base) return;
|
|
52
|
-
var desc = Object.getOwnPropertyDescriptor(base, property);
|
|
53
|
-
if (desc.get) {
|
|
54
|
-
return desc.get.call(receiver || target);
|
|
55
|
-
}
|
|
56
|
-
return desc.value;
|
|
57
|
-
};
|
|
54
|
+
obj[key] = value;
|
|
58
55
|
}
|
|
59
|
-
return
|
|
56
|
+
return obj;
|
|
60
57
|
}
|
|
61
58
|
function _get_prototype_of(o) {
|
|
62
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
@@ -77,46 +74,10 @@ function _inherits(subClass, superClass) {
|
|
|
77
74
|
});
|
|
78
75
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
79
76
|
}
|
|
80
|
-
function
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
var cacheNodeInterop = new WeakMap();
|
|
84
|
-
return (_getRequireWildcardCache = function(nodeInterop) {
|
|
85
|
-
return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
|
|
86
|
-
})(nodeInterop);
|
|
87
|
-
}
|
|
88
|
-
function _interop_require_wildcard(obj, nodeInterop) {
|
|
89
|
-
if (!nodeInterop && obj && obj.__esModule) {
|
|
90
|
-
return obj;
|
|
91
|
-
}
|
|
92
|
-
if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
|
|
93
|
-
return {
|
|
94
|
-
default: obj
|
|
95
|
-
};
|
|
96
|
-
}
|
|
97
|
-
var cache = _getRequireWildcardCache(nodeInterop);
|
|
98
|
-
if (cache && cache.has(obj)) {
|
|
99
|
-
return cache.get(obj);
|
|
100
|
-
}
|
|
101
|
-
var newObj = {
|
|
102
|
-
__proto__: null
|
|
77
|
+
function _interop_require_default(obj) {
|
|
78
|
+
return obj && obj.__esModule ? obj : {
|
|
79
|
+
default: obj
|
|
103
80
|
};
|
|
104
|
-
var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
|
|
105
|
-
for(var key in obj){
|
|
106
|
-
if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
|
|
107
|
-
var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
|
|
108
|
-
if (desc && (desc.get || desc.set)) {
|
|
109
|
-
Object.defineProperty(newObj, key, desc);
|
|
110
|
-
} else {
|
|
111
|
-
newObj[key] = obj[key];
|
|
112
|
-
}
|
|
113
|
-
}
|
|
114
|
-
}
|
|
115
|
-
newObj.default = obj;
|
|
116
|
-
if (cache) {
|
|
117
|
-
cache.set(obj, newObj);
|
|
118
|
-
}
|
|
119
|
-
return newObj;
|
|
120
81
|
}
|
|
121
82
|
function _possible_constructor_return(self, call) {
|
|
122
83
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
@@ -131,13 +92,6 @@ function _set_prototype_of(o, p) {
|
|
|
131
92
|
};
|
|
132
93
|
return _set_prototype_of(o, p);
|
|
133
94
|
}
|
|
134
|
-
function _super_prop_base(object, property) {
|
|
135
|
-
while(!Object.prototype.hasOwnProperty.call(object, property)){
|
|
136
|
-
object = _get_prototype_of(object);
|
|
137
|
-
if (object === null) break;
|
|
138
|
-
}
|
|
139
|
-
return object;
|
|
140
|
-
}
|
|
141
95
|
function _type_of(obj) {
|
|
142
96
|
"@swc/helpers - typeof";
|
|
143
97
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
@@ -150,7 +104,7 @@ function _is_native_reflect_construct() {
|
|
|
150
104
|
return !!result;
|
|
151
105
|
})();
|
|
152
106
|
}
|
|
153
|
-
var termNodeQuery = (0, _query.nodeQuery)("/term!"), variableNodeQuery = (0, _query.nodeQuery)("/variable!"),
|
|
107
|
+
var termNodeQuery = (0, _query.nodeQuery)("/term!"), variableNodeQuery = (0, _query.nodeQuery)("/variable!"), metavariableNodeQuery = (0, _query.nodeQuery)("/metavariable!");
|
|
154
108
|
var MetaLevelVerifier = /*#__PURE__*/ function(Verifier) {
|
|
155
109
|
_inherits(MetaLevelVerifier, Verifier);
|
|
156
110
|
function MetaLevelVerifier() {
|
|
@@ -159,78 +113,44 @@ var MetaLevelVerifier = /*#__PURE__*/ function(Verifier) {
|
|
|
159
113
|
}
|
|
160
114
|
_create_class(MetaLevelVerifier, [
|
|
161
115
|
{
|
|
162
|
-
key: "
|
|
163
|
-
value: function
|
|
164
|
-
var
|
|
165
|
-
var nonTerminalNodeVerified
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
var termNode = node, termNodeVerified = _this.verifyTermNode(termNode, localContext, verifyAhead);
|
|
172
|
-
nonTerminalNodeVerified = termNodeVerified; ///
|
|
173
|
-
return nonTerminalNodeVerified;
|
|
174
|
-
}
|
|
175
|
-
},
|
|
176
|
-
{
|
|
177
|
-
nodeQuery: variableNodeQuery,
|
|
178
|
-
verify: function(node, localContext, verifyAhead) {
|
|
179
|
-
var nonTerminalNodeVerified;
|
|
180
|
-
var variableNode = node, variableNodeVerified = _this.verifyVariableNode(variableNode, localContext, verifyAhead);
|
|
181
|
-
nonTerminalNodeVerified = variableNodeVerified; ///
|
|
182
|
-
return nonTerminalNodeVerified;
|
|
183
|
-
}
|
|
184
|
-
},
|
|
185
|
-
{
|
|
186
|
-
nodeQuery: metavariableNodeQuery,
|
|
187
|
-
verify: function(node, localContext, verifyAhead) {
|
|
188
|
-
var nonTerminalNodeVerified;
|
|
189
|
-
var metavariableNode = node, metavariableNodeVerified = _this.verifyMetavariableNode(metavariableNode, localContext, verifyAhead);
|
|
190
|
-
nonTerminalNodeVerified = metavariableNodeVerified; ///
|
|
191
|
-
return nonTerminalNodeVerified;
|
|
192
|
-
}
|
|
193
|
-
},
|
|
194
|
-
{
|
|
195
|
-
nodeQuery: nonTerminalNodeQuery,
|
|
196
|
-
verify: function(node, localContext, verifyAhead) {
|
|
197
|
-
var nonTerminalNodeVerified;
|
|
198
|
-
var _$nonTerminalNode = node; ///
|
|
199
|
-
nonTerminalNodeVerified = _get(_get_prototype_of(MetaLevelVerifier.prototype), "verifyNonTerminalNode", _this).call(_this, _$nonTerminalNode, localContext, verifyAhead);
|
|
200
|
-
return nonTerminalNodeVerified;
|
|
201
|
-
}
|
|
202
|
-
}
|
|
203
|
-
];
|
|
204
|
-
var nodeVerified = (0, _verifier.verify)(nodeQueryMaps, nonTerminalNode, localContext, verifyAhead);
|
|
205
|
-
nonTerminalNodeVerified = nodeVerified; ///
|
|
206
|
-
return nonTerminalNodeVerified;
|
|
207
|
-
}
|
|
208
|
-
},
|
|
209
|
-
{
|
|
210
|
-
key: "verifyMetavariableNode",
|
|
211
|
-
value: function verifyMetavariableNode(metavariableNode, localContext, verifyAhead) {
|
|
212
|
-
var standaloneMetavariableVerified = (0, _metavariable.verifyStandaloneMetavariable)(metavariableNode, localContext, verifyAhead), metavariableNodeVerified = standaloneMetavariableVerified; ///
|
|
213
|
-
return metavariableNodeVerified;
|
|
214
|
-
}
|
|
215
|
-
},
|
|
216
|
-
{
|
|
217
|
-
key: "verifyVariableNode",
|
|
218
|
-
value: function verifyVariableNode(variableNode, localContext, verifyAhead) {
|
|
219
|
-
var standaloneVariableVerified = (0, _variable.verifyStandaloneVariable)(variableNode, localContext, verifyAhead), variableNodeVerified = standaloneVariableVerified; ///
|
|
220
|
-
return variableNodeVerified;
|
|
221
|
-
}
|
|
222
|
-
},
|
|
223
|
-
{
|
|
224
|
-
key: "verifyTermNode",
|
|
225
|
-
value: function verifyTermNode(termNode, localContext, verifyAhead) {
|
|
226
|
-
var standaloneTermVerified = (0, _term.verifyStandaloneTerm)(termNode, localContext, verifyAhead), termNodeVerified = standaloneTermVerified; ///
|
|
227
|
-
return termNodeVerified;
|
|
116
|
+
key: "verify",
|
|
117
|
+
value: function verify(node, localContext) {
|
|
118
|
+
var verified;
|
|
119
|
+
var nonTerminalNode = node, nonTerminalNodeVerified = this.verifyNonTerminalNode(nonTerminalNode, localContext, function() {
|
|
120
|
+
var verifiedAhead = true;
|
|
121
|
+
return verifiedAhead;
|
|
122
|
+
});
|
|
123
|
+
verified = nonTerminalNodeVerified; ///
|
|
124
|
+
return verified;
|
|
228
125
|
}
|
|
229
126
|
}
|
|
230
127
|
]);
|
|
231
128
|
return MetaLevelVerifier;
|
|
232
129
|
}(_verifier.default);
|
|
130
|
+
_define_property(MetaLevelVerifier, "maps", [
|
|
131
|
+
{
|
|
132
|
+
nodeQuery: metavariableNodeQuery,
|
|
133
|
+
verify: function(metavariableNode, localContext, verifyAhead) {
|
|
134
|
+
var standaloneMetavariableVerified = (0, _metavariable.verifyStandaloneMetavariable)(metavariableNode, localContext, verifyAhead), metavariableVerified = standaloneMetavariableVerified; ///
|
|
135
|
+
return metavariableVerified;
|
|
136
|
+
}
|
|
137
|
+
},
|
|
138
|
+
{
|
|
139
|
+
nodeQuery: variableNodeQuery,
|
|
140
|
+
verify: function(variableNode, localContext, verifyAhead) {
|
|
141
|
+
var standaloneVariableVerified = (0, _variable.verifyStandaloneVariable)(variableNode, localContext, verifyAhead), variableVerified = standaloneVariableVerified; ///
|
|
142
|
+
return variableVerified;
|
|
143
|
+
}
|
|
144
|
+
},
|
|
145
|
+
{
|
|
146
|
+
nodeQuery: termNodeQuery,
|
|
147
|
+
verify: function(termNode, localContext, verifyAhead) {
|
|
148
|
+
var standaloneTermVerified = (0, _term.verifyStandaloneTerm)(termNode, localContext, verifyAhead), termVerified = standaloneTermVerified; ///
|
|
149
|
+
return termVerified;
|
|
150
|
+
}
|
|
151
|
+
}
|
|
152
|
+
]);
|
|
233
153
|
var metaLevelVerifier = new MetaLevelVerifier();
|
|
234
154
|
var _default = metaLevelVerifier;
|
|
235
155
|
|
|
236
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
156
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9tZXRhTGV2ZWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBWZXJpZmllciBmcm9tIFwiLi4vdmVyaWZpZXJcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgdmVyaWZ5U3RhbmRhbG9uZVRlcm0gfSBmcm9tIFwiLi4vdmVyaWZ5L3Rlcm1cIjtcbmltcG9ydCB7IHZlcmlmeVN0YW5kYWxvbmVWYXJpYWJsZSB9IGZyb20gXCIuLi92ZXJpZnkvdmFyaWFibGVcIjtcbmltcG9ydCB7IHZlcmlmeVN0YW5kYWxvbmVNZXRhdmFyaWFibGUgfSBmcm9tIFwiLi4vdmVyaWZ5L21ldGF2YXJpYWJsZVwiO1xuXG5jb25zdCB0ZXJtTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Rlcm0hXCIpLFxuICAgICAgdmFyaWFibGVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdmFyaWFibGUhXCIpLFxuICAgICAgbWV0YXZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL21ldGF2YXJpYWJsZSFcIik7XG5cbmNsYXNzIE1ldGFMZXZlbFZlcmlmaWVyIGV4dGVuZHMgVmVyaWZpZXIge1xuICB2ZXJpZnkobm9kZSwgbG9jYWxDb250ZXh0KSB7XG4gICAgbGV0IHZlcmlmaWVkO1xuXG4gICAgY29uc3Qgbm9uVGVybWluYWxOb2RlID0gbm9kZSwgLy8vXG4gICAgICAgICAgbm9uVGVybWluYWxOb2RlVmVyaWZpZWQgPSB0aGlzLnZlcmlmeU5vblRlcm1pbmFsTm9kZShub25UZXJtaW5hbE5vZGUsIGxvY2FsQ29udGV4dCwgKCkgPT4ge1xuICAgICAgICAgICAgY29uc3QgdmVyaWZpZWRBaGVhZCA9IHRydWU7XG5cbiAgICAgICAgICAgIHJldHVybiB2ZXJpZmllZEFoZWFkO1xuICAgICAgICAgIH0pO1xuXG4gICAgdmVyaWZpZWQgPSBub25UZXJtaW5hbE5vZGVWZXJpZmllZDsgIC8vL1xuXG4gICAgcmV0dXJuIHZlcmlmaWVkO1xuICB9XG5cbiAgc3RhdGljIG1hcHMgPSBbXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiBtZXRhdmFyaWFibGVOb2RlUXVlcnksXG4gICAgICB2ZXJpZnk6IChtZXRhdmFyaWFibGVOb2RlLCBsb2NhbENvbnRleHQsIHZlcmlmeUFoZWFkKSA9PiB7XG4gICAgICAgIGNvbnN0IHN0YW5kYWxvbmVNZXRhdmFyaWFibGVWZXJpZmllZCA9IHZlcmlmeVN0YW5kYWxvbmVNZXRhdmFyaWFibGUobWV0YXZhcmlhYmxlTm9kZSwgbG9jYWxDb250ZXh0LCB2ZXJpZnlBaGVhZCksXG4gICAgICAgICAgICAgIG1ldGF2YXJpYWJsZVZlcmlmaWVkID0gc3RhbmRhbG9uZU1ldGF2YXJpYWJsZVZlcmlmaWVkOyAgLy8vXG5cbiAgICAgICAgcmV0dXJuIG1ldGF2YXJpYWJsZVZlcmlmaWVkO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB2YXJpYWJsZU5vZGVRdWVyeSxcbiAgICAgIHZlcmlmeTogKHZhcmlhYmxlTm9kZSwgbG9jYWxDb250ZXh0LCB2ZXJpZnlBaGVhZCkgPT4ge1xuICAgICAgICBjb25zdCBzdGFuZGFsb25lVmFyaWFibGVWZXJpZmllZCA9IHZlcmlmeVN0YW5kYWxvbmVWYXJpYWJsZSh2YXJpYWJsZU5vZGUsIGxvY2FsQ29udGV4dCwgdmVyaWZ5QWhlYWQpLFxuICAgICAgICAgICAgICB2YXJpYWJsZVZlcmlmaWVkID0gc3RhbmRhbG9uZVZhcmlhYmxlVmVyaWZpZWQ7ICAvLy9cblxuICAgICAgICByZXR1cm4gdmFyaWFibGVWZXJpZmllZDtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogdGVybU5vZGVRdWVyeSxcbiAgICAgIHZlcmlmeTogKHRlcm1Ob2RlLCBsb2NhbENvbnRleHQsIHZlcmlmeUFoZWFkKSA9PiB7XG4gICAgICAgIGNvbnN0IHN0YW5kYWxvbmVUZXJtVmVyaWZpZWQgPSB2ZXJpZnlTdGFuZGFsb25lVGVybSh0ZXJtTm9kZSwgbG9jYWxDb250ZXh0LCB2ZXJpZnlBaGVhZCksXG4gICAgICAgICAgICAgIHRlcm1WZXJpZmllZCA9IHN0YW5kYWxvbmVUZXJtVmVyaWZpZWQ7ICAvLy9cblxuICAgICAgICByZXR1cm4gdGVybVZlcmlmaWVkO1xuICAgICAgfVxuICAgIH1cbiAgXTtcbn1cblxuY29uc3QgbWV0YUxldmVsVmVyaWZpZXIgPSBuZXcgTWV0YUxldmVsVmVyaWZpZXIoKTtcblxuZXhwb3J0IGRlZmF1bHQgbWV0YUxldmVsVmVyaWZpZXI7XG4iXSwibmFtZXMiOlsidGVybU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInZhcmlhYmxlTm9kZVF1ZXJ5IiwibWV0YXZhcmlhYmxlTm9kZVF1ZXJ5IiwiTWV0YUxldmVsVmVyaWZpZXIiLCJ2ZXJpZnkiLCJub2RlIiwibG9jYWxDb250ZXh0IiwidmVyaWZpZWQiLCJub25UZXJtaW5hbE5vZGUiLCJub25UZXJtaW5hbE5vZGVWZXJpZmllZCIsInZlcmlmeU5vblRlcm1pbmFsTm9kZSIsInZlcmlmaWVkQWhlYWQiLCJWZXJpZmllciIsIm1hcHMiLCJtZXRhdmFyaWFibGVOb2RlIiwidmVyaWZ5QWhlYWQiLCJzdGFuZGFsb25lTWV0YXZhcmlhYmxlVmVyaWZpZWQiLCJ2ZXJpZnlTdGFuZGFsb25lTWV0YXZhcmlhYmxlIiwibWV0YXZhcmlhYmxlVmVyaWZpZWQiLCJ2YXJpYWJsZU5vZGUiLCJzdGFuZGFsb25lVmFyaWFibGVWZXJpZmllZCIsInZlcmlmeVN0YW5kYWxvbmVWYXJpYWJsZSIsInZhcmlhYmxlVmVyaWZpZWQiLCJ0ZXJtTm9kZSIsInN0YW5kYWxvbmVUZXJtVmVyaWZpZWQiLCJ2ZXJpZnlTdGFuZGFsb25lVGVybSIsInRlcm1WZXJpZmllZCIsIm1ldGFMZXZlbFZlcmlmaWVyIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkE4REE7OztlQUFBOzs7K0RBNURxQjtxQkFFSztvQkFDVzt3QkFDSTs0QkFDSTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFN0MsSUFBTUEsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLFdBQzFCQyxvQkFBb0JELElBQUFBLGdCQUFTLEVBQUMsZUFDOUJFLHdCQUF3QkYsSUFBQUEsZ0JBQVMsRUFBQztBQUV4QyxJQUFBLEFBQU1HLGtDQUFELEFBQUw7Y0FBTUE7YUFBQUE7Z0NBQUFBO2lDQUFBQTs7a0JBQUFBOztZQUNKQyxLQUFBQTttQkFBQUEsU0FBQUEsT0FBT0MsSUFBSSxFQUFFQyxZQUFZO2dCQUN2QixJQUFJQztnQkFFSixJQUFNQyxrQkFBa0JILE1BQ2xCSSwwQkFBMEIsSUFBSSxDQUFDQyxxQkFBcUIsQ0FBQ0YsaUJBQWlCRixjQUFjO29CQUNsRixJQUFNSyxnQkFBZ0I7b0JBRXRCLE9BQU9BO2dCQUNUO2dCQUVOSixXQUFXRSx5QkFBMEIsR0FBRztnQkFFeEMsT0FBT0Y7WUFDVDs7O1dBZElKO0VBQTBCUyxpQkFBUTtBQWdCdEMsaUJBaEJJVCxtQkFnQkdVLFFBQU87SUFDWjtRQUNFYixXQUFXRTtRQUNYRSxRQUFRLFNBQUNVLGtCQUFrQlIsY0FBY1M7WUFDdkMsSUFBTUMsaUNBQWlDQyxJQUFBQSwwQ0FBNEIsRUFBQ0gsa0JBQWtCUixjQUFjUyxjQUM5RkcsdUJBQXVCRixnQ0FBaUMsR0FBRztZQUVqRSxPQUFPRTtRQUNUO0lBQ0Y7SUFDQTtRQUNFbEIsV0FBV0M7UUFDWEcsUUFBUSxTQUFDZSxjQUFjYixjQUFjUztZQUNuQyxJQUFNSyw2QkFBNkJDLElBQUFBLGtDQUF3QixFQUFDRixjQUFjYixjQUFjUyxjQUNsRk8sbUJBQW1CRiw0QkFBNkIsR0FBRztZQUV6RCxPQUFPRTtRQUNUO0lBQ0Y7SUFDQTtRQUNFdEIsV0FBV0Q7UUFDWEssUUFBUSxTQUFDbUIsVUFBVWpCLGNBQWNTO1lBQy9CLElBQU1TLHlCQUF5QkMsSUFBQUEsMEJBQW9CLEVBQUNGLFVBQVVqQixjQUFjUyxjQUN0RVcsZUFBZUYsd0JBQXlCLEdBQUc7WUFFakQsT0FBT0U7UUFDVDtJQUNGO0NBQ0Q7QUFHSCxJQUFNQyxvQkFBb0IsSUFBSXhCO0lBRTlCLFdBQWV3QiJ9
|
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var _verifier = /*#__PURE__*/
|
|
11
|
+
var _verifier = /*#__PURE__*/ _interop_require_default(require("../verifier"));
|
|
12
12
|
var _query = require("../utilities/query");
|
|
13
13
|
var _type = require("../verify/type");
|
|
14
14
|
var _term = require("../verify/term");
|
|
@@ -42,21 +42,18 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
42
42
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
43
43
|
return Constructor;
|
|
44
44
|
}
|
|
45
|
-
function
|
|
46
|
-
if (
|
|
47
|
-
|
|
45
|
+
function _define_property(obj, key, value) {
|
|
46
|
+
if (key in obj) {
|
|
47
|
+
Object.defineProperty(obj, key, {
|
|
48
|
+
value: value,
|
|
49
|
+
enumerable: true,
|
|
50
|
+
configurable: true,
|
|
51
|
+
writable: true
|
|
52
|
+
});
|
|
48
53
|
} else {
|
|
49
|
-
|
|
50
|
-
var base = _super_prop_base(target, property);
|
|
51
|
-
if (!base) return;
|
|
52
|
-
var desc = Object.getOwnPropertyDescriptor(base, property);
|
|
53
|
-
if (desc.get) {
|
|
54
|
-
return desc.get.call(receiver || target);
|
|
55
|
-
}
|
|
56
|
-
return desc.value;
|
|
57
|
-
};
|
|
54
|
+
obj[key] = value;
|
|
58
55
|
}
|
|
59
|
-
return
|
|
56
|
+
return obj;
|
|
60
57
|
}
|
|
61
58
|
function _get_prototype_of(o) {
|
|
62
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
@@ -77,46 +74,10 @@ function _inherits(subClass, superClass) {
|
|
|
77
74
|
});
|
|
78
75
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
79
76
|
}
|
|
80
|
-
function
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
var cacheNodeInterop = new WeakMap();
|
|
84
|
-
return (_getRequireWildcardCache = function(nodeInterop) {
|
|
85
|
-
return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
|
|
86
|
-
})(nodeInterop);
|
|
87
|
-
}
|
|
88
|
-
function _interop_require_wildcard(obj, nodeInterop) {
|
|
89
|
-
if (!nodeInterop && obj && obj.__esModule) {
|
|
90
|
-
return obj;
|
|
91
|
-
}
|
|
92
|
-
if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
|
|
93
|
-
return {
|
|
94
|
-
default: obj
|
|
95
|
-
};
|
|
96
|
-
}
|
|
97
|
-
var cache = _getRequireWildcardCache(nodeInterop);
|
|
98
|
-
if (cache && cache.has(obj)) {
|
|
99
|
-
return cache.get(obj);
|
|
100
|
-
}
|
|
101
|
-
var newObj = {
|
|
102
|
-
__proto__: null
|
|
77
|
+
function _interop_require_default(obj) {
|
|
78
|
+
return obj && obj.__esModule ? obj : {
|
|
79
|
+
default: obj
|
|
103
80
|
};
|
|
104
|
-
var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
|
|
105
|
-
for(var key in obj){
|
|
106
|
-
if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
|
|
107
|
-
var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
|
|
108
|
-
if (desc && (desc.get || desc.set)) {
|
|
109
|
-
Object.defineProperty(newObj, key, desc);
|
|
110
|
-
} else {
|
|
111
|
-
newObj[key] = obj[key];
|
|
112
|
-
}
|
|
113
|
-
}
|
|
114
|
-
}
|
|
115
|
-
newObj.default = obj;
|
|
116
|
-
if (cache) {
|
|
117
|
-
cache.set(obj, newObj);
|
|
118
|
-
}
|
|
119
|
-
return newObj;
|
|
120
81
|
}
|
|
121
82
|
function _possible_constructor_return(self, call) {
|
|
122
83
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
@@ -131,13 +92,6 @@ function _set_prototype_of(o, p) {
|
|
|
131
92
|
};
|
|
132
93
|
return _set_prototype_of(o, p);
|
|
133
94
|
}
|
|
134
|
-
function _super_prop_base(object, property) {
|
|
135
|
-
while(!Object.prototype.hasOwnProperty.call(object, property)){
|
|
136
|
-
object = _get_prototype_of(object);
|
|
137
|
-
if (object === null) break;
|
|
138
|
-
}
|
|
139
|
-
return object;
|
|
140
|
-
}
|
|
141
95
|
function _type_of(obj) {
|
|
142
96
|
"@swc/helpers - typeof";
|
|
143
97
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
@@ -150,7 +104,7 @@ function _is_native_reflect_construct() {
|
|
|
150
104
|
return !!result;
|
|
151
105
|
})();
|
|
152
106
|
}
|
|
153
|
-
var termNodeQuery = (0, _query.nodeQuery)("/term!"), typeNodeQuery = (0, _query.nodeQuery)("/type!"), statementNodeQuery = (0, _query.nodeQuery)("/statement!")
|
|
107
|
+
var termNodeQuery = (0, _query.nodeQuery)("/term!"), typeNodeQuery = (0, _query.nodeQuery)("/type!"), statementNodeQuery = (0, _query.nodeQuery)("/statement!");
|
|
154
108
|
var StatementAsCombinatorVerifier = /*#__PURE__*/ function(Verifier) {
|
|
155
109
|
_inherits(StatementAsCombinatorVerifier, Verifier);
|
|
156
110
|
function StatementAsCombinatorVerifier() {
|
|
@@ -159,78 +113,44 @@ var StatementAsCombinatorVerifier = /*#__PURE__*/ function(Verifier) {
|
|
|
159
113
|
}
|
|
160
114
|
_create_class(StatementAsCombinatorVerifier, [
|
|
161
115
|
{
|
|
162
|
-
key: "
|
|
163
|
-
value: function
|
|
164
|
-
var
|
|
165
|
-
var
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
|
|
171
|
-
var termNode = node, termNodeVerified = _this.verifyTermNode(termNode, localContext, verifyAhead);
|
|
172
|
-
nonTerminalNodeVerified = termNodeVerified; ///
|
|
173
|
-
return nonTerminalNodeVerified;
|
|
174
|
-
}
|
|
175
|
-
},
|
|
176
|
-
{
|
|
177
|
-
nodeQuery: typeNodeQuery,
|
|
178
|
-
verify: function(node, localContext, verifyAhead) {
|
|
179
|
-
var nonTerminalNodeVerified;
|
|
180
|
-
var typeNode = node, typeNodeVerified = _this.verifyTypeNode(typeNode, localContext, verifyAhead);
|
|
181
|
-
nonTerminalNodeVerified = typeNodeVerified; ///
|
|
182
|
-
return nonTerminalNodeVerified;
|
|
183
|
-
}
|
|
184
|
-
},
|
|
185
|
-
{
|
|
186
|
-
nodeQuery: statementNodeQuery,
|
|
187
|
-
verify: function(node, localContext, verifyAhead) {
|
|
188
|
-
var nonTerminalNodeVerified;
|
|
189
|
-
var statementNode = node, statementNodeVerified = _this.verifyStatementNode(statementNode, localContext, verifyAhead);
|
|
190
|
-
nonTerminalNodeVerified = statementNodeVerified; ///
|
|
191
|
-
return nonTerminalNodeVerified;
|
|
192
|
-
}
|
|
193
|
-
},
|
|
194
|
-
{
|
|
195
|
-
nodeQuery: nonTerminalNodeQuery,
|
|
196
|
-
verify: function(node, localContext, verifyAhead) {
|
|
197
|
-
var nonTerminalNodeVerified;
|
|
198
|
-
var _$nonTerminalNode = node; ///
|
|
199
|
-
nonTerminalNodeVerified = _get(_get_prototype_of(StatementAsCombinatorVerifier.prototype), "verifyNonTerminalNode", _this).call(_this, _$nonTerminalNode, localContext, verifyAhead);
|
|
200
|
-
return nonTerminalNodeVerified;
|
|
201
|
-
}
|
|
202
|
-
}
|
|
203
|
-
];
|
|
204
|
-
var nodeVerified = (0, _verifier.verify)(nodeQueryMaps, nonTerminalNode, localContext, verifyAhead);
|
|
205
|
-
nonTerminalNodeVerified = nodeVerified; ///
|
|
206
|
-
return nonTerminalNodeVerified;
|
|
207
|
-
}
|
|
208
|
-
},
|
|
209
|
-
{
|
|
210
|
-
key: "verifyStatementNode",
|
|
211
|
-
value: function verifyStatementNode(statementNode, localContext, verifyAhead) {
|
|
212
|
-
var standaloneStatementVerified = (0, _statement.verifyStandaloneStatement)(statementNode, localContext, verifyAhead), statementNodeVerified = standaloneStatementVerified; ///
|
|
213
|
-
return statementNodeVerified;
|
|
214
|
-
}
|
|
215
|
-
},
|
|
216
|
-
{
|
|
217
|
-
key: "verifyTermNode",
|
|
218
|
-
value: function verifyTermNode(termNode, localContext, verifyAhead) {
|
|
219
|
-
var standaloneTermVerified = (0, _term.verifyStandaloneTerm)(termNode, localContext, verifyAhead), termNodeVerified = standaloneTermVerified; ///
|
|
220
|
-
return termNodeVerified;
|
|
221
|
-
}
|
|
222
|
-
},
|
|
223
|
-
{
|
|
224
|
-
key: "verifyTypeNode",
|
|
225
|
-
value: function verifyTypeNode(typeNode, localContext, verifyAhead) {
|
|
226
|
-
var standaloneTypeVerified = (0, _type.verifyStandaloneType)(typeNode, localContext, verifyAhead), typeNodeVerified = standaloneTypeVerified; ///
|
|
227
|
-
return typeNodeVerified;
|
|
116
|
+
key: "verify",
|
|
117
|
+
value: function verify(statementNode, fileContext) {
|
|
118
|
+
var statementVerifiedAsCombinator;
|
|
119
|
+
var nonTerminalNode = statementNode, childNodes = nonTerminalNode.getChildNodes(), childNodesVerified = this.verifyChildNodes(childNodes, fileContext, function() {
|
|
120
|
+
var verifiedAhead = true;
|
|
121
|
+
return verifiedAhead;
|
|
122
|
+
});
|
|
123
|
+
statementVerifiedAsCombinator = childNodesVerified; ///
|
|
124
|
+
return statementVerifiedAsCombinator;
|
|
228
125
|
}
|
|
229
126
|
}
|
|
230
127
|
]);
|
|
231
128
|
return StatementAsCombinatorVerifier;
|
|
232
129
|
}(_verifier.default);
|
|
130
|
+
_define_property(StatementAsCombinatorVerifier, "maps", [
|
|
131
|
+
{
|
|
132
|
+
nodeQuery: termNodeQuery,
|
|
133
|
+
verify: function(termNode, localContext, verifyAhead) {
|
|
134
|
+
var standaloneTermVerified = (0, _term.verifyStandaloneTerm)(termNode, localContext, verifyAhead), termVerified = standaloneTermVerified; ///
|
|
135
|
+
return termVerified;
|
|
136
|
+
}
|
|
137
|
+
},
|
|
138
|
+
{
|
|
139
|
+
nodeQuery: typeNodeQuery,
|
|
140
|
+
verify: function(typeNode, localContext, verifyAhead) {
|
|
141
|
+
var standaloneTypeVerified = (0, _type.verifyStandaloneType)(typeNode, localContext, verifyAhead), typeVerified = standaloneTypeVerified; ///
|
|
142
|
+
return typeVerified;
|
|
143
|
+
}
|
|
144
|
+
},
|
|
145
|
+
{
|
|
146
|
+
nodeQuery: statementNodeQuery,
|
|
147
|
+
verify: function(statementNode, localContext, verifyAhead) {
|
|
148
|
+
var standaloneStatementVerified = (0, _statement.verifyStandaloneStatement)(statementNode, localContext, verifyAhead), statementVerified = standaloneStatementVerified; ///
|
|
149
|
+
return statementVerified;
|
|
150
|
+
}
|
|
151
|
+
}
|
|
152
|
+
]);
|
|
233
153
|
var statementAsCombinatorVerifier = new StatementAsCombinatorVerifier();
|
|
234
154
|
var _default = statementAsCombinatorVerifier;
|
|
235
155
|
|
|
236
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
156
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9zdGF0ZW1lbnRBc0NvbWJpbmF0b3IuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBWZXJpZmllciBmcm9tIFwiLi4vdmVyaWZpZXJcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgdmVyaWZ5U3RhbmRhbG9uZVR5cGUgfSBmcm9tIFwiLi4vdmVyaWZ5L3R5cGVcIjtcbmltcG9ydCB7IHZlcmlmeVN0YW5kYWxvbmVUZXJtIH0gZnJvbSBcIi4uL3ZlcmlmeS90ZXJtXCI7XG5pbXBvcnQgeyB2ZXJpZnlTdGFuZGFsb25lU3RhdGVtZW50IH0gZnJvbSBcIi4uL3ZlcmlmeS9zdGF0ZW1lbnRcIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90ZXJtIVwiKSxcbiAgICAgIHR5cGVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdHlwZSFcIiksXG4gICAgICBzdGF0ZW1lbnROb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc3RhdGVtZW50IVwiKTtcblxuY2xhc3MgU3RhdGVtZW50QXNDb21iaW5hdG9yVmVyaWZpZXIgZXh0ZW5kcyBWZXJpZmllciB7XG4gIHZlcmlmeShzdGF0ZW1lbnROb2RlLCBmaWxlQ29udGV4dCkge1xuICAgIGxldCBzdGF0ZW1lbnRWZXJpZmllZEFzQ29tYmluYXRvcjtcblxuICAgIGNvbnN0IG5vblRlcm1pbmFsTm9kZSA9IHN0YXRlbWVudE5vZGUsIC8vL1xuICAgICAgICAgIGNoaWxkTm9kZXMgPSBub25UZXJtaW5hbE5vZGUuZ2V0Q2hpbGROb2RlcygpLFxuICAgICAgICAgIGNoaWxkTm9kZXNWZXJpZmllZCA9IHRoaXMudmVyaWZ5Q2hpbGROb2RlcyhjaGlsZE5vZGVzLCBmaWxlQ29udGV4dCwgKCkgPT4ge1xuICAgICAgICAgICAgY29uc3QgdmVyaWZpZWRBaGVhZCA9IHRydWU7XG5cbiAgICAgICAgICAgIHJldHVybiB2ZXJpZmllZEFoZWFkO1xuICAgICAgICAgIH0pO1xuXG4gICAgc3RhdGVtZW50VmVyaWZpZWRBc0NvbWJpbmF0b3IgPSBjaGlsZE5vZGVzVmVyaWZpZWQ7ICAvLy9cblxuICAgIHJldHVybiBzdGF0ZW1lbnRWZXJpZmllZEFzQ29tYmluYXRvcjtcbiAgfVxuXG4gIHN0YXRpYyBtYXBzID0gW1xuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogdGVybU5vZGVRdWVyeSxcbiAgICAgIHZlcmlmeTogKHRlcm1Ob2RlLCBsb2NhbENvbnRleHQsIHZlcmlmeUFoZWFkKSA9PiB7XG4gICAgICAgIGNvbnN0IHN0YW5kYWxvbmVUZXJtVmVyaWZpZWQgPSB2ZXJpZnlTdGFuZGFsb25lVGVybSh0ZXJtTm9kZSwgbG9jYWxDb250ZXh0LCB2ZXJpZnlBaGVhZCksXG4gICAgICAgICAgICAgIHRlcm1WZXJpZmllZCA9IHN0YW5kYWxvbmVUZXJtVmVyaWZpZWQ7ICAvLy9cblxuICAgICAgICByZXR1cm4gdGVybVZlcmlmaWVkO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB0eXBlTm9kZVF1ZXJ5LFxuICAgICAgdmVyaWZ5OiAodHlwZU5vZGUsIGxvY2FsQ29udGV4dCwgdmVyaWZ5QWhlYWQpID0+IHtcbiAgICAgICAgY29uc3Qgc3RhbmRhbG9uZVR5cGVWZXJpZmllZCA9IHZlcmlmeVN0YW5kYWxvbmVUeXBlKHR5cGVOb2RlLCBsb2NhbENvbnRleHQsIHZlcmlmeUFoZWFkKSxcbiAgICAgICAgICAgICAgdHlwZVZlcmlmaWVkID0gc3RhbmRhbG9uZVR5cGVWZXJpZmllZDsgIC8vL1xuXG4gICAgICAgIHJldHVybiB0eXBlVmVyaWZpZWQ7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IHN0YXRlbWVudE5vZGVRdWVyeSxcbiAgICAgIHZlcmlmeTogKHN0YXRlbWVudE5vZGUsIGxvY2FsQ29udGV4dCwgdmVyaWZ5QWhlYWQpID0+IHtcbiAgICAgICAgY29uc3Qgc3RhbmRhbG9uZVN0YXRlbWVudFZlcmlmaWVkID0gdmVyaWZ5U3RhbmRhbG9uZVN0YXRlbWVudChzdGF0ZW1lbnROb2RlLCBsb2NhbENvbnRleHQsIHZlcmlmeUFoZWFkKSxcbiAgICAgICAgICAgICAgc3RhdGVtZW50VmVyaWZpZWQgPSBzdGFuZGFsb25lU3RhdGVtZW50VmVyaWZpZWQ7ICAvLy9cblxuICAgICAgICByZXR1cm4gc3RhdGVtZW50VmVyaWZpZWQ7XG4gICAgICB9XG4gICAgfVxuICBdO1xufVxuXG5jb25zdCBzdGF0ZW1lbnRBc0NvbWJpbmF0b3JWZXJpZmllciA9IG5ldyBTdGF0ZW1lbnRBc0NvbWJpbmF0b3JWZXJpZmllcigpO1xuXG5leHBvcnQgZGVmYXVsdCBzdGF0ZW1lbnRBc0NvbWJpbmF0b3JWZXJpZmllcjtcbiJdLCJuYW1lcyI6WyJ0ZXJtTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwidHlwZU5vZGVRdWVyeSIsInN0YXRlbWVudE5vZGVRdWVyeSIsIlN0YXRlbWVudEFzQ29tYmluYXRvclZlcmlmaWVyIiwidmVyaWZ5Iiwic3RhdGVtZW50Tm9kZSIsImZpbGVDb250ZXh0Iiwic3RhdGVtZW50VmVyaWZpZWRBc0NvbWJpbmF0b3IiLCJub25UZXJtaW5hbE5vZGUiLCJjaGlsZE5vZGVzIiwiZ2V0Q2hpbGROb2RlcyIsImNoaWxkTm9kZXNWZXJpZmllZCIsInZlcmlmeUNoaWxkTm9kZXMiLCJ2ZXJpZmllZEFoZWFkIiwiVmVyaWZpZXIiLCJtYXBzIiwidGVybU5vZGUiLCJsb2NhbENvbnRleHQiLCJ2ZXJpZnlBaGVhZCIsInN0YW5kYWxvbmVUZXJtVmVyaWZpZWQiLCJ2ZXJpZnlTdGFuZGFsb25lVGVybSIsInRlcm1WZXJpZmllZCIsInR5cGVOb2RlIiwic3RhbmRhbG9uZVR5cGVWZXJpZmllZCIsInZlcmlmeVN0YW5kYWxvbmVUeXBlIiwidHlwZVZlcmlmaWVkIiwic3RhbmRhbG9uZVN0YXRlbWVudFZlcmlmaWVkIiwidmVyaWZ5U3RhbmRhbG9uZVN0YXRlbWVudCIsInN0YXRlbWVudFZlcmlmaWVkIiwic3RhdGVtZW50QXNDb21iaW5hdG9yVmVyaWZpZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQStEQTs7O2VBQUE7OzsrREE3RHFCO3FCQUVLO29CQUNXO29CQUNBO3lCQUNLOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUxQyxJQUFNQSxnQkFBZ0JDLElBQUFBLGdCQUFTLEVBQUMsV0FDMUJDLGdCQUFnQkQsSUFBQUEsZ0JBQVMsRUFBQyxXQUMxQkUscUJBQXFCRixJQUFBQSxnQkFBUyxFQUFDO0FBRXJDLElBQUEsQUFBTUcsOENBQUQsQUFBTDtjQUFNQTthQUFBQTtnQ0FBQUE7aUNBQUFBOztrQkFBQUE7O1lBQ0pDLEtBQUFBO21CQUFBQSxTQUFBQSxPQUFPQyxhQUFhLEVBQUVDLFdBQVc7Z0JBQy9CLElBQUlDO2dCQUVKLElBQU1DLGtCQUFrQkgsZUFDbEJJLGFBQWFELGdCQUFnQkUsYUFBYSxJQUMxQ0MscUJBQXFCLElBQUksQ0FBQ0MsZ0JBQWdCLENBQUNILFlBQVlILGFBQWE7b0JBQ2xFLElBQU1PLGdCQUFnQjtvQkFFdEIsT0FBT0E7Z0JBQ1Q7Z0JBRU5OLGdDQUFnQ0ksb0JBQXFCLEdBQUc7Z0JBRXhELE9BQU9KO1lBQ1Q7OztXQWZJSjtFQUFzQ1csaUJBQVE7QUFpQmxELGlCQWpCSVgsK0JBaUJHWSxRQUFPO0lBQ1o7UUFDRWYsV0FBV0Q7UUFDWEssUUFBUSxTQUFDWSxVQUFVQyxjQUFjQztZQUMvQixJQUFNQyx5QkFBeUJDLElBQUFBLDBCQUFvQixFQUFDSixVQUFVQyxjQUFjQyxjQUN0RUcsZUFBZUYsd0JBQXlCLEdBQUc7WUFFakQsT0FBT0U7UUFDVDtJQUNGO0lBQ0E7UUFDRXJCLFdBQVdDO1FBQ1hHLFFBQVEsU0FBQ2tCLFVBQVVMLGNBQWNDO1lBQy9CLElBQU1LLHlCQUF5QkMsSUFBQUEsMEJBQW9CLEVBQUNGLFVBQVVMLGNBQWNDLGNBQ3RFTyxlQUFlRix3QkFBeUIsR0FBRztZQUVqRCxPQUFPRTtRQUNUO0lBQ0Y7SUFDQTtRQUNFekIsV0FBV0U7UUFDWEUsUUFBUSxTQUFDQyxlQUFlWSxjQUFjQztZQUNwQyxJQUFNUSw4QkFBOEJDLElBQUFBLG9DQUF5QixFQUFDdEIsZUFBZVksY0FBY0MsY0FDckZVLG9CQUFvQkYsNkJBQThCLEdBQUc7WUFFM0QsT0FBT0U7UUFDVDtJQUNGO0NBQ0Q7QUFHSCxJQUFNQyxnQ0FBZ0MsSUFBSTFCO0lBRTFDLFdBQWUwQiJ9
|