occam-verify-cli 0.0.1246 → 0.0.1248

package/src/dom/topLevelMetaAssertion.js

@@ -0,0 +1,154 @@
+"use strict";
+
+import { arrayUtilities } from "necessary";
+
+import dom from "../dom";
+import LocalContext from "../context/local";
+import Substitutions from "../substitutions";
+import TopLevelAssertion from "./topLevelAssertion";
+
+import { nodeQuery } from "../utilities/query";
+import { proofFromNode, consequentFromNode, suppositionsFromNode, labelsStringFromLabels } from "./topLevelAssertion";
+import { labelsFromJSON,
+         labelsToLabelsJSON,
+         consequentFromJSON,
+         suppositionsFromJSON,
+         substitutionsFromJSON,
+         consequentToConsequentJSON,
+         suppositionsToSuppositionsJSON,
+         substitutionsToSubstitutionsJSON } from "../utilities/json";
+
+const { first } = arrayUtilities;
+
+const labelNodeQuery = nodeQuery("/metatheorem/label");
+
+export default class TopLevelMetaAssertion extends TopLevelAssertion {
+  constructor(fileContext, string, labels, suppositions, consequent, proof, substitutions) {
+    super(fileContext, string, labels, suppositions, consequent, proof);
+
+    this.substitutions = substitutions;
+  }
+
+  getSubstitutions() {
+    return this.substitutions;
+  }
+
+  getLabel() {
+    const labels = this.getLabels(),
+          firstLabel = first(labels),
+          label = firstLabel; ///
+
+    return label;
+  }
+
+  verify() {
+    let verified = false;
+
+    const labelsVerified = this.verifyLabels();
+
+    if (labelsVerified) {
+      const localContext = LocalContext.fromFileContext(this.fileContext),
+            context = localContext, ///
+            suppositionsVerified = this.suppositions.every((supposition) => {
+              const suppositionVerified = supposition.verify(context);
+
+              if (suppositionVerified) {
+                return true;
+              }
+            });
+
+      if (suppositionsVerified) {
+        const consequentVerified = this.consequent.verify(context);
+
+        if (consequentVerified) {
+          if (this.proof === null) {
+            verified = true;
+          } else {
+            const proofVerified = this.proof.verify(this.substitutions, this.consequent, context);
+
+            verified = proofVerified; ///
+          }
+        }
+      }
+    }
+
+    return verified;
+  }
+
+  verifyLabels() {
+    const labelsVerified = this.labels.every((label) => {
+      const nameOnly = false,
+            labelVerified = label.verify(nameOnly);
+
+      if (labelVerified) {
+        return true;
+      }
+    });
+
+    return labelsVerified;
+  }
+
+  verifyWhenStated(statement, reference, context) {
+    let verifiedWhenStated;
+
+    debugger
+
+    return verifiedWhenStated;
+  }
+
+  toJSON() {
+    const labelsJSON = labelsToLabelsJSON(this.labels),
+          consequentJSON = consequentToConsequentJSON(this.consequent),
+          suppositionsJSON = suppositionsToSuppositionsJSON(this.suppositions),
+          substitutionsJSON = substitutionsToSubstitutionsJSON(this.substitutions),
+          labels = labelsJSON,  ///
+          consequent = consequentJSON,  ///
+          suppositions = suppositionsJSON,  ///
+          substitutions = substitutionsJSON,  ///
+          json = {
+            labels,
+            consequent,
+            suppositions,
+            substitutions
+          };
+
+    return json;
+  }
+
+  static fromJSON(Class, json, fileContext) {
+    const labels = labelsFromJSON(json, fileContext),
+          substitutions = substitutionsFromJSON(json, fileContext),
+          labelsString = labelsStringFromLabels(labels),
+          suppositions = suppositionsFromJSON(json, fileContext),
+          consequent = consequentFromJSON(json, fileContext),
+          proof = null,
+          string = labelsString,  ///
+          topLevelAssertion = new Class(fileContext, string, labels, suppositions, consequent, proof, substitutions);
+
+    return topLevelAssertion;
+  }
+
+  static fromNode(Class, node, fileContext) {
+    const labels = labelsFromNode(node, fileContext),
+          substitutions = Substitutions.fromNothing(),
+          labelsString = labelsStringFromLabels(labels),
+          suppositions = suppositionsFromNode(node, fileContext),
+          consequent = consequentFromNode(node, fileContext),
+          proof = proofFromNode(node, fileContext),
+          string = labelsString,  ///
+          metaLemma = new Class(fileContext, string, labels, suppositions, consequent, proof, substitutions);
+
+    return metaLemma;
+  }
+}
+
+function labelsFromNode(node, fileContext) {
+  const { Label } = dom,
+        labelNode = labelNodeQuery(node),
+        label = Label.fromLabelNode(labelNode, fileContext),
+        labels = [
+          label
+        ];
+
+  return labels;
+}

package/src/dom/type.js

@@ -110,9 +110,9 @@ class Type {
 
     fileContext.trace(`Verifying the '${typeString}' type when declared...`);
 
-    const typeDeclared = fileContext.isTypeDeclaredByTypeName(this.name);
+    const typePresent = fileContext.isTypePresentByTypeName(this.name);
 
-    if (typeDeclared) {
+    if (typePresent) {
       fileContext.debug(`The type '${typeString}' has already been declared.`);
     } else {
       const superTypeName = this.superType.getName(),

package/src/dom/variable.js

@@ -142,15 +142,15 @@ export default domAssigned(class Variable {
     fileContext.trace(`Verifying the '${variableString}' variable when declared...`);
 
     const variableName = this.name, ///
-          variableDeclared = fileContext.isVariableDeclaredByVariableName(variableName);
+          variablePresent = fileContext.isVariablePresentByVariableName(variableName);
 
-    if (variableDeclared) {
+    if (variablePresent) {
       fileContext.debug(`The '${variableName}' variable has already been declared.`);
     } else {
       const metavariableName = this.name, ///
-            metavariableDeclared = fileContext.isMetavariableDeclaredByMetavariableName(metavariableName);
+            metavariablePresent = fileContext.isMetavariablePresentByMetavariableName(metavariableName);
 
-      if (metavariableDeclared) {
+      if (metavariablePresent) {
         fileContext.debug(`A '${metavariableName}' variable has already been declared.`);
       } else {
         const typeVerified = this.verifyType(fileContext);

package/src/equivalence.js

@@ -16,7 +16,7 @@ export default class Equivalence {
 
   addTerm(term, context) {
     const termString = term.getString(),
-          equivalenceString = this.getString();
+          equivalenceString = this.getString(); ///
 
     context.trace(`Adding the '${termString}' term to the '${equivalenceString}' equivalence.`);
 

package/src/index.js

@@ -25,6 +25,8 @@ import Consequent from "./dom/consequent";
 import Conjecture from "./dom/conjecture";
 import Conclusion from "./dom/conclusion";
 import Derivation from "./dom/derivation";
+import Combinator from "./dom/combinator";
+import Constructor from "./dom/constructor";
 import Declaration from "./dom/declaration";
 import Supposition from "./dom/supposition";
 import Metatheorem from "./dom/metatheorem";
@@ -37,6 +39,8 @@ import DefinedAssertion from "./dom/assertion/defined";
 import SubproofAssertion from "./dom/assertion/subproof";
 import ContainedAssertion from "./dom/assertion/contained";
 import VariableDeclaration from "./dom/declaration/variable";
+import BracketedCombinator from "./dom/combinator/bracketed";
+import BracketedConstructor from "./dom/constructor/bracketed";
 import CombinatorDeclaration from "./dom/declaration/combinator";
 import ConstructorDeclaration from "./dom/declaration/constructor";
 import MetavariableDeclaration from "./dom/declaration/metavariable";

package/src/mixins/statement/verify.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import BracketedCombinator from "../../combinator/bracketed";
+import dom from "../../dom";
 
 import { equalityFromStatement,
          judgementFromStatement,
@@ -169,7 +169,8 @@ function unifyWithBracketedCombinator(statement, assignments, stated, context) {
 
   assignments = null; ///
 
-  const bracketedCombinator = BracketedCombinator.fromNothing(),
+  const { BracketedCombinator } = dom,
+        bracketedCombinator = BracketedCombinator.fromNothing(),
         unifiedWithBracketedCombinator = bracketedCombinator.unifyStatement(statement, assignments, stated, context);
 
   return unifiedWithBracketedCombinator;

package/src/mixins/term/verify.js

@@ -2,8 +2,6 @@
 
 import dom from "../../dom";
 
-import BracketedConstructor from "../../constructor/bracketed";
-
 import { nodeQuery } from "../../utilities/query";
 
 const variableNodeQuery = nodeQuery("/term/variable!");
@@ -47,7 +45,8 @@ function verifyTermAsVariable(term, localContext, verifyAhead) {
 function unifyWithBracketedConstructor(term, context, verifyAhead) {
   let unifiedWithBracketedConstructor;
 
-  const bracketedConstructor = BracketedConstructor.fromNothing();
+  const { BracketedConstructor } = dom,
+        bracketedConstructor = BracketedConstructor.fromNothing();
 
   unifiedWithBracketedConstructor = bracketedConstructor.unifyTerm(term, context, verifyAhead);
 

package/src/substitution/statement.js

@@ -78,7 +78,7 @@ export default class StatementSubstitution extends Substitution {
   }
 
   resolve(substitutions, generalContext, specificContext) {
-    const substitutionString = this.string;
+    const substitutionString = this.string; ///
 
     const metavariable = this.getMetavariable(),
           simpleSubstitution = substitutions.findSimpleSubstitutionByMetavariable(metavariable);

package/src/unifier/{label.js → reference.js}

@@ -8,17 +8,17 @@ import { nodeQuery } from "../utilities/query";
 const termNodeQuery = nodeQuery("/term"),
       termVariableNodeQuery = nodeQuery("/term/variable!");
 
-class LabelUnifier extends Unifier {
+class ReferenceUnifier extends Unifier {
   unify(labelMetavariableNode, referenceMetavariableNode, substitutions, generalContext, specificContext) {
-    let labelUnified;
+    let referenceUnified;
 
     const generalNonTerminalNode = labelMetavariableNode, ///
           specificNonTerminalNode = referenceMetavariableNode, ///
           nonTerminalNodeUnified = this.unifyNonTerminalNode(generalNonTerminalNode, specificNonTerminalNode, substitutions, generalContext, specificContext);
 
-    labelUnified = nonTerminalNodeUnified; ///
+    referenceUnified = nonTerminalNodeUnified; ///
 
-    return labelUnified;
+    return referenceUnified;
   }
 
   static maps = [
@@ -51,6 +51,6 @@ class LabelUnifier extends Unifier {
   ];
 }
 
-const labelUnifier = new LabelUnifier();
+const referenceUnified = new ReferenceUnifier();
 
-export default labelUnifier;
+export default referenceUnified;

package/src/utilities/json.js

@@ -1,8 +1,6 @@
 "use strict";
 
 import dom from "../dom";
-import Combinator from "../combinator";
-import Constructor from "../constructor";
 import StatementSubstitution from "../substitution/statement";
 
 export function termFromJSON(json, fileContext) {
@@ -287,7 +285,8 @@ export function conjecturesFromJSON(json, fileContext) {
 export function combinatorsFromJSON(json, fileContext) {
   let { combinators } = json;
 
-  const combinatorsJSON = combinators; ///
+  const { Combinator } = dom,
+        combinatorsJSON = combinators; ///
 
   combinators = combinatorsJSON.map((combinatorJSON) => {
     const json = combinatorJSON,  ///
@@ -302,7 +301,8 @@ export function combinatorsFromJSON(json, fileContext) {
 export function constructorsFromJSON(json, fileContext) {
   let { constructors } = json;
 
-  const constructorsJSON = constructors; ///
+  const { Constructor } = dom,
+        constructorsJSON = constructors; ///
 
   constructors = constructorsJSON.map((constructorJSON) => {
     const json = constructorJSON,  ///

package/src/utilities/string.js

@@ -18,12 +18,12 @@ export function nodesAsString(nodes, tokens) {
   const string = nodes.reduce((string, node) => {
     const nodeString = nodeAsString(node, tokens);
 
-    string = (string === EMPTY_STRING) ?
+    string = (string === null) ?
                nodeString :
                 `${string},${nodeString}`;
 
     return string;
-  }, EMPTY_STRING);
+  }, null);
 
   return string;
 }

package/src/utilities/unification.js

@@ -1,8 +1,9 @@
 "use string";
 
 import LocalContext from "../context/local";
-import labelUnifier from "../unifier/label";
+import Substitutions from "../substitutions";
 import equalityUnifier from "../unifier/equality";
+import referenceUnifier from "../unifier/reference";
 import metaLevelUnifier from "../unifier/metaLevel";
 import metavariableUnifier from "../unifier/metavariable";
 import intrinsicLevelUnifier from "../unifier/intrinsicLevel";
@@ -81,27 +82,65 @@ export function unifyMetavariable(generalMetavariable, specificMetavariable, gen
   return metavariableUnified;
 }
 
-export function unifyLabelWithReference(label, reference, substitutions, generalContext, specificContext) {
+export function unifyLabelWithReference(label, reference, context) {
   let labelUnifiedWithReference;
 
-  const labelMetavariable = label.getMetavariable(),
+  let generalContext,
+      specificContext;
+
+  const fileContext = label.getFileContext(),
+        labelMetavariable = label.getMetavariable(),
         referenceMetavariable = reference.getMetavariable(),
         labelMetavariableNode = labelMetavariable.getNode(),
         labelMetavariableTokens = labelMetavariable.getTokens(),
         referenceMetavariableNode = referenceMetavariable.getNode(),
         referenceMetavariableTokens = referenceMetavariable.getTokens();
 
+  generalContext = context; ///
+
+  specificContext = fileContext;  ///
+
   generalContext = contextFromTokens(labelMetavariableTokens, generalContext);  ///
 
   specificContext = contextFromTokens(referenceMetavariableTokens, specificContext);  ///
 
-  const labelUnified = labelUnifier.unify(labelMetavariableNode, referenceMetavariableNode, substitutions, generalContext, specificContext);
+  const substitutions = Substitutions.fromNothing(),
+        referenceUnified = referenceUnifier.unify(labelMetavariableNode, referenceMetavariableNode, substitutions, generalContext, specificContext);
 
-  labelUnifiedWithReference = labelUnified; ///
+  labelUnifiedWithReference = referenceUnified; ///
 
   return labelUnifiedWithReference;
 }
 
+export function unifyMetavariableWithReference(metavariable, reference, context) {
+  let metavariableUnifiedWithReference;
+
+  let generalContext,
+      specificContext;
+
+  const fileContext = context.getFileContext(),
+        metavariableNode = metavariable.getNode(),
+        metavariableTokens = metavariable.getTokens(),
+        referenceMetavariable = reference.getMetavariable(),
+        referenceMetavariableNode = referenceMetavariable.getNode(),
+        referenceMetavariableTokens = referenceMetavariable.getTokens();
+
+  generalContext = context; ///
+
+  specificContext = fileContext;  ///
+
+  generalContext = contextFromTokens(metavariableTokens, generalContext);  ///
+
+  specificContext = contextFromTokens(referenceMetavariableTokens, specificContext);  ///
+
+  const substitutions = Substitutions.fromNothing(),
+        referenceUnified = referenceUnifier.unify(metavariableNode, referenceMetavariableNode, substitutions, generalContext, specificContext);
+
+  metavariableUnifiedWithReference = referenceUnified; ///
+
+  return metavariableUnifiedWithReference;
+}
+
 export function unifyTermWithConstructor(term, constructor, context) {
   let termUnifiedWithConstructor;
 

package/src/verifier/combinator.js

@@ -61,9 +61,9 @@ class CombinatorVerifier extends Verifier {
         let typeVerified = false;
 
         const typeName = typeNameFromTypeNode(typeNode),
-              typeDeclared = fileContext.isTypeDeclaredByTypeName(typeName);
+              typePresent = fileContext.isTypePresentByTypeName(typeName);
 
-        if (typeDeclared) {
+        if (typePresent) {
           typeVerified = true;
         }
 

package/src/verifier/constructor.js

@@ -46,9 +46,9 @@ class ConstructorVerifier extends Verifier {
         let typeVerified = false;
 
         const typeName = typeNameFromTypeNode(typeNode),
-              typeDeclared = fileContext.isTypeDeclaredByTypeName(typeName);
+              typePresent = fileContext.isTypePresentByTypeName(typeName);
 
-        if (typeDeclared) {
+        if (typePresent) {
           const verifiedAhead = verifyAhead();
 
           if (verifiedAhead) {

package/lib/combinator/bracketed.js

@@ -1,126 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return BracketedCombinator;
-    }
-});
-var _dom = /*#__PURE__*/ _interop_require_default(require("../dom"));
-var _combinator = /*#__PURE__*/ _interop_require_default(require("../combinator"));
-var _combinator1 = /*#__PURE__*/ _interop_require_default(require("../context/bracketed/combinator"));
-var _unification = require("../utilities/unification");
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var BracketedCombinator = /*#__PURE__*/ function(Combinator) {
-    _inherits(BracketedCombinator, Combinator);
-    function BracketedCombinator() {
-        _class_call_check(this, BracketedCombinator);
-        return _call_super(this, BracketedCombinator, arguments);
-    }
-    _create_class(BracketedCombinator, [
-        {
-            key: "unifyStatement",
-            value: function unifyStatement(statement, assignments, stated, context) {
-                var statementUnified;
-                var statementString = statement.getString();
-                context.trace("Unifying the '".concat(statementString, "' statement with the bracketed combinator..."));
-                var bracketedCombinator = this, combinator = bracketedCombinator, statementUnifiedWithCombinator = (0, _unification.unifyStatementWithCombinator)(statement, combinator, assignments, stated, context);
-                statementUnified = statementUnifiedWithCombinator;
-                if (statementUnified) {
-                    context.debug("...unified the '".concat(statementString, "' statement with the bracketed combinator."));
-                }
-                return statementUnified;
-            }
-        }
-    ], [
-        {
-            key: "fromNothing",
-            value: function fromNothing() {
-                var Statement = _dom.default.Statement, bracketedStatementNode = _combinator1.default.getBracketedStatementNode(), statementNode = bracketedStatementNode, context = _combinator1.default, statement = Statement.fromStatementNode(statementNode, context), bracketedCombinator = new BracketedCombinator(statement);
-                return bracketedCombinator;
-            }
-        }
-    ]);
-    return BracketedCombinator;
-}(_combinator.default);
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb21iaW5hdG9yL2JyYWNrZXRlZC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGRvbSBmcm9tIFwiLi4vZG9tXCI7XG5pbXBvcnQgQ29tYmluYXRvciBmcm9tIFwiLi4vY29tYmluYXRvclwiO1xuaW1wb3J0IGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0L2JyYWNrZXRlZC9jb21iaW5hdG9yXCI7XG5cbmltcG9ydCB7IHVuaWZ5U3RhdGVtZW50V2l0aENvbWJpbmF0b3IgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3VuaWZpY2F0aW9uXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEJyYWNrZXRlZENvbWJpbmF0b3IgZXh0ZW5kcyBDb21iaW5hdG9yIHtcbiAgdW5pZnlTdGF0ZW1lbnQoc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gICAgbGV0IHN0YXRlbWVudFVuaWZpZWQ7XG5cbiAgICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBVbmlmeWluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IHdpdGggdGhlIGJyYWNrZXRlZCBjb21iaW5hdG9yLi4uYCk7XG5cbiAgICBjb25zdCBicmFja2V0ZWRDb21iaW5hdG9yID0gdGhpcywgLy8vXG4gICAgICAgICAgY29tYmluYXRvciA9IGJyYWNrZXRlZENvbWJpbmF0b3IsIC8vL1xuICAgICAgICAgIHN0YXRlbWVudFVuaWZpZWRXaXRoQ29tYmluYXRvciA9IHVuaWZ5U3RhdGVtZW50V2l0aENvbWJpbmF0b3Ioc3RhdGVtZW50LCBjb21iaW5hdG9yLCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KTtcblxuICAgIHN0YXRlbWVudFVuaWZpZWQgPSBzdGF0ZW1lbnRVbmlmaWVkV2l0aENvbWJpbmF0b3I7XG5cbiAgICBpZiAoc3RhdGVtZW50VW5pZmllZCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udW5pZmllZCB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IHdpdGggdGhlIGJyYWNrZXRlZCBjb21iaW5hdG9yLmApO1xuICAgIH1cblxuICAgIHJldHVybiBzdGF0ZW1lbnRVbmlmaWVkO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IHsgU3RhdGVtZW50IH0gPSBkb20sXG4gICAgICAgICAgYnJhY2tldGVkU3RhdGVtZW50Tm9kZSA9IGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0LmdldEJyYWNrZXRlZFN0YXRlbWVudE5vZGUoKSxcbiAgICAgICAgICBzdGF0ZW1lbnROb2RlID0gYnJhY2tldGVkU3RhdGVtZW50Tm9kZSwgLy8vXG4gICAgICAgICAgY29udGV4dCA9IGNvbWJpbmF0b3JCcmFja2V0ZWRDb250ZXh0LCAvLy9cbiAgICAgICAgICBzdGF0ZW1lbnQgPSBTdGF0ZW1lbnQuZnJvbVN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgY29udGV4dCksXG4gICAgICAgICAgYnJhY2tldGVkQ29tYmluYXRvciA9IG5ldyBCcmFja2V0ZWRDb21iaW5hdG9yKHN0YXRlbWVudCk7XG5cbiAgICByZXR1cm4gYnJhY2tldGVkQ29tYmluYXRvcjtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkJyYWNrZXRlZENvbWJpbmF0b3IiLCJ1bmlmeVN0YXRlbWVudCIsInN0YXRlbWVudCIsImFzc2lnbm1lbnRzIiwic3RhdGVkIiwiY29udGV4dCIsInN0YXRlbWVudFVuaWZpZWQiLCJzdGF0ZW1lbnRTdHJpbmciLCJnZXRTdHJpbmciLCJ0cmFjZSIsImJyYWNrZXRlZENvbWJpbmF0b3IiLCJjb21iaW5hdG9yIiwic3RhdGVtZW50VW5pZmllZFdpdGhDb21iaW5hdG9yIiwidW5pZnlTdGF0ZW1lbnRXaXRoQ29tYmluYXRvciIsImRlYnVnIiwiZnJvbU5vdGhpbmciLCJTdGF0ZW1lbnQiLCJkb20iLCJicmFja2V0ZWRTdGF0ZW1lbnROb2RlIiwiY29tYmluYXRvckJyYWNrZXRlZENvbnRleHQiLCJnZXRCcmFja2V0ZWRTdGF0ZW1lbnROb2RlIiwic3RhdGVtZW50Tm9kZSIsImZyb21TdGF0ZW1lbnROb2RlIiwiQ29tYmluYXRvciJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFRcUJBOzs7MERBTkw7aUVBQ087a0VBQ2dCOzJCQUVNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRTlCLElBQUEsQUFBTUEsb0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO2VBQU4sa0JBQU1BOztrQkFBQUE7O1lBQ25CQyxLQUFBQTttQkFBQUEsU0FBQUEsZUFBZUMsU0FBUyxFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztnQkFDcEQsSUFBSUM7Z0JBRUosSUFBTUMsa0JBQWtCTCxVQUFVTSxTQUFTO2dCQUUzQ0gsUUFBUUksS0FBSyxDQUFDLEFBQUMsaUJBQWdDLE9BQWhCRixpQkFBZ0I7Z0JBRS9DLElBQU1HLHNCQUFzQixJQUFJLEVBQzFCQyxhQUFhRCxxQkFDYkUsaUNBQWlDQyxJQUFBQSx5Q0FBNEIsRUFBQ1gsV0FBV1MsWUFBWVIsYUFBYUMsUUFBUUM7Z0JBRWhIQyxtQkFBbUJNO2dCQUVuQixJQUFJTixrQkFBa0I7b0JBQ3BCRCxRQUFRUyxLQUFLLENBQUMsQUFBQyxtQkFBa0MsT0FBaEJQLGlCQUFnQjtnQkFDbkQ7Z0JBRUEsT0FBT0Q7WUFDVDs7OztZQUVPUyxLQUFBQTttQkFBUCxTQUFPQTtnQkFDTCxJQUFNLEFBQUVDLFlBQWNDLFlBQUcsQ0FBakJELFdBQ0ZFLHlCQUF5QkMsb0JBQTBCLENBQUNDLHlCQUF5QixJQUM3RUMsZ0JBQWdCSCx3QkFDaEJiLFVBQVVjLG9CQUEwQixFQUNwQ2pCLFlBQVljLFVBQVVNLGlCQUFpQixDQUFDRCxlQUFlaEIsVUFDdkRLLHNCQUFzQixJQTNCWFYsb0JBMkJtQ0U7Z0JBRXBELE9BQU9RO1lBQ1Q7OztXQTlCbUJWO0VBQTRCdUIsbUJBQVUifQ==