occam-verify-cli 1.0.22 → 1.0.23
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/dom/assertion/property.js +30 -73
- package/lib/dom/relation/property.js +21 -26
- package/lib/mixins/term/verify.js +2 -23
- package/package.json +2 -2
- package/src/dom/assertion/property.js +33 -88
- package/src/dom/relation/property.js +33 -41
- package/src/mixins/term/verify.js +1 -36
|
@@ -10,7 +10,6 @@ Object.defineProperty(exports, "default", {
|
|
|
10
10
|
});
|
|
11
11
|
var _dom = /*#__PURE__*/ _interop_require_wildcard(require("../../dom"));
|
|
12
12
|
var _query = require("../../utilities/query");
|
|
13
|
-
var _variable = /*#__PURE__*/ _interop_require_default(require("../../assignment/variable"));
|
|
14
13
|
function _class_call_check(instance, Constructor) {
|
|
15
14
|
if (!(instance instanceof Constructor)) {
|
|
16
15
|
throw new TypeError("Cannot call a class as a function");
|
|
@@ -43,11 +42,6 @@ function _define_property(obj, key, value) {
|
|
|
43
42
|
}
|
|
44
43
|
return obj;
|
|
45
44
|
}
|
|
46
|
-
function _interop_require_default(obj) {
|
|
47
|
-
return obj && obj.__esModule ? obj : {
|
|
48
|
-
default: obj
|
|
49
|
-
};
|
|
50
|
-
}
|
|
51
45
|
function _getRequireWildcardCache(nodeInterop) {
|
|
52
46
|
if (typeof WeakMap !== "function") return null;
|
|
53
47
|
var cacheBabelInterop = new WeakMap();
|
|
@@ -90,16 +84,15 @@ function _interop_require_wildcard(obj, nodeInterop) {
|
|
|
90
84
|
return newObj;
|
|
91
85
|
}
|
|
92
86
|
var _PropertyAssertion;
|
|
93
|
-
var
|
|
87
|
+
var variableNodeQuery = (0, _query.nodeQuery)("/propertyAssertion/variable"), propertyRelationNodeQuery = (0, _query.nodeQuery)("/propertyAssertion/propertyRelation"), propertyAssertionNodeQuery = (0, _query.nodeQuery)("/statement/propertyAssertion");
|
|
94
88
|
var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ function() {
|
|
95
|
-
function PropertyAssertion(string, node, tokens,
|
|
89
|
+
function PropertyAssertion(string, node, tokens, variable, propertyRelation) {
|
|
96
90
|
_class_call_check(this, PropertyAssertion);
|
|
97
91
|
this.string = string;
|
|
98
92
|
this.node = node;
|
|
99
93
|
this.tokens = tokens;
|
|
100
|
-
this.property = property;
|
|
101
94
|
this.variable = variable;
|
|
102
|
-
this.
|
|
95
|
+
this.propertyRelation = propertyRelation;
|
|
103
96
|
}
|
|
104
97
|
_create_class(PropertyAssertion, [
|
|
105
98
|
{
|
|
@@ -120,12 +113,6 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
|
|
|
120
113
|
return this.tokens;
|
|
121
114
|
}
|
|
122
115
|
},
|
|
123
|
-
{
|
|
124
|
-
key: "getProperty",
|
|
125
|
-
value: function getProperty() {
|
|
126
|
-
return this.property;
|
|
127
|
-
}
|
|
128
|
-
},
|
|
129
116
|
{
|
|
130
117
|
key: "getVariable",
|
|
131
118
|
value: function getVariable() {
|
|
@@ -133,9 +120,9 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
|
|
|
133
120
|
}
|
|
134
121
|
},
|
|
135
122
|
{
|
|
136
|
-
key: "
|
|
137
|
-
value: function
|
|
138
|
-
return this.
|
|
123
|
+
key: "getPropertyRelation",
|
|
124
|
+
value: function getPropertyRelation() {
|
|
125
|
+
return this.propertyRelation;
|
|
139
126
|
}
|
|
140
127
|
},
|
|
141
128
|
{
|
|
@@ -146,19 +133,16 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
|
|
|
146
133
|
context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion..."));
|
|
147
134
|
var variableVerified = this.verifyVariable(assignments, stated, context);
|
|
148
135
|
if (variableVerified) {
|
|
149
|
-
var
|
|
150
|
-
if (
|
|
151
|
-
var
|
|
152
|
-
if (
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
|
|
156
|
-
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
if (verifiedWhenStated || verifiedWhenDerived) {
|
|
160
|
-
verified = true;
|
|
161
|
-
}
|
|
136
|
+
var propertyRelationVerified = this.verifyPropertyRelation(assignments, stated, context);
|
|
137
|
+
if (propertyRelationVerified) {
|
|
138
|
+
var verifiedWhenStated = false, verifiedWhenDerived = false;
|
|
139
|
+
if (stated) {
|
|
140
|
+
verifiedWhenStated = this.verifyWhenStated(assignments, context);
|
|
141
|
+
} else {
|
|
142
|
+
verifiedWhenDerived = this.verifyWhenDerived(context);
|
|
143
|
+
}
|
|
144
|
+
if (verifiedWhenStated || verifiedWhenDerived) {
|
|
145
|
+
verified = true;
|
|
162
146
|
}
|
|
163
147
|
}
|
|
164
148
|
}
|
|
@@ -168,22 +152,6 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
|
|
|
168
152
|
return verified;
|
|
169
153
|
}
|
|
170
154
|
},
|
|
171
|
-
{
|
|
172
|
-
key: "verifyTerm",
|
|
173
|
-
value: function verifyTerm(assignments, stated, context) {
|
|
174
|
-
var termVerified;
|
|
175
|
-
var termString = this.term.getString(), propertyAssertionString = this.string; ///
|
|
176
|
-
context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion's '").concat(termString, "' term..."));
|
|
177
|
-
termVerified = this.term.verify(context, function() {
|
|
178
|
-
var verifiedAhead = true;
|
|
179
|
-
return verifiedAhead;
|
|
180
|
-
});
|
|
181
|
-
if (termVerified) {
|
|
182
|
-
context.debug("...verified the '".concat(propertyAssertionString, "' property assertion's '").concat(termString, "' term."));
|
|
183
|
-
}
|
|
184
|
-
return termVerified;
|
|
185
|
-
}
|
|
186
|
-
},
|
|
187
155
|
{
|
|
188
156
|
key: "verifyVariable",
|
|
189
157
|
value: function verifyVariable(assignments, stated, context) {
|
|
@@ -198,28 +166,16 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
|
|
|
198
166
|
}
|
|
199
167
|
},
|
|
200
168
|
{
|
|
201
|
-
key: "
|
|
202
|
-
value: function
|
|
203
|
-
var
|
|
204
|
-
var
|
|
205
|
-
context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion's '").concat(
|
|
206
|
-
|
|
207
|
-
if (
|
|
208
|
-
|
|
209
|
-
context.debug("The '".concat(propertyName, "' property is not a property of the term's '").concat(termTypeName, "' type."));
|
|
210
|
-
} else {
|
|
211
|
-
var variableType = this.variable.getType(), propertyType = property.getType(), variableTypeEqualToOrSubTypeOfPropertyType = variableType.isEqualToOrSubTypeOf(propertyType);
|
|
212
|
-
if (!variableTypeEqualToOrSubTypeOfPropertyType) {
|
|
213
|
-
var variableTypeName = variableType.getName(), propertyTypeName = propertyType.getName();
|
|
214
|
-
context.debug("The variable's '".concat(variableTypeName, "' type is not equal to or a sub-type of the '").concat(propertyName, "' property's '").concat(propertyTypeName, "' type."));
|
|
215
|
-
} else {
|
|
216
|
-
propertyVerified = true;
|
|
217
|
-
}
|
|
218
|
-
}
|
|
219
|
-
if (propertyVerified) {
|
|
220
|
-
context.debug("...verified the '".concat(propertyAssertionString, "' property assertion's '").concat(propertyString, "' property."));
|
|
169
|
+
key: "verifyPropertyRelation",
|
|
170
|
+
value: function verifyPropertyRelation(assignments, stated, context) {
|
|
171
|
+
var propertyRelationVerified;
|
|
172
|
+
var propertyRelationString = this.propertyRelation.getString(), propertyAssertionString = this.string; ///
|
|
173
|
+
context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion's '").concat(propertyRelationString, "' property relation..."));
|
|
174
|
+
propertyRelationVerified = this.propertyRelation.verify(context);
|
|
175
|
+
if (propertyRelationVerified) {
|
|
176
|
+
context.debug("...verified the '".concat(propertyAssertionString, "' property assertion's '").concat(propertyRelationString, "' property relation."));
|
|
221
177
|
}
|
|
222
|
-
return
|
|
178
|
+
return propertyRelationVerified;
|
|
223
179
|
}
|
|
224
180
|
},
|
|
225
181
|
{
|
|
@@ -229,7 +185,8 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
|
|
|
229
185
|
var propertyAssertionString = this.string; ///
|
|
230
186
|
context.trace("Verifying the '".concat(propertyAssertionString, "' stated property assertion..."));
|
|
231
187
|
if (assignments !== null) {
|
|
232
|
-
var
|
|
188
|
+
var variableName = this.variable.getName(), variable = context.findVariableByVariableName(variableName);
|
|
189
|
+
debugger;
|
|
233
190
|
}
|
|
234
191
|
verifiedWhenStated = true;
|
|
235
192
|
if (verifiedWhenStated) {
|
|
@@ -258,8 +215,8 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
|
|
|
258
215
|
var propertyAssertion = null;
|
|
259
216
|
var propertyAssertionNode = propertyAssertionNodeQuery(statementNode);
|
|
260
217
|
if (propertyAssertionNode !== null) {
|
|
261
|
-
var
|
|
262
|
-
propertyAssertion = new PropertyAssertion(string, node, tokens,
|
|
218
|
+
var Variable = _dom.default.Variable, PropertyRelation = _dom.default.PropertyRelation, node = propertyAssertionNode, string = context.nodeAsString(node), tokens = context.nodeAsTokens(node), variableNode = variableNodeQuery(propertyAssertionNode), propertyRelationNode = propertyRelationNodeQuery(propertyAssertionNode), variable = Variable.fromVariableNode(variableNode, context), propertyRelation = PropertyRelation.fromPropertyRelationNode(propertyRelationNode, context);
|
|
219
|
+
propertyAssertion = new PropertyAssertion(string, node, tokens, variable, propertyRelation);
|
|
263
220
|
}
|
|
264
221
|
return propertyAssertion;
|
|
265
222
|
}
|
|
@@ -268,4 +225,4 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
|
|
|
268
225
|
return PropertyAssertion;
|
|
269
226
|
}(), _define_property(_PropertyAssertion, "name", "PropertyAssertion"), _PropertyAssertion));
|
|
270
227
|
|
|
271
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9kb20vYXNzZXJ0aW9uL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgZG9tIGZyb20gXCIuLi8uLi9kb21cIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgZG9tQXNzaWduZWQgfSBmcm9tIFwiLi4vLi4vZG9tXCI7XG5pbXBvcnQgVmFyaWFibGVBc3NpZ25tZW50IGZyb20gXCIuLi8uLi9hc3NpZ25tZW50L3ZhcmlhYmxlXCI7XG5cbmNvbnN0IHRlcm1Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvcHJvcGVydHlBc3NlcnRpb24vdGVybVwiKSxcbiAgICAgIHZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Byb3BlcnR5QXNzZXJ0aW9uL3ZhcmlhYmxlXCIpLFxuICAgICAgcHJvcGVydHlOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvcHJvcGVydHlBc3NlcnRpb24vcHJvcGVydHlcIiksXG4gICAgICBwcm9wZXJ0eUFzc2VydGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zdGF0ZW1lbnQvcHJvcGVydHlBc3NlcnRpb25cIik7XG5cbmV4cG9ydCBkZWZhdWx0IGRvbUFzc2lnbmVkKGNsYXNzIFByb3BlcnR5QXNzZXJ0aW9uIHtcbiAgY29uc3RydWN0b3Ioc3RyaW5nLCBub2RlLCB0b2tlbnMsIHByb3BlcnR5LCB2YXJpYWJsZSwgdGVybSkge1xuICAgIHRoaXMuc3RyaW5nID0gc3RyaW5nO1xuICAgIHRoaXMubm9kZSA9IG5vZGU7XG4gICAgdGhpcy50b2tlbnMgPSB0b2tlbnM7XG4gICAgdGhpcy5wcm9wZXJ0eSA9IHByb3BlcnR5O1xuICAgIHRoaXMudmFyaWFibGUgPSB2YXJpYWJsZTtcbiAgICB0aGlzLnRlcm0gPSB0ZXJtO1xuICB9XG5cbiAgZ2V0U3RyaW5nKCkge1xuICAgIHJldHVybiB0aGlzLnN0cmluZztcbiAgfVxuXG4gIGdldE5vZGUoKSB7XG4gICAgcmV0dXJuIHRoaXMubm9kZTtcbiAgfVxuXG4gIGdldFRva2VucygpIHtcbiAgICByZXR1cm4gdGhpcy50b2tlbnM7XG4gIH1cblxuICBnZXRQcm9wZXJ0eSgpIHtcbiAgICByZXR1cm4gdGhpcy5wcm9wZXJ0eTtcbiAgfVxuXG4gIGdldFZhcmlhYmxlKCkge1xuICAgIHJldHVybiB0aGlzLnZhcmlhYmxlO1xuICB9XG5cbiAgZ2V0VGVybSgpIHtcbiAgICByZXR1cm4gdGhpcy50ZXJtO1xuICB9XG5cbiAgdmVyaWZ5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWQgPSBmYWxzZTtcblxuICAgIGNvbnN0IHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3QgdmFyaWFibGVWZXJpZmllZCA9IHRoaXMudmVyaWZ5VmFyaWFibGUoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICBpZiAodmFyaWFibGVWZXJpZmllZCkge1xuICAgICAgY29uc3QgdGVybVZlcmlmaWVkID0gdGhpcy52ZXJpZnlUZXJtKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgICBpZiAodGVybVZlcmlmaWVkKSB7XG4gICAgICAgIGNvbnN0IHByb3BlcnR5VmVyaWZpZWQgPSB0aGlzLnZlcmlmeVByb3BlcnR5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgICAgIGlmIChwcm9wZXJ0eVZlcmlmaWVkKSB7XG4gICAgICAgICAgbGV0IHZlcmlmaWVkV2hlblN0YXRlZCA9IGZhbHNlLFxuICAgICAgICAgICAgICB2ZXJpZmllZFdoZW5EZXJpdmVkID0gZmFsc2U7XG5cbiAgICAgICAgICBpZiAoc3RhdGVkKSB7XG4gICAgICAgICAgICB2ZXJpZmllZFdoZW5TdGF0ZWQgPSB0aGlzLnZlcmlmeVdoZW5TdGF0ZWQoYXNzaWdubWVudHMsIGNvbnRleHQpO1xuICAgICAgICAgIH0gZWxzZSB7XG4gICAgICAgICAgICB2ZXJpZmllZFdoZW5EZXJpdmVkID0gdGhpcy52ZXJpZnlXaGVuRGVyaXZlZChjb250ZXh0KTtcbiAgICAgICAgICB9XG5cbiAgICAgICAgICBpZiAodmVyaWZpZWRXaGVuU3RhdGVkIHx8IHZlcmlmaWVkV2hlbkRlcml2ZWQpIHtcbiAgICAgICAgICAgIHZlcmlmaWVkID0gdHJ1ZTtcbiAgICAgICAgICB9XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICB9XG5cbiAgICBpZiAodmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlUZXJtKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgICBsZXQgdGVybVZlcmlmaWVkO1xuXG4gICAgY29uc3QgdGVybVN0cmluZyA9IHRoaXMudGVybS5nZXRTdHJpbmcoKSxcbiAgICAgIHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3Rlcm1TdHJpbmd9JyB0ZXJtLi4uYCk7XG5cbiAgICB0ZXJtVmVyaWZpZWQgPSB0aGlzLnRlcm0udmVyaWZ5KGNvbnRleHQsICgpID0+IHtcbiAgICAgIGNvbnN0IHZlcmlmaWVkQWhlYWQgPSB0cnVlO1xuXG4gICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICB9KTtcblxuICAgIGlmICh0ZXJtVmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3Rlcm1TdHJpbmd9JyB0ZXJtLmApO1xuICAgIH1cblxuICAgIHJldHVybiB0ZXJtVmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlWYXJpYWJsZShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gICAgbGV0IHZhcmlhYmxlVmVyaWZpZWQ7XG5cbiAgICBjb25zdCB2YXJpYWJsZVN0cmluZyA9IHRoaXMudmFyaWFibGUuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7dmFyaWFibGVTdHJpbmd9JyB2YXJpYWJsZS4uLmApO1xuXG4gICAgdmFyaWFibGVWZXJpZmllZCA9IHRoaXMudmFyaWFibGUudmVyaWZ5KGNvbnRleHQpO1xuXG4gICAgaWYgKHZhcmlhYmxlVmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3ZhcmlhYmxlU3RyaW5nfScgdmFyaWFibGUuYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZhcmlhYmxlVmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlQcm9wZXJ0eShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gICAgbGV0IHByb3BlcnR5VmVyaWZpZWQ7XG5cbiAgICBjb25zdCBwcm9wZXJ0eVN0cmluZyA9IHRoaXMucHJvcGVydHkuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7cHJvcGVydHlTdHJpbmd9JyBwcm9wZXJ0eS4uLmApO1xuXG4gICAgY29uc3QgdGVybVR5cGUgPSB0aGlzLnRlcm0uZ2V0VHlwZSgpLFxuICAgICAgICAgIHByb3BlcnR5TmFtZSA9IHRoaXMucHJvcGVydHkuZ2V0TmFtZSgpLFxuICAgICAgICAgIHByb3BlcnR5ID0gdGVybVR5cGUuZmluZFByb3BlcnR5QnlQcm9wZXJ0eU5hbWUocHJvcGVydHlOYW1lKTtcblxuICAgIGlmIChwcm9wZXJ0eSA9PT0gbnVsbCkge1xuICAgICAgY29uc3QgdGVybVR5cGVOYW1lID0gdGVybVR5cGUuZ2V0TmFtZSgpO1xuXG4gICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7cHJvcGVydHlOYW1lfScgcHJvcGVydHkgaXMgbm90IGEgcHJvcGVydHkgb2YgdGhlIHRlcm0ncyAnJHt0ZXJtVHlwZU5hbWV9JyB0eXBlLmApO1xuICAgIH0gZWxzZSB7XG4gICAgICBjb25zdCB2YXJpYWJsZVR5cGUgPSB0aGlzLnZhcmlhYmxlLmdldFR5cGUoKSxcbiAgICAgICAgICAgIHByb3BlcnR5VHlwZSA9IHByb3BlcnR5LmdldFR5cGUoKSxcbiAgICAgICAgICAgIHZhcmlhYmxlVHlwZUVxdWFsVG9PclN1YlR5cGVPZlByb3BlcnR5VHlwZSA9IHZhcmlhYmxlVHlwZS5pc0VxdWFsVG9PclN1YlR5cGVPZihwcm9wZXJ0eVR5cGUpO1xuXG4gICAgICBpZiAoIXZhcmlhYmxlVHlwZUVxdWFsVG9PclN1YlR5cGVPZlByb3BlcnR5VHlwZSkge1xuICAgICAgICBjb25zdCB2YXJpYWJsZVR5cGVOYW1lID0gdmFyaWFibGVUeXBlLmdldE5hbWUoKSxcbiAgICAgICAgICAgICAgcHJvcGVydHlUeXBlTmFtZSA9IHByb3BlcnR5VHlwZS5nZXROYW1lKCk7XG5cbiAgICAgICAgY29udGV4dC5kZWJ1ZyhgVGhlIHZhcmlhYmxlJ3MgJyR7dmFyaWFibGVUeXBlTmFtZX0nIHR5cGUgaXMgbm90IGVxdWFsIHRvIG9yIGEgc3ViLXR5cGUgb2YgdGhlICcke3Byb3BlcnR5TmFtZX0nIHByb3BlcnR5J3MgJyR7cHJvcGVydHlUeXBlTmFtZX0nIHR5cGUuYCk7XG4gICAgICB9IGVsc2Uge1xuICAgICAgICBwcm9wZXJ0eVZlcmlmaWVkID0gdHJ1ZTtcbiAgICAgIH1cbiAgICB9XG5cbiAgICBpZiAocHJvcGVydHlWZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7cHJvcGVydHlTdHJpbmd9JyBwcm9wZXJ0eS5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gcHJvcGVydHlWZXJpZmllZDtcbiAgfVxuXG4gIHZlcmlmeVdoZW5TdGF0ZWQoYXNzaWdubWVudHMsIGNvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWRXaGVuU3RhdGVkID0gZmFsc2U7XG5cbiAgICBjb25zdCBwcm9wZXJ0eUFzc2VydGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7cHJvcGVydHlBc3NlcnRpb25TdHJpbmd9JyBzdGF0ZWQgcHJvcGVydHkgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBpZiAoYXNzaWdubWVudHMgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHsgVmFyaWFibGUgfSA9IGRvbSxcbiAgICAgICAgICAgIHRlcm1Ob2RlID0gdGhpcy50ZXJtLmdldE5vZGUoKSxcbiAgICAgICAgICAgIHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZVF1ZXJ5KHRlcm1Ob2RlKSxcbiAgICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZUFuZFR5cGUodmFyaWFibGVOb2RlLCB0aGlzLnR5cGUsIGNvbnRleHQpO1xuXG4gICAgfVxuXG4gICAgdmVyaWZpZWRXaGVuU3RhdGVkID0gdHJ1ZTtcblxuICAgIGlmICh2ZXJpZmllZFdoZW5TdGF0ZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHN0YXRlZCBwcm9wZXJ0eSBhc3NlcnRpb24uYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZlcmlmaWVkV2hlblN0YXRlZDtcbiAgfVxuXG4gIHZlcmlmeVdoZW5EZXJpdmVkKGFzc2lnbm1lbnRzLCBjb250ZXh0KSB7XG4gICAgbGV0IHZlcmlmaWVkV2hlbkRlcml2ZWQgPSBmYWxzZTtcblxuICAgIGNvbnN0IHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIGRlcml2ZWQgcHJvcGVydHkgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBkZWJ1Z2dlclxuXG4gICAgaWYgKHZlcmlmaWVkV2hlbkRlcml2ZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIGRlcml2ZWQgcHJvcGVydHkgYXNzZXJ0aW9uLmApO1xuICAgIH1cblxuICAgIHJldHVybiB2ZXJpZmllZFdoZW5EZXJpdmVkO1xuICB9XG5cbiAgc3RhdGljIG5hbWUgPSBcIlByb3BlcnR5QXNzZXJ0aW9uXCI7XG5cbiAgc3RhdGljIGZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIGNvbnRleHQpIHtcbiAgICBsZXQgcHJvcGVydHlBc3NlcnRpb24gPSBudWxsO1xuXG4gICAgY29uc3QgcHJvcGVydHlBc3NlcnRpb25Ob2RlID0gcHJvcGVydHlBc3NlcnRpb25Ob2RlUXVlcnkoc3RhdGVtZW50Tm9kZSk7XG5cbiAgICBpZiAocHJvcGVydHlBc3NlcnRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCB7IFRlcm0sIFZhcmlhYmxlLCBQcm9wZXJ0eSB9ID0gZG9tLFxuICAgICAgICAgICAgbm9kZSA9IHByb3BlcnR5QXNzZXJ0aW9uTm9kZSwgIC8vL1xuICAgICAgICAgICAgc3RyaW5nID0gY29udGV4dC5ub2RlQXNTdHJpbmcobm9kZSksXG4gICAgICAgICAgICB0b2tlbnMgPSBjb250ZXh0Lm5vZGVBc1Rva2Vucyhub2RlKSxcbiAgICAgICAgICAgIHByb3BlcnR5Tm9kZSA9IHByb3BlcnR5Tm9kZVF1ZXJ5KHByb3BlcnR5QXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICB2YXJpYWJsZU5vZGUgPSB2YXJpYWJsZU5vZGVRdWVyeShwcm9wZXJ0eUFzc2VydGlvbk5vZGUpLFxuICAgICAgICAgICAgdGVybU5vZGUgPSB0ZXJtTm9kZVF1ZXJ5KHByb3BlcnR5QXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICBwcm9wZXJ0eSA9IFByb3BlcnR5LmZyb21Qcm9wZXJ0eU5vZGUocHJvcGVydHlOb2RlLCBjb250ZXh0KSxcbiAgICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUsIGNvbnRleHQpLFxuICAgICAgICAgICAgdGVybSA9IFRlcm0uZnJvbVRlcm1Ob2RlKHRlcm1Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgcHJvcGVydHlBc3NlcnRpb24gPSBuZXcgUHJvcGVydHlBc3NlcnRpb24oc3RyaW5nLCBub2RlLCB0b2tlbnMsIHByb3BlcnR5LCB2YXJpYWJsZSwgdGVybSk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHByb3BlcnR5QXNzZXJ0aW9uO1xuICB9XG59KTtcbiJdLCJuYW1lcyI6WyJ0ZXJtTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwidmFyaWFibGVOb2RlUXVlcnkiLCJwcm9wZXJ0eU5vZGVRdWVyeSIsInByb3BlcnR5QXNzZXJ0aW9uTm9kZVF1ZXJ5IiwiZG9tQXNzaWduZWQiLCJQcm9wZXJ0eUFzc2VydGlvbiIsInN0cmluZyIsIm5vZGUiLCJ0b2tlbnMiLCJwcm9wZXJ0eSIsInZhcmlhYmxlIiwidGVybSIsImdldFN0cmluZyIsImdldE5vZGUiLCJnZXRUb2tlbnMiLCJnZXRQcm9wZXJ0eSIsImdldFZhcmlhYmxlIiwiZ2V0VGVybSIsInZlcmlmeSIsImFzc2lnbm1lbnRzIiwic3RhdGVkIiwiY29udGV4dCIsInZlcmlmaWVkIiwicHJvcGVydHlBc3NlcnRpb25TdHJpbmciLCJ0cmFjZSIsInZhcmlhYmxlVmVyaWZpZWQiLCJ2ZXJpZnlWYXJpYWJsZSIsInRlcm1WZXJpZmllZCIsInZlcmlmeVRlcm0iLCJwcm9wZXJ0eVZlcmlmaWVkIiwidmVyaWZ5UHJvcGVydHkiLCJ2ZXJpZmllZFdoZW5TdGF0ZWQiLCJ2ZXJpZmllZFdoZW5EZXJpdmVkIiwidmVyaWZ5V2hlblN0YXRlZCIsInZlcmlmeVdoZW5EZXJpdmVkIiwiZGVidWciLCJ0ZXJtU3RyaW5nIiwidmVyaWZpZWRBaGVhZCIsInZhcmlhYmxlU3RyaW5nIiwicHJvcGVydHlTdHJpbmciLCJ0ZXJtVHlwZSIsImdldFR5cGUiLCJwcm9wZXJ0eU5hbWUiLCJnZXROYW1lIiwiZmluZFByb3BlcnR5QnlQcm9wZXJ0eU5hbWUiLCJ0ZXJtVHlwZU5hbWUiLCJ2YXJpYWJsZVR5cGUiLCJwcm9wZXJ0eVR5cGUiLCJ2YXJpYWJsZVR5cGVFcXVhbFRvT3JTdWJUeXBlT2ZQcm9wZXJ0eVR5cGUiLCJpc0VxdWFsVG9PclN1YlR5cGVPZiIsInZhcmlhYmxlVHlwZU5hbWUiLCJwcm9wZXJ0eVR5cGVOYW1lIiwiVmFyaWFibGUiLCJkb20iLCJ0ZXJtTm9kZSIsInZhcmlhYmxlTm9kZSIsImZyb21WYXJpYWJsZU5vZGVBbmRUeXBlIiwidHlwZSIsImZyb21TdGF0ZW1lbnROb2RlIiwic3RhdGVtZW50Tm9kZSIsInByb3BlcnR5QXNzZXJ0aW9uIiwicHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiVGVybSIsIlByb3BlcnR5Iiwibm9kZUFzU3RyaW5nIiwibm9kZUFzVG9rZW5zIiwicHJvcGVydHlOb2RlIiwiZnJvbVByb3BlcnR5Tm9kZSIsImZyb21WYXJpYWJsZU5vZGUiLCJmcm9tVGVybU5vZGUiLCJuYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFhQTs7O2VBQUE7OzsyREFYZ0I7cUJBRVU7K0RBRUs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRS9CLElBQU1BLGdCQUFnQkMsSUFBQUEsZ0JBQVMsRUFBQyw0QkFDMUJDLG9CQUFvQkQsSUFBQUEsZ0JBQVMsRUFBQyxnQ0FDOUJFLG9CQUFvQkYsSUFBQUEsZ0JBQVMsRUFBQyxnQ0FDOUJHLDZCQUE2QkgsSUFBQUEsZ0JBQVMsRUFBQztJQUU3QyxXQUFlSSxJQUFBQSxnQkFBVyxzQ0FBQzthQUFNQyxrQkFDbkJDLE1BQU0sRUFBRUMsSUFBSSxFQUFFQyxNQUFNLEVBQUVDLFFBQVEsRUFBRUMsUUFBUSxFQUFFQyxJQUFJO2dDQUQzQk47UUFFN0IsSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxRQUFRLEdBQUdBO1FBQ2hCLElBQUksQ0FBQ0MsUUFBUSxHQUFHQTtRQUNoQixJQUFJLENBQUNDLElBQUksR0FBR0E7Ozs7WUFHZEMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixNQUFNO1lBQ3BCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixJQUFJO1lBQ2xCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixNQUFNO1lBQ3BCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixRQUFRO1lBQ3RCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixRQUFRO1lBQ3RCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixJQUFJO1lBQ2xCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBLE9BQU9DLFdBQVcsRUFBRUMsTUFBTSxFQUFFQyxPQUFPO2dCQUNqQyxJQUFJQyxXQUFXO2dCQUVmLElBQU1DLDBCQUEwQixJQUFJLENBQUNqQixNQUFNLEVBQUUsR0FBRztnQkFFaERlLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUF5QyxPQUF4QkQseUJBQXdCO2dCQUV4RCxJQUFNRSxtQkFBbUIsSUFBSSxDQUFDQyxjQUFjLENBQUNQLGFBQWFDLFFBQVFDO2dCQUVsRSxJQUFJSSxrQkFBa0I7b0JBQ3BCLElBQU1FLGVBQWUsSUFBSSxDQUFDQyxVQUFVLENBQUNULGFBQWFDLFFBQVFDO29CQUUxRCxJQUFJTSxjQUFjO3dCQUNoQixJQUFNRSxtQkFBbUIsSUFBSSxDQUFDQyxjQUFjLENBQUNYLGFBQWFDLFFBQVFDO3dCQUVsRSxJQUFJUSxrQkFBa0I7NEJBQ3BCLElBQUlFLHFCQUFxQixPQUNyQkMsc0JBQXNCOzRCQUUxQixJQUFJWixRQUFRO2dDQUNWVyxxQkFBcUIsSUFBSSxDQUFDRSxnQkFBZ0IsQ0FBQ2QsYUFBYUU7NEJBQzFELE9BQU87Z0NBQ0xXLHNCQUFzQixJQUFJLENBQUNFLGlCQUFpQixDQUFDYjs0QkFDL0M7NEJBRUEsSUFBSVUsc0JBQXNCQyxxQkFBcUI7Z0NBQzdDVixXQUFXOzRCQUNiO3dCQUNGO29CQUNGO2dCQUNGO2dCQUVBLElBQUlBLFVBQVU7b0JBQ1pELFFBQVFjLEtBQUssQ0FBQyxBQUFDLG9CQUEyQyxPQUF4QloseUJBQXdCO2dCQUM1RDtnQkFFQSxPQUFPRDtZQUNUOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBLFdBQVdULFdBQVcsRUFBRUMsTUFBTSxFQUFFQyxPQUFPO2dCQUNyQyxJQUFJTTtnQkFFSixJQUFNUyxhQUFhLElBQUksQ0FBQ3pCLElBQUksQ0FBQ0MsU0FBUyxJQUNwQ1csMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUU1Q2UsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQW1FWSxPQUFsRGIseUJBQXdCLDRCQUFxQyxPQUFYYSxZQUFXO2dCQUU3RlQsZUFBZSxJQUFJLENBQUNoQixJQUFJLENBQUNPLE1BQU0sQ0FBQ0csU0FBUztvQkFDdkMsSUFBTWdCLGdCQUFnQjtvQkFFdEIsT0FBT0E7Z0JBQ1Q7Z0JBRUEsSUFBSVYsY0FBYztvQkFDaEJOLFFBQVFjLEtBQUssQ0FBQyxBQUFDLG9CQUFxRUMsT0FBbERiLHlCQUF3Qiw0QkFBcUMsT0FBWGEsWUFBVztnQkFDakc7Z0JBRUEsT0FBT1Q7WUFDVDs7O1lBRUFELEtBQUFBO21CQUFBQSxTQUFBQSxlQUFlUCxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDekMsSUFBSUk7Z0JBRUosSUFBTWEsaUJBQWlCLElBQUksQ0FBQzVCLFFBQVEsQ0FBQ0UsU0FBUyxJQUN4Q1csMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGUsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQW1FYyxPQUFsRGYseUJBQXdCLDRCQUF5QyxPQUFmZSxnQkFBZTtnQkFFakdiLG1CQUFtQixJQUFJLENBQUNmLFFBQVEsQ0FBQ1EsTUFBTSxDQUFDRztnQkFFeEMsSUFBSUksa0JBQWtCO29CQUNwQkosUUFBUWMsS0FBSyxDQUFDLEFBQUMsb0JBQXFFRyxPQUFsRGYseUJBQXdCLDRCQUF5QyxPQUFmZSxnQkFBZTtnQkFDckc7Z0JBRUEsT0FBT2I7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQSxlQUFlWCxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDekMsSUFBSVE7Z0JBRUosSUFBTVUsaUJBQWlCLElBQUksQ0FBQzlCLFFBQVEsQ0FBQ0csU0FBUyxJQUN4Q1csMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGUsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQW1FZSxPQUFsRGhCLHlCQUF3Qiw0QkFBeUMsT0FBZmdCLGdCQUFlO2dCQUVqRyxJQUFNQyxXQUFXLElBQUksQ0FBQzdCLElBQUksQ0FBQzhCLE9BQU8sSUFDNUJDLGVBQWUsSUFBSSxDQUFDakMsUUFBUSxDQUFDa0MsT0FBTyxJQUNwQ2xDLFdBQVcrQixTQUFTSSwwQkFBMEIsQ0FBQ0Y7Z0JBRXJELElBQUlqQyxhQUFhLE1BQU07b0JBQ3JCLElBQU1vQyxlQUFlTCxTQUFTRyxPQUFPO29CQUVyQ3RCLFFBQVFjLEtBQUssQ0FBQyxBQUFDLFFBQWtFVSxPQUEzREgsY0FBYSxnREFBMkQsT0FBYkcsY0FBYTtnQkFDaEcsT0FBTztvQkFDTCxJQUFNQyxlQUFlLElBQUksQ0FBQ3BDLFFBQVEsQ0FBQytCLE9BQU8sSUFDcENNLGVBQWV0QyxTQUFTZ0MsT0FBTyxJQUMvQk8sNkNBQTZDRixhQUFhRyxvQkFBb0IsQ0FBQ0Y7b0JBRXJGLElBQUksQ0FBQ0MsNENBQTRDO3dCQUMvQyxJQUFNRSxtQkFBbUJKLGFBQWFILE9BQU8sSUFDdkNRLG1CQUFtQkosYUFBYUosT0FBTzt3QkFFN0N0QixRQUFRYyxLQUFLLENBQUMsQUFBQyxtQkFBa0ZPLE9BQWhFUSxrQkFBaUIsaURBQTRFQyxPQUE3QlQsY0FBYSxrQkFBaUMsT0FBakJTLGtCQUFpQjtvQkFDakosT0FBTzt3QkFDTHRCLG1CQUFtQjtvQkFDckI7Z0JBQ0Y7Z0JBRUEsSUFBSUEsa0JBQWtCO29CQUNwQlIsUUFBUWMsS0FBSyxDQUFDLEFBQUMsb0JBQXFFSSxPQUFsRGhCLHlCQUF3Qiw0QkFBeUMsT0FBZmdCLGdCQUFlO2dCQUNyRztnQkFFQSxPQUFPVjtZQUNUOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBLGlCQUFpQmQsV0FBVyxFQUFFRSxPQUFPO2dCQUNuQyxJQUFJVSxxQkFBcUI7Z0JBRXpCLElBQU1SLDBCQUEwQixJQUFJLENBQUNqQixNQUFNLEVBQUUsR0FBRztnQkFFaERlLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUF5QyxPQUF4QkQseUJBQXdCO2dCQUV4RCxJQUFJSixnQkFBZ0IsTUFBTTtvQkFDeEIsSUFBTSxBQUFFaUMsV0FBYUMsWUFBRyxDQUFoQkQsVUFDRkUsV0FBVyxJQUFJLENBQUMzQyxJQUFJLENBQUNFLE9BQU8sSUFDNUIwQyxlQUFldEQsa0JBQWtCcUQsV0FDakM1QyxXQUFXMEMsU0FBU0ksdUJBQXVCLENBQUNELGNBQWMsSUFBSSxDQUFDRSxJQUFJLEVBQUVwQztnQkFFN0U7Z0JBRUFVLHFCQUFxQjtnQkFFckIsSUFBSUEsb0JBQW9CO29CQUN0QlYsUUFBUWMsS0FBSyxDQUFDLEFBQUMsb0JBQTJDLE9BQXhCWix5QkFBd0I7Z0JBQzVEO2dCQUVBLE9BQU9RO1lBQ1Q7OztZQUVBRyxLQUFBQTttQkFBQUEsU0FBQUEsa0JBQWtCZixXQUFXLEVBQUVFLE9BQU87Z0JBQ3BDLElBQUlXLHNCQUFzQjtnQkFFMUIsSUFBTVQsMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGUsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQXlDLE9BQXhCRCx5QkFBd0I7Z0JBRXhELFFBQVE7Z0JBRVIsSUFBSVMscUJBQXFCO29CQUN2QlgsUUFBUWMsS0FBSyxDQUFDLEFBQUMsb0JBQTJDLE9BQXhCWix5QkFBd0I7Z0JBQzVEO2dCQUVBLE9BQU9TO1lBQ1Q7Ozs7WUFJTzBCLEtBQUFBO21CQUFQLFNBQU9BLGtCQUFrQkMsYUFBYSxFQUFFdEMsT0FBTztnQkFDN0MsSUFBSXVDLG9CQUFvQjtnQkFFeEIsSUFBTUMsd0JBQXdCMUQsMkJBQTJCd0Q7Z0JBRXpELElBQUlFLDBCQUEwQixNQUFNO29CQUNsQyxJQUFRQyxPQUE2QlQsWUFBRyxDQUFoQ1MsTUFBTVYsV0FBdUJDLFlBQUcsQ0FBMUJELFVBQVVXLFdBQWFWLFlBQUcsQ0FBaEJVLFVBQ2xCeEQsT0FBT3NELHVCQUNQdkQsU0FBU2UsUUFBUTJDLFlBQVksQ0FBQ3pELE9BQzlCQyxTQUFTYSxRQUFRNEMsWUFBWSxDQUFDMUQsT0FDOUIyRCxlQUFlaEUsa0JBQWtCMkQsd0JBQ2pDTixlQUFldEQsa0JBQWtCNEQsd0JBQ2pDUCxXQUFXdkQsY0FBYzhELHdCQUN6QnBELFdBQVdzRCxTQUFTSSxnQkFBZ0IsQ0FBQ0QsY0FBYzdDLFVBQ25EWCxXQUFXMEMsU0FBU2dCLGdCQUFnQixDQUFDYixjQUFjbEMsVUFDbkRWLE9BQU9tRCxLQUFLTyxZQUFZLENBQUNmLFVBQVVqQztvQkFFekN1QyxvQkFBb0IsSUFBSXZELGtCQUFrQkMsUUFBUUMsTUFBTUMsUUFBUUMsVUFBVUMsVUFBVUM7Z0JBQ3RGO2dCQUVBLE9BQU9pRDtZQUNUOzs7O0tBdkJBLHFDQUFPVSxRQUFPIn0=
|
|
228
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9kb20vYXNzZXJ0aW9uL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgZG9tIGZyb20gXCIuLi8uLi9kb21cIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgZG9tQXNzaWduZWQgfSBmcm9tIFwiLi4vLi4vZG9tXCI7XG5cbmNvbnN0IHZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Byb3BlcnR5QXNzZXJ0aW9uL3ZhcmlhYmxlXCIpLFxuICAgICAgcHJvcGVydHlSZWxhdGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9wcm9wZXJ0eUFzc2VydGlvbi9wcm9wZXJ0eVJlbGF0aW9uXCIpLFxuICAgICAgcHJvcGVydHlBc3NlcnRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc3RhdGVtZW50L3Byb3BlcnR5QXNzZXJ0aW9uXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBkb21Bc3NpZ25lZChjbGFzcyBQcm9wZXJ0eUFzc2VydGlvbiB7XG4gIGNvbnN0cnVjdG9yKHN0cmluZywgbm9kZSwgdG9rZW5zLCB2YXJpYWJsZSwgcHJvcGVydHlSZWxhdGlvbikge1xuICAgIHRoaXMuc3RyaW5nID0gc3RyaW5nO1xuICAgIHRoaXMubm9kZSA9IG5vZGU7XG4gICAgdGhpcy50b2tlbnMgPSB0b2tlbnM7XG4gICAgdGhpcy52YXJpYWJsZSA9IHZhcmlhYmxlO1xuICAgIHRoaXMucHJvcGVydHlSZWxhdGlvbiA9IHByb3BlcnR5UmVsYXRpb247XG4gIH1cblxuICBnZXRTdHJpbmcoKSB7XG4gICAgcmV0dXJuIHRoaXMuc3RyaW5nO1xuICB9XG5cbiAgZ2V0Tm9kZSgpIHtcbiAgICByZXR1cm4gdGhpcy5ub2RlO1xuICB9XG5cbiAgZ2V0VG9rZW5zKCkge1xuICAgIHJldHVybiB0aGlzLnRva2VucztcbiAgfVxuXG4gIGdldFZhcmlhYmxlKCkge1xuICAgIHJldHVybiB0aGlzLnZhcmlhYmxlO1xuICB9XG5cbiAgZ2V0UHJvcGVydHlSZWxhdGlvbigpIHtcbiAgICByZXR1cm4gdGhpcy5wcm9wZXJ0eVJlbGF0aW9uO1xuICB9XG5cbiAgdmVyaWZ5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWQgPSBmYWxzZTtcblxuICAgIGNvbnN0IHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3QgdmFyaWFibGVWZXJpZmllZCA9IHRoaXMudmVyaWZ5VmFyaWFibGUoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICBpZiAodmFyaWFibGVWZXJpZmllZCkge1xuICAgICAgY29uc3QgcHJvcGVydHlSZWxhdGlvblZlcmlmaWVkID0gdGhpcy52ZXJpZnlQcm9wZXJ0eVJlbGF0aW9uKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgICBpZiAocHJvcGVydHlSZWxhdGlvblZlcmlmaWVkKSB7XG4gICAgICAgIGxldCB2ZXJpZmllZFdoZW5TdGF0ZWQgPSBmYWxzZSxcbiAgICAgICAgICAgIHZlcmlmaWVkV2hlbkRlcml2ZWQgPSBmYWxzZTtcblxuICAgICAgICBpZiAoc3RhdGVkKSB7XG4gICAgICAgICAgdmVyaWZpZWRXaGVuU3RhdGVkID0gdGhpcy52ZXJpZnlXaGVuU3RhdGVkKGFzc2lnbm1lbnRzLCBjb250ZXh0KTtcbiAgICAgICAgfSBlbHNlIHtcbiAgICAgICAgICB2ZXJpZmllZFdoZW5EZXJpdmVkID0gdGhpcy52ZXJpZnlXaGVuRGVyaXZlZChjb250ZXh0KTtcbiAgICAgICAgfVxuXG4gICAgICAgIGlmICh2ZXJpZmllZFdoZW5TdGF0ZWQgfHwgdmVyaWZpZWRXaGVuRGVyaXZlZCkge1xuICAgICAgICAgIHZlcmlmaWVkID0gdHJ1ZTtcbiAgICAgICAgfVxuICAgICAgfVxuICAgIH1cblxuICAgIGlmICh2ZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uLmApO1xuICAgIH1cblxuICAgIHJldHVybiB2ZXJpZmllZDtcbiAgfVxuXG4gIHZlcmlmeVZhcmlhYmxlKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgICBsZXQgdmFyaWFibGVWZXJpZmllZDtcblxuICAgIGNvbnN0IHZhcmlhYmxlU3RyaW5nID0gdGhpcy52YXJpYWJsZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgICBwcm9wZXJ0eUFzc2VydGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7cHJvcGVydHlBc3NlcnRpb25TdHJpbmd9JyBwcm9wZXJ0eSBhc3NlcnRpb24ncyAnJHt2YXJpYWJsZVN0cmluZ30nIHZhcmlhYmxlLi4uYCk7XG5cbiAgICB2YXJpYWJsZVZlcmlmaWVkID0gdGhpcy52YXJpYWJsZS52ZXJpZnkoY29udGV4dCk7XG5cbiAgICBpZiAodmFyaWFibGVWZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7dmFyaWFibGVTdHJpbmd9JyB2YXJpYWJsZS5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmFyaWFibGVWZXJpZmllZDtcbiAgfVxuXG4gIHZlcmlmeVByb3BlcnR5UmVsYXRpb24oYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICAgIGxldCBwcm9wZXJ0eVJlbGF0aW9uVmVyaWZpZWQ7XG5cbiAgICBjb25zdCBwcm9wZXJ0eVJlbGF0aW9uU3RyaW5nID0gdGhpcy5wcm9wZXJ0eVJlbGF0aW9uLmdldFN0cmluZygpLFxuICAgICAgICAgIHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3Byb3BlcnR5UmVsYXRpb25TdHJpbmd9JyBwcm9wZXJ0eSByZWxhdGlvbi4uLmApO1xuXG4gICAgcHJvcGVydHlSZWxhdGlvblZlcmlmaWVkID0gdGhpcy5wcm9wZXJ0eVJlbGF0aW9uLnZlcmlmeShjb250ZXh0KTtcblxuICAgIGlmIChwcm9wZXJ0eVJlbGF0aW9uVmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3Byb3BlcnR5UmVsYXRpb25TdHJpbmd9JyBwcm9wZXJ0eSByZWxhdGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gcHJvcGVydHlSZWxhdGlvblZlcmlmaWVkO1xuICB9XG5cbiAgdmVyaWZ5V2hlblN0YXRlZChhc3NpZ25tZW50cywgY29udGV4dCkge1xuICAgIGxldCB2ZXJpZmllZFdoZW5TdGF0ZWQgPSBmYWxzZTtcblxuICAgIGNvbnN0IHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHN0YXRlZCBwcm9wZXJ0eSBhc3NlcnRpb24uLi5gKTtcblxuICAgIGlmIChhc3NpZ25tZW50cyAhPT0gbnVsbCkge1xuICAgICAgY29uc3QgdmFyaWFibGVOYW1lID0gdGhpcy52YXJpYWJsZS5nZXROYW1lKCksXG4gICAgICAgICAgICB2YXJpYWJsZSA9IGNvbnRleHQuZmluZFZhcmlhYmxlQnlWYXJpYWJsZU5hbWUodmFyaWFibGVOYW1lKTtcblxuICAgICAgZGVidWdnZXJcblxuICAgIH1cblxuICAgIHZlcmlmaWVkV2hlblN0YXRlZCA9IHRydWU7XG5cbiAgICBpZiAodmVyaWZpZWRXaGVuU3RhdGVkKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7cHJvcGVydHlBc3NlcnRpb25TdHJpbmd9JyBzdGF0ZWQgcHJvcGVydHkgYXNzZXJ0aW9uLmApO1xuICAgIH1cblxuICAgIHJldHVybiB2ZXJpZmllZFdoZW5TdGF0ZWQ7XG4gIH1cblxuICB2ZXJpZnlXaGVuRGVyaXZlZChhc3NpZ25tZW50cywgY29udGV4dCkge1xuICAgIGxldCB2ZXJpZmllZFdoZW5EZXJpdmVkID0gZmFsc2U7XG5cbiAgICBjb25zdCBwcm9wZXJ0eUFzc2VydGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7cHJvcGVydHlBc3NlcnRpb25TdHJpbmd9JyBkZXJpdmVkIHByb3BlcnR5IGFzc2VydGlvbi4uLmApO1xuXG4gICAgZGVidWdnZXJcblxuICAgIGlmICh2ZXJpZmllZFdoZW5EZXJpdmVkKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7cHJvcGVydHlBc3NlcnRpb25TdHJpbmd9JyBkZXJpdmVkIHByb3BlcnR5IGFzc2VydGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWRXaGVuRGVyaXZlZDtcbiAgfVxuXG4gIHN0YXRpYyBuYW1lID0gXCJQcm9wZXJ0eUFzc2VydGlvblwiO1xuXG4gIHN0YXRpYyBmcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KSB7XG4gICAgbGV0IHByb3BlcnR5QXNzZXJ0aW9uID0gbnVsbDtcblxuICAgIGNvbnN0IHByb3BlcnR5QXNzZXJ0aW9uTm9kZSA9IHByb3BlcnR5QXNzZXJ0aW9uTm9kZVF1ZXJ5KHN0YXRlbWVudE5vZGUpO1xuXG4gICAgaWYgKHByb3BlcnR5QXNzZXJ0aW9uTm9kZSAhPT0gbnVsbCkge1xuICAgICAgY29uc3QgeyBWYXJpYWJsZSwgUHJvcGVydHlSZWxhdGlvbiB9ID0gZG9tLFxuICAgICAgICAgICAgbm9kZSA9IHByb3BlcnR5QXNzZXJ0aW9uTm9kZSwgIC8vL1xuICAgICAgICAgICAgc3RyaW5nID0gY29udGV4dC5ub2RlQXNTdHJpbmcobm9kZSksXG4gICAgICAgICAgICB0b2tlbnMgPSBjb250ZXh0Lm5vZGVBc1Rva2Vucyhub2RlKSxcbiAgICAgICAgICAgIHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZVF1ZXJ5KHByb3BlcnR5QXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICBwcm9wZXJ0eVJlbGF0aW9uTm9kZSA9IHByb3BlcnR5UmVsYXRpb25Ob2RlUXVlcnkocHJvcGVydHlBc3NlcnRpb25Ob2RlKSxcbiAgICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUsIGNvbnRleHQpLFxuICAgICAgICAgICAgcHJvcGVydHlSZWxhdGlvbiA9IFByb3BlcnR5UmVsYXRpb24uZnJvbVByb3BlcnR5UmVsYXRpb25Ob2RlKHByb3BlcnR5UmVsYXRpb25Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgcHJvcGVydHlBc3NlcnRpb24gPSBuZXcgUHJvcGVydHlBc3NlcnRpb24oc3RyaW5nLCBub2RlLCB0b2tlbnMsIHZhcmlhYmxlLCBwcm9wZXJ0eVJlbGF0aW9uKTtcbiAgICB9XG5cbiAgICByZXR1cm4gcHJvcGVydHlBc3NlcnRpb247XG4gIH1cbn0pO1xuIl0sIm5hbWVzIjpbInZhcmlhYmxlTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwicHJvcGVydHlSZWxhdGlvbk5vZGVRdWVyeSIsInByb3BlcnR5QXNzZXJ0aW9uTm9kZVF1ZXJ5IiwiZG9tQXNzaWduZWQiLCJQcm9wZXJ0eUFzc2VydGlvbiIsInN0cmluZyIsIm5vZGUiLCJ0b2tlbnMiLCJ2YXJpYWJsZSIsInByb3BlcnR5UmVsYXRpb24iLCJnZXRTdHJpbmciLCJnZXROb2RlIiwiZ2V0VG9rZW5zIiwiZ2V0VmFyaWFibGUiLCJnZXRQcm9wZXJ0eVJlbGF0aW9uIiwidmVyaWZ5IiwiYXNzaWdubWVudHMiLCJzdGF0ZWQiLCJjb250ZXh0IiwidmVyaWZpZWQiLCJwcm9wZXJ0eUFzc2VydGlvblN0cmluZyIsInRyYWNlIiwidmFyaWFibGVWZXJpZmllZCIsInZlcmlmeVZhcmlhYmxlIiwicHJvcGVydHlSZWxhdGlvblZlcmlmaWVkIiwidmVyaWZ5UHJvcGVydHlSZWxhdGlvbiIsInZlcmlmaWVkV2hlblN0YXRlZCIsInZlcmlmaWVkV2hlbkRlcml2ZWQiLCJ2ZXJpZnlXaGVuU3RhdGVkIiwidmVyaWZ5V2hlbkRlcml2ZWQiLCJkZWJ1ZyIsInZhcmlhYmxlU3RyaW5nIiwicHJvcGVydHlSZWxhdGlvblN0cmluZyIsInZhcmlhYmxlTmFtZSIsImdldE5hbWUiLCJmaW5kVmFyaWFibGVCeVZhcmlhYmxlTmFtZSIsImZyb21TdGF0ZW1lbnROb2RlIiwic3RhdGVtZW50Tm9kZSIsInByb3BlcnR5QXNzZXJ0aW9uIiwicHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiVmFyaWFibGUiLCJkb20iLCJQcm9wZXJ0eVJlbGF0aW9uIiwibm9kZUFzU3RyaW5nIiwibm9kZUFzVG9rZW5zIiwidmFyaWFibGVOb2RlIiwicHJvcGVydHlSZWxhdGlvbk5vZGUiLCJmcm9tVmFyaWFibGVOb2RlIiwiZnJvbVByb3BlcnR5UmVsYXRpb25Ob2RlIiwibmFtZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBV0E7OztlQUFBOzs7MkRBVGdCO3FCQUVVOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFHMUIsSUFBTUEsb0JBQW9CQyxJQUFBQSxnQkFBUyxFQUFDLGdDQUM5QkMsNEJBQTRCRCxJQUFBQSxnQkFBUyxFQUFDLHdDQUN0Q0UsNkJBQTZCRixJQUFBQSxnQkFBUyxFQUFDO0lBRTdDLFdBQWVHLElBQUFBLGdCQUFXLHNDQUFDO2FBQU1DLGtCQUNuQkMsTUFBTSxFQUFFQyxJQUFJLEVBQUVDLE1BQU0sRUFBRUMsUUFBUSxFQUFFQyxnQkFBZ0I7Z0NBRDdCTDtRQUU3QixJQUFJLENBQUNDLE1BQU0sR0FBR0E7UUFDZCxJQUFJLENBQUNDLElBQUksR0FBR0E7UUFDWixJQUFJLENBQUNDLE1BQU0sR0FBR0E7UUFDZCxJQUFJLENBQUNDLFFBQVEsR0FBR0E7UUFDaEIsSUFBSSxDQUFDQyxnQkFBZ0IsR0FBR0E7Ozs7WUFHMUJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0wsTUFBTTtZQUNwQjs7O1lBRUFNLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0wsSUFBSTtZQUNsQjs7O1lBRUFNLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0wsTUFBTTtZQUNwQjs7O1lBRUFNLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0wsUUFBUTtZQUN0Qjs7O1lBRUFNLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0wsZ0JBQWdCO1lBQzlCOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBLE9BQU9DLFdBQVcsRUFBRUMsTUFBTSxFQUFFQyxPQUFPO2dCQUNqQyxJQUFJQyxXQUFXO2dCQUVmLElBQU1DLDBCQUEwQixJQUFJLENBQUNmLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGEsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQXlDLE9BQXhCRCx5QkFBd0I7Z0JBRXhELElBQU1FLG1CQUFtQixJQUFJLENBQUNDLGNBQWMsQ0FBQ1AsYUFBYUMsUUFBUUM7Z0JBRWxFLElBQUlJLGtCQUFrQjtvQkFDcEIsSUFBTUUsMkJBQTJCLElBQUksQ0FBQ0Msc0JBQXNCLENBQUNULGFBQWFDLFFBQVFDO29CQUVsRixJQUFJTSwwQkFBMEI7d0JBQzVCLElBQUlFLHFCQUFxQixPQUNyQkMsc0JBQXNCO3dCQUUxQixJQUFJVixRQUFROzRCQUNWUyxxQkFBcUIsSUFBSSxDQUFDRSxnQkFBZ0IsQ0FBQ1osYUFBYUU7d0JBQzFELE9BQU87NEJBQ0xTLHNCQUFzQixJQUFJLENBQUNFLGlCQUFpQixDQUFDWDt3QkFDL0M7d0JBRUEsSUFBSVEsc0JBQXNCQyxxQkFBcUI7NEJBQzdDUixXQUFXO3dCQUNiO29CQUNGO2dCQUNGO2dCQUVBLElBQUlBLFVBQVU7b0JBQ1pELFFBQVFZLEtBQUssQ0FBQyxBQUFDLG9CQUEyQyxPQUF4QlYseUJBQXdCO2dCQUM1RDtnQkFFQSxPQUFPRDtZQUNUOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBLGVBQWVQLFdBQVcsRUFBRUMsTUFBTSxFQUFFQyxPQUFPO2dCQUN6QyxJQUFJSTtnQkFFSixJQUFNUyxpQkFBaUIsSUFBSSxDQUFDdkIsUUFBUSxDQUFDRSxTQUFTLElBQ3hDVSwwQkFBMEIsSUFBSSxDQUFDZixNQUFNLEVBQUUsR0FBRztnQkFFaERhLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUFtRVUsT0FBbERYLHlCQUF3Qiw0QkFBeUMsT0FBZlcsZ0JBQWU7Z0JBRWpHVCxtQkFBbUIsSUFBSSxDQUFDZCxRQUFRLENBQUNPLE1BQU0sQ0FBQ0c7Z0JBRXhDLElBQUlJLGtCQUFrQjtvQkFDcEJKLFFBQVFZLEtBQUssQ0FBQyxBQUFDLG9CQUFxRUMsT0FBbERYLHlCQUF3Qiw0QkFBeUMsT0FBZlcsZ0JBQWU7Z0JBQ3JHO2dCQUVBLE9BQU9UO1lBQ1Q7OztZQUVBRyxLQUFBQTttQkFBQUEsU0FBQUEsdUJBQXVCVCxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDakQsSUFBSU07Z0JBRUosSUFBTVEseUJBQXlCLElBQUksQ0FBQ3ZCLGdCQUFnQixDQUFDQyxTQUFTLElBQ3hEVSwwQkFBMEIsSUFBSSxDQUFDZixNQUFNLEVBQUUsR0FBRztnQkFFaERhLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUFtRVcsT0FBbERaLHlCQUF3Qiw0QkFBaUQsT0FBdkJZLHdCQUF1QjtnQkFFekdSLDJCQUEyQixJQUFJLENBQUNmLGdCQUFnQixDQUFDTSxNQUFNLENBQUNHO2dCQUV4RCxJQUFJTSwwQkFBMEI7b0JBQzVCTixRQUFRWSxLQUFLLENBQUMsQUFBQyxvQkFBcUVFLE9BQWxEWix5QkFBd0IsNEJBQWlELE9BQXZCWSx3QkFBdUI7Z0JBQzdHO2dCQUVBLE9BQU9SO1lBQ1Q7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUEsaUJBQWlCWixXQUFXLEVBQUVFLE9BQU87Z0JBQ25DLElBQUlRLHFCQUFxQjtnQkFFekIsSUFBTU4sMEJBQTBCLElBQUksQ0FBQ2YsTUFBTSxFQUFFLEdBQUc7Z0JBRWhEYSxRQUFRRyxLQUFLLENBQUMsQUFBQyxrQkFBeUMsT0FBeEJELHlCQUF3QjtnQkFFeEQsSUFBSUosZ0JBQWdCLE1BQU07b0JBQ3hCLElBQU1pQixlQUFlLElBQUksQ0FBQ3pCLFFBQVEsQ0FBQzBCLE9BQU8sSUFDcEMxQixXQUFXVSxRQUFRaUIsMEJBQTBCLENBQUNGO29CQUVwRCxRQUFRO2dCQUVWO2dCQUVBUCxxQkFBcUI7Z0JBRXJCLElBQUlBLG9CQUFvQjtvQkFDdEJSLFFBQVFZLEtBQUssQ0FBQyxBQUFDLG9CQUEyQyxPQUF4QlYseUJBQXdCO2dCQUM1RDtnQkFFQSxPQUFPTTtZQUNUOzs7WUFFQUcsS0FBQUE7bUJBQUFBLFNBQUFBLGtCQUFrQmIsV0FBVyxFQUFFRSxPQUFPO2dCQUNwQyxJQUFJUyxzQkFBc0I7Z0JBRTFCLElBQU1QLDBCQUEwQixJQUFJLENBQUNmLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGEsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQXlDLE9BQXhCRCx5QkFBd0I7Z0JBRXhELFFBQVE7Z0JBRVIsSUFBSU8scUJBQXFCO29CQUN2QlQsUUFBUVksS0FBSyxDQUFDLEFBQUMsb0JBQTJDLE9BQXhCVix5QkFBd0I7Z0JBQzVEO2dCQUVBLE9BQU9PO1lBQ1Q7Ozs7WUFJT1MsS0FBQUE7bUJBQVAsU0FBT0Esa0JBQWtCQyxhQUFhLEVBQUVuQixPQUFPO2dCQUM3QyxJQUFJb0Isb0JBQW9CO2dCQUV4QixJQUFNQyx3QkFBd0JyQywyQkFBMkJtQztnQkFFekQsSUFBSUUsMEJBQTBCLE1BQU07b0JBQ2xDLElBQVFDLFdBQStCQyxZQUFHLENBQWxDRCxVQUFVRSxtQkFBcUJELFlBQUcsQ0FBeEJDLGtCQUNacEMsT0FBT2lDLHVCQUNQbEMsU0FBU2EsUUFBUXlCLFlBQVksQ0FBQ3JDLE9BQzlCQyxTQUFTVyxRQUFRMEIsWUFBWSxDQUFDdEMsT0FDOUJ1QyxlQUFlOUMsa0JBQWtCd0Msd0JBQ2pDTyx1QkFBdUI3QywwQkFBMEJzQyx3QkFDakQvQixXQUFXZ0MsU0FBU08sZ0JBQWdCLENBQUNGLGNBQWMzQixVQUNuRFQsbUJBQW1CaUMsaUJBQWlCTSx3QkFBd0IsQ0FBQ0Ysc0JBQXNCNUI7b0JBRXpGb0Isb0JBQW9CLElBQUlsQyxrQkFBa0JDLFFBQVFDLE1BQU1DLFFBQVFDLFVBQVVDO2dCQUM1RTtnQkFFQSxPQUFPNkI7WUFDVDs7OztLQXJCQSxxQ0FBT1csUUFBTyJ9
|
|
@@ -84,7 +84,7 @@ function _interop_require_wildcard(obj, nodeInterop) {
|
|
|
84
84
|
return newObj;
|
|
85
85
|
}
|
|
86
86
|
var _PropertyRelation;
|
|
87
|
-
var termNodeQuery = (0, _query.nodeQuery)("/propertyRelation/term"), propertyNodeQuery = (0, _query.nodeQuery)("/propertyRelation/property")
|
|
87
|
+
var termNodeQuery = (0, _query.nodeQuery)("/propertyRelation/term"), propertyNodeQuery = (0, _query.nodeQuery)("/propertyRelation/property");
|
|
88
88
|
var _default = (0, _dom.domAssigned)((_PropertyRelation = /*#__PURE__*/ function() {
|
|
89
89
|
function PropertyRelation(string, node, tokens, property, term) {
|
|
90
90
|
_class_call_check(this, PropertyRelation);
|
|
@@ -152,6 +152,22 @@ var _default = (0, _dom.domAssigned)((_PropertyRelation = /*#__PURE__*/ function
|
|
|
152
152
|
return verified;
|
|
153
153
|
}
|
|
154
154
|
},
|
|
155
|
+
{
|
|
156
|
+
key: "verifyTerm",
|
|
157
|
+
value: function verifyTerm(context) {
|
|
158
|
+
var termVerified;
|
|
159
|
+
var termString = this.term.getString(), propertyRelationString = this.string; ///
|
|
160
|
+
context.trace("Verifying the '".concat(propertyRelationString, "' property relation's '").concat(termString, "' term..."));
|
|
161
|
+
termVerified = this.term.verify(context, function() {
|
|
162
|
+
var verifiedAhead = true;
|
|
163
|
+
return verifiedAhead;
|
|
164
|
+
});
|
|
165
|
+
if (termVerified) {
|
|
166
|
+
context.debug("...verified the '".concat(propertyRelationString, "' property relation's '").concat(termString, "' term."));
|
|
167
|
+
}
|
|
168
|
+
return termVerified;
|
|
169
|
+
}
|
|
170
|
+
},
|
|
155
171
|
{
|
|
156
172
|
key: "verifyProperty",
|
|
157
173
|
value: function verifyProperty(context) {
|
|
@@ -177,33 +193,12 @@ var _default = (0, _dom.domAssigned)((_PropertyRelation = /*#__PURE__*/ function
|
|
|
177
193
|
}
|
|
178
194
|
return propertyVerified;
|
|
179
195
|
}
|
|
180
|
-
},
|
|
181
|
-
{
|
|
182
|
-
key: "verifyTerm",
|
|
183
|
-
value: function verifyTerm(context) {
|
|
184
|
-
var termVerified;
|
|
185
|
-
var termString = this.term.getString(), propertyRelationString = this.string; ///
|
|
186
|
-
context.trace("Verifying the '".concat(propertyRelationString, "' property relation's '").concat(termString, "' term..."));
|
|
187
|
-
termVerified = this.term.verify(context, function() {
|
|
188
|
-
var verifiedAhead = true;
|
|
189
|
-
return verifiedAhead;
|
|
190
|
-
});
|
|
191
|
-
if (termVerified) {
|
|
192
|
-
context.debug("...verified the '".concat(propertyRelationString, "' property relation's '").concat(termString, "' term."));
|
|
193
|
-
}
|
|
194
|
-
return termVerified;
|
|
195
|
-
}
|
|
196
196
|
}
|
|
197
197
|
], [
|
|
198
198
|
{
|
|
199
|
-
key: "
|
|
200
|
-
value: function
|
|
201
|
-
var propertyRelation =
|
|
202
|
-
var propertyRelationNode = propertyRelationNodeQuery(termNode);
|
|
203
|
-
if (propertyRelationNode !== null) {
|
|
204
|
-
var Term = _dom.default.Term, Property = _dom.default.Property, node = propertyRelationNode, string = context.nodeAsString(node), tokens = context.nodeAsTokens(node), _$termNode = termNodeQuery(propertyRelationNode), propertyNode = propertyNodeQuery(propertyRelationNode), property = Property.fromPropertyNode(propertyNode, context), term = Term.fromTermNode(_$termNode, context);
|
|
205
|
-
propertyRelation = new PropertyRelation(string, node, tokens, property, term);
|
|
206
|
-
}
|
|
199
|
+
key: "fromPropertyRelationNode",
|
|
200
|
+
value: function fromPropertyRelationNode(propertyRelationNode, context) {
|
|
201
|
+
var Term = _dom.default.Term, Property = _dom.default.Property, node = propertyRelationNode, string = context.nodeAsString(node), tokens = context.nodeAsTokens(node), termNode = termNodeQuery(propertyRelationNode), propertyNode = propertyNodeQuery(propertyRelationNode), property = Property.fromPropertyNode(propertyNode, context), term = Term.fromTermNode(termNode, context), propertyRelation = new PropertyRelation(string, node, tokens, property, term);
|
|
207
202
|
return propertyRelation;
|
|
208
203
|
}
|
|
209
204
|
}
|
|
@@ -211,4 +206,4 @@ var _default = (0, _dom.domAssigned)((_PropertyRelation = /*#__PURE__*/ function
|
|
|
211
206
|
return PropertyRelation;
|
|
212
207
|
}(), _define_property(_PropertyRelation, "name", "PropertyRelation"), _PropertyRelation));
|
|
213
208
|
|
|
214
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9kb20vcmVsYXRpb24vcHJvcGVydHkuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBkb20gZnJvbSBcIi4uLy4uL2RvbVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBkb21Bc3NpZ25lZCB9IGZyb20gXCIuLi8uLi9kb21cIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9wcm9wZXJ0eVJlbGF0aW9uL3Rlcm1cIiksXG4gICAgICBwcm9wZXJ0eU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9wcm9wZXJ0eVJlbGF0aW9uL3Byb3BlcnR5XCIpLFxuICAgICAgcHJvcGVydHlSZWxhdGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90ZXJtL3Byb3BlcnR5UmVsYXRpb25cIik7XG5cbmV4cG9ydCBkZWZhdWx0IGRvbUFzc2lnbmVkKGNsYXNzIFByb3BlcnR5UmVsYXRpb24ge1xuICBjb25zdHJ1Y3RvcihzdHJpbmcsIG5vZGUsIHRva2VucywgcHJvcGVydHksIHRlcm0pIHtcbiAgICB0aGlzLnN0cmluZyA9IHN0cmluZztcbiAgICB0aGlzLm5vZGUgPSBub2RlO1xuICAgIHRoaXMudG9rZW5zID0gdG9rZW5zO1xuICAgIHRoaXMucHJvcGVydHkgPSBwcm9wZXJ0eTtcbiAgICB0aGlzLnRlcm0gPSB0ZXJtO1xuICB9XG5cbiAgZ2V0U3RyaW5nKCkge1xuICAgIHJldHVybiB0aGlzLnN0cmluZztcbiAgfVxuXG4gIGdldE5vZGUoKSB7XG4gICAgcmV0dXJuIHRoaXMubm9kZTtcbiAgfVxuXG4gIGdldFRva2VucygpIHtcbiAgICByZXR1cm4gdGhpcy50b2tlbnM7XG4gIH1cblxuICBnZXRQcm9wZXJ0eSgpIHtcbiAgICByZXR1cm4gdGhpcy5wcm9wZXJ0eTtcbiAgfVxuXG4gIGdldFRlcm0oKSB7XG4gICAgcmV0dXJuIHRoaXMudGVybTtcbiAgfVxuXG4gIGdldFR5cGUoKSB7IHJldHVybiB0aGlzLnByb3BlcnR5LmdldFR5cGUoKTsgfVxuXG4gIHZlcmlmeShjb250ZXh0KSB7XG4gICAgbGV0IHZlcmlmaWVkID0gZmFsc2U7XG5cbiAgICBjb25zdCBwcm9wZXJ0eVJlbGF0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eVJlbGF0aW9uU3RyaW5nfScgcHJvcGVydHkgcmVsYXRpb24uLi5gKTtcblxuICAgIGNvbnN0IHRlcm1WZXJpZmllZCA9IHRoaXMudmVyaWZ5VGVybShjb250ZXh0KTtcblxuICAgIGlmICh0ZXJtVmVyaWZpZWQpIHtcbiAgICAgIGNvbnN0IHByb3BlcnR5VmVyaWZpZWQgPSB0aGlzLnZlcmlmeVByb3BlcnR5KGNvbnRleHQpO1xuXG4gICAgICBpZiAocHJvcGVydHlWZXJpZmllZCkge1xuICAgICAgICBjb25zdCB0eXBlID0gdGhpcy5wcm9wZXJ0eS5nZXRUeXBlKCk7XG5cbiAgICAgICAgdGhpcy50ZXJtLnNldFR5cGUodHlwZSk7XG5cbiAgICAgICAgdmVyaWZpZWQgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cblxuICAgIGlmICh2ZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5UmVsYXRpb25TdHJpbmd9JyBwcm9wZXJ0eSByZWxhdGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlQcm9wZXJ0eShjb250ZXh0KSB7XG4gICAgbGV0IHByb3BlcnR5VmVyaWZpZWQ7XG5cbiAgICBjb25zdCBwcm9wZXJ0eVN0cmluZyA9IHRoaXMucHJvcGVydHkuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlSZWxhdGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7cHJvcGVydHlSZWxhdGlvblN0cmluZ30nIHByb3BlcnR5IHJlbGF0aW9uJ3MgJyR7cHJvcGVydHlTdHJpbmd9JyBwcm9wZXJ0eS4uLmApO1xuXG4gICAgY29uc3QgdGVybVR5cGUgPSB0aGlzLnRlcm0uZ2V0VHlwZSgpLFxuICAgICAgICAgIHByb3BlcnR5TmFtZSA9IHRoaXMucHJvcGVydHkuZ2V0TmFtZSgpLFxuICAgICAgICAgIHRlcm1UeXBlUHJvcGVydGllcyA9IHRlcm1UeXBlLmdldFByb3BlcnRpZXMoKSxcbiAgICAgICAgICB0ZXJtVHlwZVByb3BlcnR5ID0gdGVybVR5cGVQcm9wZXJ0aWVzLmZpbmQoKHRlcm1UeXBlUHJvcGVydHkpID0+IHtcbiAgICAgICAgICAgIGNvbnN0IHByb3BlcnR5TmFtZU1hdGNoZXMgPSB0ZXJtVHlwZVByb3BlcnR5Lm1hdGNoUHJvcGVydHlOYW1lKHByb3BlcnR5TmFtZSk7XG5cbiAgICAgICAgICAgIGlmIChwcm9wZXJ0eU5hbWVNYXRjaGVzKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pIHx8IG51bGw7XG5cbiAgICBpZiAodGVybVR5cGVQcm9wZXJ0eSA9PT0gbnVsbCkge1xuICAgICAgY29uc3QgdGVybVN0cmluZyA9IHRoaXMudGVybS5nZXRTdHJpbmcoKSxcbiAgICAgICAgICAgIHRlcm1UeXBlTmFtZSA9IHRlcm1UeXBlLmdldE5hbWUoKTtcblxuICAgICAgY29udGV4dC5kZWJ1ZyhgVGhlICcke3Byb3BlcnR5TmFtZX0nIHByb3BlcnR5IGlzIG5vdCBhIHByb3BlcnR5IG9mIHRoZSAnJHt0ZXJtU3RyaW5nfScgdGVybSdzICcke3Rlcm1UeXBlTmFtZX0nIHR5cGUuYCk7XG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IHR5cGUgPSB0ZXJtVHlwZTtcblxuICAgICAgdGhpcy5wcm9wZXJ0eS5zZXRUeXBlKHR5cGUpO1xuXG4gICAgICBwcm9wZXJ0eVZlcmlmaWVkID0gdHJ1ZTtcbiAgICB9XG5cbiAgICBpZiAocHJvcGVydHlWZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5UmVsYXRpb25TdHJpbmd9JyBwcm9wZXJ0eSByZWxhdGlvbidzICcke3Byb3BlcnR5U3RyaW5nfScgcHJvcGVydHkuYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHByb3BlcnR5VmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlUZXJtKGNvbnRleHQpIHtcbiAgICBsZXQgdGVybVZlcmlmaWVkO1xuXG4gICAgY29uc3QgdGVybVN0cmluZyA9IHRoaXMudGVybS5nZXRTdHJpbmcoKSxcbiAgICAgICAgICBwcm9wZXJ0eVJlbGF0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eVJlbGF0aW9uU3RyaW5nfScgcHJvcGVydHkgcmVsYXRpb24ncyAnJHt0ZXJtU3RyaW5nfScgdGVybS4uLmApO1xuXG4gICAgdGVybVZlcmlmaWVkID0gdGhpcy50ZXJtLnZlcmlmeShjb250ZXh0LCAoKSA9PiB7XG4gICAgICBjb25zdCB2ZXJpZmllZEFoZWFkID0gdHJ1ZTtcblxuICAgICAgcmV0dXJuIHZlcmlmaWVkQWhlYWQ7XG4gICAgfSk7XG5cbiAgICBpZiAodGVybVZlcmlmaWVkKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7cHJvcGVydHlSZWxhdGlvblN0cmluZ30nIHByb3BlcnR5IHJlbGF0aW9uJ3MgJyR7dGVybVN0cmluZ30nIHRlcm0uYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHRlcm1WZXJpZmllZDtcbiAgfVxuXG4gIHN0YXRpYyBuYW1lID0gXCJQcm9wZXJ0eVJlbGF0aW9uXCI7XG5cbiAgc3RhdGljIGZyb21UZXJtTm9kZSh0ZXJtTm9kZSwgY29udGV4dCkge1xuICAgIGxldCBwcm9wZXJ0eVJlbGF0aW9uID0gbnVsbDtcblxuICAgIGNvbnN0IHByb3BlcnR5UmVsYXRpb25Ob2RlID0gcHJvcGVydHlSZWxhdGlvbk5vZGVRdWVyeSh0ZXJtTm9kZSk7XG5cbiAgICBpZiAocHJvcGVydHlSZWxhdGlvbk5vZGUgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHsgVGVybSwgUHJvcGVydHkgfSA9IGRvbSxcbiAgICAgICAgICAgIG5vZGUgPSBwcm9wZXJ0eVJlbGF0aW9uTm9kZSwgIC8vL1xuICAgICAgICAgICAgc3RyaW5nID0gY29udGV4dC5ub2RlQXNTdHJpbmcobm9kZSksXG4gICAgICAgICAgICB0b2tlbnMgPSBjb250ZXh0Lm5vZGVBc1Rva2Vucyhub2RlKSxcbiAgICAgICAgICAgIHRlcm1Ob2RlID0gdGVybU5vZGVRdWVyeShwcm9wZXJ0eVJlbGF0aW9uTm9kZSksXG4gICAgICAgICAgICBwcm9wZXJ0eU5vZGUgPSBwcm9wZXJ0eU5vZGVRdWVyeShwcm9wZXJ0eVJlbGF0aW9uTm9kZSksXG4gICAgICAgICAgICBwcm9wZXJ0eSA9IFByb3BlcnR5LmZyb21Qcm9wZXJ0eU5vZGUocHJvcGVydHlOb2RlLCBjb250ZXh0KSxcbiAgICAgICAgICAgIHRlcm0gPSBUZXJtLmZyb21UZXJtTm9kZSh0ZXJtTm9kZSwgY29udGV4dCk7XG5cbiAgICAgIHByb3BlcnR5UmVsYXRpb24gPSBuZXcgUHJvcGVydHlSZWxhdGlvbihzdHJpbmcsIG5vZGUsIHRva2VucywgcHJvcGVydHksIHRlcm0pO1xuICAgIH1cblxuICAgIHJldHVybiBwcm9wZXJ0eVJlbGF0aW9uO1xuICB9XG59KTtcbiJdLCJuYW1lcyI6WyJ0ZXJtTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwicHJvcGVydHlOb2RlUXVlcnkiLCJwcm9wZXJ0eVJlbGF0aW9uTm9kZVF1ZXJ5IiwiZG9tQXNzaWduZWQiLCJQcm9wZXJ0eVJlbGF0aW9uIiwic3RyaW5nIiwibm9kZSIsInRva2VucyIsInByb3BlcnR5IiwidGVybSIsImdldFN0cmluZyIsImdldE5vZGUiLCJnZXRUb2tlbnMiLCJnZXRQcm9wZXJ0eSIsImdldFRlcm0iLCJnZXRUeXBlIiwidmVyaWZ5IiwiY29udGV4dCIsInZlcmlmaWVkIiwicHJvcGVydHlSZWxhdGlvblN0cmluZyIsInRyYWNlIiwidGVybVZlcmlmaWVkIiwidmVyaWZ5VGVybSIsInByb3BlcnR5VmVyaWZpZWQiLCJ2ZXJpZnlQcm9wZXJ0eSIsInR5cGUiLCJzZXRUeXBlIiwiZGVidWciLCJwcm9wZXJ0eVN0cmluZyIsInRlcm1UeXBlIiwicHJvcGVydHlOYW1lIiwiZ2V0TmFtZSIsInRlcm1UeXBlUHJvcGVydGllcyIsImdldFByb3BlcnRpZXMiLCJ0ZXJtVHlwZVByb3BlcnR5IiwiZmluZCIsInByb3BlcnR5TmFtZU1hdGNoZXMiLCJtYXRjaFByb3BlcnR5TmFtZSIsInRlcm1TdHJpbmciLCJ0ZXJtVHlwZU5hbWUiLCJ2ZXJpZmllZEFoZWFkIiwiZnJvbVRlcm1Ob2RlIiwidGVybU5vZGUiLCJwcm9wZXJ0eVJlbGF0aW9uIiwicHJvcGVydHlSZWxhdGlvbk5vZGUiLCJUZXJtIiwiZG9tIiwiUHJvcGVydHkiLCJub2RlQXNTdHJpbmciLCJub2RlQXNUb2tlbnMiLCJwcm9wZXJ0eU5vZGUiLCJmcm9tUHJvcGVydHlOb2RlIiwibmFtZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBV0E7OztlQUFBOzs7MkRBVGdCO3FCQUVVOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFHMUIsSUFBTUEsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLDJCQUMxQkMsb0JBQW9CRCxJQUFBQSxnQkFBUyxFQUFDLCtCQUM5QkUsNEJBQTRCRixJQUFBQSxnQkFBUyxFQUFDO0lBRTVDLFdBQWVHLElBQUFBLGdCQUFXLHFDQUFDO2FBQU1DLGlCQUNuQkMsTUFBTSxFQUFFQyxJQUFJLEVBQUVDLE1BQU0sRUFBRUMsUUFBUSxFQUFFQyxJQUFJO2dDQURqQkw7UUFFN0IsSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxRQUFRLEdBQUdBO1FBQ2hCLElBQUksQ0FBQ0MsSUFBSSxHQUFHQTs7OztZQUdkQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNMLE1BQU07WUFDcEI7OztZQUVBTSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNMLElBQUk7WUFDbEI7OztZQUVBTSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNMLE1BQU07WUFDcEI7OztZQUVBTSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNMLFFBQVE7WUFDdEI7OztZQUVBTSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNMLElBQUk7WUFDbEI7OztZQUVBTSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQVksT0FBTyxJQUFJLENBQUNQLFFBQVEsQ0FBQ08sT0FBTztZQUFJOzs7WUFFNUNDLEtBQUFBO21CQUFBQSxTQUFBQSxPQUFPQyxPQUFPO2dCQUNaLElBQUlDLFdBQVc7Z0JBRWYsSUFBTUMseUJBQXlCLElBQUksQ0FBQ2QsTUFBTSxFQUFFLEdBQUc7Z0JBRS9DWSxRQUFRRyxLQUFLLENBQUMsQUFBQyxrQkFBd0MsT0FBdkJELHdCQUF1QjtnQkFFdkQsSUFBTUUsZUFBZSxJQUFJLENBQUNDLFVBQVUsQ0FBQ0w7Z0JBRXJDLElBQUlJLGNBQWM7b0JBQ2hCLElBQU1FLG1CQUFtQixJQUFJLENBQUNDLGNBQWMsQ0FBQ1A7b0JBRTdDLElBQUlNLGtCQUFrQjt3QkFDcEIsSUFBTUUsT0FBTyxJQUFJLENBQUNqQixRQUFRLENBQUNPLE9BQU87d0JBRWxDLElBQUksQ0FBQ04sSUFBSSxDQUFDaUIsT0FBTyxDQUFDRDt3QkFFbEJQLFdBQVc7b0JBQ2I7Z0JBQ0Y7Z0JBRUEsSUFBSUEsVUFBVTtvQkFDWkQsUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQTBDLE9BQXZCUix3QkFBdUI7Z0JBQzNEO2dCQUVBLE9BQU9EO1lBQ1Q7OztZQUVBTSxLQUFBQTttQkFBQUEsU0FBQUEsZUFBZVAsT0FBTztnQkFDcEIsSUFBSU07Z0JBRUosSUFBTUssaUJBQWlCLElBQUksQ0FBQ3BCLFFBQVEsQ0FBQ0UsU0FBUyxJQUN4Q1MseUJBQXlCLElBQUksQ0FBQ2QsTUFBTSxFQUFFLEdBQUc7Z0JBRS9DWSxRQUFRRyxLQUFLLENBQUMsQUFBQyxrQkFBaUVRLE9BQWhEVCx3QkFBdUIsMkJBQXdDLE9BQWZTLGdCQUFlO2dCQUUvRixJQUFNQyxXQUFXLElBQUksQ0FBQ3BCLElBQUksQ0FBQ00sT0FBTyxJQUM1QmUsZUFBZSxJQUFJLENBQUN0QixRQUFRLENBQUN1QixPQUFPLElBQ3BDQyxxQkFBcUJILFNBQVNJLGFBQWEsSUFDM0NDLG1CQUFtQkYsbUJBQW1CRyxJQUFJLENBQUMsU0FBQ0Q7b0JBQzFDLElBQU1FLHNCQUFzQkYsaUJBQWlCRyxpQkFBaUIsQ0FBQ1A7b0JBRS9ELElBQUlNLHFCQUFxQjt3QkFDdkIsT0FBTztvQkFDVDtnQkFDRixNQUFNO2dCQUVaLElBQUlGLHFCQUFxQixNQUFNO29CQUM3QixJQUFNSSxhQUFhLElBQUksQ0FBQzdCLElBQUksQ0FBQ0MsU0FBUyxJQUNoQzZCLGVBQWVWLFNBQVNFLE9BQU87b0JBRXJDZCxRQUFRVSxLQUFLLENBQUMsQUFBQyxRQUEyRFcsT0FBcERSLGNBQWEseUNBQThEUyxPQUF2QkQsWUFBVyxjQUF5QixPQUFiQyxjQUFhO2dCQUNoSCxPQUFPO29CQUNMLElBQU1kLE9BQU9JO29CQUViLElBQUksQ0FBQ3JCLFFBQVEsQ0FBQ2tCLE9BQU8sQ0FBQ0Q7b0JBRXRCRixtQkFBbUI7Z0JBQ3JCO2dCQUVBLElBQUlBLGtCQUFrQjtvQkFDcEJOLFFBQVFVLEtBQUssQ0FBQyxBQUFDLG9CQUFtRUMsT0FBaERULHdCQUF1QiwyQkFBd0MsT0FBZlMsZ0JBQWU7Z0JBQ25HO2dCQUVBLE9BQU9MO1lBQ1Q7OztZQUVBRCxLQUFBQTttQkFBQUEsU0FBQUEsV0FBV0wsT0FBTztnQkFDaEIsSUFBSUk7Z0JBRUosSUFBTWlCLGFBQWEsSUFBSSxDQUFDN0IsSUFBSSxDQUFDQyxTQUFTLElBQ2hDUyx5QkFBeUIsSUFBSSxDQUFDZCxNQUFNLEVBQUUsR0FBRztnQkFFL0NZLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUFpRWtCLE9BQWhEbkIsd0JBQXVCLDJCQUFvQyxPQUFYbUIsWUFBVztnQkFFM0ZqQixlQUFlLElBQUksQ0FBQ1osSUFBSSxDQUFDTyxNQUFNLENBQUNDLFNBQVM7b0JBQ3ZDLElBQU11QixnQkFBZ0I7b0JBRXRCLE9BQU9BO2dCQUNUO2dCQUVBLElBQUluQixjQUFjO29CQUNoQkosUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQW1FVyxPQUFoRG5CLHdCQUF1QiwyQkFBb0MsT0FBWG1CLFlBQVc7Z0JBQy9GO2dCQUVBLE9BQU9qQjtZQUNUOzs7O1lBSU9vQixLQUFBQTttQkFBUCxTQUFPQSxhQUFhQyxRQUFRLEVBQUV6QixPQUFPO2dCQUNuQyxJQUFJMEIsbUJBQW1CO2dCQUV2QixJQUFNQyx1QkFBdUIxQywwQkFBMEJ3QztnQkFFdkQsSUFBSUUseUJBQXlCLE1BQU07b0JBQ2pDLElBQVFDLE9BQW1CQyxZQUFHLENBQXRCRCxNQUFNRSxXQUFhRCxZQUFHLENBQWhCQyxVQUNSekMsT0FBT3NDLHNCQUNQdkMsU0FBU1ksUUFBUStCLFlBQVksQ0FBQzFDLE9BQzlCQyxTQUFTVSxRQUFRZ0MsWUFBWSxDQUFDM0MsT0FDOUJvQyxhQUFXM0MsY0FBYzZDLHVCQUN6Qk0sZUFBZWpELGtCQUFrQjJDLHVCQUNqQ3BDLFdBQVd1QyxTQUFTSSxnQkFBZ0IsQ0FBQ0QsY0FBY2pDLFVBQ25EUixPQUFPb0MsS0FBS0osWUFBWSxDQUFDQyxZQUFVekI7b0JBRXpDMEIsbUJBQW1CLElBQUl2QyxpQkFBaUJDLFFBQVFDLE1BQU1DLFFBQVFDLFVBQVVDO2dCQUMxRTtnQkFFQSxPQUFPa0M7WUFDVDs7OztLQXJCQSxvQ0FBT1MsUUFBTyJ9
|
|
209
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9kb20vcmVsYXRpb24vcHJvcGVydHkuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBkb20gZnJvbSBcIi4uLy4uL2RvbVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBkb21Bc3NpZ25lZCB9IGZyb20gXCIuLi8uLi9kb21cIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9wcm9wZXJ0eVJlbGF0aW9uL3Rlcm1cIiksXG4gICAgICBwcm9wZXJ0eU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9wcm9wZXJ0eVJlbGF0aW9uL3Byb3BlcnR5XCIpO1xuXG5leHBvcnQgZGVmYXVsdCBkb21Bc3NpZ25lZChjbGFzcyBQcm9wZXJ0eVJlbGF0aW9uIHtcbiAgY29uc3RydWN0b3Ioc3RyaW5nLCBub2RlLCB0b2tlbnMsIHByb3BlcnR5LCB0ZXJtKSB7XG4gICAgdGhpcy5zdHJpbmcgPSBzdHJpbmc7XG4gICAgdGhpcy5ub2RlID0gbm9kZTtcbiAgICB0aGlzLnRva2VucyA9IHRva2VucztcbiAgICB0aGlzLnByb3BlcnR5ID0gcHJvcGVydHk7XG4gICAgdGhpcy50ZXJtID0gdGVybTtcbiAgfVxuXG4gIGdldFN0cmluZygpIHtcbiAgICByZXR1cm4gdGhpcy5zdHJpbmc7XG4gIH1cblxuICBnZXROb2RlKCkge1xuICAgIHJldHVybiB0aGlzLm5vZGU7XG4gIH1cblxuICBnZXRUb2tlbnMoKSB7XG4gICAgcmV0dXJuIHRoaXMudG9rZW5zO1xuICB9XG5cbiAgZ2V0UHJvcGVydHkoKSB7XG4gICAgcmV0dXJuIHRoaXMucHJvcGVydHk7XG4gIH1cblxuICBnZXRUZXJtKCkge1xuICAgIHJldHVybiB0aGlzLnRlcm07XG4gIH1cblxuICBnZXRUeXBlKCkgeyByZXR1cm4gdGhpcy5wcm9wZXJ0eS5nZXRUeXBlKCk7IH1cblxuICB2ZXJpZnkoY29udGV4dCkge1xuICAgIGxldCB2ZXJpZmllZCA9IGZhbHNlO1xuXG4gICAgY29uc3QgcHJvcGVydHlSZWxhdGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7cHJvcGVydHlSZWxhdGlvblN0cmluZ30nIHByb3BlcnR5IHJlbGF0aW9uLi4uYCk7XG5cbiAgICBjb25zdCB0ZXJtVmVyaWZpZWQgPSB0aGlzLnZlcmlmeVRlcm0oY29udGV4dCk7XG5cbiAgICBpZiAodGVybVZlcmlmaWVkKSB7XG4gICAgICBjb25zdCBwcm9wZXJ0eVZlcmlmaWVkID0gdGhpcy52ZXJpZnlQcm9wZXJ0eShjb250ZXh0KTtcblxuICAgICAgaWYgKHByb3BlcnR5VmVyaWZpZWQpIHtcbiAgICAgICAgY29uc3QgdHlwZSA9IHRoaXMucHJvcGVydHkuZ2V0VHlwZSgpO1xuXG4gICAgICAgIHRoaXMudGVybS5zZXRUeXBlKHR5cGUpO1xuXG4gICAgICAgIHZlcmlmaWVkID0gdHJ1ZTtcbiAgICAgIH1cbiAgICB9XG5cbiAgICBpZiAodmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eVJlbGF0aW9uU3RyaW5nfScgcHJvcGVydHkgcmVsYXRpb24uYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZlcmlmaWVkO1xuICB9XG5cbiAgdmVyaWZ5VGVybShjb250ZXh0KSB7XG4gICAgbGV0IHRlcm1WZXJpZmllZDtcblxuICAgIGNvbnN0IHRlcm1TdHJpbmcgPSB0aGlzLnRlcm0uZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlSZWxhdGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7cHJvcGVydHlSZWxhdGlvblN0cmluZ30nIHByb3BlcnR5IHJlbGF0aW9uJ3MgJyR7dGVybVN0cmluZ30nIHRlcm0uLi5gKTtcblxuICAgIHRlcm1WZXJpZmllZCA9IHRoaXMudGVybS52ZXJpZnkoY29udGV4dCwgKCkgPT4ge1xuICAgICAgY29uc3QgdmVyaWZpZWRBaGVhZCA9IHRydWU7XG5cbiAgICAgIHJldHVybiB2ZXJpZmllZEFoZWFkO1xuICAgIH0pO1xuXG4gICAgaWYgKHRlcm1WZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5UmVsYXRpb25TdHJpbmd9JyBwcm9wZXJ0eSByZWxhdGlvbidzICcke3Rlcm1TdHJpbmd9JyB0ZXJtLmApO1xuICAgIH1cblxuICAgIHJldHVybiB0ZXJtVmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlQcm9wZXJ0eShjb250ZXh0KSB7XG4gICAgbGV0IHByb3BlcnR5VmVyaWZpZWQ7XG5cbiAgICBjb25zdCBwcm9wZXJ0eVN0cmluZyA9IHRoaXMucHJvcGVydHkuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlSZWxhdGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7cHJvcGVydHlSZWxhdGlvblN0cmluZ30nIHByb3BlcnR5IHJlbGF0aW9uJ3MgJyR7cHJvcGVydHlTdHJpbmd9JyBwcm9wZXJ0eS4uLmApO1xuXG4gICAgY29uc3QgdGVybVR5cGUgPSB0aGlzLnRlcm0uZ2V0VHlwZSgpLFxuICAgICAgICAgIHByb3BlcnR5TmFtZSA9IHRoaXMucHJvcGVydHkuZ2V0TmFtZSgpLFxuICAgICAgICAgIHRlcm1UeXBlUHJvcGVydGllcyA9IHRlcm1UeXBlLmdldFByb3BlcnRpZXMoKSxcbiAgICAgICAgICB0ZXJtVHlwZVByb3BlcnR5ID0gdGVybVR5cGVQcm9wZXJ0aWVzLmZpbmQoKHRlcm1UeXBlUHJvcGVydHkpID0+IHtcbiAgICAgICAgICAgIGNvbnN0IHByb3BlcnR5TmFtZU1hdGNoZXMgPSB0ZXJtVHlwZVByb3BlcnR5Lm1hdGNoUHJvcGVydHlOYW1lKHByb3BlcnR5TmFtZSk7XG5cbiAgICAgICAgICAgIGlmIChwcm9wZXJ0eU5hbWVNYXRjaGVzKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pIHx8IG51bGw7XG5cbiAgICBpZiAodGVybVR5cGVQcm9wZXJ0eSA9PT0gbnVsbCkge1xuICAgICAgY29uc3QgdGVybVN0cmluZyA9IHRoaXMudGVybS5nZXRTdHJpbmcoKSxcbiAgICAgICAgdGVybVR5cGVOYW1lID0gdGVybVR5cGUuZ2V0TmFtZSgpO1xuXG4gICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7cHJvcGVydHlOYW1lfScgcHJvcGVydHkgaXMgbm90IGEgcHJvcGVydHkgb2YgdGhlICcke3Rlcm1TdHJpbmd9JyB0ZXJtJ3MgJyR7dGVybVR5cGVOYW1lfScgdHlwZS5gKTtcbiAgICB9IGVsc2Uge1xuICAgICAgY29uc3QgdHlwZSA9IHRlcm1UeXBlO1xuXG4gICAgICB0aGlzLnByb3BlcnR5LnNldFR5cGUodHlwZSk7XG5cbiAgICAgIHByb3BlcnR5VmVyaWZpZWQgPSB0cnVlO1xuICAgIH1cblxuICAgIGlmIChwcm9wZXJ0eVZlcmlmaWVkKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7cHJvcGVydHlSZWxhdGlvblN0cmluZ30nIHByb3BlcnR5IHJlbGF0aW9uJ3MgJyR7cHJvcGVydHlTdHJpbmd9JyBwcm9wZXJ0eS5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gcHJvcGVydHlWZXJpZmllZDtcbiAgfVxuXG4gIHN0YXRpYyBuYW1lID0gXCJQcm9wZXJ0eVJlbGF0aW9uXCI7XG5cbiAgc3RhdGljIGZyb21Qcm9wZXJ0eVJlbGF0aW9uTm9kZShwcm9wZXJ0eVJlbGF0aW9uTm9kZSwgY29udGV4dCkge1xuICAgIGNvbnN0IHsgVGVybSwgUHJvcGVydHkgfSA9IGRvbSxcbiAgICAgICAgICBub2RlID0gcHJvcGVydHlSZWxhdGlvbk5vZGUsICAvLy9cbiAgICAgICAgICBzdHJpbmcgPSBjb250ZXh0Lm5vZGVBc1N0cmluZyhub2RlKSxcbiAgICAgICAgICB0b2tlbnMgPSBjb250ZXh0Lm5vZGVBc1Rva2Vucyhub2RlKSxcbiAgICAgICAgICB0ZXJtTm9kZSA9IHRlcm1Ob2RlUXVlcnkocHJvcGVydHlSZWxhdGlvbk5vZGUpLFxuICAgICAgICAgIHByb3BlcnR5Tm9kZSA9IHByb3BlcnR5Tm9kZVF1ZXJ5KHByb3BlcnR5UmVsYXRpb25Ob2RlKSxcbiAgICAgICAgICBwcm9wZXJ0eSA9IFByb3BlcnR5LmZyb21Qcm9wZXJ0eU5vZGUocHJvcGVydHlOb2RlLCBjb250ZXh0KSxcbiAgICAgICAgICB0ZXJtID0gVGVybS5mcm9tVGVybU5vZGUodGVybU5vZGUsIGNvbnRleHQpLFxuICAgICAgICAgIHByb3BlcnR5UmVsYXRpb24gPSBuZXcgUHJvcGVydHlSZWxhdGlvbihzdHJpbmcsIG5vZGUsIHRva2VucywgcHJvcGVydHksIHRlcm0pO1xuXG4gICAgcmV0dXJuIHByb3BlcnR5UmVsYXRpb247XG4gIH1cbn0pO1xuIl0sIm5hbWVzIjpbInRlcm1Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJwcm9wZXJ0eU5vZGVRdWVyeSIsImRvbUFzc2lnbmVkIiwiUHJvcGVydHlSZWxhdGlvbiIsInN0cmluZyIsIm5vZGUiLCJ0b2tlbnMiLCJwcm9wZXJ0eSIsInRlcm0iLCJnZXRTdHJpbmciLCJnZXROb2RlIiwiZ2V0VG9rZW5zIiwiZ2V0UHJvcGVydHkiLCJnZXRUZXJtIiwiZ2V0VHlwZSIsInZlcmlmeSIsImNvbnRleHQiLCJ2ZXJpZmllZCIsInByb3BlcnR5UmVsYXRpb25TdHJpbmciLCJ0cmFjZSIsInRlcm1WZXJpZmllZCIsInZlcmlmeVRlcm0iLCJwcm9wZXJ0eVZlcmlmaWVkIiwidmVyaWZ5UHJvcGVydHkiLCJ0eXBlIiwic2V0VHlwZSIsImRlYnVnIiwidGVybVN0cmluZyIsInZlcmlmaWVkQWhlYWQiLCJwcm9wZXJ0eVN0cmluZyIsInRlcm1UeXBlIiwicHJvcGVydHlOYW1lIiwiZ2V0TmFtZSIsInRlcm1UeXBlUHJvcGVydGllcyIsImdldFByb3BlcnRpZXMiLCJ0ZXJtVHlwZVByb3BlcnR5IiwiZmluZCIsInByb3BlcnR5TmFtZU1hdGNoZXMiLCJtYXRjaFByb3BlcnR5TmFtZSIsInRlcm1UeXBlTmFtZSIsImZyb21Qcm9wZXJ0eVJlbGF0aW9uTm9kZSIsInByb3BlcnR5UmVsYXRpb25Ob2RlIiwiVGVybSIsImRvbSIsIlByb3BlcnR5Iiwibm9kZUFzU3RyaW5nIiwibm9kZUFzVG9rZW5zIiwidGVybU5vZGUiLCJwcm9wZXJ0eU5vZGUiLCJmcm9tUHJvcGVydHlOb2RlIiwiZnJvbVRlcm1Ob2RlIiwicHJvcGVydHlSZWxhdGlvbiIsIm5hbWUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVVBOzs7ZUFBQTs7OzJEQVJnQjtxQkFFVTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRzFCLElBQU1BLGdCQUFnQkMsSUFBQUEsZ0JBQVMsRUFBQywyQkFDMUJDLG9CQUFvQkQsSUFBQUEsZ0JBQVMsRUFBQztJQUVwQyxXQUFlRSxJQUFBQSxnQkFBVyxxQ0FBQzthQUFNQyxpQkFDbkJDLE1BQU0sRUFBRUMsSUFBSSxFQUFFQyxNQUFNLEVBQUVDLFFBQVEsRUFBRUMsSUFBSTtnQ0FEakJMO1FBRTdCLElBQUksQ0FBQ0MsTUFBTSxHQUFHQTtRQUNkLElBQUksQ0FBQ0MsSUFBSSxHQUFHQTtRQUNaLElBQUksQ0FBQ0MsTUFBTSxHQUFHQTtRQUNkLElBQUksQ0FBQ0MsUUFBUSxHQUFHQTtRQUNoQixJQUFJLENBQUNDLElBQUksR0FBR0E7Ozs7WUFHZEMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTCxNQUFNO1lBQ3BCOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTCxJQUFJO1lBQ2xCOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTCxNQUFNO1lBQ3BCOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTCxRQUFRO1lBQ3RCOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTCxJQUFJO1lBQ2xCOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUFZLE9BQU8sSUFBSSxDQUFDUCxRQUFRLENBQUNPLE9BQU87WUFBSTs7O1lBRTVDQyxLQUFBQTttQkFBQUEsU0FBQUEsT0FBT0MsT0FBTztnQkFDWixJQUFJQyxXQUFXO2dCQUVmLElBQU1DLHlCQUF5QixJQUFJLENBQUNkLE1BQU0sRUFBRSxHQUFHO2dCQUUvQ1ksUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQXdDLE9BQXZCRCx3QkFBdUI7Z0JBRXZELElBQU1FLGVBQWUsSUFBSSxDQUFDQyxVQUFVLENBQUNMO2dCQUVyQyxJQUFJSSxjQUFjO29CQUNoQixJQUFNRSxtQkFBbUIsSUFBSSxDQUFDQyxjQUFjLENBQUNQO29CQUU3QyxJQUFJTSxrQkFBa0I7d0JBQ3BCLElBQU1FLE9BQU8sSUFBSSxDQUFDakIsUUFBUSxDQUFDTyxPQUFPO3dCQUVsQyxJQUFJLENBQUNOLElBQUksQ0FBQ2lCLE9BQU8sQ0FBQ0Q7d0JBRWxCUCxXQUFXO29CQUNiO2dCQUNGO2dCQUVBLElBQUlBLFVBQVU7b0JBQ1pELFFBQVFVLEtBQUssQ0FBQyxBQUFDLG9CQUEwQyxPQUF2QlIsd0JBQXVCO2dCQUMzRDtnQkFFQSxPQUFPRDtZQUNUOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBLFdBQVdMLE9BQU87Z0JBQ2hCLElBQUlJO2dCQUVKLElBQU1PLGFBQWEsSUFBSSxDQUFDbkIsSUFBSSxDQUFDQyxTQUFTLElBQ2hDUyx5QkFBeUIsSUFBSSxDQUFDZCxNQUFNLEVBQUUsR0FBRztnQkFFL0NZLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUFpRVEsT0FBaERULHdCQUF1QiwyQkFBb0MsT0FBWFMsWUFBVztnQkFFM0ZQLGVBQWUsSUFBSSxDQUFDWixJQUFJLENBQUNPLE1BQU0sQ0FBQ0MsU0FBUztvQkFDdkMsSUFBTVksZ0JBQWdCO29CQUV0QixPQUFPQTtnQkFDVDtnQkFFQSxJQUFJUixjQUFjO29CQUNoQkosUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQW1FQyxPQUFoRFQsd0JBQXVCLDJCQUFvQyxPQUFYUyxZQUFXO2dCQUMvRjtnQkFFQSxPQUFPUDtZQUNUOzs7WUFFQUcsS0FBQUE7bUJBQUFBLFNBQUFBLGVBQWVQLE9BQU87Z0JBQ3BCLElBQUlNO2dCQUVKLElBQU1PLGlCQUFpQixJQUFJLENBQUN0QixRQUFRLENBQUNFLFNBQVMsSUFDeENTLHlCQUF5QixJQUFJLENBQUNkLE1BQU0sRUFBRSxHQUFHO2dCQUUvQ1ksUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQWlFVSxPQUFoRFgsd0JBQXVCLDJCQUF3QyxPQUFmVyxnQkFBZTtnQkFFL0YsSUFBTUMsV0FBVyxJQUFJLENBQUN0QixJQUFJLENBQUNNLE9BQU8sSUFDNUJpQixlQUFlLElBQUksQ0FBQ3hCLFFBQVEsQ0FBQ3lCLE9BQU8sSUFDcENDLHFCQUFxQkgsU0FBU0ksYUFBYSxJQUMzQ0MsbUJBQW1CRixtQkFBbUJHLElBQUksQ0FBQyxTQUFDRDtvQkFDMUMsSUFBTUUsc0JBQXNCRixpQkFBaUJHLGlCQUFpQixDQUFDUDtvQkFFL0QsSUFBSU0scUJBQXFCO3dCQUN2QixPQUFPO29CQUNUO2dCQUNGLE1BQU07Z0JBRVosSUFBSUYscUJBQXFCLE1BQU07b0JBQzdCLElBQU1SLGFBQWEsSUFBSSxDQUFDbkIsSUFBSSxDQUFDQyxTQUFTLElBQ3BDOEIsZUFBZVQsU0FBU0UsT0FBTztvQkFFakNoQixRQUFRVSxLQUFLLENBQUMsQUFBQyxRQUEyREMsT0FBcERJLGNBQWEseUNBQThEUSxPQUF2QlosWUFBVyxjQUF5QixPQUFiWSxjQUFhO2dCQUNoSCxPQUFPO29CQUNMLElBQU1mLE9BQU9NO29CQUViLElBQUksQ0FBQ3ZCLFFBQVEsQ0FBQ2tCLE9BQU8sQ0FBQ0Q7b0JBRXRCRixtQkFBbUI7Z0JBQ3JCO2dCQUVBLElBQUlBLGtCQUFrQjtvQkFDcEJOLFFBQVFVLEtBQUssQ0FBQyxBQUFDLG9CQUFtRUcsT0FBaERYLHdCQUF1QiwyQkFBd0MsT0FBZlcsZ0JBQWU7Z0JBQ25HO2dCQUVBLE9BQU9QO1lBQ1Q7Ozs7WUFJT2tCLEtBQUFBO21CQUFQLFNBQU9BLHlCQUF5QkMsb0JBQW9CLEVBQUV6QixPQUFPO2dCQUMzRCxJQUFRMEIsT0FBbUJDLFlBQUcsQ0FBdEJELE1BQU1FLFdBQWFELFlBQUcsQ0FBaEJDLFVBQ1J2QyxPQUFPb0Msc0JBQ1ByQyxTQUFTWSxRQUFRNkIsWUFBWSxDQUFDeEMsT0FDOUJDLFNBQVNVLFFBQVE4QixZQUFZLENBQUN6QyxPQUM5QjBDLFdBQVdoRCxjQUFjMEMsdUJBQ3pCTyxlQUFlL0Msa0JBQWtCd0MsdUJBQ2pDbEMsV0FBV3FDLFNBQVNLLGdCQUFnQixDQUFDRCxjQUFjaEMsVUFDbkRSLE9BQU9rQyxLQUFLUSxZQUFZLENBQUNILFVBQVUvQixVQUNuQ21DLG1CQUFtQixJQUFJaEQsaUJBQWlCQyxRQUFRQyxNQUFNQyxRQUFRQyxVQUFVQztnQkFFOUUsT0FBTzJDO1lBQ1Q7Ozs7S0FkQSxvQ0FBT0MsUUFBTyJ9
|
|
@@ -53,32 +53,11 @@ function verifyTermAsVariable(term, localContext, verifyAhead) {
|
|
|
53
53
|
}
|
|
54
54
|
return termVerifiedAsVariable;
|
|
55
55
|
}
|
|
56
|
-
function verifyAsPropertyRelation(term, context, verifyAhead) {
|
|
57
|
-
var verifiedAsPropertyRelation = false;
|
|
58
|
-
var PropertyRelation = _dom.default.PropertyRelation, termNode = term.getNode(), propertyRelation = PropertyRelation.fromTermNode(termNode, context);
|
|
59
|
-
if (propertyRelation !== null) {
|
|
60
|
-
var termString = term.getString();
|
|
61
|
-
context.trace("Verifying the '".concat(termString, "' term as a property relation..."));
|
|
62
|
-
var propertyRelationVerified = propertyRelation.verify(context);
|
|
63
|
-
if (propertyRelationVerified) {
|
|
64
|
-
var verifiedAhead;
|
|
65
|
-
var type = propertyRelation.getType();
|
|
66
|
-
term.setType(type);
|
|
67
|
-
verifiedAhead = verifyAhead();
|
|
68
|
-
verifiedAsPropertyRelation = verifiedAhead; ///
|
|
69
|
-
}
|
|
70
|
-
if (verifiedAsPropertyRelation) {
|
|
71
|
-
context.debug("...verified the '".concat(termString, "' statement as a property relation."));
|
|
72
|
-
}
|
|
73
|
-
}
|
|
74
|
-
return verifiedAsPropertyRelation;
|
|
75
|
-
}
|
|
76
56
|
var verifyMixins = [
|
|
77
57
|
unifyWithBracketedConstructor,
|
|
78
58
|
unifyWithConstructors,
|
|
79
|
-
verifyTermAsVariable
|
|
80
|
-
verifyAsPropertyRelation
|
|
59
|
+
verifyTermAsVariable
|
|
81
60
|
];
|
|
82
61
|
var _default = verifyMixins;
|
|
83
62
|
|
|
84
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
63
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9taXhpbnMvdGVybS92ZXJpZnkuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBkb20gZnJvbSBcIi4uLy4uL2RvbVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Rlcm0vdmFyaWFibGUhXCIpO1xuXG5mdW5jdGlvbiB1bmlmeVdpdGhCcmFja2V0ZWRDb25zdHJ1Y3Rvcih0ZXJtLCBjb250ZXh0LCB2ZXJpZnlBaGVhZCkge1xuICBsZXQgdW5pZmllZFdpdGhCcmFja2V0ZWRDb25zdHJ1Y3RvcjtcblxuICBjb25zdCB7IEJyYWNrZXRlZENvbnN0cnVjdG9yIH0gPSBkb20sXG4gICAgICAgIGJyYWNrZXRlZENvbnN0cnVjdG9yID0gQnJhY2tldGVkQ29uc3RydWN0b3IuZnJvbU5vdGhpbmcoKTtcblxuICB1bmlmaWVkV2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yID0gYnJhY2tldGVkQ29uc3RydWN0b3IudW5pZnlUZXJtKHRlcm0sIGNvbnRleHQsIHZlcmlmeUFoZWFkKTtcblxuICByZXR1cm4gdW5pZmllZFdpdGhCcmFja2V0ZWRDb25zdHJ1Y3Rvcjtcbn1cblxuZnVuY3Rpb24gdW5pZnlXaXRoQ29uc3RydWN0b3JzKHRlcm0sIGNvbnRleHQsIHZlcmlmeUFoZWFkKSB7XG4gIGxldCB1bmlmaWVkV2l0aENvbnN0cnVjdG9ycztcblxuICBjb25zdCBjb25zdHJ1Y3RvcnMgPSBjb250ZXh0LmdldENvbnN0cnVjdG9ycygpO1xuXG4gIHVuaWZpZWRXaXRoQ29uc3RydWN0b3JzID0gY29uc3RydWN0b3JzLnNvbWUoKGNvbnN0cnVjdG9yKSA9PiB7XG4gICAgY29uc3QgdW5pZmllZFdpdGhDb25zdHJ1Y3RvciA9IGNvbnN0cnVjdG9yLnVuaWZ5VGVybSh0ZXJtLCBjb250ZXh0LCB2ZXJpZnlBaGVhZCk7XG5cbiAgICBpZiAodW5pZmllZFdpdGhDb25zdHJ1Y3Rvcikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcblxuICByZXR1cm4gdW5pZmllZFdpdGhDb25zdHJ1Y3RvcnM7XG59XG5cbmZ1bmN0aW9uIHZlcmlmeVRlcm1Bc1ZhcmlhYmxlKHRlcm0sIGxvY2FsQ29udGV4dCwgdmVyaWZ5QWhlYWQpIHtcbiAgbGV0IHRlcm1WZXJpZmllZEFzVmFyaWFibGUgPSBmYWxzZTtcblxuICBjb25zdCB7IFZhcmlhYmxlIH0gPSBkb20sXG4gICAgICAgIGNvbnRleHQgPSBsb2NhbENvbnRleHQsIC8vL1xuICAgICAgICB0ZXJtTm9kZSA9IHRlcm0uZ2V0Tm9kZSgpLFxuICAgICAgICB2YXJpYWJsZU5vZGUgPSB2YXJpYWJsZU5vZGVRdWVyeSh0ZXJtTm9kZSksXG4gICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUsIGNvbnRleHQpO1xuXG4gIGlmICh2YXJpYWJsZSAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHRlcm1TdHJpbmcgPSB0ZXJtLmdldFN0cmluZygpO1xuXG4gICAgbG9jYWxDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Rlcm1TdHJpbmd9JyB0ZXJtIGFzIGEgdmFyaWFibGUuLi5gKTtcblxuICAgIGNvbnN0IHZhcmlhYmxlVmVyaWZpZWQgPSB2YXJpYWJsZS52ZXJpZnkobG9jYWxDb250ZXh0KTtcblxuICAgIGlmICh2YXJpYWJsZVZlcmlmaWVkKSB7XG4gICAgICBsZXQgdmVyaWZpZWRBaGVhZDtcblxuICAgICAgY29uc3QgdHlwZSA9IHZhcmlhYmxlLmdldFR5cGUoKTtcblxuICAgICAgdGVybS5zZXRUeXBlKHR5cGUpO1xuXG4gICAgICB2ZXJpZmllZEFoZWFkID0gdmVyaWZ5QWhlYWQoKTtcblxuICAgICAgdGVybVZlcmlmaWVkQXNWYXJpYWJsZSA9IHZlcmlmaWVkQWhlYWQ7IC8vL1xuICAgIH1cblxuICAgIGlmICh0ZXJtVmVyaWZpZWRBc1ZhcmlhYmxlKSB7XG4gICAgICBsb2NhbENvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHt0ZXJtU3RyaW5nfScgdGVybSBhcyBhIHZhcmlhYmxlLmApO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiB0ZXJtVmVyaWZpZWRBc1ZhcmlhYmxlO1xufVxuXG5jb25zdCB2ZXJpZnlNaXhpbnMgPSBbXG4gIHVuaWZ5V2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yLFxuICB1bmlmeVdpdGhDb25zdHJ1Y3RvcnMsXG4gIHZlcmlmeVRlcm1Bc1ZhcmlhYmxlXG5dO1xuXG5leHBvcnQgZGVmYXVsdCB2ZXJpZnlNaXhpbnM7XG4iXSwibmFtZXMiOlsidmFyaWFibGVOb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJ1bmlmeVdpdGhCcmFja2V0ZWRDb25zdHJ1Y3RvciIsInRlcm0iLCJjb250ZXh0IiwidmVyaWZ5QWhlYWQiLCJ1bmlmaWVkV2l0aEJyYWNrZXRlZENvbnN0cnVjdG9yIiwiQnJhY2tldGVkQ29uc3RydWN0b3IiLCJkb20iLCJicmFja2V0ZWRDb25zdHJ1Y3RvciIsImZyb21Ob3RoaW5nIiwidW5pZnlUZXJtIiwidW5pZnlXaXRoQ29uc3RydWN0b3JzIiwidW5pZmllZFdpdGhDb25zdHJ1Y3RvcnMiLCJjb25zdHJ1Y3RvcnMiLCJnZXRDb25zdHJ1Y3RvcnMiLCJzb21lIiwiY29uc3RydWN0b3IiLCJ1bmlmaWVkV2l0aENvbnN0cnVjdG9yIiwidmVyaWZ5VGVybUFzVmFyaWFibGUiLCJsb2NhbENvbnRleHQiLCJ0ZXJtVmVyaWZpZWRBc1ZhcmlhYmxlIiwiVmFyaWFibGUiLCJ0ZXJtTm9kZSIsImdldE5vZGUiLCJ2YXJpYWJsZU5vZGUiLCJ2YXJpYWJsZSIsImZyb21WYXJpYWJsZU5vZGUiLCJ0ZXJtU3RyaW5nIiwiZ2V0U3RyaW5nIiwidHJhY2UiLCJ2YXJpYWJsZVZlcmlmaWVkIiwidmVyaWZ5IiwidmVyaWZpZWRBaGVhZCIsInR5cGUiLCJnZXRUeXBlIiwic2V0VHlwZSIsImRlYnVnIiwidmVyaWZ5TWl4aW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkE2RUE7OztlQUFBOzs7MERBM0VnQjtxQkFFVTs7Ozs7O0FBRTFCLElBQU1BLG9CQUFvQkMsSUFBQUEsZ0JBQVMsRUFBQztBQUVwQyxTQUFTQyw4QkFBOEJDLElBQUksRUFBRUMsT0FBTyxFQUFFQyxXQUFXO0lBQy9ELElBQUlDO0lBRUosSUFBTSxBQUFFQyx1QkFBeUJDLFlBQUcsQ0FBNUJELHNCQUNGRSx1QkFBdUJGLHFCQUFxQkcsV0FBVztJQUU3REosa0NBQWtDRyxxQkFBcUJFLFNBQVMsQ0FBQ1IsTUFBTUMsU0FBU0M7SUFFaEYsT0FBT0M7QUFDVDtBQUVBLFNBQVNNLHNCQUFzQlQsSUFBSSxFQUFFQyxPQUFPLEVBQUVDLFdBQVc7SUFDdkQsSUFBSVE7SUFFSixJQUFNQyxlQUFlVixRQUFRVyxlQUFlO0lBRTVDRiwwQkFBMEJDLGFBQWFFLElBQUksQ0FBQyxTQUFDQztRQUMzQyxJQUFNQyx5QkFBeUJELFlBQVlOLFNBQVMsQ0FBQ1IsTUFBTUMsU0FBU0M7UUFFcEUsSUFBSWEsd0JBQXdCO1lBQzFCLE9BQU87UUFDVDtJQUNGO0lBRUEsT0FBT0w7QUFDVDtBQUVBLFNBQVNNLHFCQUFxQmhCLElBQUksRUFBRWlCLFlBQVksRUFBRWYsV0FBVztJQUMzRCxJQUFJZ0IseUJBQXlCO0lBRTdCLElBQU0sQUFBRUMsV0FBYWQsWUFBRyxDQUFoQmMsVUFDRmxCLFVBQVVnQixjQUNWRyxXQUFXcEIsS0FBS3FCLE9BQU8sSUFDdkJDLGVBQWV6QixrQkFBa0J1QixXQUNqQ0csV0FBV0osU0FBU0ssZ0JBQWdCLENBQUNGLGNBQWNyQjtJQUV6RCxJQUFJc0IsYUFBYSxNQUFNO1FBQ3JCLElBQU1FLGFBQWF6QixLQUFLMEIsU0FBUztRQUVqQ1QsYUFBYVUsS0FBSyxDQUFDLEFBQUMsa0JBQTRCLE9BQVhGLFlBQVc7UUFFaEQsSUFBTUcsbUJBQW1CTCxTQUFTTSxNQUFNLENBQUNaO1FBRXpDLElBQUlXLGtCQUFrQjtZQUNwQixJQUFJRTtZQUVKLElBQU1DLE9BQU9SLFNBQVNTLE9BQU87WUFFN0JoQyxLQUFLaUMsT0FBTyxDQUFDRjtZQUViRCxnQkFBZ0I1QjtZQUVoQmdCLHlCQUF5QlksZUFBZSxHQUFHO1FBQzdDO1FBRUEsSUFBSVosd0JBQXdCO1lBQzFCRCxhQUFhaUIsS0FBSyxDQUFDLEFBQUMsb0JBQThCLE9BQVhULFlBQVc7UUFDcEQ7SUFDRjtJQUVBLE9BQU9QO0FBQ1Q7QUFFQSxJQUFNaUIsZUFBZTtJQUNuQnBDO0lBQ0FVO0lBQ0FPO0NBQ0Q7SUFFRCxXQUFlbUIifQ==
|
package/package.json
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "occam-verify-cli",
|
|
3
3
|
"author": "James Smith",
|
|
4
|
-
"version": "1.0.
|
|
4
|
+
"version": "1.0.23",
|
|
5
5
|
"license": "MIT, Anti-996",
|
|
6
6
|
"homepage": "https://github.com/djalbat/occam-verify-cli",
|
|
7
7
|
"description": "Occam's Verifier",
|
|
@@ -12,7 +12,7 @@
|
|
|
12
12
|
"dependencies": {
|
|
13
13
|
"argumentative": "^2.0.32",
|
|
14
14
|
"necessary": "^14.2.1",
|
|
15
|
-
"occam-custom-grammars": "^5.0.
|
|
15
|
+
"occam-custom-grammars": "^5.0.1057",
|
|
16
16
|
"occam-entities": "^1.0.276",
|
|
17
17
|
"occam-file-system": "^6.0.298",
|
|
18
18
|
"occam-furtle": "^2.0.42",
|
|
@@ -4,21 +4,18 @@ import dom from "../../dom";
|
|
|
4
4
|
|
|
5
5
|
import { nodeQuery } from "../../utilities/query";
|
|
6
6
|
import { domAssigned } from "../../dom";
|
|
7
|
-
import VariableAssignment from "../../assignment/variable";
|
|
8
7
|
|
|
9
|
-
const
|
|
10
|
-
|
|
11
|
-
propertyNodeQuery = nodeQuery("/propertyAssertion/property"),
|
|
8
|
+
const variableNodeQuery = nodeQuery("/propertyAssertion/variable"),
|
|
9
|
+
propertyRelationNodeQuery = nodeQuery("/propertyAssertion/propertyRelation"),
|
|
12
10
|
propertyAssertionNodeQuery = nodeQuery("/statement/propertyAssertion");
|
|
13
11
|
|
|
14
12
|
export default domAssigned(class PropertyAssertion {
|
|
15
|
-
constructor(string, node, tokens,
|
|
13
|
+
constructor(string, node, tokens, variable, propertyRelation) {
|
|
16
14
|
this.string = string;
|
|
17
15
|
this.node = node;
|
|
18
16
|
this.tokens = tokens;
|
|
19
|
-
this.property = property;
|
|
20
17
|
this.variable = variable;
|
|
21
|
-
this.
|
|
18
|
+
this.propertyRelation = propertyRelation;
|
|
22
19
|
}
|
|
23
20
|
|
|
24
21
|
getString() {
|
|
@@ -33,16 +30,12 @@ export default domAssigned(class PropertyAssertion {
|
|
|
33
30
|
return this.tokens;
|
|
34
31
|
}
|
|
35
32
|
|
|
36
|
-
getProperty() {
|
|
37
|
-
return this.property;
|
|
38
|
-
}
|
|
39
|
-
|
|
40
33
|
getVariable() {
|
|
41
34
|
return this.variable;
|
|
42
35
|
}
|
|
43
36
|
|
|
44
|
-
|
|
45
|
-
return this.
|
|
37
|
+
getPropertyRelation() {
|
|
38
|
+
return this.propertyRelation;
|
|
46
39
|
}
|
|
47
40
|
|
|
48
41
|
verify(assignments, stated, context) {
|
|
@@ -55,24 +48,20 @@ export default domAssigned(class PropertyAssertion {
|
|
|
55
48
|
const variableVerified = this.verifyVariable(assignments, stated, context);
|
|
56
49
|
|
|
57
50
|
if (variableVerified) {
|
|
58
|
-
const
|
|
59
|
-
|
|
60
|
-
if (termVerified) {
|
|
61
|
-
const propertyVerified = this.verifyProperty(assignments, stated, context);
|
|
51
|
+
const propertyRelationVerified = this.verifyPropertyRelation(assignments, stated, context);
|
|
62
52
|
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
|
|
53
|
+
if (propertyRelationVerified) {
|
|
54
|
+
let verifiedWhenStated = false,
|
|
55
|
+
verifiedWhenDerived = false;
|
|
66
56
|
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
57
|
+
if (stated) {
|
|
58
|
+
verifiedWhenStated = this.verifyWhenStated(assignments, context);
|
|
59
|
+
} else {
|
|
60
|
+
verifiedWhenDerived = this.verifyWhenDerived(context);
|
|
61
|
+
}
|
|
72
62
|
|
|
73
|
-
|
|
74
|
-
|
|
75
|
-
}
|
|
63
|
+
if (verifiedWhenStated || verifiedWhenDerived) {
|
|
64
|
+
verified = true;
|
|
76
65
|
}
|
|
77
66
|
}
|
|
78
67
|
}
|
|
@@ -84,27 +73,6 @@ export default domAssigned(class PropertyAssertion {
|
|
|
84
73
|
return verified;
|
|
85
74
|
}
|
|
86
75
|
|
|
87
|
-
verifyTerm(assignments, stated, context) {
|
|
88
|
-
let termVerified;
|
|
89
|
-
|
|
90
|
-
const termString = this.term.getString(),
|
|
91
|
-
propertyAssertionString = this.string; ///
|
|
92
|
-
|
|
93
|
-
context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${termString}' term...`);
|
|
94
|
-
|
|
95
|
-
termVerified = this.term.verify(context, () => {
|
|
96
|
-
const verifiedAhead = true;
|
|
97
|
-
|
|
98
|
-
return verifiedAhead;
|
|
99
|
-
});
|
|
100
|
-
|
|
101
|
-
if (termVerified) {
|
|
102
|
-
context.debug(`...verified the '${propertyAssertionString}' property assertion's '${termString}' term.`);
|
|
103
|
-
}
|
|
104
|
-
|
|
105
|
-
return termVerified;
|
|
106
|
-
}
|
|
107
|
-
|
|
108
76
|
verifyVariable(assignments, stated, context) {
|
|
109
77
|
let variableVerified;
|
|
110
78
|
|
|
@@ -122,42 +90,21 @@ export default domAssigned(class PropertyAssertion {
|
|
|
122
90
|
return variableVerified;
|
|
123
91
|
}
|
|
124
92
|
|
|
125
|
-
|
|
126
|
-
let
|
|
93
|
+
verifyPropertyRelation(assignments, stated, context) {
|
|
94
|
+
let propertyRelationVerified;
|
|
127
95
|
|
|
128
|
-
const
|
|
96
|
+
const propertyRelationString = this.propertyRelation.getString(),
|
|
129
97
|
propertyAssertionString = this.string; ///
|
|
130
98
|
|
|
131
|
-
context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${
|
|
132
|
-
|
|
133
|
-
const termType = this.term.getType(),
|
|
134
|
-
propertyName = this.property.getName(),
|
|
135
|
-
property = termType.findPropertyByPropertyName(propertyName);
|
|
136
|
-
|
|
137
|
-
if (property === null) {
|
|
138
|
-
const termTypeName = termType.getName();
|
|
99
|
+
context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${propertyRelationString}' property relation...`);
|
|
139
100
|
|
|
140
|
-
|
|
141
|
-
} else {
|
|
142
|
-
const variableType = this.variable.getType(),
|
|
143
|
-
propertyType = property.getType(),
|
|
144
|
-
variableTypeEqualToOrSubTypeOfPropertyType = variableType.isEqualToOrSubTypeOf(propertyType);
|
|
101
|
+
propertyRelationVerified = this.propertyRelation.verify(context);
|
|
145
102
|
|
|
146
|
-
|
|
147
|
-
|
|
148
|
-
propertyTypeName = propertyType.getName();
|
|
149
|
-
|
|
150
|
-
context.debug(`The variable's '${variableTypeName}' type is not equal to or a sub-type of the '${propertyName}' property's '${propertyTypeName}' type.`);
|
|
151
|
-
} else {
|
|
152
|
-
propertyVerified = true;
|
|
153
|
-
}
|
|
103
|
+
if (propertyRelationVerified) {
|
|
104
|
+
context.debug(`...verified the '${propertyAssertionString}' property assertion's '${propertyRelationString}' property relation.`);
|
|
154
105
|
}
|
|
155
106
|
|
|
156
|
-
|
|
157
|
-
context.debug(`...verified the '${propertyAssertionString}' property assertion's '${propertyString}' property.`);
|
|
158
|
-
}
|
|
159
|
-
|
|
160
|
-
return propertyVerified;
|
|
107
|
+
return propertyRelationVerified;
|
|
161
108
|
}
|
|
162
109
|
|
|
163
110
|
verifyWhenStated(assignments, context) {
|
|
@@ -168,10 +115,10 @@ export default domAssigned(class PropertyAssertion {
|
|
|
168
115
|
context.trace(`Verifying the '${propertyAssertionString}' stated property assertion...`);
|
|
169
116
|
|
|
170
117
|
if (assignments !== null) {
|
|
171
|
-
const
|
|
172
|
-
|
|
173
|
-
|
|
174
|
-
|
|
118
|
+
const variableName = this.variable.getName(),
|
|
119
|
+
variable = context.findVariableByVariableName(variableName);
|
|
120
|
+
|
|
121
|
+
debugger
|
|
175
122
|
|
|
176
123
|
}
|
|
177
124
|
|
|
@@ -208,18 +155,16 @@ export default domAssigned(class PropertyAssertion {
|
|
|
208
155
|
const propertyAssertionNode = propertyAssertionNodeQuery(statementNode);
|
|
209
156
|
|
|
210
157
|
if (propertyAssertionNode !== null) {
|
|
211
|
-
const {
|
|
158
|
+
const { Variable, PropertyRelation } = dom,
|
|
212
159
|
node = propertyAssertionNode, ///
|
|
213
160
|
string = context.nodeAsString(node),
|
|
214
161
|
tokens = context.nodeAsTokens(node),
|
|
215
|
-
propertyNode = propertyNodeQuery(propertyAssertionNode),
|
|
216
162
|
variableNode = variableNodeQuery(propertyAssertionNode),
|
|
217
|
-
|
|
218
|
-
property = Property.fromPropertyNode(propertyNode, context),
|
|
163
|
+
propertyRelationNode = propertyRelationNodeQuery(propertyAssertionNode),
|
|
219
164
|
variable = Variable.fromVariableNode(variableNode, context),
|
|
220
|
-
|
|
165
|
+
propertyRelation = PropertyRelation.fromPropertyRelationNode(propertyRelationNode, context);
|
|
221
166
|
|
|
222
|
-
propertyAssertion = new PropertyAssertion(string, node, tokens,
|
|
167
|
+
propertyAssertion = new PropertyAssertion(string, node, tokens, variable, propertyRelation);
|
|
223
168
|
}
|
|
224
169
|
|
|
225
170
|
return propertyAssertion;
|
|
@@ -6,8 +6,7 @@ import { nodeQuery } from "../../utilities/query";
|
|
|
6
6
|
import { domAssigned } from "../../dom";
|
|
7
7
|
|
|
8
8
|
const termNodeQuery = nodeQuery("/propertyRelation/term"),
|
|
9
|
-
propertyNodeQuery = nodeQuery("/propertyRelation/property")
|
|
10
|
-
propertyRelationNodeQuery = nodeQuery("/term/propertyRelation");
|
|
9
|
+
propertyNodeQuery = nodeQuery("/propertyRelation/property");
|
|
11
10
|
|
|
12
11
|
export default domAssigned(class PropertyRelation {
|
|
13
12
|
constructor(string, node, tokens, property, term) {
|
|
@@ -68,6 +67,27 @@ export default domAssigned(class PropertyRelation {
|
|
|
68
67
|
return verified;
|
|
69
68
|
}
|
|
70
69
|
|
|
70
|
+
verifyTerm(context) {
|
|
71
|
+
let termVerified;
|
|
72
|
+
|
|
73
|
+
const termString = this.term.getString(),
|
|
74
|
+
propertyRelationString = this.string; ///
|
|
75
|
+
|
|
76
|
+
context.trace(`Verifying the '${propertyRelationString}' property relation's '${termString}' term...`);
|
|
77
|
+
|
|
78
|
+
termVerified = this.term.verify(context, () => {
|
|
79
|
+
const verifiedAhead = true;
|
|
80
|
+
|
|
81
|
+
return verifiedAhead;
|
|
82
|
+
});
|
|
83
|
+
|
|
84
|
+
if (termVerified) {
|
|
85
|
+
context.debug(`...verified the '${propertyRelationString}' property relation's '${termString}' term.`);
|
|
86
|
+
}
|
|
87
|
+
|
|
88
|
+
return termVerified;
|
|
89
|
+
}
|
|
90
|
+
|
|
71
91
|
verifyProperty(context) {
|
|
72
92
|
let propertyVerified;
|
|
73
93
|
|
|
@@ -89,7 +109,7 @@ export default domAssigned(class PropertyRelation {
|
|
|
89
109
|
|
|
90
110
|
if (termTypeProperty === null) {
|
|
91
111
|
const termString = this.term.getString(),
|
|
92
|
-
|
|
112
|
+
termTypeName = termType.getName();
|
|
93
113
|
|
|
94
114
|
context.debug(`The '${propertyName}' property is not a property of the '${termString}' term's '${termTypeName}' type.`);
|
|
95
115
|
} else {
|
|
@@ -107,46 +127,18 @@ export default domAssigned(class PropertyRelation {
|
|
|
107
127
|
return propertyVerified;
|
|
108
128
|
}
|
|
109
129
|
|
|
110
|
-
verifyTerm(context) {
|
|
111
|
-
let termVerified;
|
|
112
|
-
|
|
113
|
-
const termString = this.term.getString(),
|
|
114
|
-
propertyRelationString = this.string; ///
|
|
115
|
-
|
|
116
|
-
context.trace(`Verifying the '${propertyRelationString}' property relation's '${termString}' term...`);
|
|
117
|
-
|
|
118
|
-
termVerified = this.term.verify(context, () => {
|
|
119
|
-
const verifiedAhead = true;
|
|
120
|
-
|
|
121
|
-
return verifiedAhead;
|
|
122
|
-
});
|
|
123
|
-
|
|
124
|
-
if (termVerified) {
|
|
125
|
-
context.debug(`...verified the '${propertyRelationString}' property relation's '${termString}' term.`);
|
|
126
|
-
}
|
|
127
|
-
|
|
128
|
-
return termVerified;
|
|
129
|
-
}
|
|
130
|
-
|
|
131
130
|
static name = "PropertyRelation";
|
|
132
131
|
|
|
133
|
-
static
|
|
134
|
-
|
|
135
|
-
|
|
136
|
-
|
|
137
|
-
|
|
138
|
-
|
|
139
|
-
|
|
140
|
-
|
|
141
|
-
|
|
142
|
-
|
|
143
|
-
termNode = termNodeQuery(propertyRelationNode),
|
|
144
|
-
propertyNode = propertyNodeQuery(propertyRelationNode),
|
|
145
|
-
property = Property.fromPropertyNode(propertyNode, context),
|
|
146
|
-
term = Term.fromTermNode(termNode, context);
|
|
147
|
-
|
|
148
|
-
propertyRelation = new PropertyRelation(string, node, tokens, property, term);
|
|
149
|
-
}
|
|
132
|
+
static fromPropertyRelationNode(propertyRelationNode, context) {
|
|
133
|
+
const { Term, Property } = dom,
|
|
134
|
+
node = propertyRelationNode, ///
|
|
135
|
+
string = context.nodeAsString(node),
|
|
136
|
+
tokens = context.nodeAsTokens(node),
|
|
137
|
+
termNode = termNodeQuery(propertyRelationNode),
|
|
138
|
+
propertyNode = propertyNodeQuery(propertyRelationNode),
|
|
139
|
+
property = Property.fromPropertyNode(propertyNode, context),
|
|
140
|
+
term = Term.fromTermNode(termNode, context),
|
|
141
|
+
propertyRelation = new PropertyRelation(string, node, tokens, property, term);
|
|
150
142
|
|
|
151
143
|
return propertyRelation;
|
|
152
144
|
}
|
|
@@ -69,45 +69,10 @@ function verifyTermAsVariable(term, localContext, verifyAhead) {
|
|
|
69
69
|
return termVerifiedAsVariable;
|
|
70
70
|
}
|
|
71
71
|
|
|
72
|
-
function verifyAsPropertyRelation(term, context, verifyAhead) {
|
|
73
|
-
let verifiedAsPropertyRelation = false;
|
|
74
|
-
|
|
75
|
-
const { PropertyRelation } = dom,
|
|
76
|
-
termNode = term.getNode(),
|
|
77
|
-
propertyRelation = PropertyRelation.fromTermNode(termNode, context);
|
|
78
|
-
|
|
79
|
-
if (propertyRelation !== null) {
|
|
80
|
-
const termString = term.getString();
|
|
81
|
-
|
|
82
|
-
context.trace(`Verifying the '${termString}' term as a property relation...`);
|
|
83
|
-
|
|
84
|
-
const propertyRelationVerified = propertyRelation.verify(context);
|
|
85
|
-
|
|
86
|
-
if (propertyRelationVerified) {
|
|
87
|
-
let verifiedAhead;
|
|
88
|
-
|
|
89
|
-
const type = propertyRelation.getType();
|
|
90
|
-
|
|
91
|
-
term.setType(type);
|
|
92
|
-
|
|
93
|
-
verifiedAhead = verifyAhead();
|
|
94
|
-
|
|
95
|
-
verifiedAsPropertyRelation = verifiedAhead; ///
|
|
96
|
-
}
|
|
97
|
-
|
|
98
|
-
if (verifiedAsPropertyRelation) {
|
|
99
|
-
context.debug(`...verified the '${termString}' statement as a property relation.`);
|
|
100
|
-
}
|
|
101
|
-
}
|
|
102
|
-
|
|
103
|
-
return verifiedAsPropertyRelation;
|
|
104
|
-
}
|
|
105
|
-
|
|
106
72
|
const verifyMixins = [
|
|
107
73
|
unifyWithBracketedConstructor,
|
|
108
74
|
unifyWithConstructors,
|
|
109
|
-
verifyTermAsVariable
|
|
110
|
-
verifyAsPropertyRelation
|
|
75
|
+
verifyTermAsVariable
|
|
111
76
|
];
|
|
112
77
|
|
|
113
78
|
export default verifyMixins;
|