occam-verify-cli 1.0.611 → 1.0.617

package/src/element/substitution/statement.js

@@ -37,21 +37,15 @@ export default define(class StatementSubstitution extends Substitution {
     return this.replacementStatement;
   }
 
-  getMetavariable(generalContext, specificContext) {
-    let metavariable = null;
+  getStatementSubstitutionNode() {
+    const node = this.getNode(),
+          statementSubstitutionNode = node; ///
 
-    const targetStatementNode = this.targetStatement.getNode(),
-          metavariableName = targetStatementNode.getMetavariableName();
-
-    if (metavariableName !== null) {
-      const context = generalContext; ///
-
-      metavariable = context.findMetavariableByMetavariableName(metavariableName);
-    }
-
-    return metavariable;
+    return statementSubstitutionNode;
   }
 
+  getMtavariableName() { return this.targetStatement.getMtavariableName(); }
+
   getTargetNode() {
     const targetStatementNode = this.targetStatement.getNode(),
           targetNode = targetStatementNode; ///
@@ -141,9 +135,9 @@ export default define(class StatementSubstitution extends Substitution {
       }
 
       if (validates) {
-        const substititoin = this;  ///
+        const substitution = this;  ///
 
-        context.addSubstitution(substititoin);
+        context.addSubstitution(substitution);
 
         context.debug(`...validated the '${statementSubstitutionString}' statement substitution.`);
       }
@@ -194,7 +188,7 @@ export default define(class StatementSubstitution extends Substitution {
     replacementStatementValidates = this.replacementStatement.validate(assignments, stated, context);
 
     if (replacementStatementValidates) {
-      context.debug(`...validated the '${statementSubstitutionString}' statement subtitution's '${replacementStatementString}' replacement statement...`);
+      context.debug(`...validated the '${statementSubstitutionString}' statement subtitution's '${replacementStatementString}' replacement statement.`);
     }
 
     return replacementStatementValidates;
@@ -252,11 +246,11 @@ export default define(class StatementSubstitution extends Substitution {
 
     context = generalContext; ///
 
-    const metavariable = this.getMetavariable(generalContext, specificContext);
+    const metavariableName = this.getMetavariableName();
 
     context = specificContext;  ///
 
-    const simpleSubstitution = context.findSimpleSubstitutionByMetavariable(metavariable);
+    const simpleSubstitution = context.findSimpleSubstitutionByMetavariableName(metavariableName);
 
     context = this.getContext();
 

package/src/element/substitution/term.js

@@ -25,6 +25,13 @@ export default define(class TermSubstitution extends Substitution {
     return this.replacementTerm;
   }
 
+  getTermSubstitutionNode() {
+    const node = this.getNode(),
+          termSubstitutionNode = node;  ///
+
+    return termSubstitutionNode;
+  }
+
   getTargetNode() {
     const targetTermNode = this.targetTerm.getNode(),
           tergetNode = targetTermNode; ///
@@ -93,9 +100,9 @@ export default define(class TermSubstitution extends Substitution {
       }
 
       if (validates) {
-        const substititoin = this;  ///
+        const substitution = this;  ///
 
-        context.addSubstitution(substititoin);
+        context.addSubstitution(substitution);
 
         context.debug(`...validated the '${termSubstitutionString}' term substitution.`);
       }

package/src/element/substitution.js

@@ -6,10 +6,6 @@ import { primitiveUtilities } from "occam-furtle";
 const { primitiveFromNode } =primitiveUtilities;
 
 export default class Substitution extends Element {
-  constructor(context, string, node) {
-    super(context, string, node);
-  }
-
   getSubstitution() {
     const substitution = null;
 

package/src/element/topLevelAssertion/axiom.js

@@ -5,6 +5,13 @@ import TopLevelAssertion  from "../../node/topLevelAssertion";
 import { define } from "../../elements";
 
 export default define(class Axiom extends TopLevelAssertion {
+  getAxiomNode() {
+    const node = this.getNode(),
+          axiomNode = node; ///
+
+    return axiomNode;
+  }
+
   isSatisfiable() {
     const signature = this.getSignature(),
           satisfiable = (signature !== null);

package/src/element/topLevelAssertion/conjecture.js

@@ -5,6 +5,13 @@ import TopLevelAssertion from "../topLevelAssertion";
 import { define } from "../../elements";
 
 export default define(class Conjecture extends TopLevelAssertion {
+  getConjectureNode() {
+    const node = this.getNode(),
+          conjectureNode = node;  ///
+
+    return conjectureNode;
+  }
+
   async verify() {
     let verifies;
 

package/src/element/topLevelAssertion/lemma.js

@@ -5,6 +5,13 @@ import TopLevelAssertion from "../topLevelAssertion";
 import { define } from "../../elements";
 
 export default define(class Lemma extends TopLevelAssertion {
+  getLemmaNode() {
+    const node = this.getNode(),
+          lemmaNode = node; ///
+
+    return lemmaNode;
+  }
+
   async verify() {
     let verifies;
 

package/src/element/topLevelAssertion/theorem.js

@@ -5,6 +5,13 @@ import TopLevelAssertion from "../topLevelAssertion";
 import { define } from "../../elements";
 
 export default define(class Theorem extends TopLevelAssertion {
+  getThoeremNode() {
+    const node = this.getNode(),
+          theoremNode = node; ///
+
+    return theoremNode;
+  }
+
   async verify() {
     let verifies;
 

package/src/element/topLevelAssertion.js

@@ -286,15 +286,7 @@ export default class TopLevelAssertion extends Element {
         const subproofOrProofAssertionsUnifiesWithSuppositions = await this.unifySubproofOrProofAssertionsWithSuppositions(subproofOrProofAssertions, context);
 
         if (subproofOrProofAssertionsUnifiesWithSuppositions) {
-          const specificContext = context;  ///
-
-          context = this.getContext();
-
-          const generalContext = context; ///
-
-          context = specificContext;  ///
-
-          const substitutionsResolved = context.areSubstitutionsResolved(generalContext, specificContext);
+          const substitutionsResolved = context.areSubstitutionsResolved();
 
           if (substitutionsResolved) {
             statementAndSubproofOrProofAssertionsUnify = true;

package/src/element/topLevelMetaAssertion/metaLemma.js

@@ -5,6 +5,13 @@ import TopLevelMetaAssertion from "./../topLevelMetaAssertion";
 import { define } from "../../elements";
 
 export default define(class MetaLemma extends TopLevelMetaAssertion {
+  getMetaLemmaNode() {
+    const node = this.getNode(),
+          metaLemmaNode = node; ///
+
+    return metaLemmaNode;
+  }
+
   async verify() {
     let verifies;
 

package/src/element/topLevelMetaAssertion/metatheorem.js

@@ -5,6 +5,13 @@ import TopLevelMetaAssertion from "../topLevelMetaAssertion";
 import { define } from "../../elements";
 
 export default define(class Metatheorem extends TopLevelMetaAssertion {
+  getMetatheoremNode() {
+    const node = this.getNode(),
+          metatheoremNode = node; ///
+
+    return metatheoremNode;
+  }
+
   async verify() {
     let verifies;
 

package/src/element/type.js

@@ -32,6 +32,13 @@ export default define(class Type extends Element {
     return this.superTypes;
   }
 
+  getTypeNode() {
+    const node = this.getNode(),
+          typeNode = node;  ///
+
+    return typeNode;
+  }
+
   getProperties(includeSuperTypes = true) {
     const properties = [];
 

package/src/element/typePrefix.js

@@ -15,6 +15,13 @@ export default define(class TypePrefix extends Element {
     return this.name;
   }
 
+  getTypePrefixNode() {
+    const node = this.getNode(),
+          typePrefixNode = node;  ///
+
+    return typePrefixNode;
+  }
+
   compareTypePrefixName(typePrefixName) {
     const comparesToTypePrefixName = (this.name === typePrefixName);
 

package/src/element/variable.js

@@ -30,6 +30,13 @@ export default define(class Variable extends Element {
     this.type = type;
   }
 
+  getVariableNode() {
+    const node = this.getNode(),
+          variableNode = node;  //
+
+    return variableNode;
+  }
+
   getTypeString() { return this.type.getString(); }
 
   isIdentifierEqualTo(identifier) {
@@ -162,10 +169,6 @@ export default define(class Variable extends Element {
               termSubstitutionValidates = termSubstitution.validate(generalContext, specificContext);
 
         if (termSubstitutionValidates) {
-          substitution = termSubstitution;  ///
-
-          context.addSubstitution(substitution);
-
           termUnifies = true;
         }
       }

package/src/preamble.js

@@ -38,7 +38,6 @@ import Metatheorem from "./element/topLevelMetaAssertion/metatheorem";
 import Equivalence from "./element/equivalence";
 import Equivalences from "./element/equivalences";
 import Metavariable from "./element/metavariable";
-import Substitutions from "./element/substitutions";
 import ProcedureCall from "./element/procedureCall";
 import SubDerivation from "./element/subDerivation";
 import TypeAssertion from "./element/assertion/type";

package/src/process/assign.js

@@ -2,9 +2,7 @@
 
 export function variableAssignmentFromVariable(variable) {
   return function (context) {
-    const nested = false;
-
-    context.addVariable(variable, nested);
+    context.addVariable(variable);
 
     const variableTypeString = variable.getTypeString(),
           variableString = variable.getString(),

package/src/utilities/element.js

@@ -621,7 +621,7 @@ export function variableDeclarationFromVariableDeclarationNode(variableDeclarati
         variableNode = variableDeclarationNode.getVariableNode(),
         type = typeFromTypeNode(typeNode, context),
         variable = variableFromVariableNode(variableNode, context),
-        variableDeclaration = new VariableDeclaration(context, string, node, variable, type, provisional);
+        variableDeclaration = new VariableDeclaration(context, string, node, type, variable, provisional);
 
   return variableDeclaration;
 }
@@ -708,7 +708,7 @@ export function metavariableDeclarationFromMetavariableDeclarationNode(metavaria
         string = context.nodeAsString(node),
         metaType = metaTypeFromMetavariableDeclarationNode(metavariableDeclarationNode, context),
         metavariable = metavariableFromMetavariableDeclarationNode(metavariableDeclarationNode, context),
-        metavariableDeclaration = new MetavariableDeclaration(context, string, node, metavariable, metaType);
+        metavariableDeclaration = new MetavariableDeclaration(context, string, node, metaType, metavariable);
 
   return metavariableDeclaration;
 }

package/src/utilities/substitutions.js

@@ -107,26 +107,22 @@ export function statementFromStatementAndSubstitutions(statement, generalContext
   return statement;
 }
 
-export function metavariablesFromSubstitutions(substitutions, generalContext, specificContext) {
-  const metavariables = [];
+export function metavariableNamesFromSubstitutions(substitutions) {
+  const metavariableNames = [];
 
   substitutions.forEach((substitution) => {
-    const context = generalContext, ///
-          metavariableName = substitution.getMetavariableName(),
-          metavariable = context.findMetavariableByMetavariableName(metavariableName);
+    const metavariableName = substitution.getMetavariableName();
 
-    if (metavariable !== null) {
-      metavariables.push(metavariable);
+    if (metavariableName !== null) {
+      metavariableNames.push(metavariableName);
     }
   });
 
-  compress(metavariables, (metavariableA, metavariableB) => {
-    const metavariableComparesToMetavariableB = metavariableB.compare(metavariableA);
-
-    if (!metavariableComparesToMetavariableB) {
+  compress(metavariableNames, (metavariableNameA, metavariableNameB) => {
+    if (metavariableNameA !== metavariableNameB) {
       return true;
     }
   });
 
-  return metavariables;
+  return metavariableNames;
 }

package/src/utilities/unification.js

@@ -144,9 +144,7 @@ async function unifyStatementWithTopLevelAssertion(statement, reference, satisfi
   let statementUnifiesWithTopLevelAssertion = false;
 
   if (reference !== null) {
-    const { Substitutions } = elements,
-          topLevelAssertion = context.findTopLevelAssertionByReference(reference),
-          generalSubstitutions = substitutions; ///
+    const topLevelAssertion = context.findTopLevelAssertionByReference(reference);
 
     if (topLevelAssertion !== null) {
       const statementString = statement.getString(),
@@ -155,7 +153,7 @@ async function unifyStatementWithTopLevelAssertion(statement, reference, satisfi
       context.trace(`Unifying the '${statementString}' statement with the '${topLevelAssertionString}' top level assertion...`);
 
       const subproofOrProofAssertions = context.getSubproofOrProofAssertions(),
-            statementAndSubproofOrProofAssertionsUnify = topLevelAssertion.unifyStatementAndSubproofOrProofAssertions(statement, subproofOrProofAssertions, context);
+            statementAndSubproofOrProofAssertionsUnify = await topLevelAssertion.unifyStatementAndSubproofOrProofAssertions(statement, subproofOrProofAssertions, context);
 
       if (statementAndSubproofOrProofAssertionsUnify) {
         const metavariable = reference.getMetavariable();

package/lib/element/substitutions.js

@@ -1,225 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _occamlanguages = require("occam-languages");
-var _necessary = require("necessary");
-var _elements = require("../elements");
-var _constants = require("../constants");
-var _string = require("../utilities/string");
-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 _construct(Parent, args, Class) {
-    if (_is_native_reflect_construct()) {
-        _construct = Reflect.construct;
-    } else {
-        _construct = function construct(Parent, args, Class) {
-            var a = [
-                null
-            ];
-            a.push.apply(a, args);
-            var Constructor = Function.bind.apply(Parent, a);
-            var instance = new Constructor();
-            if (Class) _set_prototype_of(instance, Class.prototype);
-            return instance;
-        };
-    }
-    return _construct.apply(null, arguments);
-}
-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 _define_property(obj, key, value) {
-    if (key in obj) {
-        Object.defineProperty(obj, key, {
-            value: value,
-            enumerable: true,
-            configurable: true,
-            writable: true
-        });
-    } else {
-        obj[key] = value;
-    }
-    return obj;
-}
-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 _is_native_function(fn) {
-    return Function.toString.call(fn).indexOf("[native code]") !== -1;
-}
-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 _wrap_native_super(Class) {
-    var _cache = typeof Map === "function" ? new Map() : undefined;
-    _wrap_native_super = function wrapNativeSuper(Class) {
-        if (Class === null || !_is_native_function(Class)) return Class;
-        if (typeof Class !== "function") {
-            throw new TypeError("Super expression must either be null or a function");
-        }
-        if (typeof _cache !== "undefined") {
-            if (_cache.has(Class)) return _cache.get(Class);
-            _cache.set(Class, Wrapper);
-        }
-        function Wrapper() {
-            return _construct(Class, arguments, _get_prototype_of(this).constructor);
-        }
-        Wrapper.prototype = Object.create(Class.prototype, {
-            constructor: {
-                value: Wrapper,
-                enumerable: false,
-                writable: true,
-                configurable: true
-            }
-        });
-        return _set_prototype_of(Wrapper, Class);
-    };
-    return _wrap_native_super(Class);
-}
-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 _Substitutions;
-var first = _necessary.arrayUtilities.first, extract = _necessary.arrayUtilities.extract, correlate = _necessary.arrayUtilities.correlate;
-var _default = (0, _elements.define)((_Substitutions = /*#__PURE__*/ function(Element) {
-    _inherits(Substitutions, Element);
-    function Substitutions() {
-        _class_call_check(this, Substitutions);
-        return _call_super(this, Substitutions, arguments);
-    }
-    _create_class(Substitutions, [
-        {
-            key: "getNonTrivialLength",
-            value: function getNonTrivialLength() {
-                var nonTrivialLength = this.reduceSubstitution(function(nonTrivialLength, substitution) {
-                    var substitutionTrivial = substitution.isTrivial();
-                    if (!substitutionTrivial) {
-                        nonTrivialLength += 1;
-                    }
-                    return nonTrivialLength;
-                }, 0);
-                return nonTrivialLength;
-            }
-        },
-        {
-            key: "getFirstSubstitution",
-            value: function getFirstSubstitution() {
-                var firstSubstitution = null;
-                var length = this.getLength();
-                if (length > 0) {
-                    firstSubstitution = first(this.array);
-                }
-                return firstSubstitution;
-            }
-        },
-        {
-            key: "extractSubstitution",
-            value: function extractSubstitution(callbcak) {
-                return extract(this.array, callbcak);
-            }
-        },
-        {
-            key: "correlateSubstitutions",
-            value: function correlateSubstitutions(substitutions) {
-                var array = substitutions.getArray(), arrayA = array, arrayB = this.array, correlates = correlate(arrayA, arrayB, function(substitutionA, substitutionB) {
-                    var substitutionAIsEQualToSubstitutionB = substitutionA.isEqualTo(substitutionB);
-                    if (substitutionAIsEQualToSubstitutionB) {
-                        return true;
-                    }
-                });
-                return correlates;
-            }
-        },
-        {
-            key: "asString",
-            value: function asString() {
-                var string;
-                var length = this.getLength();
-                if (length === 0) {
-                    string = _constants.EMPTY_STRING;
-                } else {
-                    var substitutions = this.array, substitutionsString = (0, _string.substitutionsStringFromSubstitutions)(substitutions);
-                    string = substitutionsString; ///
-                }
-                return string;
-            }
-        }
-    ], [
-        {
-            key: "fromNothing",
-            value: function fromNothing(context) {
-                var node = null, string = _constants.EMPTY_STRING, array = [], savedArray = [], substitutions = new Substitutions(context, string, node, array, savedArray);
-                return substitutions;
-            }
-        }
-    ]);
-    return Substitutions;
-}(_wrap_native_super(_occamlanguages.Element)), _define_property(_Substitutions, "name", "Substitutions"), _Substitutions));
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbGVtZW50L3N1YnN0aXR1dGlvbnMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IEVsZW1lbnQgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuaW1wb3J0IHsgZGVmaW5lIH0gZnJvbSBcIi4uL2VsZW1lbnRzXCI7XG5pbXBvcnQgeyBFTVBUWV9TVFJJTkcgfSBmcm9tIFwiLi4vY29uc3RhbnRzXCI7XG5pbXBvcnQgeyBzdWJzdGl0dXRpb25zU3RyaW5nRnJvbVN1YnN0aXR1dGlvbnMgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3N0cmluZ1wiO1xuXG5jb25zdCB7IGZpcnN0LCBleHRyYWN0LCBjb3JyZWxhdGUgfSA9IGFycmF5VXRpbGl0aWVzO1xuXG5leHBvcnQgZGVmYXVsdCBkZWZpbmUoY2xhc3MgU3Vic3RpdHV0aW9ucyBleHRlbmRzIEVsZW1lbnQge1xuICBnZXROb25Ucml2aWFsTGVuZ3RoKCkge1xuICAgIGNvbnN0IG5vblRyaXZpYWxMZW5ndGggPSB0aGlzLnJlZHVjZVN1YnN0aXR1dGlvbigobm9uVHJpdmlhbExlbmd0aCwgc3Vic3RpdHV0aW9uKSA9PiB7XG4gICAgICBjb25zdCBzdWJzdGl0dXRpb25Ucml2aWFsID0gc3Vic3RpdHV0aW9uLmlzVHJpdmlhbCgpO1xuXG4gICAgICBpZiAoIXN1YnN0aXR1dGlvblRyaXZpYWwpIHtcbiAgICAgICAgbm9uVHJpdmlhbExlbmd0aCArPSAxO1xuICAgICAgfVxuXG4gICAgICByZXR1cm4gbm9uVHJpdmlhbExlbmd0aDtcbiAgICB9LCAwKTtcblxuICAgIHJldHVybiBub25Ucml2aWFsTGVuZ3RoO1xuICB9XG5cbiAgZ2V0Rmlyc3RTdWJzdGl0dXRpb24oKSB7XG4gICAgbGV0IGZpcnN0U3Vic3RpdHV0aW9uID0gbnVsbDtcblxuICAgIGNvbnN0IGxlbmd0aCA9IHRoaXMuZ2V0TGVuZ3RoKCk7XG5cbiAgICBpZiAobGVuZ3RoID4gMCkge1xuICAgICAgZmlyc3RTdWJzdGl0dXRpb24gPSBmaXJzdCh0aGlzLmFycmF5KTtcbiAgICB9XG5cbiAgICByZXR1cm4gZmlyc3RTdWJzdGl0dXRpb247XG4gIH1cblxuICBleHRyYWN0U3Vic3RpdHV0aW9uKGNhbGxiY2FrKSB7IHJldHVybiBleHRyYWN0KHRoaXMuYXJyYXksIGNhbGxiY2FrKTsgfVxuXG4gIGNvcnJlbGF0ZVN1YnN0aXR1dGlvbnMoc3Vic3RpdHV0aW9ucykge1xuICAgIGNvbnN0IGFycmF5ID0gc3Vic3RpdHV0aW9ucy5nZXRBcnJheSgpLFxuICAgICAgICAgIGFycmF5QSA9IGFycmF5LCAvLy9cbiAgICAgICAgICBhcnJheUIgPSB0aGlzLmFycmF5LCAgLy8vXG4gICAgICAgICAgY29ycmVsYXRlcyA9IGNvcnJlbGF0ZShhcnJheUEsIGFycmF5QiwgKHN1YnN0aXR1dGlvbkEsIHN1YnN0aXR1dGlvbkIpID0+IHtcbiAgICAgICAgICAgIGNvbnN0IHN1YnN0aXR1dGlvbkFJc0VRdWFsVG9TdWJzdGl0dXRpb25CID0gc3Vic3RpdHV0aW9uQS5pc0VxdWFsVG8oc3Vic3RpdHV0aW9uQik7XG5cbiAgICAgICAgICAgIGlmIChzdWJzdGl0dXRpb25BSXNFUXVhbFRvU3Vic3RpdHV0aW9uQikge1xuICAgICAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgICAgIH1cbiAgICAgICAgICB9KTtcblxuICAgIHJldHVybiBjb3JyZWxhdGVzO1xuICB9XG5cbiAgYXNTdHJpbmcoKSB7XG4gICAgbGV0IHN0cmluZztcblxuICAgIGNvbnN0IGxlbmd0aCA9IHRoaXMuZ2V0TGVuZ3RoKCk7XG5cbiAgICBpZiAobGVuZ3RoID09PSAwKSB7XG4gICAgICBzdHJpbmcgPSBFTVBUWV9TVFJJTkc7XG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IHN1YnN0aXR1dGlvbnMgPSB0aGlzLmFycmF5LCAvLy9cbiAgICAgICAgICAgIHN1YnN0aXR1dGlvbnNTdHJpbmcgPSBzdWJzdGl0dXRpb25zU3RyaW5nRnJvbVN1YnN0aXR1dGlvbnMoc3Vic3RpdHV0aW9ucyk7XG5cbiAgICAgIHN0cmluZyA9IHN1YnN0aXR1dGlvbnNTdHJpbmc7IC8vL1xuICAgIH1cblxuICAgIHJldHVybiBzdHJpbmc7XG4gIH1cblxuICBzdGF0aWMgbmFtZSA9IFwiU3Vic3RpdHV0aW9uc1wiO1xuXG4gIHN0YXRpYyBmcm9tTm90aGluZyhjb250ZXh0KSB7XG4gICAgY29uc3Qgbm9kZSA9IG51bGwsXG4gICAgICAgICAgc3RyaW5nID0gRU1QVFlfU1RSSU5HLFxuICAgICAgICAgIGFycmF5ID0gW10sXG4gICAgICAgICAgc2F2ZWRBcnJheSA9IFtdLFxuICAgICAgICAgIHN1YnN0aXR1dGlvbnMgPSBuZXcgU3Vic3RpdHV0aW9ucyhjb250ZXh0LCBzdHJpbmcsIG5vZGUsIGFycmF5LCBzYXZlZEFycmF5KTtcblxuICAgIHJldHVybiBzdWJzdGl0dXRpb25zO1xuICB9XG59KTtcbiJdLCJuYW1lcyI6WyJmaXJzdCIsImFycmF5VXRpbGl0aWVzIiwiZXh0cmFjdCIsImNvcnJlbGF0ZSIsImRlZmluZSIsIlN1YnN0aXR1dGlvbnMiLCJnZXROb25Ucml2aWFsTGVuZ3RoIiwibm9uVHJpdmlhbExlbmd0aCIsInJlZHVjZVN1YnN0aXR1dGlvbiIsInN1YnN0aXR1dGlvbiIsInN1YnN0aXR1dGlvblRyaXZpYWwiLCJpc1RyaXZpYWwiLCJnZXRGaXJzdFN1YnN0aXR1dGlvbiIsImZpcnN0U3Vic3RpdHV0aW9uIiwibGVuZ3RoIiwiZ2V0TGVuZ3RoIiwiYXJyYXkiLCJleHRyYWN0U3Vic3RpdHV0aW9uIiwiY2FsbGJjYWsiLCJjb3JyZWxhdGVTdWJzdGl0dXRpb25zIiwic3Vic3RpdHV0aW9ucyIsImdldEFycmF5IiwiYXJyYXlBIiwiYXJyYXlCIiwiY29ycmVsYXRlcyIsInN1YnN0aXR1dGlvbkEiLCJzdWJzdGl0dXRpb25CIiwic3Vic3RpdHV0aW9uQUlzRVF1YWxUb1N1YnN0aXR1dGlvbkIiLCJpc0VxdWFsVG8iLCJhc1N0cmluZyIsInN0cmluZyIsIkVNUFRZX1NUUklORyIsInN1YnN0aXR1dGlvbnNTdHJpbmciLCJzdWJzdGl0dXRpb25zU3RyaW5nRnJvbVN1YnN0aXR1dGlvbnMiLCJmcm9tTm90aGluZyIsImNvbnRleHQiLCJub2RlIiwic2F2ZWRBcnJheSIsIkVsZW1lbnQiLCJuYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFXQTs7O2VBQUE7Ozs4QkFUd0I7eUJBQ087d0JBRVI7eUJBQ007c0JBQ3dCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVyRCxJQUFRQSxRQUE4QkMseUJBQWMsQ0FBNUNELE9BQU9FLFVBQXVCRCx5QkFBYyxDQUFyQ0MsU0FBU0MsWUFBY0YseUJBQWMsQ0FBNUJFO0lBRXhCLFdBQWVDLElBQUFBLGdCQUFNLGtDQUFDOzthQUFNQztnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7OztZQUMxQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLG1CQUFtQixJQUFJLENBQUNDLGtCQUFrQixDQUFDLFNBQUNELGtCQUFrQkU7b0JBQ2xFLElBQU1DLHNCQUFzQkQsYUFBYUUsU0FBUztvQkFFbEQsSUFBSSxDQUFDRCxxQkFBcUI7d0JBQ3hCSCxvQkFBb0I7b0JBQ3RCO29CQUVBLE9BQU9BO2dCQUNULEdBQUc7Z0JBRUgsT0FBT0E7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQyxvQkFBb0I7Z0JBRXhCLElBQU1DLFNBQVMsSUFBSSxDQUFDQyxTQUFTO2dCQUU3QixJQUFJRCxTQUFTLEdBQUc7b0JBQ2RELG9CQUFvQmIsTUFBTSxJQUFJLENBQUNnQixLQUFLO2dCQUN0QztnQkFFQSxPQUFPSDtZQUNUOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBLG9CQUFvQkMsUUFBUTtnQkFBSSxPQUFPaEIsUUFBUSxJQUFJLENBQUNjLEtBQUssRUFBRUU7WUFBVzs7O1lBRXRFQyxLQUFBQTttQkFBQUEsU0FBQUEsdUJBQXVCQyxhQUFhO2dCQUNsQyxJQUFNSixRQUFRSSxjQUFjQyxRQUFRLElBQzlCQyxTQUFTTixPQUNUTyxTQUFTLElBQUksQ0FBQ1AsS0FBSyxFQUNuQlEsYUFBYXJCLFVBQVVtQixRQUFRQyxRQUFRLFNBQUNFLGVBQWVDO29CQUNyRCxJQUFNQyxzQ0FBc0NGLGNBQWNHLFNBQVMsQ0FBQ0Y7b0JBRXBFLElBQUlDLHFDQUFxQzt3QkFDdkMsT0FBTztvQkFDVDtnQkFDRjtnQkFFTixPQUFPSDtZQUNUOzs7WUFFQUssS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQUlDO2dCQUVKLElBQU1oQixTQUFTLElBQUksQ0FBQ0MsU0FBUztnQkFFN0IsSUFBSUQsV0FBVyxHQUFHO29CQUNoQmdCLFNBQVNDLHVCQUFZO2dCQUN2QixPQUFPO29CQUNMLElBQU1YLGdCQUFnQixJQUFJLENBQUNKLEtBQUssRUFDMUJnQixzQkFBc0JDLElBQUFBLDRDQUFvQyxFQUFDYjtvQkFFakVVLFNBQVNFLHFCQUFxQixHQUFHO2dCQUNuQztnQkFFQSxPQUFPRjtZQUNUOzs7O1lBSU9JLEtBQUFBO21CQUFQLFNBQU9BLFlBQVlDLE9BQU87Z0JBQ3hCLElBQU1DLE9BQU8sTUFDUE4sU0FBU0MsdUJBQVksRUFDckJmLFFBQVEsRUFBRSxFQUNWcUIsYUFBYSxFQUFFLEVBQ2ZqQixnQkFBZ0IsSUFBSWYsY0FBYzhCLFNBQVNMLFFBQVFNLE1BQU1wQixPQUFPcUI7Z0JBRXRFLE9BQU9qQjtZQUNUOzs7O3FCQXZFZ0RrQix1QkFBTyxJQTZEdkQsaUNBQU9DLFFBQU8ifQ==