occam-verify-cli 1.0.437 → 1.0.438

package/src/utilities/statement.js

@@ -1,75 +1,74 @@
 "use strict";
 
-import elements from "../elements";
+import { equalityFromStatementNode,
+         judgementFromStatementNode,
+         metavariableFromStatementNode,
+         typeAssertionFromStatementNode,
+         dDefinedAssertionFromStatementNode,
+         propertyAssertionFromStatementNode,
+         subproofAssertionFromStatementNode,
+         containedAssertionFromStatementNode,
+         satisfiesAssertionFromStatementNode } from "../utilities/element";
 
 export function equalityFromStatement(statement, context) {
-  const { Equality } = elements,
-        statementNode = statement.getNode(),
-        equality = Equality.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        equality = equalityFromStatementNode(statementNode, context);
 
   return equality;
 }
 
 export function judgementFromStatement(statement, context) {
-  const { Judgement } = elements,
-        statementNode = statement.getNode(),
-        judgement = Judgement.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        judgement = judgementFromStatementNode(statementNode, context);
 
   return judgement;
 }
 
 export function metavariableFromStatement(statement, context) {
-  const { Metavariable } = elements,
-        statementNode = statement.getNode(),
-        metavariable = Metavariable.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        metavariable = metavariableFromStatementNode(statementNode, context);
 
   return metavariable;
 }
 
 export function typeAssertionFromStatement(statement, context) {
-  const { TypeAssertion } = elements,
-        statementNode = statement.getNode(),
-        typeAssertion = TypeAssertion.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        typeAssertion = typeAssertionFromStatementNode(statementNode, context);
 
   return typeAssertion;
 }
 
 export function definedAssertionFromStatement(statement, context) {
-  const { DefinedAssertion } = elements,
-        statementNode = statement.getNode(),
-        definedAssertion = DefinedAssertion.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        definedAssertion = dDefinedAssertionFromStatementNode(statementNode, context);
 
   return definedAssertion;
 }
 
 export function propertyAssertionFromStatement(statement, context) {
-  const { PropertyAssertion } = elements,
-        statementNode = statement.getNode(),
-        propertyAssertion = PropertyAssertion.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        propertyAssertion = propertyAssertionFromStatementNode(statementNode, context);
 
   return propertyAssertion;
 }
 
 export function subproofAssertionFromStatement(statement, context) {
-  const { SubproofAssertion } = elements,
-        statementNode = statement.getNode(),
-        subproofAssertion = SubproofAssertion.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        subproofAssertion = subproofAssertionFromStatementNode(statementNode, context);
 
   return subproofAssertion;
 }
 
 export function containedAssertionFromStatement(statement, context) {
-  const { ContainedAssertion } = elements,
-        statementNode = statement.getNode(),
-        containedAssertion = ContainedAssertion.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        containedAssertion = containedAssertionFromStatementNode(statementNode, context);
 
   return containedAssertion;
 }
 
 export function satisfiesAssertionFromStatement(statement, context) {
-  const { SatisfiesAssertion } = elements,
-        statementNode = statement.getNode(),
-        satisfiesAssertion = SatisfiesAssertion.fromStatementNode(statementNode, context);
+  const statementNode = statement.getNode(),
+        satisfiesAssertion = satisfiesAssertionFromStatementNode(statementNode, context);
 
   return satisfiesAssertion;
 }

package/lib/mixins/statement/verify.js

@@ -1,198 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _elements = /*#__PURE__*/ _interop_require_default(require("../../elements"));
-var _statement = require("../../utilities/statement");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function verifyAsMetavariableAndSubstitution(statement, assignments, stated, context) {
-    var verifiesAsMetavariableAndSubstitution = false;
-    var metavariable = (0, _statement.metavariableFromStatement)(statement, context);
-    if (metavariable !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as a metavariable and substitution..."));
-        var metavariableVerifies = metavariable.verify(context);
-        if (metavariableVerifies) {
-            var TermSubstitution = _elements.default.TermSubstitution, FrameSubstitution = _elements.default.FrameSubstitution, frameSubstitution = FrameSubstitution.fromStatement(statement, context), termSubstitution = TermSubstitution.fromStatement(statement, context), substitution = termSubstitution || frameSubstitution;
-            if (substitution !== null) {
-                var substitutionVerifies = substitution.verify(context);
-                if (substitutionVerifies) {
-                    verifiesAsMetavariableAndSubstitution = true;
-                }
-            } else {
-                verifiesAsMetavariableAndSubstitution = true;
-            }
-        }
-        if (verifiesAsMetavariableAndSubstitution) {
-            context.debug("...verified the '".concat(statementString, "' statement as a metavariable and substitution."));
-        }
-    }
-    return verifiesAsMetavariableAndSubstitution;
-}
-function unifyWithBracketedCombinator(statement, assignments, stated, context) {
-    stated = true; ///
-    assignments = null; ///
-    var BracketedCombinator = _elements.default.BracketedCombinator, bracketedCombinator = BracketedCombinator.fromNothing(), unifiesWithBracketedCombinator = bracketedCombinator.unifyStatement(statement, assignments, stated, context);
-    return unifiesWithBracketedCombinator;
-}
-function unifyWithCombinators(statement, assignments, stated, context) {
-    stated = true; ///
-    assignments = null; ///
-    var combinators = context.getCombinators(), unifiesWithCombinators = combinators.some(function(combinator) {
-        var unifiesWithCombinator = combinator.unifyStatement(statement, assignments, stated, context);
-        if (unifiesWithCombinator) {
-            return true;
-        }
-    });
-    return unifiesWithCombinators;
-}
-function verifyAsEquality(statement, assignments, stated, context) {
-    var verifiesAsEquality = false;
-    var equality = (0, _statement.equalityFromStatement)(statement, context);
-    if (equality !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as an equality..."));
-        var equalityVerifies = equality.verify(assignments, stated, context);
-        verifiesAsEquality = equalityVerifies; ///
-        if (verifiesAsEquality) {
-            context.debug("...verified the '".concat(statementString, "' statement as an equality."));
-        }
-    }
-    return verifiesAsEquality;
-}
-function verifyAsJudgement(statement, assignments, stated, context) {
-    var verifiesAsJudgement = false;
-    var judgement = (0, _statement.judgementFromStatement)(statement, context);
-    if (judgement !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as a judgement..."));
-        var judgementVerifies = judgement.verify(assignments, stated, context);
-        verifiesAsJudgement = judgementVerifies; ///
-        if (verifiesAsJudgement) {
-            context.debug("...verified the '".concat(statementString, "' statement as a judgement."));
-        }
-    }
-    return verifiesAsJudgement;
-}
-function verifyAsTypeAssertion(statement, assignments, stated, context) {
-    var verifiesAsTypeAssertion = false;
-    var typeAssertion = (0, _statement.typeAssertionFromStatement)(statement, context);
-    if (typeAssertion !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as a type assertion..."));
-        var typeAssertionVerifies = typeAssertion.verify(assignments, stated, context);
-        verifiesAsTypeAssertion = typeAssertionVerifies; ///
-        if (verifiesAsTypeAssertion) {
-            var assertion = typeAssertion; ///
-            context.addAssertion(assertion);
-            context.debug("...verified the '".concat(statementString, "' statement as a type assertion."));
-        }
-    }
-    return verifiesAsTypeAssertion;
-}
-function verifyAsDefinedAssertion(statement, assignments, stated, context) {
-    var verifiesAsDefinedAssertion = false;
-    var definedAssertion = (0, _statement.definedAssertionFromStatement)(statement, context);
-    if (definedAssertion !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as a defined assertion..."));
-        var definedAssertionVerifies = definedAssertion.verify(assignments, stated, context);
-        verifiesAsDefinedAssertion = definedAssertionVerifies; ///
-        if (verifiesAsDefinedAssertion) {
-            var assertion = definedAssertion; ///
-            context.addAssertion(assertion);
-            context.debug("...verified the '".concat(statementString, "' statement as a defined assertion."));
-        }
-    }
-    return verifiesAsDefinedAssertion;
-}
-function verifyAsPropertyAssertion(statement, assignments, stated, context) {
-    var verifiesAsPropertyAssertion = false;
-    var propertyAssertion = (0, _statement.propertyAssertionFromStatement)(statement, context);
-    if (propertyAssertion !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as a property assertion..."));
-        var propertyAssertionVerifies = propertyAssertion.verify(assignments, stated, context);
-        verifiesAsPropertyAssertion = propertyAssertionVerifies; ///
-        if (verifiesAsPropertyAssertion) {
-            var assertion = propertyAssertion; ///
-            context.addAssertion(assertion);
-            context.debug("...verified the '".concat(statementString, "' statement as a property assertion."));
-        }
-    }
-    return verifiesAsPropertyAssertion;
-}
-function verifyAsSubproofAssertion(statement, assignments, stated, context) {
-    var verifiesAsSubproofAssertion = false;
-    var subproofAssertion = (0, _statement.subproofAssertionFromStatement)(statement, context);
-    if (subproofAssertion !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as a subproof assertion..."));
-        var subproofAssertionVerifies = subproofAssertion.verify(assignments, stated, context);
-        verifiesAsSubproofAssertion = subproofAssertionVerifies; ///
-        if (verifiesAsSubproofAssertion) {
-            var assertion = subproofAssertion; ///
-            context.addAssertion(assertion);
-            context.debug("...verified the '".concat(statementString, "' statement as a subproof assertion."));
-        }
-    }
-    return verifiesAsSubproofAssertion;
-}
-function verifyAsContainedAssertion(statement, assignments, stated, context) {
-    var verifiesAsContainedAssertion = false;
-    var containedAssertion = (0, _statement.containedAssertionFromStatement)(statement, context);
-    if (containedAssertion !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as a contained assertion..."));
-        var containedAssertionVerifies = containedAssertion.verify(assignments, stated, context);
-        verifiesAsContainedAssertion = containedAssertionVerifies; ///
-        if (verifiesAsContainedAssertion) {
-            var assertion = containedAssertion; ///
-            context.addAssertion(assertion);
-            context.debug("...verified the '".concat(statementString, "' statement as a contained assertion."));
-        }
-    }
-    return verifiesAsContainedAssertion;
-}
-function verifyAsSatisfiesAssertion(statement, assignments, stated, context) {
-    var verifiesAsSatisfiesAssertion = false;
-    var satisfiesAssertion = (0, _statement.satisfiesAssertionFromStatement)(statement, context);
-    if (satisfiesAssertion !== null) {
-        var statementString = statement.getString();
-        context.trace("Verifying the '".concat(statementString, "' statement as a satisfies assertion..."));
-        var satisfiesAssertionVerifies = satisfiesAssertion.verify(assignments, stated, context);
-        verifiesAsSatisfiesAssertion = satisfiesAssertionVerifies; ///
-        if (verifiesAsSatisfiesAssertion) {
-            var assertion = satisfiesAssertion; ///
-            context.addAssertion(assertion);
-            context.debug("...verified the '".concat(statementString, "' statement as a satisfies assertion."));
-        }
-    }
-    return verifiesAsSatisfiesAssertion;
-}
-var verifyMixins = [
-    verifyAsMetavariableAndSubstitution,
-    unifyWithBracketedCombinator,
-    unifyWithCombinators,
-    verifyAsEquality,
-    verifyAsJudgement,
-    verifyAsTypeAssertion,
-    verifyAsDefinedAssertion,
-    verifyAsPropertyAssertion,
-    verifyAsSubproofAssertion,
-    verifyAsContainedAssertion,
-    verifyAsSatisfiesAssertion
-];
-var _default = verifyMixins;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9taXhpbnMvc3RhdGVtZW50L3ZlcmlmeS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGVsZW1lbnRzIGZyb20gXCIuLi8uLi9lbGVtZW50c1wiO1xuXG5pbXBvcnQgeyBlcXVhbGl0eUZyb21TdGF0ZW1lbnQsXG4gICAgICAgICBqdWRnZW1lbnRGcm9tU3RhdGVtZW50LFxuICAgICAgICAgbWV0YXZhcmlhYmxlRnJvbVN0YXRlbWVudCxcbiAgICAgICAgIHR5cGVBc3NlcnRpb25Gcm9tU3RhdGVtZW50LFxuICAgICAgICAgZGVmaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQsXG4gICAgICAgICBwcm9wZXJ0eUFzc2VydGlvbkZyb21TdGF0ZW1lbnQsXG4gICAgICAgICBzdWJwcm9vZkFzc2VydGlvbkZyb21TdGF0ZW1lbnQsXG4gICAgICAgICBjb250YWluZWRBc3NlcnRpb25Gcm9tU3RhdGVtZW50LFxuICAgICAgICAgc2F0aXNmaWVzQXNzZXJ0aW9uRnJvbVN0YXRlbWVudCB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvc3RhdGVtZW50XCI7XG5cbmZ1bmN0aW9uIHZlcmlmeUFzTWV0YXZhcmlhYmxlQW5kU3Vic3RpdHV0aW9uKHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICBsZXQgdmVyaWZpZXNBc01ldGF2YXJpYWJsZUFuZFN1YnN0aXR1dGlvbiA9IGZhbHNlO1xuXG4gIGNvbnN0IG1ldGF2YXJpYWJsZSA9IG1ldGF2YXJpYWJsZUZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICBpZiAobWV0YXZhcmlhYmxlICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSBtZXRhdmFyaWFibGUgYW5kIHN1YnN0aXR1dGlvbi4uLmApO1xuXG4gICAgY29uc3QgbWV0YXZhcmlhYmxlVmVyaWZpZXMgPSBtZXRhdmFyaWFibGUudmVyaWZ5KGNvbnRleHQpO1xuXG4gICAgaWYgKG1ldGF2YXJpYWJsZVZlcmlmaWVzKSB7XG4gICAgICBjb25zdCB7IFRlcm1TdWJzdGl0dXRpb24sIEZyYW1lU3Vic3RpdHV0aW9uIH0gPSBlbGVtZW50cyxcbiAgICAgICAgICAgIGZyYW1lU3Vic3RpdHV0aW9uID0gRnJhbWVTdWJzdGl0dXRpb24uZnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpLFxuICAgICAgICAgICAgdGVybVN1YnN0aXR1dGlvbiA9IFRlcm1TdWJzdGl0dXRpb24uZnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpLFxuICAgICAgICAgICAgc3Vic3RpdHV0aW9uID0gKHRlcm1TdWJzdGl0dXRpb24gfHwgZnJhbWVTdWJzdGl0dXRpb24pO1xuXG4gICAgICBpZiAoc3Vic3RpdHV0aW9uICE9PSBudWxsKSB7XG4gICAgICAgIGNvbnN0IHN1YnN0aXR1dGlvblZlcmlmaWVzID0gc3Vic3RpdHV0aW9uLnZlcmlmeShjb250ZXh0KTtcblxuICAgICAgICBpZiAoc3Vic3RpdHV0aW9uVmVyaWZpZXMpIHtcbiAgICAgICAgICB2ZXJpZmllc0FzTWV0YXZhcmlhYmxlQW5kU3Vic3RpdHV0aW9uID0gdHJ1ZTtcbiAgICAgICAgfVxuICAgICAgfSBlbHNlIHtcbiAgICAgICAgdmVyaWZpZXNBc01ldGF2YXJpYWJsZUFuZFN1YnN0aXR1dGlvbiA9IHRydWU7XG4gICAgICB9XG4gICAgfVxuXG4gICAgaWYgKHZlcmlmaWVzQXNNZXRhdmFyaWFibGVBbmRTdWJzdGl0dXRpb24pIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSBtZXRhdmFyaWFibGUgYW5kIHN1YnN0aXR1dGlvbi5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmVyaWZpZXNBc01ldGF2YXJpYWJsZUFuZFN1YnN0aXR1dGlvbjtcbn1cblxuZnVuY3Rpb24gdW5pZnlXaXRoQnJhY2tldGVkQ29tYmluYXRvcihzdGF0ZW1lbnQsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgc3RhdGVkID0gdHJ1ZTsgIC8vL1xuXG4gIGFzc2lnbm1lbnRzID0gbnVsbDsgLy8vXG5cbiAgY29uc3QgeyBCcmFja2V0ZWRDb21iaW5hdG9yIH0gPSBlbGVtZW50cyxcbiAgICAgICAgYnJhY2tldGVkQ29tYmluYXRvciA9IEJyYWNrZXRlZENvbWJpbmF0b3IuZnJvbU5vdGhpbmcoKSxcbiAgICAgICAgdW5pZmllc1dpdGhCcmFja2V0ZWRDb21iaW5hdG9yID0gYnJhY2tldGVkQ29tYmluYXRvci51bmlmeVN0YXRlbWVudChzdGF0ZW1lbnQsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gIHJldHVybiB1bmlmaWVzV2l0aEJyYWNrZXRlZENvbWJpbmF0b3I7XG59XG5cbmZ1bmN0aW9uIHVuaWZ5V2l0aENvbWJpbmF0b3JzKHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICBzdGF0ZWQgPSB0cnVlOyAgLy8vXG5cbiAgYXNzaWdubWVudHMgPSBudWxsOyAvLy9cblxuICBjb25zdCBjb21iaW5hdG9ycyA9IGNvbnRleHQuZ2V0Q29tYmluYXRvcnMoKSxcbiAgICAgICAgdW5pZmllc1dpdGhDb21iaW5hdG9ycyA9IGNvbWJpbmF0b3JzLnNvbWUoKGNvbWJpbmF0b3IpID0+IHtcbiAgICAgICAgICBjb25zdCB1bmlmaWVzV2l0aENvbWJpbmF0b3IgPSBjb21iaW5hdG9yLnVuaWZ5U3RhdGVtZW50KHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICAgICAgICBpZiAodW5pZmllc1dpdGhDb21iaW5hdG9yKSB7XG4gICAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgICB9XG4gICAgICAgIH0pO1xuXG4gIHJldHVybiB1bmlmaWVzV2l0aENvbWJpbmF0b3JzO1xufVxuXG5mdW5jdGlvbiB2ZXJpZnlBc0VxdWFsaXR5KHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICBsZXQgdmVyaWZpZXNBc0VxdWFsaXR5ID0gZmFsc2U7XG5cbiAgY29uc3QgZXF1YWxpdHkgPSBlcXVhbGl0eUZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICBpZiAoZXF1YWxpdHkgIT09IG51bGwpIHtcbiAgICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhbiBlcXVhbGl0eS4uLmApO1xuXG4gICAgY29uc3QgZXF1YWxpdHlWZXJpZmllcyA9IGVxdWFsaXR5LnZlcmlmeShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KTtcblxuICAgIHZlcmlmaWVzQXNFcXVhbGl0eSA9IGVxdWFsaXR5VmVyaWZpZXM7IC8vL1xuXG4gICAgaWYgKHZlcmlmaWVzQXNFcXVhbGl0eSkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhbiBlcXVhbGl0eS5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmVyaWZpZXNBc0VxdWFsaXR5O1xufVxuXG5mdW5jdGlvbiB2ZXJpZnlBc0p1ZGdlbWVudChzdGF0ZW1lbnQsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgbGV0IHZlcmlmaWVzQXNKdWRnZW1lbnQgPSBmYWxzZTtcblxuICBjb25zdCBqdWRnZW1lbnQgPSBqdWRnZW1lbnRGcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgaWYgKGp1ZGdlbWVudCAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHN0YXRlbWVudFN0cmluZyA9IHN0YXRlbWVudC5nZXRTdHJpbmcoKTtcblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEganVkZ2VtZW50Li4uYCk7XG5cbiAgICBjb25zdCBqdWRnZW1lbnRWZXJpZmllcyA9IGp1ZGdlbWVudC52ZXJpZnkoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICB2ZXJpZmllc0FzSnVkZ2VtZW50ID0ganVkZ2VtZW50VmVyaWZpZXM7ICAvLy9cblxuICAgIGlmICh2ZXJpZmllc0FzSnVkZ2VtZW50KSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEganVkZ2VtZW50LmApO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiB2ZXJpZmllc0FzSnVkZ2VtZW50O1xufVxuXG5mdW5jdGlvbiB2ZXJpZnlBc1R5cGVBc3NlcnRpb24oc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gIGxldCB2ZXJpZmllc0FzVHlwZUFzc2VydGlvbiA9IGZhbHNlO1xuXG4gIGNvbnN0IHR5cGVBc3NlcnRpb24gPSB0eXBlQXNzZXJ0aW9uRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpO1xuXG4gIGlmICh0eXBlQXNzZXJ0aW9uICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSB0eXBlIGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3QgdHlwZUFzc2VydGlvblZlcmlmaWVzID0gdHlwZUFzc2VydGlvbi52ZXJpZnkoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICB2ZXJpZmllc0FzVHlwZUFzc2VydGlvbiA9IHR5cGVBc3NlcnRpb25WZXJpZmllczsgLy8vXG5cbiAgICBpZiAodmVyaWZpZXNBc1R5cGVBc3NlcnRpb24pIHtcbiAgICAgIGNvbnN0IGFzc2VydGlvbiA9IHR5cGVBc3NlcnRpb247ICAvLy9cblxuICAgICAgY29udGV4dC5hZGRBc3NlcnRpb24oYXNzZXJ0aW9uKTtcblxuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhIHR5cGUgYXNzZXJ0aW9uLmApO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiB2ZXJpZmllc0FzVHlwZUFzc2VydGlvbjtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5QXNEZWZpbmVkQXNzZXJ0aW9uKHN0YXRlbWVudCwgYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCkge1xuICBsZXQgdmVyaWZpZXNBc0RlZmluZWRBc3NlcnRpb24gPSBmYWxzZTtcblxuICBjb25zdCBkZWZpbmVkQXNzZXJ0aW9uID0gZGVmaW5lZEFzc2VydGlvbkZyb21TdGF0ZW1lbnQoc3RhdGVtZW50LCBjb250ZXh0KTtcblxuICBpZiAoZGVmaW5lZEFzc2VydGlvbiAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHN0YXRlbWVudFN0cmluZyA9IHN0YXRlbWVudC5nZXRTdHJpbmcoKTtcblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgZGVmaW5lZCBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IGRlZmluZWRBc3NlcnRpb25WZXJpZmllcyA9IGRlZmluZWRBc3NlcnRpb24udmVyaWZ5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgdmVyaWZpZXNBc0RlZmluZWRBc3NlcnRpb24gPSBkZWZpbmVkQXNzZXJ0aW9uVmVyaWZpZXM7IC8vL1xuXG4gICAgaWYgKHZlcmlmaWVzQXNEZWZpbmVkQXNzZXJ0aW9uKSB7XG4gICAgICBjb25zdCBhc3NlcnRpb24gPSBkZWZpbmVkQXNzZXJ0aW9uOyAgLy8vXG5cbiAgICAgIGNvbnRleHQuYWRkQXNzZXJ0aW9uKGFzc2VydGlvbik7XG5cbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSBkZWZpbmVkIGFzc2VydGlvbi5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmVyaWZpZXNBc0RlZmluZWRBc3NlcnRpb247XG59XG5cbmZ1bmN0aW9uIHZlcmlmeUFzUHJvcGVydHlBc3NlcnRpb24oc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gIGxldCB2ZXJpZmllc0FzUHJvcGVydHlBc3NlcnRpb24gPSBmYWxzZTtcblxuICBjb25zdCBwcm9wZXJ0eUFzc2VydGlvbiA9IHByb3BlcnR5QXNzZXJ0aW9uRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpO1xuXG4gIGlmIChwcm9wZXJ0eUFzc2VydGlvbiAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHN0YXRlbWVudFN0cmluZyA9IHN0YXRlbWVudC5nZXRTdHJpbmcoKTtcblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgcHJvcGVydHkgYXNzZXJ0aW9uLi4uYCk7XG5cbiAgICBjb25zdCBwcm9wZXJ0eUFzc2VydGlvblZlcmlmaWVzID0gcHJvcGVydHlBc3NlcnRpb24udmVyaWZ5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgdmVyaWZpZXNBc1Byb3BlcnR5QXNzZXJ0aW9uID0gcHJvcGVydHlBc3NlcnRpb25WZXJpZmllczsgLy8vXG5cbiAgICBpZiAodmVyaWZpZXNBc1Byb3BlcnR5QXNzZXJ0aW9uKSB7XG4gICAgICBjb25zdCBhc3NlcnRpb24gPSBwcm9wZXJ0eUFzc2VydGlvbjsgLy8vXG5cbiAgICAgIGNvbnRleHQuYWRkQXNzZXJ0aW9uKGFzc2VydGlvbik7XG5cbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSBwcm9wZXJ0eSBhc3NlcnRpb24uYCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHZlcmlmaWVzQXNQcm9wZXJ0eUFzc2VydGlvbjtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5QXNTdWJwcm9vZkFzc2VydGlvbihzdGF0ZW1lbnQsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgbGV0IHZlcmlmaWVzQXNTdWJwcm9vZkFzc2VydGlvbiA9IGZhbHNlO1xuXG4gIGNvbnN0IHN1YnByb29mQXNzZXJ0aW9uID0gc3VicHJvb2ZBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgaWYgKHN1YnByb29mQXNzZXJ0aW9uICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHtzdGF0ZW1lbnRTdHJpbmd9JyBzdGF0ZW1lbnQgYXMgYSBzdWJwcm9vZiBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IHN1YnByb29mQXNzZXJ0aW9uVmVyaWZpZXMgPSBzdWJwcm9vZkFzc2VydGlvbi52ZXJpZnkoYXNzaWdubWVudHMsIHN0YXRlZCwgY29udGV4dCk7XG5cbiAgICB2ZXJpZmllc0FzU3VicHJvb2ZBc3NlcnRpb24gPSBzdWJwcm9vZkFzc2VydGlvblZlcmlmaWVzOyAvLy9cblxuICAgIGlmICh2ZXJpZmllc0FzU3VicHJvb2ZBc3NlcnRpb24pIHtcbiAgICAgIGNvbnN0IGFzc2VydGlvbiA9IHN1YnByb29mQXNzZXJ0aW9uOyAvLy9cblxuICAgICAgY29udGV4dC5hZGRBc3NlcnRpb24oYXNzZXJ0aW9uKTtcblxuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhIHN1YnByb29mIGFzc2VydGlvbi5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmVyaWZpZXNBc1N1YnByb29mQXNzZXJ0aW9uO1xufVxuXG5mdW5jdGlvbiB2ZXJpZnlBc0NvbnRhaW5lZEFzc2VydGlvbihzdGF0ZW1lbnQsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgbGV0IHZlcmlmaWVzQXNDb250YWluZWRBc3NlcnRpb24gPSBmYWxzZTtcblxuICBjb25zdCBjb250YWluZWRBc3NlcnRpb24gPSBjb250YWluZWRBc3NlcnRpb25Gcm9tU3RhdGVtZW50KHN0YXRlbWVudCwgY29udGV4dCk7XG5cbiAgaWYgKGNvbnRhaW5lZEFzc2VydGlvbiAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHN0YXRlbWVudFN0cmluZyA9IHN0YXRlbWVudC5nZXRTdHJpbmcoKTtcblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgY29udGFpbmVkIGFzc2VydGlvbi4uLmApO1xuXG4gICAgY29uc3QgY29udGFpbmVkQXNzZXJ0aW9uVmVyaWZpZXMgPSBjb250YWluZWRBc3NlcnRpb24udmVyaWZ5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgdmVyaWZpZXNBc0NvbnRhaW5lZEFzc2VydGlvbiA9IGNvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVzOyAvLy9cblxuICAgIGlmICh2ZXJpZmllc0FzQ29udGFpbmVkQXNzZXJ0aW9uKSB7XG4gICAgICBjb25zdCBhc3NlcnRpb24gPSBjb250YWluZWRBc3NlcnRpb247IC8vL1xuXG4gICAgICBjb250ZXh0LmFkZEFzc2VydGlvbihhc3NlcnRpb24pO1xuXG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7c3RhdGVtZW50U3RyaW5nfScgc3RhdGVtZW50IGFzIGEgY29udGFpbmVkIGFzc2VydGlvbi5gKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gdmVyaWZpZXNBc0NvbnRhaW5lZEFzc2VydGlvbjtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5QXNTYXRpc2ZpZXNBc3NlcnRpb24oc3RhdGVtZW50LCBhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KSB7XG4gIGxldCB2ZXJpZmllc0FzU2F0aXNmaWVzQXNzZXJ0aW9uID0gZmFsc2U7XG5cbiAgY29uc3Qgc2F0aXNmaWVzQXNzZXJ0aW9uID0gc2F0aXNmaWVzQXNzZXJ0aW9uRnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpO1xuXG4gIGlmIChzYXRpc2ZpZXNBc3NlcnRpb24gIT09IG51bGwpIHtcbiAgICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhIHNhdGlzZmllcyBhc3NlcnRpb24uLi5gKTtcblxuICAgIGNvbnN0IHNhdGlzZmllc0Fzc2VydGlvblZlcmlmaWVzID0gc2F0aXNmaWVzQXNzZXJ0aW9uLnZlcmlmeShhc3NpZ25tZW50cywgc3RhdGVkLCBjb250ZXh0KTtcblxuICAgIHZlcmlmaWVzQXNTYXRpc2ZpZXNBc3NlcnRpb24gPSBzYXRpc2ZpZXNBc3NlcnRpb25WZXJpZmllczsgLy8vXG5cbiAgICBpZiAodmVyaWZpZXNBc1NhdGlzZmllc0Fzc2VydGlvbikge1xuICAgICAgY29uc3QgYXNzZXJ0aW9uID0gc2F0aXNmaWVzQXNzZXJ0aW9uOyAvLy9cblxuICAgICAgY29udGV4dC5hZGRBc3NlcnRpb24oYXNzZXJ0aW9uKTtcblxuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3N0YXRlbWVudFN0cmluZ30nIHN0YXRlbWVudCBhcyBhIHNhdGlzZmllcyBhc3NlcnRpb24uYCk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHZlcmlmaWVzQXNTYXRpc2ZpZXNBc3NlcnRpb247XG59XG5cbmNvbnN0IHZlcmlmeU1peGlucyA9IFtcbiAgdmVyaWZ5QXNNZXRhdmFyaWFibGVBbmRTdWJzdGl0dXRpb24sXG4gIHVuaWZ5V2l0aEJyYWNrZXRlZENvbWJpbmF0b3IsXG4gIHVuaWZ5V2l0aENvbWJpbmF0b3JzLFxuICB2ZXJpZnlBc0VxdWFsaXR5LFxuICB2ZXJpZnlBc0p1ZGdlbWVudCxcbiAgdmVyaWZ5QXNUeXBlQXNzZXJ0aW9uLFxuICB2ZXJpZnlBc0RlZmluZWRBc3NlcnRpb24sXG4gIHZlcmlmeUFzUHJvcGVydHlBc3NlcnRpb24sXG4gIHZlcmlmeUFzU3VicHJvb2ZBc3NlcnRpb24sXG4gIHZlcmlmeUFzQ29udGFpbmVkQXNzZXJ0aW9uLFxuICB2ZXJpZnlBc1NhdGlzZmllc0Fzc2VydGlvblxuXTtcblxuZXhwb3J0IGRlZmF1bHQgdmVyaWZ5TWl4aW5zO1xuIl0sIm5hbWVzIjpbInZlcmlmeUFzTWV0YXZhcmlhYmxlQW5kU3Vic3RpdHV0aW9uIiwic3RhdGVtZW50IiwiYXNzaWdubWVudHMiLCJzdGF0ZWQiLCJjb250ZXh0IiwidmVyaWZpZXNBc01ldGF2YXJpYWJsZUFuZFN1YnN0aXR1dGlvbiIsIm1ldGF2YXJpYWJsZSIsIm1ldGF2YXJpYWJsZUZyb21TdGF0ZW1lbnQiLCJzdGF0ZW1lbnRTdHJpbmciLCJnZXRTdHJpbmciLCJ0cmFjZSIsIm1ldGF2YXJpYWJsZVZlcmlmaWVzIiwidmVyaWZ5IiwiVGVybVN1YnN0aXR1dGlvbiIsImVsZW1lbnRzIiwiRnJhbWVTdWJzdGl0dXRpb24iLCJmcmFtZVN1YnN0aXR1dGlvbiIsImZyb21TdGF0ZW1lbnQiLCJ0ZXJtU3Vic3RpdHV0aW9uIiwic3Vic3RpdHV0aW9uIiwic3Vic3RpdHV0aW9uVmVyaWZpZXMiLCJkZWJ1ZyIsInVuaWZ5V2l0aEJyYWNrZXRlZENvbWJpbmF0b3IiLCJCcmFja2V0ZWRDb21iaW5hdG9yIiwiYnJhY2tldGVkQ29tYmluYXRvciIsImZyb21Ob3RoaW5nIiwidW5pZmllc1dpdGhCcmFja2V0ZWRDb21iaW5hdG9yIiwidW5pZnlTdGF0ZW1lbnQiLCJ1bmlmeVdpdGhDb21iaW5hdG9ycyIsImNvbWJpbmF0b3JzIiwiZ2V0Q29tYmluYXRvcnMiLCJ1bmlmaWVzV2l0aENvbWJpbmF0b3JzIiwic29tZSIsImNvbWJpbmF0b3IiLCJ1bmlmaWVzV2l0aENvbWJpbmF0b3IiLCJ2ZXJpZnlBc0VxdWFsaXR5IiwidmVyaWZpZXNBc0VxdWFsaXR5IiwiZXF1YWxpdHkiLCJlcXVhbGl0eUZyb21TdGF0ZW1lbnQiLCJlcXVhbGl0eVZlcmlmaWVzIiwidmVyaWZ5QXNKdWRnZW1lbnQiLCJ2ZXJpZmllc0FzSnVkZ2VtZW50IiwianVkZ2VtZW50IiwianVkZ2VtZW50RnJvbVN0YXRlbWVudCIsImp1ZGdlbWVudFZlcmlmaWVzIiwidmVyaWZ5QXNUeXBlQXNzZXJ0aW9uIiwidmVyaWZpZXNBc1R5cGVBc3NlcnRpb24iLCJ0eXBlQXNzZXJ0aW9uIiwidHlwZUFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJ0eXBlQXNzZXJ0aW9uVmVyaWZpZXMiLCJhc3NlcnRpb24iLCJhZGRBc3NlcnRpb24iLCJ2ZXJpZnlBc0RlZmluZWRBc3NlcnRpb24iLCJ2ZXJpZmllc0FzRGVmaW5lZEFzc2VydGlvbiIsImRlZmluZWRBc3NlcnRpb24iLCJkZWZpbmVkQXNzZXJ0aW9uRnJvbVN0YXRlbWVudCIsImRlZmluZWRBc3NlcnRpb25WZXJpZmllcyIsInZlcmlmeUFzUHJvcGVydHlBc3NlcnRpb24iLCJ2ZXJpZmllc0FzUHJvcGVydHlBc3NlcnRpb24iLCJwcm9wZXJ0eUFzc2VydGlvbiIsInByb3BlcnR5QXNzZXJ0aW9uRnJvbVN0YXRlbWVudCIsInByb3BlcnR5QXNzZXJ0aW9uVmVyaWZpZXMiLCJ2ZXJpZnlBc1N1YnByb29mQXNzZXJ0aW9uIiwidmVyaWZpZXNBc1N1YnByb29mQXNzZXJ0aW9uIiwic3VicHJvb2ZBc3NlcnRpb24iLCJzdWJwcm9vZkFzc2VydGlvbkZyb21TdGF0ZW1lbnQiLCJzdWJwcm9vZkFzc2VydGlvblZlcmlmaWVzIiwidmVyaWZ5QXNDb250YWluZWRBc3NlcnRpb24iLCJ2ZXJpZmllc0FzQ29udGFpbmVkQXNzZXJ0aW9uIiwiY29udGFpbmVkQXNzZXJ0aW9uIiwiY29udGFpbmVkQXNzZXJ0aW9uRnJvbVN0YXRlbWVudCIsImNvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVzIiwidmVyaWZ5QXNTYXRpc2ZpZXNBc3NlcnRpb24iLCJ2ZXJpZmllc0FzU2F0aXNmaWVzQXNzZXJ0aW9uIiwic2F0aXNmaWVzQXNzZXJ0aW9uIiwic2F0aXNmaWVzQXNzZXJ0aW9uRnJvbVN0YXRlbWVudCIsInNhdGlzZmllc0Fzc2VydGlvblZlcmlmaWVzIiwidmVyaWZ5TWl4aW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFzU0E7OztlQUFBOzs7K0RBcFNxQjt5QkFVMkI7Ozs7OztBQUVoRCxTQUFTQSxvQ0FBb0NDLFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87SUFDbEYsSUFBSUMsd0NBQXdDO0lBRTVDLElBQU1DLGVBQWVDLElBQUFBLG9DQUF5QixFQUFDTixXQUFXRztJQUUxRCxJQUFJRSxpQkFBaUIsTUFBTTtRQUN6QixJQUFNRSxrQkFBa0JQLFVBQVVRLFNBQVM7UUFFM0NMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGtCQUFpQyxPQUFoQkYsaUJBQWdCO1FBRWhELElBQU1HLHVCQUF1QkwsYUFBYU0sTUFBTSxDQUFDUjtRQUVqRCxJQUFJTyxzQkFBc0I7WUFDeEIsSUFBUUUsbUJBQXdDQyxpQkFBUSxDQUFoREQsa0JBQWtCRSxvQkFBc0JELGlCQUFRLENBQTlCQyxtQkFDcEJDLG9CQUFvQkQsa0JBQWtCRSxhQUFhLENBQUNoQixXQUFXRyxVQUMvRGMsbUJBQW1CTCxpQkFBaUJJLGFBQWEsQ0FBQ2hCLFdBQVdHLFVBQzdEZSxlQUFnQkQsb0JBQW9CRjtZQUUxQyxJQUFJRyxpQkFBaUIsTUFBTTtnQkFDekIsSUFBTUMsdUJBQXVCRCxhQUFhUCxNQUFNLENBQUNSO2dCQUVqRCxJQUFJZ0Isc0JBQXNCO29CQUN4QmYsd0NBQXdDO2dCQUMxQztZQUNGLE9BQU87Z0JBQ0xBLHdDQUF3QztZQUMxQztRQUNGO1FBRUEsSUFBSUEsdUNBQXVDO1lBQ3pDRCxRQUFRaUIsS0FBSyxDQUFDLEFBQUMsb0JBQW1DLE9BQWhCYixpQkFBZ0I7UUFDcEQ7SUFDRjtJQUVBLE9BQU9IO0FBQ1Q7QUFFQSxTQUFTaUIsNkJBQTZCckIsU0FBUyxFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztJQUMzRUQsU0FBUyxNQUFPLEdBQUc7SUFFbkJELGNBQWMsTUFBTSxHQUFHO0lBRXZCLElBQU0sQUFBRXFCLHNCQUF3QlQsaUJBQVEsQ0FBaENTLHFCQUNGQyxzQkFBc0JELG9CQUFvQkUsV0FBVyxJQUNyREMsaUNBQWlDRixvQkFBb0JHLGNBQWMsQ0FBQzFCLFdBQVdDLGFBQWFDLFFBQVFDO0lBRTFHLE9BQU9zQjtBQUNUO0FBRUEsU0FBU0UscUJBQXFCM0IsU0FBUyxFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztJQUNuRUQsU0FBUyxNQUFPLEdBQUc7SUFFbkJELGNBQWMsTUFBTSxHQUFHO0lBRXZCLElBQU0yQixjQUFjekIsUUFBUTBCLGNBQWMsSUFDcENDLHlCQUF5QkYsWUFBWUcsSUFBSSxDQUFDLFNBQUNDO1FBQ3pDLElBQU1DLHdCQUF3QkQsV0FBV04sY0FBYyxDQUFDMUIsV0FBV0MsYUFBYUMsUUFBUUM7UUFFeEYsSUFBSThCLHVCQUF1QjtZQUN6QixPQUFPO1FBQ1Q7SUFDRjtJQUVOLE9BQU9IO0FBQ1Q7QUFFQSxTQUFTSSxpQkFBaUJsQyxTQUFTLEVBQUVDLFdBQVcsRUFBRUMsTUFBTSxFQUFFQyxPQUFPO0lBQy9ELElBQUlnQyxxQkFBcUI7SUFFekIsSUFBTUMsV0FBV0MsSUFBQUEsZ0NBQXFCLEVBQUNyQyxXQUFXRztJQUVsRCxJQUFJaUMsYUFBYSxNQUFNO1FBQ3JCLElBQU03QixrQkFBa0JQLFVBQVVRLFNBQVM7UUFFM0NMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGtCQUFpQyxPQUFoQkYsaUJBQWdCO1FBRWhELElBQU0rQixtQkFBbUJGLFNBQVN6QixNQUFNLENBQUNWLGFBQWFDLFFBQVFDO1FBRTlEZ0MscUJBQXFCRyxrQkFBa0IsR0FBRztRQUUxQyxJQUFJSCxvQkFBb0I7WUFDdEJoQyxRQUFRaUIsS0FBSyxDQUFDLEFBQUMsb0JBQW1DLE9BQWhCYixpQkFBZ0I7UUFDcEQ7SUFDRjtJQUVBLE9BQU80QjtBQUNUO0FBRUEsU0FBU0ksa0JBQWtCdkMsU0FBUyxFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztJQUNoRSxJQUFJcUMsc0JBQXNCO0lBRTFCLElBQU1DLFlBQVlDLElBQUFBLGlDQUFzQixFQUFDMUMsV0FBV0c7SUFFcEQsSUFBSXNDLGNBQWMsTUFBTTtRQUN0QixJQUFNbEMsa0JBQWtCUCxVQUFVUSxTQUFTO1FBRTNDTCxRQUFRTSxLQUFLLENBQUMsQUFBQyxrQkFBaUMsT0FBaEJGLGlCQUFnQjtRQUVoRCxJQUFNb0Msb0JBQW9CRixVQUFVOUIsTUFBTSxDQUFDVixhQUFhQyxRQUFRQztRQUVoRXFDLHNCQUFzQkcsbUJBQW9CLEdBQUc7UUFFN0MsSUFBSUgscUJBQXFCO1lBQ3ZCckMsUUFBUWlCLEtBQUssQ0FBQyxBQUFDLG9CQUFtQyxPQUFoQmIsaUJBQWdCO1FBQ3BEO0lBQ0Y7SUFFQSxPQUFPaUM7QUFDVDtBQUVBLFNBQVNJLHNCQUFzQjVDLFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87SUFDcEUsSUFBSTBDLDBCQUEwQjtJQUU5QixJQUFNQyxnQkFBZ0JDLElBQUFBLHFDQUEwQixFQUFDL0MsV0FBV0c7SUFFNUQsSUFBSTJDLGtCQUFrQixNQUFNO1FBQzFCLElBQU12QyxrQkFBa0JQLFVBQVVRLFNBQVM7UUFFM0NMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGtCQUFpQyxPQUFoQkYsaUJBQWdCO1FBRWhELElBQU15Qyx3QkFBd0JGLGNBQWNuQyxNQUFNLENBQUNWLGFBQWFDLFFBQVFDO1FBRXhFMEMsMEJBQTBCRyx1QkFBdUIsR0FBRztRQUVwRCxJQUFJSCx5QkFBeUI7WUFDM0IsSUFBTUksWUFBWUgsZUFBZ0IsR0FBRztZQUVyQzNDLFFBQVErQyxZQUFZLENBQUNEO1lBRXJCOUMsUUFBUWlCLEtBQUssQ0FBQyxBQUFDLG9CQUFtQyxPQUFoQmIsaUJBQWdCO1FBQ3BEO0lBQ0Y7SUFFQSxPQUFPc0M7QUFDVDtBQUVBLFNBQVNNLHlCQUF5Qm5ELFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87SUFDdkUsSUFBSWlELDZCQUE2QjtJQUVqQyxJQUFNQyxtQkFBbUJDLElBQUFBLHdDQUE2QixFQUFDdEQsV0FBV0c7SUFFbEUsSUFBSWtELHFCQUFxQixNQUFNO1FBQzdCLElBQU05QyxrQkFBa0JQLFVBQVVRLFNBQVM7UUFFM0NMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGtCQUFpQyxPQUFoQkYsaUJBQWdCO1FBRWhELElBQU1nRCwyQkFBMkJGLGlCQUFpQjFDLE1BQU0sQ0FBQ1YsYUFBYUMsUUFBUUM7UUFFOUVpRCw2QkFBNkJHLDBCQUEwQixHQUFHO1FBRTFELElBQUlILDRCQUE0QjtZQUM5QixJQUFNSCxZQUFZSSxrQkFBbUIsR0FBRztZQUV4Q2xELFFBQVErQyxZQUFZLENBQUNEO1lBRXJCOUMsUUFBUWlCLEtBQUssQ0FBQyxBQUFDLG9CQUFtQyxPQUFoQmIsaUJBQWdCO1FBQ3BEO0lBQ0Y7SUFFQSxPQUFPNkM7QUFDVDtBQUVBLFNBQVNJLDBCQUEwQnhELFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87SUFDeEUsSUFBSXNELDhCQUE4QjtJQUVsQyxJQUFNQyxvQkFBb0JDLElBQUFBLHlDQUE4QixFQUFDM0QsV0FBV0c7SUFFcEUsSUFBSXVELHNCQUFzQixNQUFNO1FBQzlCLElBQU1uRCxrQkFBa0JQLFVBQVVRLFNBQVM7UUFFM0NMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGtCQUFpQyxPQUFoQkYsaUJBQWdCO1FBRWhELElBQU1xRCw0QkFBNEJGLGtCQUFrQi9DLE1BQU0sQ0FBQ1YsYUFBYUMsUUFBUUM7UUFFaEZzRCw4QkFBOEJHLDJCQUEyQixHQUFHO1FBRTVELElBQUlILDZCQUE2QjtZQUMvQixJQUFNUixZQUFZUyxtQkFBbUIsR0FBRztZQUV4Q3ZELFFBQVErQyxZQUFZLENBQUNEO1lBRXJCOUMsUUFBUWlCLEtBQUssQ0FBQyxBQUFDLG9CQUFtQyxPQUFoQmIsaUJBQWdCO1FBQ3BEO0lBQ0Y7SUFFQSxPQUFPa0Q7QUFDVDtBQUVBLFNBQVNJLDBCQUEwQjdELFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87SUFDeEUsSUFBSTJELDhCQUE4QjtJQUVsQyxJQUFNQyxvQkFBb0JDLElBQUFBLHlDQUE4QixFQUFDaEUsV0FBV0c7SUFFcEUsSUFBSTRELHNCQUFzQixNQUFNO1FBQzlCLElBQU14RCxrQkFBa0JQLFVBQVVRLFNBQVM7UUFFM0NMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGtCQUFpQyxPQUFoQkYsaUJBQWdCO1FBRWhELElBQU0wRCw0QkFBNEJGLGtCQUFrQnBELE1BQU0sQ0FBQ1YsYUFBYUMsUUFBUUM7UUFFaEYyRCw4QkFBOEJHLDJCQUEyQixHQUFHO1FBRTVELElBQUlILDZCQUE2QjtZQUMvQixJQUFNYixZQUFZYyxtQkFBbUIsR0FBRztZQUV4QzVELFFBQVErQyxZQUFZLENBQUNEO1lBRXJCOUMsUUFBUWlCLEtBQUssQ0FBQyxBQUFDLG9CQUFtQyxPQUFoQmIsaUJBQWdCO1FBQ3BEO0lBQ0Y7SUFFQSxPQUFPdUQ7QUFDVDtBQUVBLFNBQVNJLDJCQUEyQmxFLFNBQVMsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLE9BQU87SUFDekUsSUFBSWdFLCtCQUErQjtJQUVuQyxJQUFNQyxxQkFBcUJDLElBQUFBLDBDQUErQixFQUFDckUsV0FBV0c7SUFFdEUsSUFBSWlFLHVCQUF1QixNQUFNO1FBQy9CLElBQU03RCxrQkFBa0JQLFVBQVVRLFNBQVM7UUFFM0NMLFFBQVFNLEtBQUssQ0FBQyxBQUFDLGtCQUFpQyxPQUFoQkYsaUJBQWdCO1FBRWhELElBQU0rRCw2QkFBNkJGLG1CQUFtQnpELE1BQU0sQ0FBQ1YsYUFBYUMsUUFBUUM7UUFFbEZnRSwrQkFBK0JHLDRCQUE0QixHQUFHO1FBRTlELElBQUlILDhCQUE4QjtZQUNoQyxJQUFNbEIsWUFBWW1CLG9CQUFvQixHQUFHO1lBRXpDakUsUUFBUStDLFlBQVksQ0FBQ0Q7WUFFckI5QyxRQUFRaUIsS0FBSyxDQUFDLEFBQUMsb0JBQW1DLE9BQWhCYixpQkFBZ0I7UUFDcEQ7SUFDRjtJQUVBLE9BQU80RDtBQUNUO0FBRUEsU0FBU0ksMkJBQTJCdkUsU0FBUyxFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsT0FBTztJQUN6RSxJQUFJcUUsK0JBQStCO0lBRW5DLElBQU1DLHFCQUFxQkMsSUFBQUEsMENBQStCLEVBQUMxRSxXQUFXRztJQUV0RSxJQUFJc0UsdUJBQXVCLE1BQU07UUFDL0IsSUFBTWxFLGtCQUFrQlAsVUFBVVEsU0FBUztRQUUzQ0wsUUFBUU0sS0FBSyxDQUFDLEFBQUMsa0JBQWlDLE9BQWhCRixpQkFBZ0I7UUFFaEQsSUFBTW9FLDZCQUE2QkYsbUJBQW1COUQsTUFBTSxDQUFDVixhQUFhQyxRQUFRQztRQUVsRnFFLCtCQUErQkcsNEJBQTRCLEdBQUc7UUFFOUQsSUFBSUgsOEJBQThCO1lBQ2hDLElBQU12QixZQUFZd0Isb0JBQW9CLEdBQUc7WUFFekN0RSxRQUFRK0MsWUFBWSxDQUFDRDtZQUVyQjlDLFFBQVFpQixLQUFLLENBQUMsQUFBQyxvQkFBbUMsT0FBaEJiLGlCQUFnQjtRQUNwRDtJQUNGO0lBRUEsT0FBT2lFO0FBQ1Q7QUFFQSxJQUFNSSxlQUFlO0lBQ25CN0U7SUFDQXNCO0lBQ0FNO0lBQ0FPO0lBQ0FLO0lBQ0FLO0lBQ0FPO0lBQ0FLO0lBQ0FLO0lBQ0FLO0lBQ0FLO0NBQ0Q7SUFFRCxXQUFlSyJ9

package/src/mixins/statement/verify.js

@@ -1,295 +0,0 @@
-"use strict";
-
-import elements from "../../elements";
-
-import { equalityFromStatement,
-         judgementFromStatement,
-         metavariableFromStatement,
-         typeAssertionFromStatement,
-         definedAssertionFromStatement,
-         propertyAssertionFromStatement,
-         subproofAssertionFromStatement,
-         containedAssertionFromStatement,
-         satisfiesAssertionFromStatement } from "../../utilities/statement";
-
-function verifyAsMetavariableAndSubstitution(statement, assignments, stated, context) {
-  let verifiesAsMetavariableAndSubstitution = false;
-
-  const metavariable = metavariableFromStatement(statement, context);
-
-  if (metavariable !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as a metavariable and substitution...`);
-
-    const metavariableVerifies = metavariable.verify(context);
-
-    if (metavariableVerifies) {
-      const { TermSubstitution, FrameSubstitution } = elements,
-            frameSubstitution = FrameSubstitution.fromStatement(statement, context),
-            termSubstitution = TermSubstitution.fromStatement(statement, context),
-            substitution = (termSubstitution || frameSubstitution);
-
-      if (substitution !== null) {
-        const substitutionVerifies = substitution.verify(context);
-
-        if (substitutionVerifies) {
-          verifiesAsMetavariableAndSubstitution = true;
-        }
-      } else {
-        verifiesAsMetavariableAndSubstitution = true;
-      }
-    }
-
-    if (verifiesAsMetavariableAndSubstitution) {
-      context.debug(`...verified the '${statementString}' statement as a metavariable and substitution.`);
-    }
-  }
-
-  return verifiesAsMetavariableAndSubstitution;
-}
-
-function unifyWithBracketedCombinator(statement, assignments, stated, context) {
-  stated = true;  ///
-
-  assignments = null; ///
-
-  const { BracketedCombinator } = elements,
-        bracketedCombinator = BracketedCombinator.fromNothing(),
-        unifiesWithBracketedCombinator = bracketedCombinator.unifyStatement(statement, assignments, stated, context);
-
-  return unifiesWithBracketedCombinator;
-}
-
-function unifyWithCombinators(statement, assignments, stated, context) {
-  stated = true;  ///
-
-  assignments = null; ///
-
-  const combinators = context.getCombinators(),
-        unifiesWithCombinators = combinators.some((combinator) => {
-          const unifiesWithCombinator = combinator.unifyStatement(statement, assignments, stated, context);
-
-          if (unifiesWithCombinator) {
-            return true;
-          }
-        });
-
-  return unifiesWithCombinators;
-}
-
-function verifyAsEquality(statement, assignments, stated, context) {
-  let verifiesAsEquality = false;
-
-  const equality = equalityFromStatement(statement, context);
-
-  if (equality !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as an equality...`);
-
-    const equalityVerifies = equality.verify(assignments, stated, context);
-
-    verifiesAsEquality = equalityVerifies; ///
-
-    if (verifiesAsEquality) {
-      context.debug(`...verified the '${statementString}' statement as an equality.`);
-    }
-  }
-
-  return verifiesAsEquality;
-}
-
-function verifyAsJudgement(statement, assignments, stated, context) {
-  let verifiesAsJudgement = false;
-
-  const judgement = judgementFromStatement(statement, context);
-
-  if (judgement !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as a judgement...`);
-
-    const judgementVerifies = judgement.verify(assignments, stated, context);
-
-    verifiesAsJudgement = judgementVerifies;  ///
-
-    if (verifiesAsJudgement) {
-      context.debug(`...verified the '${statementString}' statement as a judgement.`);
-    }
-  }
-
-  return verifiesAsJudgement;
-}
-
-function verifyAsTypeAssertion(statement, assignments, stated, context) {
-  let verifiesAsTypeAssertion = false;
-
-  const typeAssertion = typeAssertionFromStatement(statement, context);
-
-  if (typeAssertion !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as a type assertion...`);
-
-    const typeAssertionVerifies = typeAssertion.verify(assignments, stated, context);
-
-    verifiesAsTypeAssertion = typeAssertionVerifies; ///
-
-    if (verifiesAsTypeAssertion) {
-      const assertion = typeAssertion;  ///
-
-      context.addAssertion(assertion);
-
-      context.debug(`...verified the '${statementString}' statement as a type assertion.`);
-    }
-  }
-
-  return verifiesAsTypeAssertion;
-}
-
-function verifyAsDefinedAssertion(statement, assignments, stated, context) {
-  let verifiesAsDefinedAssertion = false;
-
-  const definedAssertion = definedAssertionFromStatement(statement, context);
-
-  if (definedAssertion !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as a defined assertion...`);
-
-    const definedAssertionVerifies = definedAssertion.verify(assignments, stated, context);
-
-    verifiesAsDefinedAssertion = definedAssertionVerifies; ///
-
-    if (verifiesAsDefinedAssertion) {
-      const assertion = definedAssertion;  ///
-
-      context.addAssertion(assertion);
-
-      context.debug(`...verified the '${statementString}' statement as a defined assertion.`);
-    }
-  }
-
-  return verifiesAsDefinedAssertion;
-}
-
-function verifyAsPropertyAssertion(statement, assignments, stated, context) {
-  let verifiesAsPropertyAssertion = false;
-
-  const propertyAssertion = propertyAssertionFromStatement(statement, context);
-
-  if (propertyAssertion !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as a property assertion...`);
-
-    const propertyAssertionVerifies = propertyAssertion.verify(assignments, stated, context);
-
-    verifiesAsPropertyAssertion = propertyAssertionVerifies; ///
-
-    if (verifiesAsPropertyAssertion) {
-      const assertion = propertyAssertion; ///
-
-      context.addAssertion(assertion);
-
-      context.debug(`...verified the '${statementString}' statement as a property assertion.`);
-    }
-  }
-
-  return verifiesAsPropertyAssertion;
-}
-
-function verifyAsSubproofAssertion(statement, assignments, stated, context) {
-  let verifiesAsSubproofAssertion = false;
-
-  const subproofAssertion = subproofAssertionFromStatement(statement, context);
-
-  if (subproofAssertion !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as a subproof assertion...`);
-
-    const subproofAssertionVerifies = subproofAssertion.verify(assignments, stated, context);
-
-    verifiesAsSubproofAssertion = subproofAssertionVerifies; ///
-
-    if (verifiesAsSubproofAssertion) {
-      const assertion = subproofAssertion; ///
-
-      context.addAssertion(assertion);
-
-      context.debug(`...verified the '${statementString}' statement as a subproof assertion.`);
-    }
-  }
-
-  return verifiesAsSubproofAssertion;
-}
-
-function verifyAsContainedAssertion(statement, assignments, stated, context) {
-  let verifiesAsContainedAssertion = false;
-
-  const containedAssertion = containedAssertionFromStatement(statement, context);
-
-  if (containedAssertion !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as a contained assertion...`);
-
-    const containedAssertionVerifies = containedAssertion.verify(assignments, stated, context);
-
-    verifiesAsContainedAssertion = containedAssertionVerifies; ///
-
-    if (verifiesAsContainedAssertion) {
-      const assertion = containedAssertion; ///
-
-      context.addAssertion(assertion);
-
-      context.debug(`...verified the '${statementString}' statement as a contained assertion.`);
-    }
-  }
-
-  return verifiesAsContainedAssertion;
-}
-
-function verifyAsSatisfiesAssertion(statement, assignments, stated, context) {
-  let verifiesAsSatisfiesAssertion = false;
-
-  const satisfiesAssertion = satisfiesAssertionFromStatement(statement, context);
-
-  if (satisfiesAssertion !== null) {
-    const statementString = statement.getString();
-
-    context.trace(`Verifying the '${statementString}' statement as a satisfies assertion...`);
-
-    const satisfiesAssertionVerifies = satisfiesAssertion.verify(assignments, stated, context);
-
-    verifiesAsSatisfiesAssertion = satisfiesAssertionVerifies; ///
-
-    if (verifiesAsSatisfiesAssertion) {
-      const assertion = satisfiesAssertion; ///
-
-      context.addAssertion(assertion);
-
-      context.debug(`...verified the '${statementString}' statement as a satisfies assertion.`);
-    }
-  }
-
-  return verifiesAsSatisfiesAssertion;
-}
-
-const verifyMixins = [
-  verifyAsMetavariableAndSubstitution,
-  unifyWithBracketedCombinator,
-  unifyWithCombinators,
-  verifyAsEquality,
-  verifyAsJudgement,
-  verifyAsTypeAssertion,
-  verifyAsDefinedAssertion,
-  verifyAsPropertyAssertion,
-  verifyAsSubproofAssertion,
-  verifyAsContainedAssertion,
-  verifyAsSatisfiesAssertion
-];
-
-export default verifyMixins;