occam-verify-cli 0.0.935 → 0.0.937
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 +3 -6
- package/lib/consequent.js +3 -6
- package/lib/context/local.js +1 -1
- package/lib/equality.js +2 -5
- package/lib/premise.js +5 -11
- package/lib/proofStep.js +3 -6
- package/lib/substitution/statementForMetavariable.js +3 -6
- package/lib/supposition.js +5 -11
- 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/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 +2 -5
- package/lib/verify/assertion/defined.js +2 -5
- package/lib/verify/statement/qualified.js +2 -2
- package/lib/verify/statement.js +23 -13
- package/lib/verify/statementAsCombinator.js +4 -8
- package/lib/verify/term.js +5 -5
- package/lib/verify/termAsConstructor.js +30 -23
- package/package.json +4 -4
- package/src/conclusion.js +5 -9
- package/src/consequent.js +5 -9
- package/src/context/local.js +7 -7
- package/src/equality.js +2 -8
- package/src/premise.js +10 -18
- package/src/proofStep.js +5 -9
- package/src/substitution/statementForMetavariable.js +4 -8
- package/src/supposition.js +10 -18
- 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/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 +1 -5
- package/src/verify/assertion/defined.js +1 -5
- package/src/verify/statement/qualified.js +2 -2
- package/src/verify/statement.js +31 -19
- 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
|
@@ -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
|
|
@@ -8,7 +8,8 @@ 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
|
+
var _local = /*#__PURE__*/ _interop_require_default(require("../context/local"));
|
|
12
13
|
var _query = require("../utilities/query");
|
|
13
14
|
var _type = require("../verify/type");
|
|
14
15
|
var _term = require("../verify/term");
|
|
@@ -41,21 +42,18 @@ function _create_class(Constructor, protoProps, staticProps) {
|
|
|
41
42
|
if (staticProps) _defineProperties(Constructor, staticProps);
|
|
42
43
|
return Constructor;
|
|
43
44
|
}
|
|
44
|
-
function
|
|
45
|
-
if (
|
|
46
|
-
|
|
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
|
+
});
|
|
47
53
|
} else {
|
|
48
|
-
|
|
49
|
-
var base = _super_prop_base(target, property);
|
|
50
|
-
if (!base) return;
|
|
51
|
-
var desc = Object.getOwnPropertyDescriptor(base, property);
|
|
52
|
-
if (desc.get) {
|
|
53
|
-
return desc.get.call(receiver || target);
|
|
54
|
-
}
|
|
55
|
-
return desc.value;
|
|
56
|
-
};
|
|
54
|
+
obj[key] = value;
|
|
57
55
|
}
|
|
58
|
-
return
|
|
56
|
+
return obj;
|
|
59
57
|
}
|
|
60
58
|
function _get_prototype_of(o) {
|
|
61
59
|
_get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
|
|
@@ -76,46 +74,10 @@ function _inherits(subClass, superClass) {
|
|
|
76
74
|
});
|
|
77
75
|
if (superClass) _set_prototype_of(subClass, superClass);
|
|
78
76
|
}
|
|
79
|
-
function
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
var cacheNodeInterop = new WeakMap();
|
|
83
|
-
return (_getRequireWildcardCache = function(nodeInterop) {
|
|
84
|
-
return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
|
|
85
|
-
})(nodeInterop);
|
|
86
|
-
}
|
|
87
|
-
function _interop_require_wildcard(obj, nodeInterop) {
|
|
88
|
-
if (!nodeInterop && obj && obj.__esModule) {
|
|
89
|
-
return obj;
|
|
90
|
-
}
|
|
91
|
-
if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
|
|
92
|
-
return {
|
|
93
|
-
default: obj
|
|
94
|
-
};
|
|
95
|
-
}
|
|
96
|
-
var cache = _getRequireWildcardCache(nodeInterop);
|
|
97
|
-
if (cache && cache.has(obj)) {
|
|
98
|
-
return cache.get(obj);
|
|
99
|
-
}
|
|
100
|
-
var newObj = {
|
|
101
|
-
__proto__: null
|
|
77
|
+
function _interop_require_default(obj) {
|
|
78
|
+
return obj && obj.__esModule ? obj : {
|
|
79
|
+
default: obj
|
|
102
80
|
};
|
|
103
|
-
var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
|
|
104
|
-
for(var key in obj){
|
|
105
|
-
if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
|
|
106
|
-
var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
|
|
107
|
-
if (desc && (desc.get || desc.set)) {
|
|
108
|
-
Object.defineProperty(newObj, key, desc);
|
|
109
|
-
} else {
|
|
110
|
-
newObj[key] = obj[key];
|
|
111
|
-
}
|
|
112
|
-
}
|
|
113
|
-
}
|
|
114
|
-
newObj.default = obj;
|
|
115
|
-
if (cache) {
|
|
116
|
-
cache.set(obj, newObj);
|
|
117
|
-
}
|
|
118
|
-
return newObj;
|
|
119
81
|
}
|
|
120
82
|
function _possible_constructor_return(self, call) {
|
|
121
83
|
if (call && (_type_of(call) === "object" || typeof call === "function")) {
|
|
@@ -130,13 +92,6 @@ function _set_prototype_of(o, p) {
|
|
|
130
92
|
};
|
|
131
93
|
return _set_prototype_of(o, p);
|
|
132
94
|
}
|
|
133
|
-
function _super_prop_base(object, property) {
|
|
134
|
-
while(!Object.prototype.hasOwnProperty.call(object, property)){
|
|
135
|
-
object = _get_prototype_of(object);
|
|
136
|
-
if (object === null) break;
|
|
137
|
-
}
|
|
138
|
-
return object;
|
|
139
|
-
}
|
|
140
95
|
function _type_of(obj) {
|
|
141
96
|
"@swc/helpers - typeof";
|
|
142
97
|
return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
|
|
@@ -149,7 +104,7 @@ function _is_native_reflect_construct() {
|
|
|
149
104
|
return !!result;
|
|
150
105
|
})();
|
|
151
106
|
}
|
|
152
|
-
var termNodeQuery = (0, _query.nodeQuery)("/term!"), typeNodeQuery = (0, _query.nodeQuery)("/type!")
|
|
107
|
+
var termNodeQuery = (0, _query.nodeQuery)("/term!"), typeNodeQuery = (0, _query.nodeQuery)("/type!");
|
|
153
108
|
var TermAsConstructorVerifier = /*#__PURE__*/ function(Verifier) {
|
|
154
109
|
_inherits(TermAsConstructorVerifier, Verifier);
|
|
155
110
|
function TermAsConstructorVerifier() {
|
|
@@ -158,62 +113,37 @@ var TermAsConstructorVerifier = /*#__PURE__*/ function(Verifier) {
|
|
|
158
113
|
}
|
|
159
114
|
_create_class(TermAsConstructorVerifier, [
|
|
160
115
|
{
|
|
161
|
-
key: "
|
|
162
|
-
value: function
|
|
163
|
-
var
|
|
164
|
-
var
|
|
165
|
-
|
|
166
|
-
|
|
167
|
-
|
|
168
|
-
|
|
169
|
-
|
|
170
|
-
var termNode = node, termNodeVerified = _this.verifyTermNode(termNode, localContext, verifyAhead);
|
|
171
|
-
nonTerminalNodeVerified = termNodeVerified; ///
|
|
172
|
-
return nonTerminalNodeVerified;
|
|
173
|
-
}
|
|
174
|
-
},
|
|
175
|
-
{
|
|
176
|
-
nodeQuery: typeNodeQuery,
|
|
177
|
-
verify: function(node, localContext, verifyAhead) {
|
|
178
|
-
var nonTerminalNodeVerified;
|
|
179
|
-
var typeNode = node, typeNodeVerified = _this.verifyTypeNode(typeNode, localContext, verifyAhead);
|
|
180
|
-
nonTerminalNodeVerified = typeNodeVerified; ///
|
|
181
|
-
return nonTerminalNodeVerified;
|
|
182
|
-
}
|
|
183
|
-
},
|
|
184
|
-
{
|
|
185
|
-
nodeQuery: nonTerminalNodeQuery,
|
|
186
|
-
verify: function(node, localContext, verifyAhead) {
|
|
187
|
-
var nonTerminalNodeVerified;
|
|
188
|
-
var _$nonTerminalNode = node; ///
|
|
189
|
-
nonTerminalNodeVerified = _get(_get_prototype_of(TermAsConstructorVerifier.prototype), "verifyNonTerminalNode", _this).call(_this, _$nonTerminalNode, localContext, verifyAhead);
|
|
190
|
-
return nonTerminalNodeVerified;
|
|
191
|
-
}
|
|
192
|
-
}
|
|
193
|
-
];
|
|
194
|
-
var nodeVerified = (0, _verifier.verify)(nodeQueryMaps, nonTerminalNode, localContext, verifyAhead);
|
|
195
|
-
nonTerminalNodeVerified = nodeVerified; ///
|
|
196
|
-
return nonTerminalNodeVerified;
|
|
197
|
-
}
|
|
198
|
-
},
|
|
199
|
-
{
|
|
200
|
-
key: "verifyTermNode",
|
|
201
|
-
value: function verifyTermNode(termNode, localContext, verifyAhead) {
|
|
202
|
-
var standaloneTermVerified = (0, _term.verifyStandaloneTerm)(termNode, localContext, verifyAhead), termNodeVerified = standaloneTermVerified; ///
|
|
203
|
-
return termNodeVerified;
|
|
204
|
-
}
|
|
205
|
-
},
|
|
206
|
-
{
|
|
207
|
-
key: "verifyTypeNode",
|
|
208
|
-
value: function verifyTypeNode(typeNode, localContext, verifyAhead) {
|
|
209
|
-
var standaloneTypeVerified = (0, _type.verifyStandaloneType)(typeNode, localContext, verifyAhead), typeNodeVerified = standaloneTypeVerified; ///
|
|
210
|
-
return typeNodeVerified;
|
|
116
|
+
key: "verify",
|
|
117
|
+
value: function verify(termNode, fileContext) {
|
|
118
|
+
var termVerifiedAsConstructor;
|
|
119
|
+
var nonTerminalNode = termNode, childNodes = nonTerminalNode.getChildNodes(), childNodesVerified = this.verifyChildNodes(childNodes, fileContext, function() {
|
|
120
|
+
var verifiedAhead = true;
|
|
121
|
+
return verifiedAhead;
|
|
122
|
+
});
|
|
123
|
+
termVerifiedAsConstructor = childNodesVerified; ///
|
|
124
|
+
return termVerifiedAsConstructor;
|
|
211
125
|
}
|
|
212
126
|
}
|
|
213
127
|
]);
|
|
214
128
|
return TermAsConstructorVerifier;
|
|
215
129
|
}(_verifier.default);
|
|
130
|
+
_define_property(TermAsConstructorVerifier, "maps", [
|
|
131
|
+
{
|
|
132
|
+
nodeQuery: termNodeQuery,
|
|
133
|
+
verify: function(termNode, fileContext, verifyAhead) {
|
|
134
|
+
var localContext = _local.default.fromFileContext(fileContext), standaloneTermVerified = (0, _term.verifyStandaloneTerm)(termNode, localContext, verifyAhead), termVerified = standaloneTermVerified; ///
|
|
135
|
+
return termVerified;
|
|
136
|
+
}
|
|
137
|
+
},
|
|
138
|
+
{
|
|
139
|
+
nodeQuery: typeNodeQuery,
|
|
140
|
+
verify: function(typeNode, fileContext, verifyAhead) {
|
|
141
|
+
var localContext = _local.default.fromFileContext(fileContext), standaloneTypeVerified = (0, _type.verifyStandaloneType)(typeNode, localContext, verifyAhead), typeVerified = standaloneTypeVerified; ///
|
|
142
|
+
return typeVerified;
|
|
143
|
+
}
|
|
144
|
+
}
|
|
145
|
+
]);
|
|
216
146
|
var termAsConstructorVerifier = new TermAsConstructorVerifier();
|
|
217
147
|
var _default = termAsConstructorVerifier;
|
|
218
148
|
|
|
219
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
149
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci90ZXJtQXNDb25zdHJ1Y3Rvci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFZlcmlmaWVyIGZyb20gXCIuLi92ZXJpZmllclwiO1xuaW1wb3J0IExvY2FsQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9sb2NhbFwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyB2ZXJpZnlTdGFuZGFsb25lVHlwZSB9IGZyb20gXCIuLi92ZXJpZnkvdHlwZVwiO1xuaW1wb3J0IHsgdmVyaWZ5U3RhbmRhbG9uZVRlcm0gfSBmcm9tIFwiLi4vdmVyaWZ5L3Rlcm1cIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90ZXJtIVwiKSxcbiAgICAgIHR5cGVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdHlwZSFcIik7XG5cbmNsYXNzIFRlcm1Bc0NvbnN0cnVjdG9yVmVyaWZpZXIgZXh0ZW5kcyBWZXJpZmllciB7XG4gIHZlcmlmeSh0ZXJtTm9kZSwgZmlsZUNvbnRleHQpIHtcbiAgICBsZXQgdGVybVZlcmlmaWVkQXNDb25zdHJ1Y3RvcjtcblxuICAgIGNvbnN0IG5vblRlcm1pbmFsTm9kZSA9IHRlcm1Ob2RlLCAvLy9cbiAgICAgICAgICBjaGlsZE5vZGVzID0gbm9uVGVybWluYWxOb2RlLmdldENoaWxkTm9kZXMoKSxcbiAgICAgICAgICBjaGlsZE5vZGVzVmVyaWZpZWQgPSB0aGlzLnZlcmlmeUNoaWxkTm9kZXMoY2hpbGROb2RlcywgZmlsZUNvbnRleHQsICgpID0+IHtcbiAgICAgICAgICAgIGNvbnN0IHZlcmlmaWVkQWhlYWQgPSB0cnVlO1xuXG4gICAgICAgICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICAgICAgICB9KTtcblxuICAgIHRlcm1WZXJpZmllZEFzQ29uc3RydWN0b3IgPSBjaGlsZE5vZGVzVmVyaWZpZWQ7ICAvLy9cblxuICAgIHJldHVybiB0ZXJtVmVyaWZpZWRBc0NvbnN0cnVjdG9yO1xuICB9XG5cbiAgc3RhdGljIG1hcHMgPSBbXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB0ZXJtTm9kZVF1ZXJ5LFxuICAgICAgdmVyaWZ5OiAodGVybU5vZGUsIGZpbGVDb250ZXh0LCB2ZXJpZnlBaGVhZCkgPT4ge1xuICAgICAgICBjb25zdCBsb2NhbENvbnRleHQgPSBMb2NhbENvbnRleHQuZnJvbUZpbGVDb250ZXh0KGZpbGVDb250ZXh0KSxcbiAgICAgICAgICAgICAgc3RhbmRhbG9uZVRlcm1WZXJpZmllZCA9IHZlcmlmeVN0YW5kYWxvbmVUZXJtKHRlcm1Ob2RlLCBsb2NhbENvbnRleHQsIHZlcmlmeUFoZWFkKSxcbiAgICAgICAgICAgICAgdGVybVZlcmlmaWVkID0gc3RhbmRhbG9uZVRlcm1WZXJpZmllZDsgIC8vL1xuXG4gICAgICAgIHJldHVybiB0ZXJtVmVyaWZpZWQ7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IHR5cGVOb2RlUXVlcnksXG4gICAgICB2ZXJpZnk6ICh0eXBlTm9kZSwgZmlsZUNvbnRleHQsIHZlcmlmeUFoZWFkKSA9PiB7XG4gICAgICAgIGNvbnN0IGxvY2FsQ29udGV4dCA9IExvY2FsQ29udGV4dC5mcm9tRmlsZUNvbnRleHQoZmlsZUNvbnRleHQpLFxuICAgICAgICAgICAgICBzdGFuZGFsb25lVHlwZVZlcmlmaWVkID0gdmVyaWZ5U3RhbmRhbG9uZVR5cGUodHlwZU5vZGUsIGxvY2FsQ29udGV4dCwgdmVyaWZ5QWhlYWQpLFxuICAgICAgICAgICAgICB0eXBlVmVyaWZpZWQgPSBzdGFuZGFsb25lVHlwZVZlcmlmaWVkOyAgLy8vXG5cbiAgICAgICAgcmV0dXJuIHR5cGVWZXJpZmllZDtcbiAgICAgIH1cbiAgICB9XG4gIF07XG59XG5cbmNvbnN0IHRlcm1Bc0NvbnN0cnVjdG9yVmVyaWZpZXIgPSBuZXcgVGVybUFzQ29uc3RydWN0b3JWZXJpZmllcigpO1xuXG5leHBvcnQgZGVmYXVsdCB0ZXJtQXNDb25zdHJ1Y3RvclZlcmlmaWVyO1xuIl0sIm5hbWVzIjpbInRlcm1Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJ0eXBlTm9kZVF1ZXJ5IiwiVGVybUFzQ29uc3RydWN0b3JWZXJpZmllciIsInZlcmlmeSIsInRlcm1Ob2RlIiwiZmlsZUNvbnRleHQiLCJ0ZXJtVmVyaWZpZWRBc0NvbnN0cnVjdG9yIiwibm9uVGVybWluYWxOb2RlIiwiY2hpbGROb2RlcyIsImdldENoaWxkTm9kZXMiLCJjaGlsZE5vZGVzVmVyaWZpZWQiLCJ2ZXJpZnlDaGlsZE5vZGVzIiwidmVyaWZpZWRBaGVhZCIsIlZlcmlmaWVyIiwibWFwcyIsInZlcmlmeUFoZWFkIiwibG9jYWxDb250ZXh0IiwiTG9jYWxDb250ZXh0IiwiZnJvbUZpbGVDb250ZXh0Iiwic3RhbmRhbG9uZVRlcm1WZXJpZmllZCIsInZlcmlmeVN0YW5kYWxvbmVUZXJtIiwidGVybVZlcmlmaWVkIiwidHlwZU5vZGUiLCJzdGFuZGFsb25lVHlwZVZlcmlmaWVkIiwidmVyaWZ5U3RhbmRhbG9uZVR5cGUiLCJ0eXBlVmVyaWZpZWQiLCJ0ZXJtQXNDb25zdHJ1Y3RvclZlcmlmaWVyIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkF1REE7OztlQUFBOzs7K0RBckRxQjs0REFDSTtxQkFFQztvQkFDVztvQkFDQTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFckMsSUFBTUEsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLFdBQzFCQyxnQkFBZ0JELElBQUFBLGdCQUFTLEVBQUM7QUFFaEMsSUFBQSxBQUFNRSwwQ0FBRCxBQUFMO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDSkMsS0FBQUE7bUJBQUFBLFNBQUFBLE9BQU9DLFFBQVEsRUFBRUMsV0FBVztnQkFDMUIsSUFBSUM7Z0JBRUosSUFBTUMsa0JBQWtCSCxVQUNsQkksYUFBYUQsZ0JBQWdCRSxhQUFhLElBQzFDQyxxQkFBcUIsSUFBSSxDQUFDQyxnQkFBZ0IsQ0FBQ0gsWUFBWUgsYUFBYTtvQkFDbEUsSUFBTU8sZ0JBQWdCO29CQUV0QixPQUFPQTtnQkFDVDtnQkFFTk4sNEJBQTRCSSxvQkFBcUIsR0FBRztnQkFFcEQsT0FBT0o7WUFDVDs7O1dBZklKO0VBQWtDVyxpQkFBUTtBQWlCOUMsaUJBakJJWCwyQkFpQkdZLFFBQU87SUFDWjtRQUNFZCxXQUFXRDtRQUNYSSxRQUFRLFNBQUNDLFVBQVVDLGFBQWFVO1lBQzlCLElBQU1DLGVBQWVDLGNBQVksQ0FBQ0MsZUFBZSxDQUFDYixjQUM1Q2MseUJBQXlCQyxJQUFBQSwwQkFBb0IsRUFBQ2hCLFVBQVVZLGNBQWNELGNBQ3RFTSxlQUFlRix3QkFBeUIsR0FBRztZQUVqRCxPQUFPRTtRQUNUO0lBQ0Y7SUFDQTtRQUNFckIsV0FBV0M7UUFDWEUsUUFBUSxTQUFDbUIsVUFBVWpCLGFBQWFVO1lBQzlCLElBQU1DLGVBQWVDLGNBQVksQ0FBQ0MsZUFBZSxDQUFDYixjQUM1Q2tCLHlCQUF5QkMsSUFBQUEsMEJBQW9CLEVBQUNGLFVBQVVOLGNBQWNELGNBQ3RFVSxlQUFlRix3QkFBeUIsR0FBRztZQUVqRCxPQUFPRTtRQUNUO0lBQ0Y7Q0FDRDtBQUdILElBQU1DLDRCQUE0QixJQUFJeEI7SUFFdEMsV0FBZXdCIn0=
|
package/lib/verifier.js
CHANGED
|
@@ -2,20 +2,13 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", {
|
|
3
3
|
value: true
|
|
4
4
|
});
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
get: all[name]
|
|
9
|
-
});
|
|
10
|
-
}
|
|
11
|
-
_export(exports, {
|
|
12
|
-
default: function() {
|
|
5
|
+
Object.defineProperty(exports, "default", {
|
|
6
|
+
enumerable: true,
|
|
7
|
+
get: function() {
|
|
13
8
|
return Verifier;
|
|
14
|
-
},
|
|
15
|
-
verify: function() {
|
|
16
|
-
return verify;
|
|
17
9
|
}
|
|
18
10
|
});
|
|
11
|
+
var _query = require("./utilities/query");
|
|
19
12
|
function _array_like_to_array(arr, len) {
|
|
20
13
|
if (len == null || len > arr.length) len = arr.length;
|
|
21
14
|
for(var i = 0, arr2 = new Array(len); i < len; i++)arr2[i] = arr[i];
|
|
@@ -60,11 +53,26 @@ function _unsupported_iterable_to_array(o, minLen) {
|
|
|
60
53
|
if (n === "Map" || n === "Set") return Array.from(n);
|
|
61
54
|
if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _array_like_to_array(o, minLen);
|
|
62
55
|
}
|
|
56
|
+
var nonTerminalNodeQuery = (0, _query.nodeQuery)("/*");
|
|
63
57
|
var Verifier = /*#__PURE__*/ function() {
|
|
64
58
|
function Verifier() {
|
|
65
59
|
_class_call_check(this, Verifier);
|
|
66
60
|
}
|
|
67
61
|
_create_class(Verifier, [
|
|
62
|
+
{
|
|
63
|
+
key: "verify",
|
|
64
|
+
value: function verify(node) {
|
|
65
|
+
for(var _len = arguments.length, remainingArguments = new Array(_len > 1 ? _len - 1 : 0), _key = 1; _key < _len; _key++){
|
|
66
|
+
remainingArguments[_key - 1] = arguments[_key];
|
|
67
|
+
}
|
|
68
|
+
var verified;
|
|
69
|
+
var nodeVerified = this.verifyNode.apply(this, [
|
|
70
|
+
node
|
|
71
|
+
].concat(_to_consumable_array(remainingArguments)));
|
|
72
|
+
verified = nodeVerified; ///
|
|
73
|
+
return verified;
|
|
74
|
+
}
|
|
75
|
+
},
|
|
68
76
|
{
|
|
69
77
|
key: "verifyNode",
|
|
70
78
|
value: function verifyNode(node) {
|
|
@@ -120,11 +128,37 @@ var Verifier = /*#__PURE__*/ function() {
|
|
|
120
128
|
for(var _len = arguments.length, remainingArguments = new Array(_len > 1 ? _len - 1 : 0), _key = 1; _key < _len; _key++){
|
|
121
129
|
remainingArguments[_key - 1] = arguments[_key];
|
|
122
130
|
}
|
|
131
|
+
var _this = this;
|
|
123
132
|
var nonTerminalNodeVerified;
|
|
124
|
-
var
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
133
|
+
var maps = this.constructor.maps;
|
|
134
|
+
maps = _to_consumable_array(maps).concat([
|
|
135
|
+
{
|
|
136
|
+
nodeQuery: nonTerminalNodeQuery,
|
|
137
|
+
verify: function(node) {
|
|
138
|
+
for(var _len = arguments.length, remainingArguments = new Array(_len > 1 ? _len - 1 : 0), _key = 1; _key < _len; _key++){
|
|
139
|
+
remainingArguments[_key - 1] = arguments[_key];
|
|
140
|
+
}
|
|
141
|
+
var nonTerminalNodeVerified;
|
|
142
|
+
var childNodes = nonTerminalNode.getChildNodes(), childNodesVerify = _this.verifyChildNodes.apply(_this, [
|
|
143
|
+
childNodes
|
|
144
|
+
].concat(_to_consumable_array(remainingArguments)));
|
|
145
|
+
nonTerminalNodeVerified = childNodesVerify; ///
|
|
146
|
+
return nonTerminalNodeVerified;
|
|
147
|
+
}
|
|
148
|
+
}
|
|
149
|
+
]);
|
|
150
|
+
var nodeVerified = false;
|
|
151
|
+
maps.some(function(map) {
|
|
152
|
+
var _$nodeQuery = map.nodeQuery, verify = map.verify;
|
|
153
|
+
var node = _$nodeQuery(nonTerminalNode);
|
|
154
|
+
if (node !== null) {
|
|
155
|
+
nodeVerified = verify.apply(void 0, [
|
|
156
|
+
node
|
|
157
|
+
].concat(_to_consumable_array(remainingArguments)));
|
|
158
|
+
return true;
|
|
159
|
+
}
|
|
160
|
+
});
|
|
161
|
+
nonTerminalNodeVerified = nodeVerified; ///
|
|
128
162
|
return nonTerminalNodeVerified;
|
|
129
163
|
}
|
|
130
164
|
},
|
|
@@ -161,22 +195,5 @@ var Verifier = /*#__PURE__*/ function() {
|
|
|
161
195
|
]);
|
|
162
196
|
return Verifier;
|
|
163
197
|
}();
|
|
164
|
-
function verify(nodeQueryMaps, nonTerminalNode) {
|
|
165
|
-
for(var _len = arguments.length, remainingArguments = new Array(_len > 2 ? _len - 2 : 0), _key = 2; _key < _len; _key++){
|
|
166
|
-
remainingArguments[_key - 2] = arguments[_key];
|
|
167
|
-
}
|
|
168
|
-
var nodeVerified = false;
|
|
169
|
-
nodeVerified = nodeQueryMaps.some(function(nodeQueryMap) {
|
|
170
|
-
var nodeQuery = nodeQueryMap.nodeQuery, verify = nodeQueryMap.verify;
|
|
171
|
-
var node = nodeQuery(nonTerminalNode);
|
|
172
|
-
if (node !== null) {
|
|
173
|
-
nodeVerified = verify.apply(void 0, [
|
|
174
|
-
node
|
|
175
|
-
].concat(_to_consumable_array(remainingArguments)));
|
|
176
|
-
return true;
|
|
177
|
-
}
|
|
178
|
-
});
|
|
179
|
-
return nodeVerified;
|
|
180
|
-
}
|
|
181
198
|
|
|
182
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
199
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy92ZXJpZmllci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IG5vblRlcm1pbmFsTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiLypcIik7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFZlcmlmaWVyIHtcbiAgdmVyaWZ5KG5vZGUsIC4uLnJlbWFpbmluZ0FyZ3VtZW50cykge1xuICAgIGxldCB2ZXJpZmllZDtcblxuICAgIGNvbnN0IG5vZGVWZXJpZmllZCA9IHRoaXMudmVyaWZ5Tm9kZShub2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpO1xuXG4gICAgdmVyaWZpZWQgPSBub2RlVmVyaWZpZWQ7ICAvLy9cblxuICAgIHJldHVybiB2ZXJpZmllZDtcbiAgfVxuXG4gIHZlcmlmeU5vZGUobm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gICAgbGV0IG5vZGVWZXJpZmllZDtcblxuICAgIGNvbnN0IG5vZGVUZXJtaW5hbE5vZGUgPSBub2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgICBpZiAobm9kZVRlcm1pbmFsTm9kZSkge1xuICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gbm9kZSwgIC8vL1xuICAgICAgICAgICAgdGVybWluYWxOb2RlVmVyaWZpZWQgPSB0aGlzLnZlcmlmeVRlcm1pbmFsTm9kZSh0ZXJtaW5hbE5vZGUsIC4uLnJlbWFpbmluZ0FyZ3VtZW50cyk7XG5cbiAgICAgIG5vZGVWZXJpZmllZCA9IHRlcm1pbmFsTm9kZVZlcmlmaWVkOyAgLy8vXG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IG5vblRlcm1pbmFsTm9kZSA9IG5vZGUsICAvLy9cbiAgICAgICAgICAgIG5vblRlcm1pbmFsTm9kZVZlcmlmaWVkID0gdGhpcy52ZXJpZnlOb25UZXJtaW5hbE5vZGUobm9uVGVybWluYWxOb2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpO1xuXG4gICAgICBub2RlVmVyaWZpZWQgPSBub25UZXJtaW5hbE5vZGVWZXJpZmllZDsgLy8vXG4gICAgfVxuXG4gICAgcmV0dXJuIG5vZGVWZXJpZmllZDtcbiAgfVxuXG4gIHZlcmlmeUNoaWxkTm9kZXMoY2hpbGROb2RlcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gICAgbGV0IGNoaWxkTm9kZXNWZXJpZnk7XG5cbiAgICBjb25zdCBpbmRleCA9IDAsXG4gICAgICAgICAgY2hpbGROb2Rlc1ZlcmlmeUFoZWFkID0gdGhpcy52ZXJpZnlDaGlsZE5vZGVzQWhlYWQoaW5kZXgsIGNoaWxkTm9kZXMsIC4uLnJlbWFpbmluZ0FyZ3VtZW50cyk7XG5cbiAgICBjaGlsZE5vZGVzVmVyaWZ5ID0gY2hpbGROb2Rlc1ZlcmlmeUFoZWFkOyAvLy9cblxuICAgIHJldHVybiBjaGlsZE5vZGVzVmVyaWZ5O1xuICB9XG5cbiAgdmVyaWZ5VGVybWluYWxOb2RlKHRlcm1pbmFsTm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gICAgbGV0IHRlcm1pbmFsTm9kZVZlcmlmaWVkO1xuXG4gICAgY29uc3QgdmVyaWZ5QWhlYWQgPSByZW1haW5pbmdBcmd1bWVudHMucG9wKCksIC8vL1xuICAgICAgICAgIHZlcmlmaWVkQWhlYWQgPSB2ZXJpZnlBaGVhZCgpOyAgLy8vXG5cbiAgICB0ZXJtaW5hbE5vZGVWZXJpZmllZCA9IHZlcmlmaWVkQWhlYWQ7IC8vL1xuXG4gICAgcmV0dXJuIHRlcm1pbmFsTm9kZVZlcmlmaWVkO1xuICB9XG5cbiAgdmVyaWZ5Tm9uVGVybWluYWxOb2RlKG5vblRlcm1pbmFsTm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gICAgbGV0IG5vblRlcm1pbmFsTm9kZVZlcmlmaWVkO1xuXG4gICAgbGV0IHsgbWFwcyB9ID0gdGhpcy5jb25zdHJ1Y3RvcjtcblxuICAgIG1hcHMgPSBbIC8vL1xuICAgICAgLi4ubWFwcyxcbiAgICAgIHtcbiAgICAgICAgbm9kZVF1ZXJ5OiBub25UZXJtaW5hbE5vZGVRdWVyeSxcbiAgICAgICAgdmVyaWZ5OiAobm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKSA9PiB7XG4gICAgICAgICAgbGV0IG5vblRlcm1pbmFsTm9kZVZlcmlmaWVkO1xuXG4gICAgICAgICAgY29uc3QgY2hpbGROb2RlcyA9IG5vblRlcm1pbmFsTm9kZS5nZXRDaGlsZE5vZGVzKCksIC8vL1xuICAgICAgICAgICAgICAgIGNoaWxkTm9kZXNWZXJpZnkgPSB0aGlzLnZlcmlmeUNoaWxkTm9kZXMoY2hpbGROb2RlcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKTtcblxuICAgICAgICAgIG5vblRlcm1pbmFsTm9kZVZlcmlmaWVkID0gY2hpbGROb2Rlc1ZlcmlmeTsgLy8vXG5cbiAgICAgICAgICByZXR1cm4gbm9uVGVybWluYWxOb2RlVmVyaWZpZWQ7XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICBdXG5cbiAgICBsZXQgbm9kZVZlcmlmaWVkID0gZmFsc2U7XG5cbiAgICBtYXBzLnNvbWUoKG1hcCkgPT4ge1xuICAgICAgY29uc3QgeyBub2RlUXVlcnksIHZlcmlmeSB9ID0gbWFwO1xuXG4gICAgICBjb25zdCBub2RlID0gbm9kZVF1ZXJ5KG5vblRlcm1pbmFsTm9kZSk7XG5cbiAgICAgIGlmIChub2RlICE9PSBudWxsKSB7XG4gICAgICAgIG5vZGVWZXJpZmllZCA9IHZlcmlmeShub2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpO1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgbm9uVGVybWluYWxOb2RlVmVyaWZpZWQgPSBub2RlVmVyaWZpZWQ7IC8vL1xuXG4gICAgcmV0dXJuIG5vblRlcm1pbmFsTm9kZVZlcmlmaWVkO1xuICB9XG5cbiAgdmVyaWZ5Q2hpbGROb2Rlc0FoZWFkKGluZGV4LCBjaGlsZE5vZGVzLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpIHtcbiAgICBsZXQgY2hpbGROb2Rlc1ZlcmlmeTtcblxuICAgIGNvbnN0IHZlcmlmeUFoZWFkID0gcmVtYWluaW5nQXJndW1lbnRzLnBvcCgpLCAvLy9cbiAgICAgICAgICBjaGlsZE5vZGVzTGVuZ3RoID0gY2hpbGROb2Rlcy5sZW5ndGg7XG5cbiAgICBpZiAoaW5kZXggPT09IGNoaWxkTm9kZXNMZW5ndGgpIHtcbiAgICAgIGNvbnN0IHZlcmlmaWVkQWhlYWQgPSB2ZXJpZnlBaGVhZCgpO1xuXG4gICAgICBjaGlsZE5vZGVzVmVyaWZ5ID0gdmVyaWZpZWRBaGVhZDsgLy8vXG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IGNoaWxkTm9kZSA9IGNoaWxkTm9kZXNbaW5kZXhdLFxuICAgICAgICAgICAgbm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICBub2RlVmVyaWZpZWQgPSB0aGlzLnZlcmlmeU5vZGUobm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzLCAoKSA9PiB7XG4gICAgICAgICAgICAgIHJlbWFpbmluZ0FyZ3VtZW50cy5wdXNoKHZlcmlmeUFoZWFkKTtcblxuICAgICAgICAgICAgICBjb25zdCBhaGVhZEluZGV4ID0gaW5kZXggKyAxLFxuICAgICAgICAgICAgICAgICAgICBjaGlsZE5vZGVzVmVyaWZ5QWhlYWQgPSB0aGlzLnZlcmlmeUNoaWxkTm9kZXNBaGVhZChhaGVhZEluZGV4LCBjaGlsZE5vZGVzLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpO1xuXG4gICAgICAgICAgICAgIHJldHVybiBjaGlsZE5vZGVzVmVyaWZ5QWhlYWQ7XG4gICAgICAgICAgICB9KTtcblxuICAgICAgY2hpbGROb2Rlc1ZlcmlmeSA9IG5vZGVWZXJpZmllZDsgIC8vL1xuICAgIH1cblxuICAgIHJldHVybiBjaGlsZE5vZGVzVmVyaWZ5O1xuICB9XG59XG4iXSwibmFtZXMiOlsiVmVyaWZpZXIiLCJub25UZXJtaW5hbE5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInZlcmlmeSIsIm5vZGUiLCJyZW1haW5pbmdBcmd1bWVudHMiLCJ2ZXJpZmllZCIsIm5vZGVWZXJpZmllZCIsInZlcmlmeU5vZGUiLCJub2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGVWZXJpZmllZCIsInZlcmlmeVRlcm1pbmFsTm9kZSIsIm5vblRlcm1pbmFsTm9kZSIsIm5vblRlcm1pbmFsTm9kZVZlcmlmaWVkIiwidmVyaWZ5Tm9uVGVybWluYWxOb2RlIiwidmVyaWZ5Q2hpbGROb2RlcyIsImNoaWxkTm9kZXMiLCJjaGlsZE5vZGVzVmVyaWZ5IiwiaW5kZXgiLCJjaGlsZE5vZGVzVmVyaWZ5QWhlYWQiLCJ2ZXJpZnlDaGlsZE5vZGVzQWhlYWQiLCJ2ZXJpZnlBaGVhZCIsInBvcCIsInZlcmlmaWVkQWhlYWQiLCJtYXBzIiwiY29uc3RydWN0b3IiLCJnZXRDaGlsZE5vZGVzIiwic29tZSIsIm1hcCIsImNoaWxkTm9kZXNMZW5ndGgiLCJsZW5ndGgiLCJjaGlsZE5vZGUiLCJwdXNoIiwiYWhlYWRJbmRleCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7cUJBSks7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUxQixJQUFNQyx1QkFBdUJDLElBQUFBLGdCQUFTLEVBQUM7QUFFeEIsSUFBQSxBQUFNRix5QkFBRCxBQUFMO2FBQU1BO2dDQUFBQTs7a0JBQUFBOztZQUNuQkcsS0FBQUE7bUJBQUFBLFNBQUFBLE9BQU9DLElBQUk7Z0JBQUUsSUFBQSxJQUFBLE9BQUEsVUFBQSxRQUFBLEFBQUdDLHFCQUFILFVBQUEsT0FBQSxJQUFBLE9BQUEsUUFBQSxPQUFBLEdBQUEsT0FBQSxNQUFBO29CQUFHQSxtQkFBSCxPQUFBLEtBQUEsU0FBQSxDQUFBLEtBQXFCOztnQkFDaEMsSUFBSUM7Z0JBRUosSUFBTUMsZUFBZSxJQUFJLENBQUNDLFVBQVUsQ0FBZixNQUFBLElBQUksRUFBSjtvQkFBZ0JKO2lCQUE0QixDQUE1QyxPQUFzQixxQkFBR0M7Z0JBRTlDQyxXQUFXQyxjQUFlLEdBQUc7Z0JBRTdCLE9BQU9EO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUEsV0FBV0osSUFBSTtnQkFBRSxJQUFBLElBQUEsT0FBQSxVQUFBLFFBQUEsQUFBR0MscUJBQUgsVUFBQSxPQUFBLElBQUEsT0FBQSxRQUFBLE9BQUEsR0FBQSxPQUFBLE1BQUE7b0JBQUdBLG1CQUFILE9BQUEsS0FBQSxTQUFBLENBQUEsS0FBcUI7O2dCQUNwQyxJQUFJRTtnQkFFSixJQUFNRSxtQkFBbUJMLEtBQUtNLGNBQWM7Z0JBRTVDLElBQUlELGtCQUFrQjtvQkFDcEIsSUFBTUUsZUFBZVAsTUFDZlEsdUJBQXVCLElBQUksQ0FBQ0Msa0JBQWtCLENBQXZCLE1BQUEsSUFBSSxFQUFKO3dCQUF3QkY7cUJBQW9DLENBQTVELE9BQXNDLHFCQUFHTjtvQkFFdEVFLGVBQWVLLHNCQUF1QixHQUFHO2dCQUMzQyxPQUFPO29CQUNMLElBQU1FLGtCQUFrQlYsTUFDbEJXLDBCQUEwQixJQUFJLENBQUNDLHFCQUFxQixDQUExQixNQUFBLElBQUksRUFBSjt3QkFBMkJGO3FCQUF1QyxDQUFsRSxPQUE0QyxxQkFBR1Q7b0JBRS9FRSxlQUFlUSx5QkFBeUIsR0FBRztnQkFDN0M7Z0JBRUEsT0FBT1I7WUFDVDs7O1lBRUFVLEtBQUFBO21CQUFBQSxTQUFBQSxpQkFBaUJDLFVBQVU7Z0JBQUUsSUFBQSxJQUFBLE9BQUEsVUFBQSxRQUFBLEFBQUdiLHFCQUFILFVBQUEsT0FBQSxJQUFBLE9BQUEsUUFBQSxPQUFBLEdBQUEsT0FBQSxNQUFBO29CQUFHQSxtQkFBSCxPQUFBLEtBQUEsU0FBQSxDQUFBLEtBQXFCOztnQkFDaEQsSUFBSWM7Z0JBRUosSUFBTUMsUUFBUSxHQUNSQyx3QkFBd0IsSUFBSSxDQUFDQyxxQkFBcUIsQ0FBMUIsTUFBQSxJQUFJLEVBQUo7b0JBQTJCRjtvQkFBT0Y7aUJBQWtDLENBQXBFLE9BQThDLHFCQUFHYjtnQkFFL0VjLG1CQUFtQkUsdUJBQXVCLEdBQUc7Z0JBRTdDLE9BQU9GO1lBQ1Q7OztZQUVBTixLQUFBQTttQkFBQUEsU0FBQUEsbUJBQW1CRixZQUFZO2dCQUFFLElBQUEsSUFBQSxPQUFBLFVBQUEsUUFBQSxBQUFHTixxQkFBSCxVQUFBLE9BQUEsSUFBQSxPQUFBLFFBQUEsT0FBQSxHQUFBLE9BQUEsTUFBQTtvQkFBR0EsbUJBQUgsT0FBQSxLQUFBLFNBQUEsQ0FBQSxLQUFxQjs7Z0JBQ3BELElBQUlPO2dCQUVKLElBQU1XLGNBQWNsQixtQkFBbUJtQixHQUFHLElBQ3BDQyxnQkFBZ0JGLGVBQWdCLEdBQUc7Z0JBRXpDWCx1QkFBdUJhLGVBQWUsR0FBRztnQkFFekMsT0FBT2I7WUFDVDs7O1lBRUFJLEtBQUFBO21CQUFBQSxTQUFBQSxzQkFBc0JGLGVBQWU7Z0JBQUUsSUFBQSxJQUFBLE9BQUEsVUFBQSxRQUFBLEFBQUdULHFCQUFILFVBQUEsT0FBQSxJQUFBLE9BQUEsUUFBQSxPQUFBLEdBQUEsT0FBQSxNQUFBO29CQUFHQSxtQkFBSCxPQUFBLEtBQUEsU0FBQSxDQUFBLEtBQXFCOzs7Z0JBQzFELElBQUlVO2dCQUVKLElBQUksQUFBRVcsT0FBUyxJQUFJLENBQUNDLFdBQVcsQ0FBekJEO2dCQUVOQSxPQUFPLEFBQ0wscUJBQUdBLGFBREU7b0JBRUw7d0JBQ0V4QixXQUFXRDt3QkFDWEUsUUFBUSxTQUFDQzs2REFBU0M7Z0NBQUFBOzs0QkFDaEIsSUFBSVU7NEJBRUosSUFBTUcsYUFBYUosZ0JBQWdCYyxhQUFhLElBQzFDVCxtQkFBbUIsTUFBS0YsZ0JBQWdCLENBQXJCLGFBQUE7Z0NBQXNCQzs2QkFBa0MsQ0FBeEQsT0FBa0MscUJBQUdiOzRCQUU5RFUsMEJBQTBCSSxrQkFBa0IsR0FBRzs0QkFFL0MsT0FBT0o7d0JBQ1Q7b0JBQ0Y7aUJBQ0Q7Z0JBRUQsSUFBSVIsZUFBZTtnQkFFbkJtQixLQUFLRyxJQUFJLENBQUMsU0FBQ0M7b0JBQ1QsSUFBUTVCLGNBQXNCNEIsSUFBdEI1QixXQUFXQyxTQUFXMkIsSUFBWDNCO29CQUVuQixJQUFNQyxPQUFPRixZQUFVWTtvQkFFdkIsSUFBSVYsU0FBUyxNQUFNO3dCQUNqQkcsZUFBZUosT0FBQUEsTUFBQUEsS0FBQUEsR0FBQUE7NEJBQU9DO3lCQUE0QixDQUFuQ0QsT0FBYSxxQkFBR0U7d0JBRS9CLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUFVLDBCQUEwQlIsY0FBYyxHQUFHO2dCQUUzQyxPQUFPUTtZQUNUOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBLHNCQUFzQkYsS0FBSyxFQUFFRixVQUFVOztnQkFBRSxJQUFBLElBQUEsT0FBQSxVQUFBLFFBQUEsQUFBR2IscUJBQUgsVUFBQSxPQUFBLElBQUEsT0FBQSxRQUFBLE9BQUEsR0FBQSxPQUFBLE1BQUE7b0JBQUdBLG1CQUFILE9BQUEsS0FBQSxTQUFBLENBQUEsS0FBcUI7O2dCQUM1RCxJQUFJYztnQkFFSixJQUFNSSxjQUFjbEIsbUJBQW1CbUIsR0FBRyxJQUNwQ08sbUJBQW1CYixXQUFXYyxNQUFNO2dCQUUxQyxJQUFJWixVQUFVVyxrQkFBa0I7b0JBQzlCLElBQU1OLGdCQUFnQkY7b0JBRXRCSixtQkFBbUJNLGVBQWUsR0FBRztnQkFDdkMsT0FBTztvQkFDTCxJQUFNUSxZQUFZZixVQUFVLENBQUNFLE1BQU0sRUFDN0JoQixPQUFPNkIsV0FDUDFCLGVBQWUsSUFBSSxDQUFDQyxVQUFVLENBQWYsTUFBQSxJQUFJLEVBQUo7d0JBQWdCSjtxQkFPN0IsQ0FQYSxPQUFzQixxQkFBR0MscUJBQXpCO3dCQUE2Qzs0QkFDMURBLG1CQUFtQjZCLElBQUksQ0FBQ1g7NEJBRXhCLElBQU1ZLGFBQWFmLFFBQVEsR0FDckJDLHdCQUF3QixNQUFLQyxxQkFBcUIsQ0FBMUIsYUFBQTtnQ0FBMkJhO2dDQUFZakI7NkJBQWtDLENBQXpFLE9BQW1ELHFCQUFHYjs0QkFFcEYsT0FBT2dCO3dCQUNUO3FCQUFFO29CQUVSRixtQkFBbUJaLGNBQWUsR0FBRztnQkFDdkM7Z0JBRUEsT0FBT1k7WUFDVDs7O1dBeEhtQm5CIn0=
|