occam-verify-cli 1.0.20 → 1.0.22

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.
@@ -10,6 +10,7 @@ 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"));
13
14
  function _class_call_check(instance, Constructor) {
14
15
  if (!(instance instanceof Constructor)) {
15
16
  throw new TypeError("Cannot call a class as a function");
@@ -42,6 +43,11 @@ function _define_property(obj, key, value) {
42
43
  }
43
44
  return obj;
44
45
  }
46
+ function _interop_require_default(obj) {
47
+ return obj && obj.__esModule ? obj : {
48
+ default: obj
49
+ };
50
+ }
45
51
  function _getRequireWildcardCache(nodeInterop) {
46
52
  if (typeof WeakMap !== "function") return null;
47
53
  var cacheBabelInterop = new WeakMap();
@@ -84,16 +90,16 @@ function _interop_require_wildcard(obj, nodeInterop) {
84
90
  return newObj;
85
91
  }
86
92
  var _PropertyAssertion;
87
- var propertyNodeQuery = (0, _query.nodeQuery)("/propertyAssertion/property"), leftTermNodeQuery = (0, _query.nodeQuery)("/propertyAssertion/term[0]"), rightTermNodeQuery = (0, _query.nodeQuery)("/propertyAssertion/term[1]"), propertyAssertionNodeQuery = (0, _query.nodeQuery)("/statement/propertyAssertion");
93
+ var termNodeQuery = (0, _query.nodeQuery)("/propertyAssertion/term"), variableNodeQuery = (0, _query.nodeQuery)("/propertyAssertion/variable"), propertyNodeQuery = (0, _query.nodeQuery)("/propertyAssertion/property"), propertyAssertionNodeQuery = (0, _query.nodeQuery)("/statement/propertyAssertion");
88
94
  var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ function() {
89
- function PropertyAssertion(string, node, tokens, property, leftTerm, rightTerm) {
95
+ function PropertyAssertion(string, node, tokens, property, variable, term) {
90
96
  _class_call_check(this, PropertyAssertion);
91
97
  this.string = string;
92
98
  this.node = node;
93
99
  this.tokens = tokens;
94
100
  this.property = property;
95
- this.leftTerm = leftTerm;
96
- this.rightTerm = rightTerm;
101
+ this.variable = variable;
102
+ this.term = term;
97
103
  }
98
104
  _create_class(PropertyAssertion, [
99
105
  {
@@ -121,15 +127,15 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
121
127
  }
122
128
  },
123
129
  {
124
- key: "getLeftTerm",
125
- value: function getLeftTerm() {
126
- return this.leftTerm;
130
+ key: "getVariable",
131
+ value: function getVariable() {
132
+ return this.variable;
127
133
  }
128
134
  },
129
135
  {
130
- key: "getRightTerm",
131
- value: function getRightTerm() {
132
- return this.rightTerm;
136
+ key: "getTerm",
137
+ value: function getTerm() {
138
+ return this.term;
133
139
  }
134
140
  },
135
141
  {
@@ -138,13 +144,21 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
138
144
  var verified = false;
139
145
  var propertyAssertionString = this.string; ///
140
146
  context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion..."));
141
- var rightTermVerified = this.verifyRightTerm(assignments, stated, context);
142
- if (rightTermVerified) {
143
- var leftTermVerified = this.verifyLeftTerm(assignments, stated, context);
144
- if (leftTermVerified) {
147
+ var variableVerified = this.verifyVariable(assignments, stated, context);
148
+ if (variableVerified) {
149
+ var termVerified = this.verifyTerm(assignments, stated, context);
150
+ if (termVerified) {
145
151
  var propertyVerified = this.verifyProperty(assignments, stated, context);
146
152
  if (propertyVerified) {
147
- verified = true;
153
+ var verifiedWhenStated = false, verifiedWhenDerived = false;
154
+ if (stated) {
155
+ verifiedWhenStated = this.verifyWhenStated(assignments, context);
156
+ } else {
157
+ verifiedWhenDerived = this.verifyWhenDerived(context);
158
+ }
159
+ if (verifiedWhenStated || verifiedWhenDerived) {
160
+ verified = true;
161
+ }
148
162
  }
149
163
  }
150
164
  }
@@ -154,21 +168,50 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
154
168
  return verified;
155
169
  }
156
170
  },
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
+ {
188
+ key: "verifyVariable",
189
+ value: function verifyVariable(assignments, stated, context) {
190
+ var variableVerified;
191
+ var variableString = this.variable.getString(), propertyAssertionString = this.string; ///
192
+ context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion's '").concat(variableString, "' variable..."));
193
+ variableVerified = this.variable.verify(context);
194
+ if (variableVerified) {
195
+ context.debug("...verified the '".concat(propertyAssertionString, "' property assertion's '").concat(variableString, "' variable."));
196
+ }
197
+ return variableVerified;
198
+ }
199
+ },
157
200
  {
158
201
  key: "verifyProperty",
159
202
  value: function verifyProperty(assignments, stated, context) {
160
203
  var propertyVerified;
161
204
  var propertyString = this.property.getString(), propertyAssertionString = this.string; ///
162
205
  context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion's '").concat(propertyString, "' property..."));
163
- var rightTermType = this.rightTerm.getType(), propertyName = this.property.getName(), property = rightTermType.findPropertyByPropertyName(propertyName);
206
+ var termType = this.term.getType(), propertyName = this.property.getName(), property = termType.findPropertyByPropertyName(propertyName);
164
207
  if (property === null) {
165
- var rightTermTypeName = rightTermType.getName();
166
- context.debug("The '".concat(propertyName, "' property is not a property of the right term's '").concat(rightTermTypeName, "' type."));
208
+ var termTypeName = termType.getName();
209
+ context.debug("The '".concat(propertyName, "' property is not a property of the term's '").concat(termTypeName, "' type."));
167
210
  } else {
168
- var leftTermType = this.leftTerm.getType(), propertyType = property.getType(), leftTermTypeEqualToOrSubTypeOfPropertyType = leftTermType.isEqualToOrSubTypeOf(propertyType);
169
- if (!leftTermTypeEqualToOrSubTypeOfPropertyType) {
170
- var leftTermTypeName = leftTermType.getName(), propertyTypeName = propertyType.getName();
171
- context.debug("The left term's '".concat(leftTermTypeName, "' type is not equal to or a sub-type of the '").concat(propertyName, "' property's '").concat(propertyTypeName, "' type."));
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."));
172
215
  } else {
173
216
  propertyVerified = true;
174
217
  }
@@ -180,35 +223,32 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
180
223
  }
181
224
  },
182
225
  {
183
- key: "verifyLeftTerm",
184
- value: function verifyLeftTerm(assignments, stated, context) {
185
- var leftTermVerified;
186
- var leftTermString = this.leftTerm.getString(), propertyAssertionString = this.string; ///
187
- context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion's '").concat(leftTermString, "' left term..."));
188
- leftTermVerified = this.leftTerm.verify(context, function() {
189
- var verifiedAhead = true;
190
- return verifiedAhead;
191
- });
192
- if (leftTermVerified) {
193
- context.debug("...verified the '".concat(propertyAssertionString, "' property assertion's '").concat(leftTermString, "' left term."));
226
+ key: "verifyWhenStated",
227
+ value: function verifyWhenStated(assignments, context) {
228
+ var verifiedWhenStated = false;
229
+ var propertyAssertionString = this.string; ///
230
+ context.trace("Verifying the '".concat(propertyAssertionString, "' stated property assertion..."));
231
+ if (assignments !== null) {
232
+ var Variable = _dom.default.Variable, termNode = this.term.getNode(), variableNode = variableNodeQuery(termNode), variable = Variable.fromVariableNodeAndType(variableNode, this.type, context);
194
233
  }
195
- return leftTermVerified;
234
+ verifiedWhenStated = true;
235
+ if (verifiedWhenStated) {
236
+ context.debug("...verified the '".concat(propertyAssertionString, "' stated property assertion."));
237
+ }
238
+ return verifiedWhenStated;
196
239
  }
197
240
  },
198
241
  {
199
- key: "verifyRightTerm",
200
- value: function verifyRightTerm(assignments, stated, context) {
201
- var rightTermVerified;
202
- var rightTermString = this.rightTerm.getString(), propertyAssertionString = this.string; ///
203
- context.trace("Verifying the '".concat(propertyAssertionString, "' property assertion's '").concat(rightTermString, "' right term..."));
204
- rightTermVerified = this.rightTerm.verify(context, function() {
205
- var verifiedAhead = true;
206
- return verifiedAhead;
207
- });
208
- if (rightTermVerified) {
209
- context.debug("...verified the '".concat(propertyAssertionString, "' property assertion's '").concat(rightTermString, "' right term."));
242
+ key: "verifyWhenDerived",
243
+ value: function verifyWhenDerived(assignments, context) {
244
+ var verifiedWhenDerived = false;
245
+ var propertyAssertionString = this.string; ///
246
+ context.trace("Verifying the '".concat(propertyAssertionString, "' derived property assertion..."));
247
+ debugger;
248
+ if (verifiedWhenDerived) {
249
+ context.debug("...verified the '".concat(propertyAssertionString, "' derived property assertion."));
210
250
  }
211
- return rightTermVerified;
251
+ return verifiedWhenDerived;
212
252
  }
213
253
  }
214
254
  ], [
@@ -218,8 +258,8 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
218
258
  var propertyAssertion = null;
219
259
  var propertyAssertionNode = propertyAssertionNodeQuery(statementNode);
220
260
  if (propertyAssertionNode !== null) {
221
- var Term = _dom.default.Term, Property = _dom.default.Property, node = propertyAssertionNode, string = context.nodeAsString(node), tokens = context.nodeAsTokens(node), propertyNode = propertyNodeQuery(propertyAssertionNode), leftTermNode = leftTermNodeQuery(propertyAssertionNode), rightTermNode = rightTermNodeQuery(propertyAssertionNode), property = Property.fromPropertyNode(propertyNode, context), leftTerm = Term.fromTermNode(leftTermNode, context), rightTerm = Term.fromTermNode(rightTermNode, context);
222
- propertyAssertion = new PropertyAssertion(string, node, tokens, property, leftTerm, rightTerm);
261
+ var Term = _dom.default.Term, Variable = _dom.default.Variable, Property = _dom.default.Property, node = propertyAssertionNode, string = context.nodeAsString(node), tokens = context.nodeAsTokens(node), propertyNode = propertyNodeQuery(propertyAssertionNode), variableNode = variableNodeQuery(propertyAssertionNode), termNode = termNodeQuery(propertyAssertionNode), property = Property.fromPropertyNode(propertyNode, context), variable = Variable.fromVariableNode(variableNode, context), term = Term.fromTermNode(termNode, context);
262
+ propertyAssertion = new PropertyAssertion(string, node, tokens, property, variable, term);
223
263
  }
224
264
  return propertyAssertion;
225
265
  }
@@ -228,4 +268,4 @@ var _default = (0, _dom.domAssigned)((_PropertyAssertion = /*#__PURE__*/ functio
228
268
  return PropertyAssertion;
229
269
  }(), _define_property(_PropertyAssertion, "name", "PropertyAssertion"), _PropertyAssertion));
230
270
 
231
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9kb20vYXNzZXJ0aW9uL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgZG9tIGZyb20gXCIuLi8uLi9kb21cIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgZG9tQXNzaWduZWQgfSBmcm9tIFwiLi4vLi4vZG9tXCI7XG5cbmNvbnN0IHByb3BlcnR5Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Byb3BlcnR5QXNzZXJ0aW9uL3Byb3BlcnR5XCIpLFxuICAgICAgbGVmdFRlcm1Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvcHJvcGVydHlBc3NlcnRpb24vdGVybVswXVwiKSxcbiAgICAgIHJpZ2h0VGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9wcm9wZXJ0eUFzc2VydGlvbi90ZXJtWzFdXCIpLFxuICAgICAgcHJvcGVydHlBc3NlcnRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc3RhdGVtZW50L3Byb3BlcnR5QXNzZXJ0aW9uXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBkb21Bc3NpZ25lZChjbGFzcyBQcm9wZXJ0eUFzc2VydGlvbiB7XG4gIGNvbnN0cnVjdG9yKHN0cmluZywgbm9kZSwgdG9rZW5zLCBwcm9wZXJ0eSwgbGVmdFRlcm0sIHJpZ2h0VGVybSkge1xuICAgIHRoaXMuc3RyaW5nID0gc3RyaW5nO1xuICAgIHRoaXMubm9kZSA9IG5vZGU7XG4gICAgdGhpcy50b2tlbnMgPSB0b2tlbnM7XG4gICAgdGhpcy5wcm9wZXJ0eSA9IHByb3BlcnR5O1xuICAgIHRoaXMubGVmdFRlcm0gPSBsZWZ0VGVybTtcbiAgICB0aGlzLnJpZ2h0VGVybSA9IHJpZ2h0VGVybTtcbiAgfVxuXG4gIGdldFN0cmluZygpIHtcbiAgICByZXR1cm4gdGhpcy5zdHJpbmc7XG4gIH1cblxuICBnZXROb2RlKCkge1xuICAgIHJldHVybiB0aGlzLm5vZGU7XG4gIH1cblxuICBnZXRUb2tlbnMoKSB7XG4gICAgcmV0dXJuIHRoaXMudG9rZW5zO1xuICB9XG5cbiAgZ2V0UHJvcGVydHkoKSB7XG4gICAgcmV0dXJuIHRoaXMucHJvcGVydHk7XG4gIH1cblxuICBnZXRMZWZ0VGVybSgpIHtcbiAgICByZXR1cm4gdGhpcy5sZWZ0VGVybTtcbiAgfVxuXG4gIGdldFJpZ2h0VGVybSgpIHtcbiAgICByZXR1cm4gdGhpcy5yaWdodFRlcm07XG4gIH1cblxuICB2ZXJpZnkoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICAgIGxldCB2ZXJpZmllZCA9IGZhbHNlO1xuXG4gICAgY29uc3QgcHJvcGVydHlBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBjb25zdCByaWdodFRlcm1WZXJpZmllZCA9IHRoaXMudmVyaWZ5UmlnaHRUZXJtKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgaWYgKHJpZ2h0VGVybVZlcmlmaWVkKSB7XG4gICAgICBjb25zdCBsZWZ0VGVybVZlcmlmaWVkID0gdGhpcy52ZXJpZnlMZWZ0VGVybShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KTtcblxuICAgICAgaWYgKGxlZnRUZXJtVmVyaWZpZWQpIHtcbiAgICAgICAgY29uc3QgcHJvcGVydHlWZXJpZmllZCA9IHRoaXMudmVyaWZ5UHJvcGVydHkoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICAgICAgaWYgKHByb3BlcnR5VmVyaWZpZWQpIHtcbiAgICAgICAgICB2ZXJpZmllZCA9IHRydWU7XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICB9XG5cbiAgICBpZiAodmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlQcm9wZXJ0eShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gICAgbGV0IHByb3BlcnR5VmVyaWZpZWQ7XG5cbiAgICBjb25zdCBwcm9wZXJ0eVN0cmluZyA9IHRoaXMucHJvcGVydHkuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7cHJvcGVydHlTdHJpbmd9JyBwcm9wZXJ0eS4uLmApO1xuXG4gICAgY29uc3QgcmlnaHRUZXJtVHlwZSA9IHRoaXMucmlnaHRUZXJtLmdldFR5cGUoKSxcbiAgICAgICAgICBwcm9wZXJ0eU5hbWUgPSB0aGlzLnByb3BlcnR5LmdldE5hbWUoKSxcbiAgICAgICAgICBwcm9wZXJ0eSA9IHJpZ2h0VGVybVR5cGUuZmluZFByb3BlcnR5QnlQcm9wZXJ0eU5hbWUocHJvcGVydHlOYW1lKTtcblxuICAgIGlmIChwcm9wZXJ0eSA9PT0gbnVsbCkge1xuICAgICAgY29uc3QgcmlnaHRUZXJtVHlwZU5hbWUgPSByaWdodFRlcm1UeXBlLmdldE5hbWUoKTtcblxuICAgICAgY29udGV4dC5kZWJ1ZyhgVGhlICcke3Byb3BlcnR5TmFtZX0nIHByb3BlcnR5IGlzIG5vdCBhIHByb3BlcnR5IG9mIHRoZSByaWdodCB0ZXJtJ3MgJyR7cmlnaHRUZXJtVHlwZU5hbWV9JyB0eXBlLmApO1xuICAgIH0gZWxzZSB7XG4gICAgICBjb25zdCBsZWZ0VGVybVR5cGUgPSB0aGlzLmxlZnRUZXJtLmdldFR5cGUoKSxcbiAgICAgICAgICAgIHByb3BlcnR5VHlwZSA9IHByb3BlcnR5LmdldFR5cGUoKSxcbiAgICAgICAgICAgIGxlZnRUZXJtVHlwZUVxdWFsVG9PclN1YlR5cGVPZlByb3BlcnR5VHlwZSA9IGxlZnRUZXJtVHlwZS5pc0VxdWFsVG9PclN1YlR5cGVPZihwcm9wZXJ0eVR5cGUpO1xuXG4gICAgICBpZiAoIWxlZnRUZXJtVHlwZUVxdWFsVG9PclN1YlR5cGVPZlByb3BlcnR5VHlwZSkge1xuICAgICAgICBjb25zdCBsZWZ0VGVybVR5cGVOYW1lID0gbGVmdFRlcm1UeXBlLmdldE5hbWUoKSxcbiAgICAgICAgICAgICAgcHJvcGVydHlUeXBlTmFtZSA9IHByb3BlcnR5VHlwZS5nZXROYW1lKCk7XG5cbiAgICAgICAgY29udGV4dC5kZWJ1ZyhgVGhlIGxlZnQgdGVybSdzICcke2xlZnRUZXJtVHlwZU5hbWV9JyB0eXBlIGlzIG5vdCBlcXVhbCB0byBvciBhIHN1Yi10eXBlIG9mIHRoZSAnJHtwcm9wZXJ0eU5hbWV9JyBwcm9wZXJ0eSdzICcke3Byb3BlcnR5VHlwZU5hbWV9JyB0eXBlLmApO1xuICAgICAgfSBlbHNlIHtcbiAgICAgICAgcHJvcGVydHlWZXJpZmllZCA9IHRydWU7XG4gICAgICB9XG4gICAgfVxuXG4gICAgaWYgKHByb3BlcnR5VmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3Byb3BlcnR5U3RyaW5nfScgcHJvcGVydHkuYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHByb3BlcnR5VmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlMZWZ0VGVybShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gICAgbGV0IGxlZnRUZXJtVmVyaWZpZWQ7XG5cbiAgICBjb25zdCBsZWZ0VGVybVN0cmluZyA9IHRoaXMubGVmdFRlcm0uZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7bGVmdFRlcm1TdHJpbmd9JyBsZWZ0IHRlcm0uLi5gKTtcblxuICAgIGxlZnRUZXJtVmVyaWZpZWQgPSB0aGlzLmxlZnRUZXJtLnZlcmlmeShjb250ZXh0LCAoKSA9PiB7XG4gICAgICBjb25zdCB2ZXJpZmllZEFoZWFkID0gdHJ1ZTtcblxuICAgICAgcmV0dXJuIHZlcmlmaWVkQWhlYWQ7XG4gICAgfSk7XG5cbiAgICBpZiAobGVmdFRlcm1WZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7bGVmdFRlcm1TdHJpbmd9JyBsZWZ0IHRlcm0uYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIGxlZnRUZXJtVmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlSaWdodFRlcm0oYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICAgIGxldCByaWdodFRlcm1WZXJpZmllZDtcblxuICAgIGNvbnN0IHJpZ2h0VGVybVN0cmluZyA9IHRoaXMucmlnaHRUZXJtLmdldFN0cmluZygpLFxuICAgICAgICAgIHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3JpZ2h0VGVybVN0cmluZ30nIHJpZ2h0IHRlcm0uLi5gKTtcblxuICAgIHJpZ2h0VGVybVZlcmlmaWVkID0gdGhpcy5yaWdodFRlcm0udmVyaWZ5KGNvbnRleHQsICgpID0+IHtcbiAgICAgIGNvbnN0IHZlcmlmaWVkQWhlYWQgPSB0cnVlO1xuXG4gICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICB9KTtcblxuICAgIGlmIChyaWdodFRlcm1WZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7cmlnaHRUZXJtU3RyaW5nfScgcmlnaHQgdGVybS5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gcmlnaHRUZXJtVmVyaWZpZWQ7XG4gIH1cblxuICBzdGF0aWMgbmFtZSA9IFwiUHJvcGVydHlBc3NlcnRpb25cIjtcblxuICBzdGF0aWMgZnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCkge1xuICAgIGxldCBwcm9wZXJ0eUFzc2VydGlvbiA9IG51bGw7XG5cbiAgICBjb25zdCBwcm9wZXJ0eUFzc2VydGlvbk5vZGUgPSBwcm9wZXJ0eUFzc2VydGlvbk5vZGVRdWVyeShzdGF0ZW1lbnROb2RlKTtcblxuICAgIGlmIChwcm9wZXJ0eUFzc2VydGlvbk5vZGUgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHsgVGVybSwgUHJvcGVydHkgfSA9IGRvbSxcbiAgICAgICAgICAgIG5vZGUgPSBwcm9wZXJ0eUFzc2VydGlvbk5vZGUsICAvLy9cbiAgICAgICAgICAgIHN0cmluZyA9IGNvbnRleHQubm9kZUFzU3RyaW5nKG5vZGUpLFxuICAgICAgICAgICAgdG9rZW5zID0gY29udGV4dC5ub2RlQXNUb2tlbnMobm9kZSksXG4gICAgICAgICAgICBwcm9wZXJ0eU5vZGUgPSBwcm9wZXJ0eU5vZGVRdWVyeShwcm9wZXJ0eUFzc2VydGlvbk5vZGUpLFxuICAgICAgICAgICAgbGVmdFRlcm1Ob2RlID0gbGVmdFRlcm1Ob2RlUXVlcnkocHJvcGVydHlBc3NlcnRpb25Ob2RlKSxcbiAgICAgICAgICAgIHJpZ2h0VGVybU5vZGUgPSByaWdodFRlcm1Ob2RlUXVlcnkocHJvcGVydHlBc3NlcnRpb25Ob2RlKSxcbiAgICAgICAgICAgIHByb3BlcnR5ID0gUHJvcGVydHkuZnJvbVByb3BlcnR5Tm9kZShwcm9wZXJ0eU5vZGUsIGNvbnRleHQpLFxuICAgICAgICAgICAgbGVmdFRlcm0gPSBUZXJtLmZyb21UZXJtTm9kZShsZWZ0VGVybU5vZGUsIGNvbnRleHQpLFxuICAgICAgICAgICAgcmlnaHRUZXJtID0gVGVybS5mcm9tVGVybU5vZGUocmlnaHRUZXJtTm9kZSwgY29udGV4dCk7XG5cbiAgICAgIHByb3BlcnR5QXNzZXJ0aW9uID0gbmV3IFByb3BlcnR5QXNzZXJ0aW9uKHN0cmluZywgbm9kZSwgdG9rZW5zLCBwcm9wZXJ0eSwgbGVmdFRlcm0sIHJpZ2h0VGVybSk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHByb3BlcnR5QXNzZXJ0aW9uO1xuICB9XG59KTtcbiJdLCJuYW1lcyI6WyJwcm9wZXJ0eU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsImxlZnRUZXJtTm9kZVF1ZXJ5IiwicmlnaHRUZXJtTm9kZVF1ZXJ5IiwicHJvcGVydHlBc3NlcnRpb25Ob2RlUXVlcnkiLCJkb21Bc3NpZ25lZCIsIlByb3BlcnR5QXNzZXJ0aW9uIiwic3RyaW5nIiwibm9kZSIsInRva2VucyIsInByb3BlcnR5IiwibGVmdFRlcm0iLCJyaWdodFRlcm0iLCJnZXRTdHJpbmciLCJnZXROb2RlIiwiZ2V0VG9rZW5zIiwiZ2V0UHJvcGVydHkiLCJnZXRMZWZ0VGVybSIsImdldFJpZ2h0VGVybSIsInZlcmlmeSIsImFzc2lnbm1lbnRzIiwic3RhdGVkIiwiY29udGV4dCIsInZlcmlmaWVkIiwicHJvcGVydHlBc3NlcnRpb25TdHJpbmciLCJ0cmFjZSIsInJpZ2h0VGVybVZlcmlmaWVkIiwidmVyaWZ5UmlnaHRUZXJtIiwibGVmdFRlcm1WZXJpZmllZCIsInZlcmlmeUxlZnRUZXJtIiwicHJvcGVydHlWZXJpZmllZCIsInZlcmlmeVByb3BlcnR5IiwiZGVidWciLCJwcm9wZXJ0eVN0cmluZyIsInJpZ2h0VGVybVR5cGUiLCJnZXRUeXBlIiwicHJvcGVydHlOYW1lIiwiZ2V0TmFtZSIsImZpbmRQcm9wZXJ0eUJ5UHJvcGVydHlOYW1lIiwicmlnaHRUZXJtVHlwZU5hbWUiLCJsZWZ0VGVybVR5cGUiLCJwcm9wZXJ0eVR5cGUiLCJsZWZ0VGVybVR5cGVFcXVhbFRvT3JTdWJUeXBlT2ZQcm9wZXJ0eVR5cGUiLCJpc0VxdWFsVG9PclN1YlR5cGVPZiIsImxlZnRUZXJtVHlwZU5hbWUiLCJwcm9wZXJ0eVR5cGVOYW1lIiwibGVmdFRlcm1TdHJpbmciLCJ2ZXJpZmllZEFoZWFkIiwicmlnaHRUZXJtU3RyaW5nIiwiZnJvbVN0YXRlbWVudE5vZGUiLCJzdGF0ZW1lbnROb2RlIiwicHJvcGVydHlBc3NlcnRpb24iLCJwcm9wZXJ0eUFzc2VydGlvbk5vZGUiLCJUZXJtIiwiZG9tIiwiUHJvcGVydHkiLCJub2RlQXNTdHJpbmciLCJub2RlQXNUb2tlbnMiLCJwcm9wZXJ0eU5vZGUiLCJsZWZ0VGVybU5vZGUiLCJyaWdodFRlcm1Ob2RlIiwiZnJvbVByb3BlcnR5Tm9kZSIsImZyb21UZXJtTm9kZSIsIm5hbWUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVlBOzs7ZUFBQTs7OzJEQVZnQjtxQkFFVTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRzFCLElBQU1BLG9CQUFvQkMsSUFBQUEsZ0JBQVMsRUFBQyxnQ0FDOUJDLG9CQUFvQkQsSUFBQUEsZ0JBQVMsRUFBQywrQkFDOUJFLHFCQUFxQkYsSUFBQUEsZ0JBQVMsRUFBQywrQkFDL0JHLDZCQUE2QkgsSUFBQUEsZ0JBQVMsRUFBQztJQUU3QyxXQUFlSSxJQUFBQSxnQkFBVyxzQ0FBQzthQUFNQyxrQkFDbkJDLE1BQU0sRUFBRUMsSUFBSSxFQUFFQyxNQUFNLEVBQUVDLFFBQVEsRUFBRUMsUUFBUSxFQUFFQyxTQUFTO2dDQURoQ047UUFFN0IsSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxRQUFRLEdBQUdBO1FBQ2hCLElBQUksQ0FBQ0MsUUFBUSxHQUFHQTtRQUNoQixJQUFJLENBQUNDLFNBQVMsR0FBR0E7Ozs7WUFHbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ04sTUFBTTtZQUNwQjs7O1lBRUFPLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ04sSUFBSTtZQUNsQjs7O1lBRUFPLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ04sTUFBTTtZQUNwQjs7O1lBRUFPLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ04sUUFBUTtZQUN0Qjs7O1lBRUFPLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ04sUUFBUTtZQUN0Qjs7O1lBRUFPLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ04sU0FBUztZQUN2Qjs7O1lBRUFPLEtBQUFBO21CQUFBQSxTQUFBQSxPQUFPQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDakMsSUFBSUMsV0FBVztnQkFFZixJQUFNQywwQkFBMEIsSUFBSSxDQUFDakIsTUFBTSxFQUFFLEdBQUc7Z0JBRWhEZSxRQUFRRyxLQUFLLENBQUMsQUFBQyxrQkFBeUMsT0FBeEJELHlCQUF3QjtnQkFFeEQsSUFBTUUsb0JBQW9CLElBQUksQ0FBQ0MsZUFBZSxDQUFDUCxhQUFhQyxRQUFRQztnQkFFcEUsSUFBSUksbUJBQW1CO29CQUNyQixJQUFNRSxtQkFBbUIsSUFBSSxDQUFDQyxjQUFjLENBQUNULGFBQWFDLFFBQVFDO29CQUVsRSxJQUFJTSxrQkFBa0I7d0JBQ3BCLElBQU1FLG1CQUFtQixJQUFJLENBQUNDLGNBQWMsQ0FBQ1gsYUFBYUMsUUFBUUM7d0JBRWxFLElBQUlRLGtCQUFrQjs0QkFDcEJQLFdBQVc7d0JBQ2I7b0JBQ0Y7Z0JBQ0Y7Z0JBRUEsSUFBSUEsVUFBVTtvQkFDWkQsUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQTJDLE9BQXhCUix5QkFBd0I7Z0JBQzVEO2dCQUVBLE9BQU9EO1lBQ1Q7OztZQUVBUSxLQUFBQTttQkFBQUEsU0FBQUEsZUFBZVgsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87Z0JBQ3pDLElBQUlRO2dCQUVKLElBQU1HLGlCQUFpQixJQUFJLENBQUN2QixRQUFRLENBQUNHLFNBQVMsSUFDeENXLDBCQUEwQixJQUFJLENBQUNqQixNQUFNLEVBQUUsR0FBRztnQkFFaERlLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUFtRVEsT0FBbERULHlCQUF3Qiw0QkFBeUMsT0FBZlMsZ0JBQWU7Z0JBRWpHLElBQU1DLGdCQUFnQixJQUFJLENBQUN0QixTQUFTLENBQUN1QixPQUFPLElBQ3RDQyxlQUFlLElBQUksQ0FBQzFCLFFBQVEsQ0FBQzJCLE9BQU8sSUFDcEMzQixXQUFXd0IsY0FBY0ksMEJBQTBCLENBQUNGO2dCQUUxRCxJQUFJMUIsYUFBYSxNQUFNO29CQUNyQixJQUFNNkIsb0JBQW9CTCxjQUFjRyxPQUFPO29CQUUvQ2YsUUFBUVUsS0FBSyxDQUFDLEFBQUMsUUFBd0VPLE9BQWpFSCxjQUFhLHNEQUFzRSxPQUFsQkcsbUJBQWtCO2dCQUMzRyxPQUFPO29CQUNMLElBQU1DLGVBQWUsSUFBSSxDQUFDN0IsUUFBUSxDQUFDd0IsT0FBTyxJQUNwQ00sZUFBZS9CLFNBQVN5QixPQUFPLElBQy9CTyw2Q0FBNkNGLGFBQWFHLG9CQUFvQixDQUFDRjtvQkFFckYsSUFBSSxDQUFDQyw0Q0FBNEM7d0JBQy9DLElBQU1FLG1CQUFtQkosYUFBYUgsT0FBTyxJQUN2Q1EsbUJBQW1CSixhQUFhSixPQUFPO3dCQUU3Q2YsUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQW1GSSxPQUFoRVEsa0JBQWlCLGlEQUE0RUMsT0FBN0JULGNBQWEsa0JBQWlDLE9BQWpCUyxrQkFBaUI7b0JBQ2xKLE9BQU87d0JBQ0xmLG1CQUFtQjtvQkFDckI7Z0JBQ0Y7Z0JBRUEsSUFBSUEsa0JBQWtCO29CQUNwQlIsUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQXFFQyxPQUFsRFQseUJBQXdCLDRCQUF5QyxPQUFmUyxnQkFBZTtnQkFDckc7Z0JBRUEsT0FBT0g7WUFDVDs7O1lBRUFELEtBQUFBO21CQUFBQSxTQUFBQSxlQUFlVCxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDekMsSUFBSU07Z0JBRUosSUFBTWtCLGlCQUFpQixJQUFJLENBQUNuQyxRQUFRLENBQUNFLFNBQVMsSUFDeENXLDBCQUEwQixJQUFJLENBQUNqQixNQUFNLEVBQUUsR0FBRztnQkFFaERlLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUFtRXFCLE9BQWxEdEIseUJBQXdCLDRCQUF5QyxPQUFmc0IsZ0JBQWU7Z0JBRWpHbEIsbUJBQW1CLElBQUksQ0FBQ2pCLFFBQVEsQ0FBQ1EsTUFBTSxDQUFDRyxTQUFTO29CQUMvQyxJQUFNeUIsZ0JBQWdCO29CQUV0QixPQUFPQTtnQkFDVDtnQkFFQSxJQUFJbkIsa0JBQWtCO29CQUNwQk4sUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQXFFYyxPQUFsRHRCLHlCQUF3Qiw0QkFBeUMsT0FBZnNCLGdCQUFlO2dCQUNyRztnQkFFQSxPQUFPbEI7WUFDVDs7O1lBRUFELEtBQUFBO21CQUFBQSxTQUFBQSxnQkFBZ0JQLFdBQVcsRUFBRUMsTUFBTSxFQUFFQyxPQUFPO2dCQUMxQyxJQUFJSTtnQkFFSixJQUFNc0Isa0JBQWtCLElBQUksQ0FBQ3BDLFNBQVMsQ0FBQ0MsU0FBUyxJQUMxQ1csMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGUsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQW1FdUIsT0FBbER4Qix5QkFBd0IsNEJBQTBDLE9BQWhCd0IsaUJBQWdCO2dCQUVsR3RCLG9CQUFvQixJQUFJLENBQUNkLFNBQVMsQ0FBQ08sTUFBTSxDQUFDRyxTQUFTO29CQUNqRCxJQUFNeUIsZ0JBQWdCO29CQUV0QixPQUFPQTtnQkFDVDtnQkFFQSxJQUFJckIsbUJBQW1CO29CQUNyQkosUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQXFFZ0IsT0FBbER4Qix5QkFBd0IsNEJBQTBDLE9BQWhCd0IsaUJBQWdCO2dCQUN0RztnQkFFQSxPQUFPdEI7WUFDVDs7OztZQUlPdUIsS0FBQUE7bUJBQVAsU0FBT0Esa0JBQWtCQyxhQUFhLEVBQUU1QixPQUFPO2dCQUM3QyxJQUFJNkIsb0JBQW9CO2dCQUV4QixJQUFNQyx3QkFBd0JoRCwyQkFBMkI4QztnQkFFekQsSUFBSUUsMEJBQTBCLE1BQU07b0JBQ2xDLElBQVFDLE9BQW1CQyxZQUFHLENBQXRCRCxNQUFNRSxXQUFhRCxZQUFHLENBQWhCQyxVQUNSL0MsT0FBTzRDLHVCQUNQN0MsU0FBU2UsUUFBUWtDLFlBQVksQ0FBQ2hELE9BQzlCQyxTQUFTYSxRQUFRbUMsWUFBWSxDQUFDakQsT0FDOUJrRCxlQUFlMUQsa0JBQWtCb0Qsd0JBQ2pDTyxlQUFlekQsa0JBQWtCa0Qsd0JBQ2pDUSxnQkFBZ0J6RCxtQkFBbUJpRCx3QkFDbkMxQyxXQUFXNkMsU0FBU00sZ0JBQWdCLENBQUNILGNBQWNwQyxVQUNuRFgsV0FBVzBDLEtBQUtTLFlBQVksQ0FBQ0gsY0FBY3JDLFVBQzNDVixZQUFZeUMsS0FBS1MsWUFBWSxDQUFDRixlQUFldEM7b0JBRW5ENkIsb0JBQW9CLElBQUk3QyxrQkFBa0JDLFFBQVFDLE1BQU1DLFFBQVFDLFVBQVVDLFVBQVVDO2dCQUN0RjtnQkFFQSxPQUFPdUM7WUFDVDs7OztLQXZCQSxxQ0FBT1ksUUFBTyJ9
271
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9kb20vYXNzZXJ0aW9uL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgZG9tIGZyb20gXCIuLi8uLi9kb21cIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgZG9tQXNzaWduZWQgfSBmcm9tIFwiLi4vLi4vZG9tXCI7XG5pbXBvcnQgVmFyaWFibGVBc3NpZ25tZW50IGZyb20gXCIuLi8uLi9hc3NpZ25tZW50L3ZhcmlhYmxlXCI7XG5cbmNvbnN0IHRlcm1Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvcHJvcGVydHlBc3NlcnRpb24vdGVybVwiKSxcbiAgICAgIHZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Byb3BlcnR5QXNzZXJ0aW9uL3ZhcmlhYmxlXCIpLFxuICAgICAgcHJvcGVydHlOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvcHJvcGVydHlBc3NlcnRpb24vcHJvcGVydHlcIiksXG4gICAgICBwcm9wZXJ0eUFzc2VydGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zdGF0ZW1lbnQvcHJvcGVydHlBc3NlcnRpb25cIik7XG5cbmV4cG9ydCBkZWZhdWx0IGRvbUFzc2lnbmVkKGNsYXNzIFByb3BlcnR5QXNzZXJ0aW9uIHtcbiAgY29uc3RydWN0b3Ioc3RyaW5nLCBub2RlLCB0b2tlbnMsIHByb3BlcnR5LCB2YXJpYWJsZSwgdGVybSkge1xuICAgIHRoaXMuc3RyaW5nID0gc3RyaW5nO1xuICAgIHRoaXMubm9kZSA9IG5vZGU7XG4gICAgdGhpcy50b2tlbnMgPSB0b2tlbnM7XG4gICAgdGhpcy5wcm9wZXJ0eSA9IHByb3BlcnR5O1xuICAgIHRoaXMudmFyaWFibGUgPSB2YXJpYWJsZTtcbiAgICB0aGlzLnRlcm0gPSB0ZXJtO1xuICB9XG5cbiAgZ2V0U3RyaW5nKCkge1xuICAgIHJldHVybiB0aGlzLnN0cmluZztcbiAgfVxuXG4gIGdldE5vZGUoKSB7XG4gICAgcmV0dXJuIHRoaXMubm9kZTtcbiAgfVxuXG4gIGdldFRva2VucygpIHtcbiAgICByZXR1cm4gdGhpcy50b2tlbnM7XG4gIH1cblxuICBnZXRQcm9wZXJ0eSgpIHtcbiAgICByZXR1cm4gdGhpcy5wcm9wZXJ0eTtcbiAgfVxuXG4gIGdldFZhcmlhYmxlKCkge1xuICAgIHJldHVybiB0aGlzLnZhcmlhYmxlO1xuICB9XG5cbiAgZ2V0VGVybSgpIHtcbiAgICByZXR1cm4gdGhpcy50ZXJtO1xuICB9XG5cbiAgdmVyaWZ5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWQgPSBmYWxzZTtcblxuICAgIGNvbnN0IHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3QgdmFyaWFibGVWZXJpZmllZCA9IHRoaXMudmVyaWZ5VmFyaWFibGUoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICBpZiAodmFyaWFibGVWZXJpZmllZCkge1xuICAgICAgY29uc3QgdGVybVZlcmlmaWVkID0gdGhpcy52ZXJpZnlUZXJtKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgICBpZiAodGVybVZlcmlmaWVkKSB7XG4gICAgICAgIGNvbnN0IHByb3BlcnR5VmVyaWZpZWQgPSB0aGlzLnZlcmlmeVByb3BlcnR5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgICAgIGlmIChwcm9wZXJ0eVZlcmlmaWVkKSB7XG4gICAgICAgICAgbGV0IHZlcmlmaWVkV2hlblN0YXRlZCA9IGZhbHNlLFxuICAgICAgICAgICAgICB2ZXJpZmllZFdoZW5EZXJpdmVkID0gZmFsc2U7XG5cbiAgICAgICAgICBpZiAoc3RhdGVkKSB7XG4gICAgICAgICAgICB2ZXJpZmllZFdoZW5TdGF0ZWQgPSB0aGlzLnZlcmlmeVdoZW5TdGF0ZWQoYXNzaWdubWVudHMsIGNvbnRleHQpO1xuICAgICAgICAgIH0gZWxzZSB7XG4gICAgICAgICAgICB2ZXJpZmllZFdoZW5EZXJpdmVkID0gdGhpcy52ZXJpZnlXaGVuRGVyaXZlZChjb250ZXh0KTtcbiAgICAgICAgICB9XG5cbiAgICAgICAgICBpZiAodmVyaWZpZWRXaGVuU3RhdGVkIHx8IHZlcmlmaWVkV2hlbkRlcml2ZWQpIHtcbiAgICAgICAgICAgIHZlcmlmaWVkID0gdHJ1ZTtcbiAgICAgICAgICB9XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICB9XG5cbiAgICBpZiAodmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlUZXJtKGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgICBsZXQgdGVybVZlcmlmaWVkO1xuXG4gICAgY29uc3QgdGVybVN0cmluZyA9IHRoaXMudGVybS5nZXRTdHJpbmcoKSxcbiAgICAgIHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3Rlcm1TdHJpbmd9JyB0ZXJtLi4uYCk7XG5cbiAgICB0ZXJtVmVyaWZpZWQgPSB0aGlzLnRlcm0udmVyaWZ5KGNvbnRleHQsICgpID0+IHtcbiAgICAgIGNvbnN0IHZlcmlmaWVkQWhlYWQgPSB0cnVlO1xuXG4gICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICB9KTtcblxuICAgIGlmICh0ZXJtVmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3Rlcm1TdHJpbmd9JyB0ZXJtLmApO1xuICAgIH1cblxuICAgIHJldHVybiB0ZXJtVmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlWYXJpYWJsZShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gICAgbGV0IHZhcmlhYmxlVmVyaWZpZWQ7XG5cbiAgICBjb25zdCB2YXJpYWJsZVN0cmluZyA9IHRoaXMudmFyaWFibGUuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7dmFyaWFibGVTdHJpbmd9JyB2YXJpYWJsZS4uLmApO1xuXG4gICAgdmFyaWFibGVWZXJpZmllZCA9IHRoaXMudmFyaWFibGUudmVyaWZ5KGNvbnRleHQpO1xuXG4gICAgaWYgKHZhcmlhYmxlVmVyaWZpZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHByb3BlcnR5IGFzc2VydGlvbidzICcke3ZhcmlhYmxlU3RyaW5nfScgdmFyaWFibGUuYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZhcmlhYmxlVmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlQcm9wZXJ0eShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gICAgbGV0IHByb3BlcnR5VmVyaWZpZWQ7XG5cbiAgICBjb25zdCBwcm9wZXJ0eVN0cmluZyA9IHRoaXMucHJvcGVydHkuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgcHJvcGVydHlBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7cHJvcGVydHlTdHJpbmd9JyBwcm9wZXJ0eS4uLmApO1xuXG4gICAgY29uc3QgdGVybVR5cGUgPSB0aGlzLnRlcm0uZ2V0VHlwZSgpLFxuICAgICAgICAgIHByb3BlcnR5TmFtZSA9IHRoaXMucHJvcGVydHkuZ2V0TmFtZSgpLFxuICAgICAgICAgIHByb3BlcnR5ID0gdGVybVR5cGUuZmluZFByb3BlcnR5QnlQcm9wZXJ0eU5hbWUocHJvcGVydHlOYW1lKTtcblxuICAgIGlmIChwcm9wZXJ0eSA9PT0gbnVsbCkge1xuICAgICAgY29uc3QgdGVybVR5cGVOYW1lID0gdGVybVR5cGUuZ2V0TmFtZSgpO1xuXG4gICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7cHJvcGVydHlOYW1lfScgcHJvcGVydHkgaXMgbm90IGEgcHJvcGVydHkgb2YgdGhlIHRlcm0ncyAnJHt0ZXJtVHlwZU5hbWV9JyB0eXBlLmApO1xuICAgIH0gZWxzZSB7XG4gICAgICBjb25zdCB2YXJpYWJsZVR5cGUgPSB0aGlzLnZhcmlhYmxlLmdldFR5cGUoKSxcbiAgICAgICAgICAgIHByb3BlcnR5VHlwZSA9IHByb3BlcnR5LmdldFR5cGUoKSxcbiAgICAgICAgICAgIHZhcmlhYmxlVHlwZUVxdWFsVG9PclN1YlR5cGVPZlByb3BlcnR5VHlwZSA9IHZhcmlhYmxlVHlwZS5pc0VxdWFsVG9PclN1YlR5cGVPZihwcm9wZXJ0eVR5cGUpO1xuXG4gICAgICBpZiAoIXZhcmlhYmxlVHlwZUVxdWFsVG9PclN1YlR5cGVPZlByb3BlcnR5VHlwZSkge1xuICAgICAgICBjb25zdCB2YXJpYWJsZVR5cGVOYW1lID0gdmFyaWFibGVUeXBlLmdldE5hbWUoKSxcbiAgICAgICAgICAgICAgcHJvcGVydHlUeXBlTmFtZSA9IHByb3BlcnR5VHlwZS5nZXROYW1lKCk7XG5cbiAgICAgICAgY29udGV4dC5kZWJ1ZyhgVGhlIHZhcmlhYmxlJ3MgJyR7dmFyaWFibGVUeXBlTmFtZX0nIHR5cGUgaXMgbm90IGVxdWFsIHRvIG9yIGEgc3ViLXR5cGUgb2YgdGhlICcke3Byb3BlcnR5TmFtZX0nIHByb3BlcnR5J3MgJyR7cHJvcGVydHlUeXBlTmFtZX0nIHR5cGUuYCk7XG4gICAgICB9IGVsc2Uge1xuICAgICAgICBwcm9wZXJ0eVZlcmlmaWVkID0gdHJ1ZTtcbiAgICAgIH1cbiAgICB9XG5cbiAgICBpZiAocHJvcGVydHlWZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3Byb3BlcnR5QXNzZXJ0aW9uU3RyaW5nfScgcHJvcGVydHkgYXNzZXJ0aW9uJ3MgJyR7cHJvcGVydHlTdHJpbmd9JyBwcm9wZXJ0eS5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gcHJvcGVydHlWZXJpZmllZDtcbiAgfVxuXG4gIHZlcmlmeVdoZW5TdGF0ZWQoYXNzaWdubWVudHMsIGNvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWRXaGVuU3RhdGVkID0gZmFsc2U7XG5cbiAgICBjb25zdCBwcm9wZXJ0eUFzc2VydGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7cHJvcGVydHlBc3NlcnRpb25TdHJpbmd9JyBzdGF0ZWQgcHJvcGVydHkgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBpZiAoYXNzaWdubWVudHMgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHsgVmFyaWFibGUgfSA9IGRvbSxcbiAgICAgICAgICAgIHRlcm1Ob2RlID0gdGhpcy50ZXJtLmdldE5vZGUoKSxcbiAgICAgICAgICAgIHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZVF1ZXJ5KHRlcm1Ob2RlKSxcbiAgICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZUFuZFR5cGUodmFyaWFibGVOb2RlLCB0aGlzLnR5cGUsIGNvbnRleHQpO1xuXG4gICAgfVxuXG4gICAgdmVyaWZpZWRXaGVuU3RhdGVkID0gdHJ1ZTtcblxuICAgIGlmICh2ZXJpZmllZFdoZW5TdGF0ZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIHN0YXRlZCBwcm9wZXJ0eSBhc3NlcnRpb24uYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZlcmlmaWVkV2hlblN0YXRlZDtcbiAgfVxuXG4gIHZlcmlmeVdoZW5EZXJpdmVkKGFzc2lnbm1lbnRzLCBjb250ZXh0KSB7XG4gICAgbGV0IHZlcmlmaWVkV2hlbkRlcml2ZWQgPSBmYWxzZTtcblxuICAgIGNvbnN0IHByb3BlcnR5QXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIGRlcml2ZWQgcHJvcGVydHkgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBkZWJ1Z2dlclxuXG4gICAgaWYgKHZlcmlmaWVkV2hlbkRlcml2ZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtwcm9wZXJ0eUFzc2VydGlvblN0cmluZ30nIGRlcml2ZWQgcHJvcGVydHkgYXNzZXJ0aW9uLmApO1xuICAgIH1cblxuICAgIHJldHVybiB2ZXJpZmllZFdoZW5EZXJpdmVkO1xuICB9XG5cbiAgc3RhdGljIG5hbWUgPSBcIlByb3BlcnR5QXNzZXJ0aW9uXCI7XG5cbiAgc3RhdGljIGZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIGNvbnRleHQpIHtcbiAgICBsZXQgcHJvcGVydHlBc3NlcnRpb24gPSBudWxsO1xuXG4gICAgY29uc3QgcHJvcGVydHlBc3NlcnRpb25Ob2RlID0gcHJvcGVydHlBc3NlcnRpb25Ob2RlUXVlcnkoc3RhdGVtZW50Tm9kZSk7XG5cbiAgICBpZiAocHJvcGVydHlBc3NlcnRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCB7IFRlcm0sIFZhcmlhYmxlLCBQcm9wZXJ0eSB9ID0gZG9tLFxuICAgICAgICAgICAgbm9kZSA9IHByb3BlcnR5QXNzZXJ0aW9uTm9kZSwgIC8vL1xuICAgICAgICAgICAgc3RyaW5nID0gY29udGV4dC5ub2RlQXNTdHJpbmcobm9kZSksXG4gICAgICAgICAgICB0b2tlbnMgPSBjb250ZXh0Lm5vZGVBc1Rva2Vucyhub2RlKSxcbiAgICAgICAgICAgIHByb3BlcnR5Tm9kZSA9IHByb3BlcnR5Tm9kZVF1ZXJ5KHByb3BlcnR5QXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICB2YXJpYWJsZU5vZGUgPSB2YXJpYWJsZU5vZGVRdWVyeShwcm9wZXJ0eUFzc2VydGlvbk5vZGUpLFxuICAgICAgICAgICAgdGVybU5vZGUgPSB0ZXJtTm9kZVF1ZXJ5KHByb3BlcnR5QXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICBwcm9wZXJ0eSA9IFByb3BlcnR5LmZyb21Qcm9wZXJ0eU5vZGUocHJvcGVydHlOb2RlLCBjb250ZXh0KSxcbiAgICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUsIGNvbnRleHQpLFxuICAgICAgICAgICAgdGVybSA9IFRlcm0uZnJvbVRlcm1Ob2RlKHRlcm1Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgcHJvcGVydHlBc3NlcnRpb24gPSBuZXcgUHJvcGVydHlBc3NlcnRpb24oc3RyaW5nLCBub2RlLCB0b2tlbnMsIHByb3BlcnR5LCB2YXJpYWJsZSwgdGVybSk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHByb3BlcnR5QXNzZXJ0aW9uO1xuICB9XG59KTtcbiJdLCJuYW1lcyI6WyJ0ZXJtTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwidmFyaWFibGVOb2RlUXVlcnkiLCJwcm9wZXJ0eU5vZGVRdWVyeSIsInByb3BlcnR5QXNzZXJ0aW9uTm9kZVF1ZXJ5IiwiZG9tQXNzaWduZWQiLCJQcm9wZXJ0eUFzc2VydGlvbiIsInN0cmluZyIsIm5vZGUiLCJ0b2tlbnMiLCJwcm9wZXJ0eSIsInZhcmlhYmxlIiwidGVybSIsImdldFN0cmluZyIsImdldE5vZGUiLCJnZXRUb2tlbnMiLCJnZXRQcm9wZXJ0eSIsImdldFZhcmlhYmxlIiwiZ2V0VGVybSIsInZlcmlmeSIsImFzc2lnbm1lbnRzIiwic3RhdGVkIiwiY29udGV4dCIsInZlcmlmaWVkIiwicHJvcGVydHlBc3NlcnRpb25TdHJpbmciLCJ0cmFjZSIsInZhcmlhYmxlVmVyaWZpZWQiLCJ2ZXJpZnlWYXJpYWJsZSIsInRlcm1WZXJpZmllZCIsInZlcmlmeVRlcm0iLCJwcm9wZXJ0eVZlcmlmaWVkIiwidmVyaWZ5UHJvcGVydHkiLCJ2ZXJpZmllZFdoZW5TdGF0ZWQiLCJ2ZXJpZmllZFdoZW5EZXJpdmVkIiwidmVyaWZ5V2hlblN0YXRlZCIsInZlcmlmeVdoZW5EZXJpdmVkIiwiZGVidWciLCJ0ZXJtU3RyaW5nIiwidmVyaWZpZWRBaGVhZCIsInZhcmlhYmxlU3RyaW5nIiwicHJvcGVydHlTdHJpbmciLCJ0ZXJtVHlwZSIsImdldFR5cGUiLCJwcm9wZXJ0eU5hbWUiLCJnZXROYW1lIiwiZmluZFByb3BlcnR5QnlQcm9wZXJ0eU5hbWUiLCJ0ZXJtVHlwZU5hbWUiLCJ2YXJpYWJsZVR5cGUiLCJwcm9wZXJ0eVR5cGUiLCJ2YXJpYWJsZVR5cGVFcXVhbFRvT3JTdWJUeXBlT2ZQcm9wZXJ0eVR5cGUiLCJpc0VxdWFsVG9PclN1YlR5cGVPZiIsInZhcmlhYmxlVHlwZU5hbWUiLCJwcm9wZXJ0eVR5cGVOYW1lIiwiVmFyaWFibGUiLCJkb20iLCJ0ZXJtTm9kZSIsInZhcmlhYmxlTm9kZSIsImZyb21WYXJpYWJsZU5vZGVBbmRUeXBlIiwidHlwZSIsImZyb21TdGF0ZW1lbnROb2RlIiwic3RhdGVtZW50Tm9kZSIsInByb3BlcnR5QXNzZXJ0aW9uIiwicHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiVGVybSIsIlByb3BlcnR5Iiwibm9kZUFzU3RyaW5nIiwibm9kZUFzVG9rZW5zIiwicHJvcGVydHlOb2RlIiwiZnJvbVByb3BlcnR5Tm9kZSIsImZyb21WYXJpYWJsZU5vZGUiLCJmcm9tVGVybU5vZGUiLCJuYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFhQTs7O2VBQUE7OzsyREFYZ0I7cUJBRVU7K0RBRUs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRS9CLElBQU1BLGdCQUFnQkMsSUFBQUEsZ0JBQVMsRUFBQyw0QkFDMUJDLG9CQUFvQkQsSUFBQUEsZ0JBQVMsRUFBQyxnQ0FDOUJFLG9CQUFvQkYsSUFBQUEsZ0JBQVMsRUFBQyxnQ0FDOUJHLDZCQUE2QkgsSUFBQUEsZ0JBQVMsRUFBQztJQUU3QyxXQUFlSSxJQUFBQSxnQkFBVyxzQ0FBQzthQUFNQyxrQkFDbkJDLE1BQU0sRUFBRUMsSUFBSSxFQUFFQyxNQUFNLEVBQUVDLFFBQVEsRUFBRUMsUUFBUSxFQUFFQyxJQUFJO2dDQUQzQk47UUFFN0IsSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxRQUFRLEdBQUdBO1FBQ2hCLElBQUksQ0FBQ0MsUUFBUSxHQUFHQTtRQUNoQixJQUFJLENBQUNDLElBQUksR0FBR0E7Ozs7WUFHZEMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixNQUFNO1lBQ3BCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixJQUFJO1lBQ2xCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixNQUFNO1lBQ3BCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixRQUFRO1lBQ3RCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixRQUFRO1lBQ3RCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDTixJQUFJO1lBQ2xCOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBLE9BQU9DLFdBQVcsRUFBRUMsTUFBTSxFQUFFQyxPQUFPO2dCQUNqQyxJQUFJQyxXQUFXO2dCQUVmLElBQU1DLDBCQUEwQixJQUFJLENBQUNqQixNQUFNLEVBQUUsR0FBRztnQkFFaERlLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUF5QyxPQUF4QkQseUJBQXdCO2dCQUV4RCxJQUFNRSxtQkFBbUIsSUFBSSxDQUFDQyxjQUFjLENBQUNQLGFBQWFDLFFBQVFDO2dCQUVsRSxJQUFJSSxrQkFBa0I7b0JBQ3BCLElBQU1FLGVBQWUsSUFBSSxDQUFDQyxVQUFVLENBQUNULGFBQWFDLFFBQVFDO29CQUUxRCxJQUFJTSxjQUFjO3dCQUNoQixJQUFNRSxtQkFBbUIsSUFBSSxDQUFDQyxjQUFjLENBQUNYLGFBQWFDLFFBQVFDO3dCQUVsRSxJQUFJUSxrQkFBa0I7NEJBQ3BCLElBQUlFLHFCQUFxQixPQUNyQkMsc0JBQXNCOzRCQUUxQixJQUFJWixRQUFRO2dDQUNWVyxxQkFBcUIsSUFBSSxDQUFDRSxnQkFBZ0IsQ0FBQ2QsYUFBYUU7NEJBQzFELE9BQU87Z0NBQ0xXLHNCQUFzQixJQUFJLENBQUNFLGlCQUFpQixDQUFDYjs0QkFDL0M7NEJBRUEsSUFBSVUsc0JBQXNCQyxxQkFBcUI7Z0NBQzdDVixXQUFXOzRCQUNiO3dCQUNGO29CQUNGO2dCQUNGO2dCQUVBLElBQUlBLFVBQVU7b0JBQ1pELFFBQVFjLEtBQUssQ0FBQyxBQUFDLG9CQUEyQyxPQUF4QloseUJBQXdCO2dCQUM1RDtnQkFFQSxPQUFPRDtZQUNUOzs7WUFFQU0sS0FBQUE7bUJBQUFBLFNBQUFBLFdBQVdULFdBQVcsRUFBRUMsTUFBTSxFQUFFQyxPQUFPO2dCQUNyQyxJQUFJTTtnQkFFSixJQUFNUyxhQUFhLElBQUksQ0FBQ3pCLElBQUksQ0FBQ0MsU0FBUyxJQUNwQ1csMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUU1Q2UsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQW1FWSxPQUFsRGIseUJBQXdCLDRCQUFxQyxPQUFYYSxZQUFXO2dCQUU3RlQsZUFBZSxJQUFJLENBQUNoQixJQUFJLENBQUNPLE1BQU0sQ0FBQ0csU0FBUztvQkFDdkMsSUFBTWdCLGdCQUFnQjtvQkFFdEIsT0FBT0E7Z0JBQ1Q7Z0JBRUEsSUFBSVYsY0FBYztvQkFDaEJOLFFBQVFjLEtBQUssQ0FBQyxBQUFDLG9CQUFxRUMsT0FBbERiLHlCQUF3Qiw0QkFBcUMsT0FBWGEsWUFBVztnQkFDakc7Z0JBRUEsT0FBT1Q7WUFDVDs7O1lBRUFELEtBQUFBO21CQUFBQSxTQUFBQSxlQUFlUCxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDekMsSUFBSUk7Z0JBRUosSUFBTWEsaUJBQWlCLElBQUksQ0FBQzVCLFFBQVEsQ0FBQ0UsU0FBUyxJQUN4Q1csMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGUsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQW1FYyxPQUFsRGYseUJBQXdCLDRCQUF5QyxPQUFmZSxnQkFBZTtnQkFFakdiLG1CQUFtQixJQUFJLENBQUNmLFFBQVEsQ0FBQ1EsTUFBTSxDQUFDRztnQkFFeEMsSUFBSUksa0JBQWtCO29CQUNwQkosUUFBUWMsS0FBSyxDQUFDLEFBQUMsb0JBQXFFRyxPQUFsRGYseUJBQXdCLDRCQUF5QyxPQUFmZSxnQkFBZTtnQkFDckc7Z0JBRUEsT0FBT2I7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQSxlQUFlWCxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDekMsSUFBSVE7Z0JBRUosSUFBTVUsaUJBQWlCLElBQUksQ0FBQzlCLFFBQVEsQ0FBQ0csU0FBUyxJQUN4Q1csMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGUsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQW1FZSxPQUFsRGhCLHlCQUF3Qiw0QkFBeUMsT0FBZmdCLGdCQUFlO2dCQUVqRyxJQUFNQyxXQUFXLElBQUksQ0FBQzdCLElBQUksQ0FBQzhCLE9BQU8sSUFDNUJDLGVBQWUsSUFBSSxDQUFDakMsUUFBUSxDQUFDa0MsT0FBTyxJQUNwQ2xDLFdBQVcrQixTQUFTSSwwQkFBMEIsQ0FBQ0Y7Z0JBRXJELElBQUlqQyxhQUFhLE1BQU07b0JBQ3JCLElBQU1vQyxlQUFlTCxTQUFTRyxPQUFPO29CQUVyQ3RCLFFBQVFjLEtBQUssQ0FBQyxBQUFDLFFBQWtFVSxPQUEzREgsY0FBYSxnREFBMkQsT0FBYkcsY0FBYTtnQkFDaEcsT0FBTztvQkFDTCxJQUFNQyxlQUFlLElBQUksQ0FBQ3BDLFFBQVEsQ0FBQytCLE9BQU8sSUFDcENNLGVBQWV0QyxTQUFTZ0MsT0FBTyxJQUMvQk8sNkNBQTZDRixhQUFhRyxvQkFBb0IsQ0FBQ0Y7b0JBRXJGLElBQUksQ0FBQ0MsNENBQTRDO3dCQUMvQyxJQUFNRSxtQkFBbUJKLGFBQWFILE9BQU8sSUFDdkNRLG1CQUFtQkosYUFBYUosT0FBTzt3QkFFN0N0QixRQUFRYyxLQUFLLENBQUMsQUFBQyxtQkFBa0ZPLE9BQWhFUSxrQkFBaUIsaURBQTRFQyxPQUE3QlQsY0FBYSxrQkFBaUMsT0FBakJTLGtCQUFpQjtvQkFDakosT0FBTzt3QkFDTHRCLG1CQUFtQjtvQkFDckI7Z0JBQ0Y7Z0JBRUEsSUFBSUEsa0JBQWtCO29CQUNwQlIsUUFBUWMsS0FBSyxDQUFDLEFBQUMsb0JBQXFFSSxPQUFsRGhCLHlCQUF3Qiw0QkFBeUMsT0FBZmdCLGdCQUFlO2dCQUNyRztnQkFFQSxPQUFPVjtZQUNUOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBLGlCQUFpQmQsV0FBVyxFQUFFRSxPQUFPO2dCQUNuQyxJQUFJVSxxQkFBcUI7Z0JBRXpCLElBQU1SLDBCQUEwQixJQUFJLENBQUNqQixNQUFNLEVBQUUsR0FBRztnQkFFaERlLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUF5QyxPQUF4QkQseUJBQXdCO2dCQUV4RCxJQUFJSixnQkFBZ0IsTUFBTTtvQkFDeEIsSUFBTSxBQUFFaUMsV0FBYUMsWUFBRyxDQUFoQkQsVUFDRkUsV0FBVyxJQUFJLENBQUMzQyxJQUFJLENBQUNFLE9BQU8sSUFDNUIwQyxlQUFldEQsa0JBQWtCcUQsV0FDakM1QyxXQUFXMEMsU0FBU0ksdUJBQXVCLENBQUNELGNBQWMsSUFBSSxDQUFDRSxJQUFJLEVBQUVwQztnQkFFN0U7Z0JBRUFVLHFCQUFxQjtnQkFFckIsSUFBSUEsb0JBQW9CO29CQUN0QlYsUUFBUWMsS0FBSyxDQUFDLEFBQUMsb0JBQTJDLE9BQXhCWix5QkFBd0I7Z0JBQzVEO2dCQUVBLE9BQU9RO1lBQ1Q7OztZQUVBRyxLQUFBQTttQkFBQUEsU0FBQUEsa0JBQWtCZixXQUFXLEVBQUVFLE9BQU87Z0JBQ3BDLElBQUlXLHNCQUFzQjtnQkFFMUIsSUFBTVQsMEJBQTBCLElBQUksQ0FBQ2pCLE1BQU0sRUFBRSxHQUFHO2dCQUVoRGUsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQXlDLE9BQXhCRCx5QkFBd0I7Z0JBRXhELFFBQVE7Z0JBRVIsSUFBSVMscUJBQXFCO29CQUN2QlgsUUFBUWMsS0FBSyxDQUFDLEFBQUMsb0JBQTJDLE9BQXhCWix5QkFBd0I7Z0JBQzVEO2dCQUVBLE9BQU9TO1lBQ1Q7Ozs7WUFJTzBCLEtBQUFBO21CQUFQLFNBQU9BLGtCQUFrQkMsYUFBYSxFQUFFdEMsT0FBTztnQkFDN0MsSUFBSXVDLG9CQUFvQjtnQkFFeEIsSUFBTUMsd0JBQXdCMUQsMkJBQTJCd0Q7Z0JBRXpELElBQUlFLDBCQUEwQixNQUFNO29CQUNsQyxJQUFRQyxPQUE2QlQsWUFBRyxDQUFoQ1MsTUFBTVYsV0FBdUJDLFlBQUcsQ0FBMUJELFVBQVVXLFdBQWFWLFlBQUcsQ0FBaEJVLFVBQ2xCeEQsT0FBT3NELHVCQUNQdkQsU0FBU2UsUUFBUTJDLFlBQVksQ0FBQ3pELE9BQzlCQyxTQUFTYSxRQUFRNEMsWUFBWSxDQUFDMUQsT0FDOUIyRCxlQUFlaEUsa0JBQWtCMkQsd0JBQ2pDTixlQUFldEQsa0JBQWtCNEQsd0JBQ2pDUCxXQUFXdkQsY0FBYzhELHdCQUN6QnBELFdBQVdzRCxTQUFTSSxnQkFBZ0IsQ0FBQ0QsY0FBYzdDLFVBQ25EWCxXQUFXMEMsU0FBU2dCLGdCQUFnQixDQUFDYixjQUFjbEMsVUFDbkRWLE9BQU9tRCxLQUFLTyxZQUFZLENBQUNmLFVBQVVqQztvQkFFekN1QyxvQkFBb0IsSUFBSXZELGtCQUFrQkMsUUFBUUMsTUFBTUMsUUFBUUMsVUFBVUMsVUFBVUM7Z0JBQ3RGO2dCQUVBLE9BQU9pRDtZQUNUOzs7O0tBdkJBLHFDQUFPVSxRQUFPIn0=
@@ -181,9 +181,12 @@ var _default = (0, _dom.domAssigned)((_TypeAssertion = /*#__PURE__*/ function()
181
181
  return verifiedAhead;
182
182
  });
183
183
  if (termVerified) {
184
- if (assignments !== null) {
185
- var Variable = _dom.default.Variable, termNode = this.term.getNode(), variableNode = variableNodeQuery(termNode), variable = Variable.fromVariableNodeAndType(variableNode, this.type, context);
186
- if (variable !== null) {
184
+ var Variable = _dom.default.Variable, termNode = this.term.getNode(), variableNode = variableNodeQuery(termNode), variable = Variable.fromVariableNodeAndType(variableNode, this.type, context);
185
+ if (variable === null) {
186
+ var termString = this.term.getString();
187
+ context.debug("The '".concat(termString, "' term is not a variable and therefore its type cannot be asserted."));
188
+ } else {
189
+ if (assignments !== null) {
187
190
  var variableAssignment = _variable.default.fromVariable(variable), assignment = variableAssignment; ///
188
191
  assignments.push(assignment);
189
192
  }
@@ -237,4 +240,4 @@ function stringFromTermAndType(term, type) {
237
240
  return string;
238
241
  }
239
242
 
240
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9kb20vYXNzZXJ0aW9uL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBkb20gZnJvbSBcIi4uLy4uL2RvbVwiO1xuaW1wb3J0IFZhcmlhYmxlQXNzaWdubWVudCBmcm9tIFwiLi4vLi4vYXNzaWdubWVudC92YXJpYWJsZVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBvYmplY3RUeXBlIH0gZnJvbSBcIi4uLy4uL2RvbS90eXBlXCI7XG5pbXBvcnQgeyBkb21Bc3NpZ25lZCB9IGZyb20gXCIuLi8uLi9kb21cIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90eXBlQXNzZXJ0aW9uL3Rlcm1cIiksXG4gICAgICB0eXBlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3R5cGVBc3NlcnRpb24vdHlwZVwiKSxcbiAgICAgIHZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Rlcm0vdmFyaWFibGUhXCIpLFxuICAgICAgdHlwZUFzc2VydGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zdGF0ZW1lbnQvdHlwZUFzc2VydGlvblwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZG9tQXNzaWduZWQoY2xhc3MgVHlwZUFzc2VydGlvbiB7XG4gIGNvbnN0cnVjdG9yKHN0cmluZywgdGVybSwgdHlwZSkge1xuICAgIHRoaXMuc3RyaW5nID0gc3RyaW5nO1xuICAgIHRoaXMudGVybSA9IHRlcm07XG4gICAgdGhpcy50eXBlID0gdHlwZTtcbiAgfVxuXG4gIGdldFN0cmluZygpIHtcbiAgICByZXR1cm4gdGhpcy5zdHJpbmc7XG4gIH1cblxuICBnZXRUZXJtKCkge1xuICAgIHJldHVybiB0aGlzLnRlcm07XG4gIH1cblxuICBnZXRUeXBlKCkge1xuICAgIHJldHVybiB0aGlzLnR5cGU7XG4gIH1cblxuICB2ZXJpZnkoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICAgIGxldCB2ZXJpZmllZCA9IGZhbHNlO1xuXG4gICAgbGV0IHR5cGVBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgIC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHt0eXBlQXNzZXJ0aW9uU3RyaW5nfScgdHlwZSBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IHR5cGVWZXJpZmllZCA9IHRoaXMudmVyaWZ5VHlwZShjb250ZXh0KTtcblxuICAgIGlmICh0eXBlVmVyaWZpZWQpIHtcbiAgICAgIGxldCB2ZXJpZmllZFdoZW5TdGF0ZWQgPSBmYWxzZSxcbiAgICAgICAgICB2ZXJpZmllZFdoZW5EZXJpdmVkID0gZmFsc2U7XG5cbiAgICAgIGlmIChzdGF0ZWQpIHtcbiAgICAgICAgdmVyaWZpZWRXaGVuU3RhdGVkID0gdGhpcy52ZXJpZnlXaGVuU3RhdGVkKGFzc2lnbm1lbnRzLCBjb250ZXh0KTtcbiAgICAgIH0gZWxzZSB7XG4gICAgICAgIHZlcmlmaWVkV2hlbkRlcml2ZWQgPSB0aGlzLnZlcmlmeVdoZW5EZXJpdmVkKGNvbnRleHQpO1xuICAgICAgfVxuXG4gICAgICBpZiAodmVyaWZpZWRXaGVuU3RhdGVkIHx8IHZlcmlmaWVkV2hlbkRlcml2ZWQpIHtcbiAgICAgICAgdmVyaWZpZWQgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cblxuICAgIGlmICh2ZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3R5cGVBc3NlcnRpb25TdHJpbmd9JyB0eXBlIGFzc2VydGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlUeXBlKGNvbnRleHQpIHtcbiAgICBsZXQgdHlwZVZlcmlmaWVkO1xuXG4gICAgaWYgKHRoaXMudHlwZSA9PT0gb2JqZWN0VHlwZSkge1xuICAgICAgdHlwZVZlcmlmaWVkID0gdHJ1ZTtcbiAgICB9IGVsc2Uge1xuICAgICAgY29uc3QgdHlwZU5hbWUgPSB0aGlzLnR5cGUuZ2V0TmFtZSgpO1xuXG4gICAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3R5cGVOYW1lfScgdHlwZS4uLmApO1xuXG4gICAgICBjb25zdCB0eXBlID0gY29udGV4dC5maW5kVHlwZUJ5VHlwZU5hbWUodHlwZU5hbWUpO1xuXG4gICAgICBpZiAodHlwZSAhPT0gbnVsbCkge1xuICAgICAgICB0aGlzLnR5cGUgPSB0eXBlO1xuXG4gICAgICAgIHR5cGVWZXJpZmllZCA9IHRydWU7XG4gICAgICB9IGVsc2Uge1xuICAgICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7dHlwZU5hbWV9JyB0eXBlIGlzIG5vdCBwcmVzZW50LmApO1xuICAgICAgfVxuXG4gICAgICBpZiAodHlwZVZlcmlmaWVkKSB7XG4gICAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHt0eXBlTmFtZX0nIHR5cGUuYCk7XG4gICAgICB9XG4gICAgfVxuXG4gICAgcmV0dXJuIHR5cGVWZXJpZmllZDtcbiAgfVxuXG4gIHZlcmlmeVdoZW5TdGF0ZWQoYXNzaWdubWVudHMsIGNvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWRXaGVuU3RhdGVkID0gZmFsc2U7XG5cbiAgICBjb25zdCB0eXBlQXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHt0eXBlQXNzZXJ0aW9uU3RyaW5nfScgc3RhdGVkIHR5cGUgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBjb25zdCB0ZXJtVmVyaWZpZWQgPSB0aGlzLnRlcm0udmVyaWZ5KGNvbnRleHQsICgpID0+IHtcbiAgICAgIGxldCB2ZXJpZmllZEFoZWFkO1xuXG4gICAgICBjb25zdCB0ZXJtVHlwZSA9IHRoaXMudGVybS5nZXRUeXBlKCksXG4gICAgICAgICAgICB0eXBlRXF1YWxUb09yU3ViVHlwZU9mVGVybVR5cGUgPSB0aGlzLnR5cGUuaXNFcXVhbFRvT3JTdWJUeXBlT2YodGVybVR5cGUpO1xuXG4gICAgICBpZiAodHlwZUVxdWFsVG9PclN1YlR5cGVPZlRlcm1UeXBlKSB7XG4gICAgICAgIHZlcmlmaWVkQWhlYWQgPSB0cnVlO1xuICAgICAgfVxuXG4gICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICB9KTtcblxuICAgIGlmICh0ZXJtVmVyaWZpZWQpIHtcbiAgICAgIGlmIChhc3NpZ25tZW50cyAhPT0gbnVsbCkge1xuICAgICAgICBjb25zdCB7IFZhcmlhYmxlIH0gPSBkb20sXG4gICAgICAgICAgICAgIHRlcm1Ob2RlID0gdGhpcy50ZXJtLmdldE5vZGUoKSxcbiAgICAgICAgICAgICAgdmFyaWFibGVOb2RlID0gdmFyaWFibGVOb2RlUXVlcnkodGVybU5vZGUpLFxuICAgICAgICAgICAgICB2YXJpYWJsZSA9IFZhcmlhYmxlLmZyb21WYXJpYWJsZU5vZGVBbmRUeXBlKHZhcmlhYmxlTm9kZSwgdGhpcy50eXBlLCBjb250ZXh0KTtcblxuICAgICAgICBpZiAodmFyaWFibGUgIT09IG51bGwpIHtcbiAgICAgICAgICBjb25zdCB2YXJpYWJsZUFzc2lnbm1lbnQgPSBWYXJpYWJsZUFzc2lnbm1lbnQuZnJvbVZhcmlhYmxlKHZhcmlhYmxlKSxcbiAgICAgICAgICAgICAgICBhc3NpZ25tZW50ID0gdmFyaWFibGVBc3NpZ25tZW50OyAgLy8vXG5cbiAgICAgICAgICBhc3NpZ25tZW50cy5wdXNoKGFzc2lnbm1lbnQpO1xuICAgICAgICB9XG4gICAgICB9XG5cbiAgICAgIHZlcmlmaWVkV2hlblN0YXRlZCA9IHRydWU7XG4gICAgfVxuXG4gICAgaWYgKHZlcmlmaWVkV2hlblN0YXRlZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3R5cGVBc3NlcnRpb25TdHJpbmd9JyBzdGF0ZWQgdHlwZSBhc3NlcnRpb24uYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZlcmlmaWVkV2hlblN0YXRlZDtcbiAgfVxuXG4gIHZlcmlmeVdoZW5EZXJpdmVkKGNvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWRXaGVuRGVyaXZlZDtcblxuICAgIGNvbnN0IHR5cGVBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3R5cGVBc3NlcnRpb25TdHJpbmd9JyBkZXJpdmVkIHR5cGUgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBjb25zdCB0ZXJtVmVyaWZpZWQgPSB0aGlzLnRlcm0udmVyaWZ5KGNvbnRleHQsICgpID0+IHtcbiAgICAgIGxldCB2ZXJpZmllZEFoZWFkO1xuXG4gICAgICBjb25zdCB0ZXJtVHlwZSA9IHRoaXMudGVybS5nZXRUeXBlKCksXG4gICAgICAgICAgICB0eXBlRXF1YWxUb09yU3VwZXJUeXBlT2ZUZXJtVHlwZSA9IHRoaXMudHlwZS5pc0VxdWFsVG9PclN1cGVyVHlwZU9mKHRlcm1UeXBlKTtcblxuICAgICAgdmVyaWZpZWRBaGVhZCA9IHR5cGVFcXVhbFRvT3JTdXBlclR5cGVPZlRlcm1UeXBlOyAvLy9cblxuICAgICAgcmV0dXJuIHZlcmlmaWVkQWhlYWQ7XG4gICAgfSk7XG5cbiAgICB2ZXJpZmllZFdoZW5EZXJpdmVkID0gdGVybVZlcmlmaWVkOyAvLy9cblxuICAgIGlmICh2ZXJpZmllZFdoZW5EZXJpdmVkKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7dHlwZUFzc2VydGlvblN0cmluZ30nIGRlcml2ZWQgdHlwZSBhc3NlcnRpb24uYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZlcmlmaWVkV2hlbkRlcml2ZWQ7XG4gIH1cblxuICBzdGF0aWMgbmFtZSA9IFwiVHlwZUFzc2VydGlvblwiO1xuXG4gIHN0YXRpYyBmcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KSB7XG4gICAgbGV0IHR5cGVBc3NlcnRpb24gPSBudWxsO1xuXG4gICAgY29uc3QgdHlwZUFzc2VydGlvbk5vZGUgPSB0eXBlQXNzZXJ0aW9uTm9kZVF1ZXJ5KHN0YXRlbWVudE5vZGUpO1xuXG4gICAgaWYgKHR5cGVBc3NlcnRpb25Ob2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCB7IFRlcm0sIFR5cGUgfSA9IGRvbSxcbiAgICAgICAgICAgIHRlcm1Ob2RlID0gdGVybU5vZGVRdWVyeSh0eXBlQXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICB0eXBlTm9kZSA9IHR5cGVOb2RlUXVlcnkodHlwZUFzc2VydGlvbk5vZGUpLFxuICAgICAgICAgICAgdGVybSA9IFRlcm0uZnJvbVRlcm1Ob2RlKHRlcm1Ob2RlLCBjb250ZXh0KSxcbiAgICAgICAgICAgIHR5cGUgPSBUeXBlLmZyb21UeXBlTm9kZSh0eXBlTm9kZSksXG4gICAgICAgICAgICBzdHJpbmcgPSBzdHJpbmdGcm9tVGVybUFuZFR5cGUodGVybSwgdHlwZSk7XG5cbiAgICAgIHR5cGVBc3NlcnRpb24gPSBuZXcgVHlwZUFzc2VydGlvbihzdHJpbmcsIHRlcm0sIHR5cGUpO1xuICAgIH1cblxuICAgIHJldHVybiB0eXBlQXNzZXJ0aW9uO1xuICB9XG59KTtcblxuZnVuY3Rpb24gc3RyaW5nRnJvbVRlcm1BbmRUeXBlKHRlcm0sIHR5cGUpIHtcbiAgY29uc3QgdGVybVN0cmluZyA9IHRlcm0uZ2V0U3RyaW5nKCksXG4gICAgICAgIHR5cGVOYW1lID0gdHlwZS5nZXROYW1lKCksXG4gICAgICAgIHN0cmluZyA9IGAke3Rlcm1TdHJpbmd9OiR7dHlwZU5hbWV9YDtcblxuICByZXR1cm4gc3RyaW5nO1xufVxuIl0sIm5hbWVzIjpbInRlcm1Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJ0eXBlTm9kZVF1ZXJ5IiwidmFyaWFibGVOb2RlUXVlcnkiLCJ0eXBlQXNzZXJ0aW9uTm9kZVF1ZXJ5IiwiZG9tQXNzaWduZWQiLCJUeXBlQXNzZXJ0aW9uIiwic3RyaW5nIiwidGVybSIsInR5cGUiLCJnZXRTdHJpbmciLCJnZXRUZXJtIiwiZ2V0VHlwZSIsInZlcmlmeSIsImFzc2lnbm1lbnRzIiwic3RhdGVkIiwiY29udGV4dCIsInZlcmlmaWVkIiwidHlwZUFzc2VydGlvblN0cmluZyIsInRyYWNlIiwidHlwZVZlcmlmaWVkIiwidmVyaWZ5VHlwZSIsInZlcmlmaWVkV2hlblN0YXRlZCIsInZlcmlmaWVkV2hlbkRlcml2ZWQiLCJ2ZXJpZnlXaGVuU3RhdGVkIiwidmVyaWZ5V2hlbkRlcml2ZWQiLCJkZWJ1ZyIsIm9iamVjdFR5cGUiLCJ0eXBlTmFtZSIsImdldE5hbWUiLCJmaW5kVHlwZUJ5VHlwZU5hbWUiLCJ0ZXJtVmVyaWZpZWQiLCJ2ZXJpZmllZEFoZWFkIiwidGVybVR5cGUiLCJ0eXBlRXF1YWxUb09yU3ViVHlwZU9mVGVybVR5cGUiLCJpc0VxdWFsVG9PclN1YlR5cGVPZiIsIlZhcmlhYmxlIiwiZG9tIiwidGVybU5vZGUiLCJnZXROb2RlIiwidmFyaWFibGVOb2RlIiwidmFyaWFibGUiLCJmcm9tVmFyaWFibGVOb2RlQW5kVHlwZSIsInZhcmlhYmxlQXNzaWdubWVudCIsIlZhcmlhYmxlQXNzaWdubWVudCIsImZyb21WYXJpYWJsZSIsImFzc2lnbm1lbnQiLCJwdXNoIiwidHlwZUVxdWFsVG9PclN1cGVyVHlwZU9mVGVybVR5cGUiLCJpc0VxdWFsVG9PclN1cGVyVHlwZU9mIiwiZnJvbVN0YXRlbWVudE5vZGUiLCJzdGF0ZW1lbnROb2RlIiwidHlwZUFzc2VydGlvbiIsInR5cGVBc3NlcnRpb25Ob2RlIiwiVGVybSIsIlR5cGUiLCJ0eXBlTm9kZSIsImZyb21UZXJtTm9kZSIsImZyb21UeXBlTm9kZSIsInN0cmluZ0Zyb21UZXJtQW5kVHlwZSIsIm5hbWUiLCJ0ZXJtU3RyaW5nIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFjQTs7O2VBQUE7OzsyREFaZ0I7K0RBQ2U7cUJBRUw7b0JBQ0M7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRzNCLElBQU1BLGdCQUFnQkMsSUFBQUEsZ0JBQVMsRUFBQyx3QkFDMUJDLGdCQUFnQkQsSUFBQUEsZ0JBQVMsRUFBQyx3QkFDMUJFLG9CQUFvQkYsSUFBQUEsZ0JBQVMsRUFBQyxvQkFDOUJHLHlCQUF5QkgsSUFBQUEsZ0JBQVMsRUFBQztJQUV6QyxXQUFlSSxJQUFBQSxnQkFBVyxrQ0FBQzthQUFNQyxjQUNuQkMsTUFBTSxFQUFFQyxJQUFJLEVBQUVDLElBQUk7Z0NBRENIO1FBRTdCLElBQUksQ0FBQ0MsTUFBTSxHQUFHQTtRQUNkLElBQUksQ0FBQ0MsSUFBSSxHQUFHQTtRQUNaLElBQUksQ0FBQ0MsSUFBSSxHQUFHQTs7OztZQUdkQyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNILE1BQU07WUFDcEI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNILElBQUk7WUFDbEI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNILElBQUk7WUFDbEI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUEsT0FBT0MsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87Z0JBQ2pDLElBQUlDLFdBQVc7Z0JBRWYsSUFBSUMsc0JBQXNCLElBQUksQ0FBQ1gsTUFBTSxFQUFHLEdBQUc7Z0JBRTNDUyxRQUFRRyxLQUFLLENBQUMsQUFBQyxrQkFBcUMsT0FBcEJELHFCQUFvQjtnQkFFcEQsSUFBTUUsZUFBZSxJQUFJLENBQUNDLFVBQVUsQ0FBQ0w7Z0JBRXJDLElBQUlJLGNBQWM7b0JBQ2hCLElBQUlFLHFCQUFxQixPQUNyQkMsc0JBQXNCO29CQUUxQixJQUFJUixRQUFRO3dCQUNWTyxxQkFBcUIsSUFBSSxDQUFDRSxnQkFBZ0IsQ0FBQ1YsYUFBYUU7b0JBQzFELE9BQU87d0JBQ0xPLHNCQUFzQixJQUFJLENBQUNFLGlCQUFpQixDQUFDVDtvQkFDL0M7b0JBRUEsSUFBSU0sc0JBQXNCQyxxQkFBcUI7d0JBQzdDTixXQUFXO29CQUNiO2dCQUNGO2dCQUVBLElBQUlBLFVBQVU7b0JBQ1pELFFBQVFVLEtBQUssQ0FBQyxBQUFDLG9CQUF1QyxPQUFwQlIscUJBQW9CO2dCQUN4RDtnQkFFQSxPQUFPRDtZQUNUOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBLFdBQVdMLE9BQU87Z0JBQ2hCLElBQUlJO2dCQUVKLElBQUksSUFBSSxDQUFDWCxJQUFJLEtBQUtrQixnQkFBVSxFQUFFO29CQUM1QlAsZUFBZTtnQkFDakIsT0FBTztvQkFDTCxJQUFNUSxXQUFXLElBQUksQ0FBQ25CLElBQUksQ0FBQ29CLE9BQU87b0JBRWxDYixRQUFRRyxLQUFLLENBQUMsQUFBQyxrQkFBMEIsT0FBVFMsVUFBUztvQkFFekMsSUFBTW5CLE9BQU9PLFFBQVFjLGtCQUFrQixDQUFDRjtvQkFFeEMsSUFBSW5CLFNBQVMsTUFBTTt3QkFDakIsSUFBSSxDQUFDQSxJQUFJLEdBQUdBO3dCQUVaVyxlQUFlO29CQUNqQixPQUFPO3dCQUNMSixRQUFRVSxLQUFLLENBQUMsQUFBQyxRQUFnQixPQUFURSxVQUFTO29CQUNqQztvQkFFQSxJQUFJUixjQUFjO3dCQUNoQkosUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQTRCLE9BQVRFLFVBQVM7b0JBQzdDO2dCQUNGO2dCQUVBLE9BQU9SO1lBQ1Q7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUEsaUJBQWlCVixXQUFXLEVBQUVFLE9BQU87O2dCQUNuQyxJQUFJTSxxQkFBcUI7Z0JBRXpCLElBQU1KLHNCQUFzQixJQUFJLENBQUNYLE1BQU0sRUFBRSxHQUFHO2dCQUU1Q1MsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQXFDLE9BQXBCRCxxQkFBb0I7Z0JBRXBELElBQU1hLGVBQWUsSUFBSSxDQUFDdkIsSUFBSSxDQUFDSyxNQUFNLENBQUNHLFNBQVM7b0JBQzdDLElBQUlnQjtvQkFFSixJQUFNQyxXQUFXLE1BQUt6QixJQUFJLENBQUNJLE9BQU8sSUFDNUJzQixpQ0FBaUMsTUFBS3pCLElBQUksQ0FBQzBCLG9CQUFvQixDQUFDRjtvQkFFdEUsSUFBSUMsZ0NBQWdDO3dCQUNsQ0YsZ0JBQWdCO29CQUNsQjtvQkFFQSxPQUFPQTtnQkFDVDtnQkFFQSxJQUFJRCxjQUFjO29CQUNoQixJQUFJakIsZ0JBQWdCLE1BQU07d0JBQ3hCLElBQU0sQUFBRXNCLFdBQWFDLFlBQUcsQ0FBaEJELFVBQ0ZFLFdBQVcsSUFBSSxDQUFDOUIsSUFBSSxDQUFDK0IsT0FBTyxJQUM1QkMsZUFBZXJDLGtCQUFrQm1DLFdBQ2pDRyxXQUFXTCxTQUFTTSx1QkFBdUIsQ0FBQ0YsY0FBYyxJQUFJLENBQUMvQixJQUFJLEVBQUVPO3dCQUUzRSxJQUFJeUIsYUFBYSxNQUFNOzRCQUNyQixJQUFNRSxxQkFBcUJDLGlCQUFrQixDQUFDQyxZQUFZLENBQUNKLFdBQ3JESyxhQUFhSCxvQkFBcUIsR0FBRzs0QkFFM0M3QixZQUFZaUMsSUFBSSxDQUFDRDt3QkFDbkI7b0JBQ0Y7b0JBRUF4QixxQkFBcUI7Z0JBQ3ZCO2dCQUVBLElBQUlBLG9CQUFvQjtvQkFDdEJOLFFBQVFVLEtBQUssQ0FBQyxBQUFDLG9CQUF1QyxPQUFwQlIscUJBQW9CO2dCQUN4RDtnQkFFQSxPQUFPSTtZQUNUOzs7WUFFQUcsS0FBQUE7bUJBQUFBLFNBQUFBLGtCQUFrQlQsT0FBTzs7Z0JBQ3ZCLElBQUlPO2dCQUVKLElBQU1MLHNCQUFzQixJQUFJLENBQUNYLE1BQU0sRUFBRSxHQUFHO2dCQUU1Q1MsUUFBUUcsS0FBSyxDQUFDLEFBQUMsa0JBQXFDLE9BQXBCRCxxQkFBb0I7Z0JBRXBELElBQU1hLGVBQWUsSUFBSSxDQUFDdkIsSUFBSSxDQUFDSyxNQUFNLENBQUNHLFNBQVM7b0JBQzdDLElBQUlnQjtvQkFFSixJQUFNQyxXQUFXLE1BQUt6QixJQUFJLENBQUNJLE9BQU8sSUFDNUJvQyxtQ0FBbUMsTUFBS3ZDLElBQUksQ0FBQ3dDLHNCQUFzQixDQUFDaEI7b0JBRTFFRCxnQkFBZ0JnQixrQ0FBa0MsR0FBRztvQkFFckQsT0FBT2hCO2dCQUNUO2dCQUVBVCxzQkFBc0JRLGNBQWMsR0FBRztnQkFFdkMsSUFBSVIscUJBQXFCO29CQUN2QlAsUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQXVDLE9BQXBCUixxQkFBb0I7Z0JBQ3hEO2dCQUVBLE9BQU9LO1lBQ1Q7Ozs7WUFJTzJCLEtBQUFBO21CQUFQLFNBQU9BLGtCQUFrQkMsYUFBYSxFQUFFbkMsT0FBTztnQkFDN0MsSUFBSW9DLGdCQUFnQjtnQkFFcEIsSUFBTUMsb0JBQW9CakQsdUJBQXVCK0M7Z0JBRWpELElBQUlFLHNCQUFzQixNQUFNO29CQUM5QixJQUFRQyxPQUFlakIsWUFBRyxDQUFsQmlCLE1BQU1DLE9BQVNsQixZQUFHLENBQVprQixNQUNSakIsV0FBV3RDLGNBQWNxRCxvQkFDekJHLFdBQVd0RCxjQUFjbUQsb0JBQ3pCN0MsT0FBTzhDLEtBQUtHLFlBQVksQ0FBQ25CLFVBQVV0QixVQUNuQ1AsT0FBTzhDLEtBQUtHLFlBQVksQ0FBQ0YsV0FDekJqRCxTQUFTb0Qsc0JBQXNCbkQsTUFBTUM7b0JBRTNDMkMsZ0JBQWdCLElBQUk5QyxjQUFjQyxRQUFRQyxNQUFNQztnQkFDbEQ7Z0JBRUEsT0FBTzJDO1lBQ1Q7Ozs7S0FuQkEsaUNBQU9RLFFBQU87QUFzQmhCLFNBQVNELHNCQUFzQm5ELElBQUksRUFBRUMsSUFBSTtJQUN2QyxJQUFNb0QsYUFBYXJELEtBQUtFLFNBQVMsSUFDM0JrQixXQUFXbkIsS0FBS29CLE9BQU8sSUFDdkJ0QixTQUFTLEFBQUMsR0FBZ0JxQixPQUFkaUMsWUFBVyxLQUFZLE9BQVRqQztJQUVoQyxPQUFPckI7QUFDVCJ9
243
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9kb20vYXNzZXJ0aW9uL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBkb20gZnJvbSBcIi4uLy4uL2RvbVwiO1xuaW1wb3J0IFZhcmlhYmxlQXNzaWdubWVudCBmcm9tIFwiLi4vLi4vYXNzaWdubWVudC92YXJpYWJsZVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5pbXBvcnQgeyBvYmplY3RUeXBlIH0gZnJvbSBcIi4uLy4uL2RvbS90eXBlXCI7XG5pbXBvcnQgeyBkb21Bc3NpZ25lZCB9IGZyb20gXCIuLi8uLi9kb21cIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90eXBlQXNzZXJ0aW9uL3Rlcm1cIiksXG4gICAgICB0eXBlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3R5cGVBc3NlcnRpb24vdHlwZVwiKSxcbiAgICAgIHZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3Rlcm0vdmFyaWFibGUhXCIpLFxuICAgICAgdHlwZUFzc2VydGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zdGF0ZW1lbnQvdHlwZUFzc2VydGlvblwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZG9tQXNzaWduZWQoY2xhc3MgVHlwZUFzc2VydGlvbiB7XG4gIGNvbnN0cnVjdG9yKHN0cmluZywgdGVybSwgdHlwZSkge1xuICAgIHRoaXMuc3RyaW5nID0gc3RyaW5nO1xuICAgIHRoaXMudGVybSA9IHRlcm07XG4gICAgdGhpcy50eXBlID0gdHlwZTtcbiAgfVxuXG4gIGdldFN0cmluZygpIHtcbiAgICByZXR1cm4gdGhpcy5zdHJpbmc7XG4gIH1cblxuICBnZXRUZXJtKCkge1xuICAgIHJldHVybiB0aGlzLnRlcm07XG4gIH1cblxuICBnZXRUeXBlKCkge1xuICAgIHJldHVybiB0aGlzLnR5cGU7XG4gIH1cblxuICB2ZXJpZnkoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICAgIGxldCB2ZXJpZmllZCA9IGZhbHNlO1xuXG4gICAgbGV0IHR5cGVBc3NlcnRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgIC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHt0eXBlQXNzZXJ0aW9uU3RyaW5nfScgdHlwZSBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IHR5cGVWZXJpZmllZCA9IHRoaXMudmVyaWZ5VHlwZShjb250ZXh0KTtcblxuICAgIGlmICh0eXBlVmVyaWZpZWQpIHtcbiAgICAgIGxldCB2ZXJpZmllZFdoZW5TdGF0ZWQgPSBmYWxzZSxcbiAgICAgICAgICB2ZXJpZmllZFdoZW5EZXJpdmVkID0gZmFsc2U7XG5cbiAgICAgIGlmIChzdGF0ZWQpIHtcbiAgICAgICAgdmVyaWZpZWRXaGVuU3RhdGVkID0gdGhpcy52ZXJpZnlXaGVuU3RhdGVkKGFzc2lnbm1lbnRzLCBjb250ZXh0KTtcbiAgICAgIH0gZWxzZSB7XG4gICAgICAgIHZlcmlmaWVkV2hlbkRlcml2ZWQgPSB0aGlzLnZlcmlmeVdoZW5EZXJpdmVkKGNvbnRleHQpO1xuICAgICAgfVxuXG4gICAgICBpZiAodmVyaWZpZWRXaGVuU3RhdGVkIHx8IHZlcmlmaWVkV2hlbkRlcml2ZWQpIHtcbiAgICAgICAgdmVyaWZpZWQgPSB0cnVlO1xuICAgICAgfVxuICAgIH1cblxuICAgIGlmICh2ZXJpZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3R5cGVBc3NlcnRpb25TdHJpbmd9JyB0eXBlIGFzc2VydGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWQ7XG4gIH1cblxuICB2ZXJpZnlUeXBlKGNvbnRleHQpIHtcbiAgICBsZXQgdHlwZVZlcmlmaWVkO1xuXG4gICAgaWYgKHRoaXMudHlwZSA9PT0gb2JqZWN0VHlwZSkge1xuICAgICAgdHlwZVZlcmlmaWVkID0gdHJ1ZTtcbiAgICB9IGVsc2Uge1xuICAgICAgY29uc3QgdHlwZU5hbWUgPSB0aGlzLnR5cGUuZ2V0TmFtZSgpO1xuXG4gICAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3R5cGVOYW1lfScgdHlwZS4uLmApO1xuXG4gICAgICBjb25zdCB0eXBlID0gY29udGV4dC5maW5kVHlwZUJ5VHlwZU5hbWUodHlwZU5hbWUpO1xuXG4gICAgICBpZiAodHlwZSAhPT0gbnVsbCkge1xuICAgICAgICB0aGlzLnR5cGUgPSB0eXBlO1xuXG4gICAgICAgIHR5cGVWZXJpZmllZCA9IHRydWU7XG4gICAgICB9IGVsc2Uge1xuICAgICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7dHlwZU5hbWV9JyB0eXBlIGlzIG5vdCBwcmVzZW50LmApO1xuICAgICAgfVxuXG4gICAgICBpZiAodHlwZVZlcmlmaWVkKSB7XG4gICAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHt0eXBlTmFtZX0nIHR5cGUuYCk7XG4gICAgICB9XG4gICAgfVxuXG4gICAgcmV0dXJuIHR5cGVWZXJpZmllZDtcbiAgfVxuXG4gIHZlcmlmeVdoZW5TdGF0ZWQoYXNzaWdubWVudHMsIGNvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWRXaGVuU3RhdGVkID0gZmFsc2U7XG5cbiAgICBjb25zdCB0eXBlQXNzZXJ0aW9uU3RyaW5nID0gdGhpcy5zdHJpbmc7IC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHt0eXBlQXNzZXJ0aW9uU3RyaW5nfScgc3RhdGVkIHR5cGUgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBjb25zdCB0ZXJtVmVyaWZpZWQgPSB0aGlzLnRlcm0udmVyaWZ5KGNvbnRleHQsICgpID0+IHtcbiAgICAgIGxldCB2ZXJpZmllZEFoZWFkO1xuXG4gICAgICBjb25zdCB0ZXJtVHlwZSA9IHRoaXMudGVybS5nZXRUeXBlKCksXG4gICAgICAgICAgICB0eXBlRXF1YWxUb09yU3ViVHlwZU9mVGVybVR5cGUgPSB0aGlzLnR5cGUuaXNFcXVhbFRvT3JTdWJUeXBlT2YodGVybVR5cGUpO1xuXG4gICAgICBpZiAodHlwZUVxdWFsVG9PclN1YlR5cGVPZlRlcm1UeXBlKSB7XG4gICAgICAgIHZlcmlmaWVkQWhlYWQgPSB0cnVlO1xuICAgICAgfVxuXG4gICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICB9KTtcblxuICAgIGlmICh0ZXJtVmVyaWZpZWQpIHtcbiAgICAgIGNvbnN0IHsgVmFyaWFibGUgfSA9IGRvbSxcbiAgICAgICAgICAgIHRlcm1Ob2RlID0gdGhpcy50ZXJtLmdldE5vZGUoKSxcbiAgICAgICAgICAgIHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZVF1ZXJ5KHRlcm1Ob2RlKSxcbiAgICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZUFuZFR5cGUodmFyaWFibGVOb2RlLCB0aGlzLnR5cGUsIGNvbnRleHQpO1xuXG4gICAgICBpZiAodmFyaWFibGUgPT09IG51bGwpIHtcbiAgICAgICAgY29uc3QgdGVybVN0cmluZyA9IHRoaXMudGVybS5nZXRTdHJpbmcoKTtcblxuICAgICAgICBjb250ZXh0LmRlYnVnKGBUaGUgJyR7dGVybVN0cmluZ30nIHRlcm0gaXMgbm90IGEgdmFyaWFibGUgYW5kIHRoZXJlZm9yZSBpdHMgdHlwZSBjYW5ub3QgYmUgYXNzZXJ0ZWQuYClcbiAgICAgIH0gZWxzZSB7XG4gICAgICAgIGlmIChhc3NpZ25tZW50cyAhPT0gbnVsbCkge1xuICAgICAgICAgIGNvbnN0IHZhcmlhYmxlQXNzaWdubWVudCA9IFZhcmlhYmxlQXNzaWdubWVudC5mcm9tVmFyaWFibGUodmFyaWFibGUpLFxuICAgICAgICAgICAgICAgIGFzc2lnbm1lbnQgPSB2YXJpYWJsZUFzc2lnbm1lbnQ7ICAvLy9cblxuICAgICAgICAgIGFzc2lnbm1lbnRzLnB1c2goYXNzaWdubWVudCk7XG4gICAgICAgIH1cbiAgICAgIH1cblxuICAgICAgdmVyaWZpZWRXaGVuU3RhdGVkID0gdHJ1ZTtcbiAgICB9XG5cbiAgICBpZiAodmVyaWZpZWRXaGVuU3RhdGVkKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7dHlwZUFzc2VydGlvblN0cmluZ30nIHN0YXRlZCB0eXBlIGFzc2VydGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWRXaGVuU3RhdGVkO1xuICB9XG5cbiAgdmVyaWZ5V2hlbkRlcml2ZWQoY29udGV4dCkge1xuICAgIGxldCB2ZXJpZmllZFdoZW5EZXJpdmVkO1xuXG4gICAgY29uc3QgdHlwZUFzc2VydGlvblN0cmluZyA9IHRoaXMuc3RyaW5nOyAvLy9cblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7dHlwZUFzc2VydGlvblN0cmluZ30nIGRlcml2ZWQgdHlwZSBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IHRlcm1WZXJpZmllZCA9IHRoaXMudGVybS52ZXJpZnkoY29udGV4dCwgKCkgPT4ge1xuICAgICAgbGV0IHZlcmlmaWVkQWhlYWQ7XG5cbiAgICAgIGNvbnN0IHRlcm1UeXBlID0gdGhpcy50ZXJtLmdldFR5cGUoKSxcbiAgICAgICAgICAgIHR5cGVFcXVhbFRvT3JTdXBlclR5cGVPZlRlcm1UeXBlID0gdGhpcy50eXBlLmlzRXF1YWxUb09yU3VwZXJUeXBlT2YodGVybVR5cGUpO1xuXG4gICAgICB2ZXJpZmllZEFoZWFkID0gdHlwZUVxdWFsVG9PclN1cGVyVHlwZU9mVGVybVR5cGU7IC8vL1xuXG4gICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICB9KTtcblxuICAgIHZlcmlmaWVkV2hlbkRlcml2ZWQgPSB0ZXJtVmVyaWZpZWQ7IC8vL1xuXG4gICAgaWYgKHZlcmlmaWVkV2hlbkRlcml2ZWQpIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHt0eXBlQXNzZXJ0aW9uU3RyaW5nfScgZGVyaXZlZCB0eXBlIGFzc2VydGlvbi5gKTtcbiAgICB9XG5cbiAgICByZXR1cm4gdmVyaWZpZWRXaGVuRGVyaXZlZDtcbiAgfVxuXG4gIHN0YXRpYyBuYW1lID0gXCJUeXBlQXNzZXJ0aW9uXCI7XG5cbiAgc3RhdGljIGZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIGNvbnRleHQpIHtcbiAgICBsZXQgdHlwZUFzc2VydGlvbiA9IG51bGw7XG5cbiAgICBjb25zdCB0eXBlQXNzZXJ0aW9uTm9kZSA9IHR5cGVBc3NlcnRpb25Ob2RlUXVlcnkoc3RhdGVtZW50Tm9kZSk7XG5cbiAgICBpZiAodHlwZUFzc2VydGlvbk5vZGUgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHsgVGVybSwgVHlwZSB9ID0gZG9tLFxuICAgICAgICAgICAgdGVybU5vZGUgPSB0ZXJtTm9kZVF1ZXJ5KHR5cGVBc3NlcnRpb25Ob2RlKSxcbiAgICAgICAgICAgIHR5cGVOb2RlID0gdHlwZU5vZGVRdWVyeSh0eXBlQXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICB0ZXJtID0gVGVybS5mcm9tVGVybU5vZGUodGVybU5vZGUsIGNvbnRleHQpLFxuICAgICAgICAgICAgdHlwZSA9IFR5cGUuZnJvbVR5cGVOb2RlKHR5cGVOb2RlKSxcbiAgICAgICAgICAgIHN0cmluZyA9IHN0cmluZ0Zyb21UZXJtQW5kVHlwZSh0ZXJtLCB0eXBlKTtcblxuICAgICAgdHlwZUFzc2VydGlvbiA9IG5ldyBUeXBlQXNzZXJ0aW9uKHN0cmluZywgdGVybSwgdHlwZSk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHR5cGVBc3NlcnRpb247XG4gIH1cbn0pO1xuXG5mdW5jdGlvbiBzdHJpbmdGcm9tVGVybUFuZFR5cGUodGVybSwgdHlwZSkge1xuICBjb25zdCB0ZXJtU3RyaW5nID0gdGVybS5nZXRTdHJpbmcoKSxcbiAgICAgICAgdHlwZU5hbWUgPSB0eXBlLmdldE5hbWUoKSxcbiAgICAgICAgc3RyaW5nID0gYCR7dGVybVN0cmluZ306JHt0eXBlTmFtZX1gO1xuXG4gIHJldHVybiBzdHJpbmc7XG59XG4iXSwibmFtZXMiOlsidGVybU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInR5cGVOb2RlUXVlcnkiLCJ2YXJpYWJsZU5vZGVRdWVyeSIsInR5cGVBc3NlcnRpb25Ob2RlUXVlcnkiLCJkb21Bc3NpZ25lZCIsIlR5cGVBc3NlcnRpb24iLCJzdHJpbmciLCJ0ZXJtIiwidHlwZSIsImdldFN0cmluZyIsImdldFRlcm0iLCJnZXRUeXBlIiwidmVyaWZ5IiwiYXNzaWdubWVudHMiLCJzdGF0ZWQiLCJjb250ZXh0IiwidmVyaWZpZWQiLCJ0eXBlQXNzZXJ0aW9uU3RyaW5nIiwidHJhY2UiLCJ0eXBlVmVyaWZpZWQiLCJ2ZXJpZnlUeXBlIiwidmVyaWZpZWRXaGVuU3RhdGVkIiwidmVyaWZpZWRXaGVuRGVyaXZlZCIsInZlcmlmeVdoZW5TdGF0ZWQiLCJ2ZXJpZnlXaGVuRGVyaXZlZCIsImRlYnVnIiwib2JqZWN0VHlwZSIsInR5cGVOYW1lIiwiZ2V0TmFtZSIsImZpbmRUeXBlQnlUeXBlTmFtZSIsInRlcm1WZXJpZmllZCIsInZlcmlmaWVkQWhlYWQiLCJ0ZXJtVHlwZSIsInR5cGVFcXVhbFRvT3JTdWJUeXBlT2ZUZXJtVHlwZSIsImlzRXF1YWxUb09yU3ViVHlwZU9mIiwiVmFyaWFibGUiLCJkb20iLCJ0ZXJtTm9kZSIsImdldE5vZGUiLCJ2YXJpYWJsZU5vZGUiLCJ2YXJpYWJsZSIsImZyb21WYXJpYWJsZU5vZGVBbmRUeXBlIiwidGVybVN0cmluZyIsInZhcmlhYmxlQXNzaWdubWVudCIsIlZhcmlhYmxlQXNzaWdubWVudCIsImZyb21WYXJpYWJsZSIsImFzc2lnbm1lbnQiLCJwdXNoIiwidHlwZUVxdWFsVG9PclN1cGVyVHlwZU9mVGVybVR5cGUiLCJpc0VxdWFsVG9PclN1cGVyVHlwZU9mIiwiZnJvbVN0YXRlbWVudE5vZGUiLCJzdGF0ZW1lbnROb2RlIiwidHlwZUFzc2VydGlvbiIsInR5cGVBc3NlcnRpb25Ob2RlIiwiVGVybSIsIlR5cGUiLCJ0eXBlTm9kZSIsImZyb21UZXJtTm9kZSIsImZyb21UeXBlTm9kZSIsInN0cmluZ0Zyb21UZXJtQW5kVHlwZSIsIm5hbWUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWNBOzs7ZUFBQTs7OzJEQVpnQjsrREFDZTtxQkFFTDtvQkFDQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFHM0IsSUFBTUEsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLHdCQUMxQkMsZ0JBQWdCRCxJQUFBQSxnQkFBUyxFQUFDLHdCQUMxQkUsb0JBQW9CRixJQUFBQSxnQkFBUyxFQUFDLG9CQUM5QkcseUJBQXlCSCxJQUFBQSxnQkFBUyxFQUFDO0lBRXpDLFdBQWVJLElBQUFBLGdCQUFXLGtDQUFDO2FBQU1DLGNBQ25CQyxNQUFNLEVBQUVDLElBQUksRUFBRUMsSUFBSTtnQ0FEQ0g7UUFFN0IsSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxJQUFJLEdBQUdBOzs7O1lBR2RDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0gsTUFBTTtZQUNwQjs7O1lBRUFJLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0gsSUFBSTtZQUNsQjs7O1lBRUFJLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0gsSUFBSTtZQUNsQjs7O1lBRUFJLEtBQUFBO21CQUFBQSxTQUFBQSxPQUFPQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDakMsSUFBSUMsV0FBVztnQkFFZixJQUFJQyxzQkFBc0IsSUFBSSxDQUFDWCxNQUFNLEVBQUcsR0FBRztnQkFFM0NTLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUFxQyxPQUFwQkQscUJBQW9CO2dCQUVwRCxJQUFNRSxlQUFlLElBQUksQ0FBQ0MsVUFBVSxDQUFDTDtnQkFFckMsSUFBSUksY0FBYztvQkFDaEIsSUFBSUUscUJBQXFCLE9BQ3JCQyxzQkFBc0I7b0JBRTFCLElBQUlSLFFBQVE7d0JBQ1ZPLHFCQUFxQixJQUFJLENBQUNFLGdCQUFnQixDQUFDVixhQUFhRTtvQkFDMUQsT0FBTzt3QkFDTE8sc0JBQXNCLElBQUksQ0FBQ0UsaUJBQWlCLENBQUNUO29CQUMvQztvQkFFQSxJQUFJTSxzQkFBc0JDLHFCQUFxQjt3QkFDN0NOLFdBQVc7b0JBQ2I7Z0JBQ0Y7Z0JBRUEsSUFBSUEsVUFBVTtvQkFDWkQsUUFBUVUsS0FBSyxDQUFDLEFBQUMsb0JBQXVDLE9BQXBCUixxQkFBb0I7Z0JBQ3hEO2dCQUVBLE9BQU9EO1lBQ1Q7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUEsV0FBV0wsT0FBTztnQkFDaEIsSUFBSUk7Z0JBRUosSUFBSSxJQUFJLENBQUNYLElBQUksS0FBS2tCLGdCQUFVLEVBQUU7b0JBQzVCUCxlQUFlO2dCQUNqQixPQUFPO29CQUNMLElBQU1RLFdBQVcsSUFBSSxDQUFDbkIsSUFBSSxDQUFDb0IsT0FBTztvQkFFbENiLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUEwQixPQUFUUyxVQUFTO29CQUV6QyxJQUFNbkIsT0FBT08sUUFBUWMsa0JBQWtCLENBQUNGO29CQUV4QyxJQUFJbkIsU0FBUyxNQUFNO3dCQUNqQixJQUFJLENBQUNBLElBQUksR0FBR0E7d0JBRVpXLGVBQWU7b0JBQ2pCLE9BQU87d0JBQ0xKLFFBQVFVLEtBQUssQ0FBQyxBQUFDLFFBQWdCLE9BQVRFLFVBQVM7b0JBQ2pDO29CQUVBLElBQUlSLGNBQWM7d0JBQ2hCSixRQUFRVSxLQUFLLENBQUMsQUFBQyxvQkFBNEIsT0FBVEUsVUFBUztvQkFDN0M7Z0JBQ0Y7Z0JBRUEsT0FBT1I7WUFDVDs7O1lBRUFJLEtBQUFBO21CQUFBQSxTQUFBQSxpQkFBaUJWLFdBQVcsRUFBRUUsT0FBTzs7Z0JBQ25DLElBQUlNLHFCQUFxQjtnQkFFekIsSUFBTUosc0JBQXNCLElBQUksQ0FBQ1gsTUFBTSxFQUFFLEdBQUc7Z0JBRTVDUyxRQUFRRyxLQUFLLENBQUMsQUFBQyxrQkFBcUMsT0FBcEJELHFCQUFvQjtnQkFFcEQsSUFBTWEsZUFBZSxJQUFJLENBQUN2QixJQUFJLENBQUNLLE1BQU0sQ0FBQ0csU0FBUztvQkFDN0MsSUFBSWdCO29CQUVKLElBQU1DLFdBQVcsTUFBS3pCLElBQUksQ0FBQ0ksT0FBTyxJQUM1QnNCLGlDQUFpQyxNQUFLekIsSUFBSSxDQUFDMEIsb0JBQW9CLENBQUNGO29CQUV0RSxJQUFJQyxnQ0FBZ0M7d0JBQ2xDRixnQkFBZ0I7b0JBQ2xCO29CQUVBLE9BQU9BO2dCQUNUO2dCQUVBLElBQUlELGNBQWM7b0JBQ2hCLElBQU0sQUFBRUssV0FBYUMsWUFBRyxDQUFoQkQsVUFDRkUsV0FBVyxJQUFJLENBQUM5QixJQUFJLENBQUMrQixPQUFPLElBQzVCQyxlQUFlckMsa0JBQWtCbUMsV0FDakNHLFdBQVdMLFNBQVNNLHVCQUF1QixDQUFDRixjQUFjLElBQUksQ0FBQy9CLElBQUksRUFBRU87b0JBRTNFLElBQUl5QixhQUFhLE1BQU07d0JBQ3JCLElBQU1FLGFBQWEsSUFBSSxDQUFDbkMsSUFBSSxDQUFDRSxTQUFTO3dCQUV0Q00sUUFBUVUsS0FBSyxDQUFDLEFBQUMsUUFBa0IsT0FBWGlCLFlBQVc7b0JBQ25DLE9BQU87d0JBQ0wsSUFBSTdCLGdCQUFnQixNQUFNOzRCQUN4QixJQUFNOEIscUJBQXFCQyxpQkFBa0IsQ0FBQ0MsWUFBWSxDQUFDTCxXQUNyRE0sYUFBYUgsb0JBQXFCLEdBQUc7NEJBRTNDOUIsWUFBWWtDLElBQUksQ0FBQ0Q7d0JBQ25CO29CQUNGO29CQUVBekIscUJBQXFCO2dCQUN2QjtnQkFFQSxJQUFJQSxvQkFBb0I7b0JBQ3RCTixRQUFRVSxLQUFLLENBQUMsQUFBQyxvQkFBdUMsT0FBcEJSLHFCQUFvQjtnQkFDeEQ7Z0JBRUEsT0FBT0k7WUFDVDs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQSxrQkFBa0JULE9BQU87O2dCQUN2QixJQUFJTztnQkFFSixJQUFNTCxzQkFBc0IsSUFBSSxDQUFDWCxNQUFNLEVBQUUsR0FBRztnQkFFNUNTLFFBQVFHLEtBQUssQ0FBQyxBQUFDLGtCQUFxQyxPQUFwQkQscUJBQW9CO2dCQUVwRCxJQUFNYSxlQUFlLElBQUksQ0FBQ3ZCLElBQUksQ0FBQ0ssTUFBTSxDQUFDRyxTQUFTO29CQUM3QyxJQUFJZ0I7b0JBRUosSUFBTUMsV0FBVyxNQUFLekIsSUFBSSxDQUFDSSxPQUFPLElBQzVCcUMsbUNBQW1DLE1BQUt4QyxJQUFJLENBQUN5QyxzQkFBc0IsQ0FBQ2pCO29CQUUxRUQsZ0JBQWdCaUIsa0NBQWtDLEdBQUc7b0JBRXJELE9BQU9qQjtnQkFDVDtnQkFFQVQsc0JBQXNCUSxjQUFjLEdBQUc7Z0JBRXZDLElBQUlSLHFCQUFxQjtvQkFDdkJQLFFBQVFVLEtBQUssQ0FBQyxBQUFDLG9CQUF1QyxPQUFwQlIscUJBQW9CO2dCQUN4RDtnQkFFQSxPQUFPSztZQUNUOzs7O1lBSU80QixLQUFBQTttQkFBUCxTQUFPQSxrQkFBa0JDLGFBQWEsRUFBRXBDLE9BQU87Z0JBQzdDLElBQUlxQyxnQkFBZ0I7Z0JBRXBCLElBQU1DLG9CQUFvQmxELHVCQUF1QmdEO2dCQUVqRCxJQUFJRSxzQkFBc0IsTUFBTTtvQkFDOUIsSUFBUUMsT0FBZWxCLFlBQUcsQ0FBbEJrQixNQUFNQyxPQUFTbkIsWUFBRyxDQUFabUIsTUFDUmxCLFdBQVd0QyxjQUFjc0Qsb0JBQ3pCRyxXQUFXdkQsY0FBY29ELG9CQUN6QjlDLE9BQU8rQyxLQUFLRyxZQUFZLENBQUNwQixVQUFVdEIsVUFDbkNQLE9BQU8rQyxLQUFLRyxZQUFZLENBQUNGLFdBQ3pCbEQsU0FBU3FELHNCQUFzQnBELE1BQU1DO29CQUUzQzRDLGdCQUFnQixJQUFJL0MsY0FBY0MsUUFBUUMsTUFBTUM7Z0JBQ2xEO2dCQUVBLE9BQU80QztZQUNUOzs7O0tBbkJBLGlDQUFPUSxRQUFPO0FBc0JoQixTQUFTRCxzQkFBc0JwRCxJQUFJLEVBQUVDLElBQUk7SUFDdkMsSUFBTWtDLGFBQWFuQyxLQUFLRSxTQUFTLElBQzNCa0IsV0FBV25CLEtBQUtvQixPQUFPLElBQ3ZCdEIsU0FBUyxBQUFDLEdBQWdCcUIsT0FBZGUsWUFBVyxLQUFZLE9BQVRmO0lBRWhDLE9BQU9yQjtBQUNUIn0=
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.20",
4
+ "version": "1.0.22",
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.1051",
15
+ "occam-custom-grammars": "^5.0.1055",
16
16
  "occam-entities": "^1.0.276",
17
17
  "occam-file-system": "^6.0.298",
18
18
  "occam-furtle": "^2.0.42",
@@ -4,20 +4,21 @@ 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";
7
8
 
8
- const propertyNodeQuery = nodeQuery("/propertyAssertion/property"),
9
- leftTermNodeQuery = nodeQuery("/propertyAssertion/term[0]"),
10
- rightTermNodeQuery = nodeQuery("/propertyAssertion/term[1]"),
9
+ const termNodeQuery = nodeQuery("/propertyAssertion/term"),
10
+ variableNodeQuery = nodeQuery("/propertyAssertion/variable"),
11
+ propertyNodeQuery = nodeQuery("/propertyAssertion/property"),
11
12
  propertyAssertionNodeQuery = nodeQuery("/statement/propertyAssertion");
12
13
 
13
14
  export default domAssigned(class PropertyAssertion {
14
- constructor(string, node, tokens, property, leftTerm, rightTerm) {
15
+ constructor(string, node, tokens, property, variable, term) {
15
16
  this.string = string;
16
17
  this.node = node;
17
18
  this.tokens = tokens;
18
19
  this.property = property;
19
- this.leftTerm = leftTerm;
20
- this.rightTerm = rightTerm;
20
+ this.variable = variable;
21
+ this.term = term;
21
22
  }
22
23
 
23
24
  getString() {
@@ -36,12 +37,12 @@ export default domAssigned(class PropertyAssertion {
36
37
  return this.property;
37
38
  }
38
39
 
39
- getLeftTerm() {
40
- return this.leftTerm;
40
+ getVariable() {
41
+ return this.variable;
41
42
  }
42
43
 
43
- getRightTerm() {
44
- return this.rightTerm;
44
+ getTerm() {
45
+ return this.term;
45
46
  }
46
47
 
47
48
  verify(assignments, stated, context) {
@@ -51,16 +52,27 @@ export default domAssigned(class PropertyAssertion {
51
52
 
52
53
  context.trace(`Verifying the '${propertyAssertionString}' property assertion...`);
53
54
 
54
- const rightTermVerified = this.verifyRightTerm(assignments, stated, context);
55
+ const variableVerified = this.verifyVariable(assignments, stated, context);
55
56
 
56
- if (rightTermVerified) {
57
- const leftTermVerified = this.verifyLeftTerm(assignments, stated, context);
57
+ if (variableVerified) {
58
+ const termVerified = this.verifyTerm(assignments, stated, context);
58
59
 
59
- if (leftTermVerified) {
60
+ if (termVerified) {
60
61
  const propertyVerified = this.verifyProperty(assignments, stated, context);
61
62
 
62
63
  if (propertyVerified) {
63
- verified = true;
64
+ let verifiedWhenStated = false,
65
+ verifiedWhenDerived = false;
66
+
67
+ if (stated) {
68
+ verifiedWhenStated = this.verifyWhenStated(assignments, context);
69
+ } else {
70
+ verifiedWhenDerived = this.verifyWhenDerived(context);
71
+ }
72
+
73
+ if (verifiedWhenStated || verifiedWhenDerived) {
74
+ verified = true;
75
+ }
64
76
  }
65
77
  }
66
78
  }
@@ -72,6 +84,44 @@ export default domAssigned(class PropertyAssertion {
72
84
  return verified;
73
85
  }
74
86
 
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
+ verifyVariable(assignments, stated, context) {
109
+ let variableVerified;
110
+
111
+ const variableString = this.variable.getString(),
112
+ propertyAssertionString = this.string; ///
113
+
114
+ context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${variableString}' variable...`);
115
+
116
+ variableVerified = this.variable.verify(context);
117
+
118
+ if (variableVerified) {
119
+ context.debug(`...verified the '${propertyAssertionString}' property assertion's '${variableString}' variable.`);
120
+ }
121
+
122
+ return variableVerified;
123
+ }
124
+
75
125
  verifyProperty(assignments, stated, context) {
76
126
  let propertyVerified;
77
127
 
@@ -80,24 +130,24 @@ export default domAssigned(class PropertyAssertion {
80
130
 
81
131
  context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${propertyString}' property...`);
82
132
 
83
- const rightTermType = this.rightTerm.getType(),
133
+ const termType = this.term.getType(),
84
134
  propertyName = this.property.getName(),
85
- property = rightTermType.findPropertyByPropertyName(propertyName);
135
+ property = termType.findPropertyByPropertyName(propertyName);
86
136
 
87
137
  if (property === null) {
88
- const rightTermTypeName = rightTermType.getName();
138
+ const termTypeName = termType.getName();
89
139
 
90
- context.debug(`The '${propertyName}' property is not a property of the right term's '${rightTermTypeName}' type.`);
140
+ context.debug(`The '${propertyName}' property is not a property of the term's '${termTypeName}' type.`);
91
141
  } else {
92
- const leftTermType = this.leftTerm.getType(),
142
+ const variableType = this.variable.getType(),
93
143
  propertyType = property.getType(),
94
- leftTermTypeEqualToOrSubTypeOfPropertyType = leftTermType.isEqualToOrSubTypeOf(propertyType);
144
+ variableTypeEqualToOrSubTypeOfPropertyType = variableType.isEqualToOrSubTypeOf(propertyType);
95
145
 
96
- if (!leftTermTypeEqualToOrSubTypeOfPropertyType) {
97
- const leftTermTypeName = leftTermType.getName(),
146
+ if (!variableTypeEqualToOrSubTypeOfPropertyType) {
147
+ const variableTypeName = variableType.getName(),
98
148
  propertyTypeName = propertyType.getName();
99
149
 
100
- context.debug(`The left term's '${leftTermTypeName}' type is not equal to or a sub-type of the '${propertyName}' property's '${propertyTypeName}' type.`);
150
+ context.debug(`The variable's '${variableTypeName}' type is not equal to or a sub-type of the '${propertyName}' property's '${propertyTypeName}' type.`);
101
151
  } else {
102
152
  propertyVerified = true;
103
153
  }
@@ -110,46 +160,44 @@ export default domAssigned(class PropertyAssertion {
110
160
  return propertyVerified;
111
161
  }
112
162
 
113
- verifyLeftTerm(assignments, stated, context) {
114
- let leftTermVerified;
163
+ verifyWhenStated(assignments, context) {
164
+ let verifiedWhenStated = false;
115
165
 
116
- const leftTermString = this.leftTerm.getString(),
117
- propertyAssertionString = this.string; ///
166
+ const propertyAssertionString = this.string; ///
118
167
 
119
- context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${leftTermString}' left term...`);
168
+ context.trace(`Verifying the '${propertyAssertionString}' stated property assertion...`);
120
169
 
121
- leftTermVerified = this.leftTerm.verify(context, () => {
122
- const verifiedAhead = true;
170
+ if (assignments !== null) {
171
+ const { Variable } = dom,
172
+ termNode = this.term.getNode(),
173
+ variableNode = variableNodeQuery(termNode),
174
+ variable = Variable.fromVariableNodeAndType(variableNode, this.type, context);
123
175
 
124
- return verifiedAhead;
125
- });
176
+ }
177
+
178
+ verifiedWhenStated = true;
126
179
 
127
- if (leftTermVerified) {
128
- context.debug(`...verified the '${propertyAssertionString}' property assertion's '${leftTermString}' left term.`);
180
+ if (verifiedWhenStated) {
181
+ context.debug(`...verified the '${propertyAssertionString}' stated property assertion.`);
129
182
  }
130
183
 
131
- return leftTermVerified;
184
+ return verifiedWhenStated;
132
185
  }
133
186
 
134
- verifyRightTerm(assignments, stated, context) {
135
- let rightTermVerified;
136
-
137
- const rightTermString = this.rightTerm.getString(),
138
- propertyAssertionString = this.string; ///
187
+ verifyWhenDerived(assignments, context) {
188
+ let verifiedWhenDerived = false;
139
189
 
140
- context.trace(`Verifying the '${propertyAssertionString}' property assertion's '${rightTermString}' right term...`);
190
+ const propertyAssertionString = this.string; ///
141
191
 
142
- rightTermVerified = this.rightTerm.verify(context, () => {
143
- const verifiedAhead = true;
192
+ context.trace(`Verifying the '${propertyAssertionString}' derived property assertion...`);
144
193
 
145
- return verifiedAhead;
146
- });
194
+ debugger
147
195
 
148
- if (rightTermVerified) {
149
- context.debug(`...verified the '${propertyAssertionString}' property assertion's '${rightTermString}' right term.`);
196
+ if (verifiedWhenDerived) {
197
+ context.debug(`...verified the '${propertyAssertionString}' derived property assertion.`);
150
198
  }
151
199
 
152
- return rightTermVerified;
200
+ return verifiedWhenDerived;
153
201
  }
154
202
 
155
203
  static name = "PropertyAssertion";
@@ -160,18 +208,18 @@ export default domAssigned(class PropertyAssertion {
160
208
  const propertyAssertionNode = propertyAssertionNodeQuery(statementNode);
161
209
 
162
210
  if (propertyAssertionNode !== null) {
163
- const { Term, Property } = dom,
211
+ const { Term, Variable, Property } = dom,
164
212
  node = propertyAssertionNode, ///
165
213
  string = context.nodeAsString(node),
166
214
  tokens = context.nodeAsTokens(node),
167
215
  propertyNode = propertyNodeQuery(propertyAssertionNode),
168
- leftTermNode = leftTermNodeQuery(propertyAssertionNode),
169
- rightTermNode = rightTermNodeQuery(propertyAssertionNode),
216
+ variableNode = variableNodeQuery(propertyAssertionNode),
217
+ termNode = termNodeQuery(propertyAssertionNode),
170
218
  property = Property.fromPropertyNode(propertyNode, context),
171
- leftTerm = Term.fromTermNode(leftTermNode, context),
172
- rightTerm = Term.fromTermNode(rightTermNode, context);
219
+ variable = Variable.fromVariableNode(variableNode, context),
220
+ term = Term.fromTermNode(termNode, context);
173
221
 
174
- propertyAssertion = new PropertyAssertion(string, node, tokens, property, leftTerm, rightTerm);
222
+ propertyAssertion = new PropertyAssertion(string, node, tokens, property, variable, term);
175
223
  }
176
224
 
177
225
  return propertyAssertion;
@@ -111,13 +111,17 @@ export default domAssigned(class TypeAssertion {
111
111
  });
112
112
 
113
113
  if (termVerified) {
114
- if (assignments !== null) {
115
- const { Variable } = dom,
116
- termNode = this.term.getNode(),
117
- variableNode = variableNodeQuery(termNode),
118
- variable = Variable.fromVariableNodeAndType(variableNode, this.type, context);
114
+ const { Variable } = dom,
115
+ termNode = this.term.getNode(),
116
+ variableNode = variableNodeQuery(termNode),
117
+ variable = Variable.fromVariableNodeAndType(variableNode, this.type, context);
119
118
 
120
- if (variable !== null) {
119
+ if (variable === null) {
120
+ const termString = this.term.getString();
121
+
122
+ context.debug(`The '${termString}' term is not a variable and therefore its type cannot be asserted.`)
123
+ } else {
124
+ if (assignments !== null) {
121
125
  const variableAssignment = VariableAssignment.fromVariable(variable),
122
126
  assignment = variableAssignment; ///
123
127