occam-verify-cli 0.0.916 → 0.0.918

package/src/verify/statement.js

@@ -3,16 +3,16 @@
 import verifyEquality from "../verify/equality";
 import bracketedCombinator from "../ocmbinator/bracketed";
 import verifyTypeAssertion from "../verify/typeAssertion";
-import verifyDefinedAssertion from "../verify/definedAssertion";
-import verifyContainedAssertion from "../verify/containedAssertion";
+import verifyStatementAsDefinedAssertion from "../verify/statementAsDefinedAssertion";
+import verifyStatementAsContainedAssertion from "../verify/statementAsContainedAssertion";
 import statementAgainstCombinatorNodesVerifier from "../verifier/nodes/statementAgainstCombinator";
 
-import { nodeQuery } from "../utilities/query";
+import { DEFINED, CONTAINED } from "../constants";
+import { nodeQuery, nodesQuery } from "../utilities/query";
 
 const equalityNodeQuery = nodeQuery("/statement/equality!"),
       typeAssertionNodeQuery = nodeQuery("/statement/typeAssertion!"),
-      definedAssertionNodeQuery = nodeQuery("/statement/definedAssertion!"),
-      containedAssertionNodeQuery = nodeQuery("/statement/containedAssertion!");
+      operatorTerminalNodesQuery = nodesQuery("/statement/@operator");
 
 function verifyStatement(statementNode, assignments, derived, localContext) {
   let statementVerified;
@@ -77,23 +77,24 @@ export default verifyStatement;
 export function verifyStatementAsEquality(statementNode, assignments, derived, localContext) {
   let statementVerifiedAsEquality = false;
 
-  const equalityNode = equalityNodeQuery(statementNode);
+  const statementEquality = isStatementEquality(statementNode);
 
-  if (equalityNode !== null) {
+  if (statementEquality) {
     const statementString = localContext.nodeAsString(statementNode);
 
-    localContext.trace(`Verifying the '${statementString}' statement as an equality...`, equalityNode);
+    localContext.trace(`Verifying the '${statementString}' statement as an equality...`, statementNode);
 
-    const equalityVerified = verifyEquality(equalityNode, assignments, derived, localContext, () => {
-      const verifiedAhead = true;
+    const equalityNode = equalityNodeQuery(statementNode),
+          equalityVerified = verifyEquality(equalityNode, assignments, derived, localContext, () => {
+            const verifiedAhead = true;
 
-      return verifiedAhead;
-    });
+            return verifiedAhead;
+          });
 
     statementVerifiedAsEquality = equalityVerified; ///
 
     if (statementVerifiedAsEquality) {
-      localContext.debug(`...verified the '${statementString}' statement as an equality.`, equalityNode);
+      localContext.debug(`...verified the '${statementString}' statement as an equality.`, statementNode);
     }
   }
 
@@ -103,82 +104,39 @@ export function verifyStatementAsEquality(statementNode, assignments, derived, l
 export function verifyStatementAsTypeAssertion(statementNode, assignments, derived, localContext) {
   let statementVerifiedAsTypeAssertion = false;
 
-  const typeAssertionNode = typeAssertionNodeQuery(statementNode);
+  const statementTypeAssertion = isStatementTypeAssertion(statementNode);
 
-  if (typeAssertionNode !== null) {
+  if (statementTypeAssertion) {
     const statementString = localContext.nodeAsString(statementNode);
 
-    localContext.trace(`Verifying the '${statementString}' statement as a type assertion...`, typeAssertionNode);
+    localContext.trace(`Verifying the '${statementString}' statement as a type assertion...`, statementNode);
 
-    const typeAssertionVerified = verifyTypeAssertion(typeAssertionNode, assignments, derived, localContext, () => {
-      const verifiedAhead = true;
+    const typeAssertionNode = typeAssertionNodeQuery(statementNode),
+          typeAssertionVerified = verifyTypeAssertion(typeAssertionNode, assignments, derived, localContext, () => {
+            const verifiedAhead = true;
 
-      return verifiedAhead;
-    });
+            return verifiedAhead;
+          });
 
     statementVerifiedAsTypeAssertion = typeAssertionVerified; ///
 
     if (statementVerifiedAsTypeAssertion) {
-      localContext.debug(`...verified the '${statementString}' statement as a type assertion.`, typeAssertionNode);
+      localContext.debug(`...verified the '${statementString}' statement as a type assertion.`, statementNode);
     }
   }
 
   return statementVerifiedAsTypeAssertion;
 }
 
-function verifyStatementAsDefinedAssertion(statementNode, assignments, derived, localContext) {
-  let statementVerifiedAsDefinedAssertion = false;
-
-  const definedAssertionNode = definedAssertionNodeQuery(statementNode);
-
-  if (definedAssertionNode !== null) {
-    const statementString = localContext.nodeAsString(statementNode);
-
-    localContext.trace(`Verifying the '${statementString}' statement as a defined assertion...`, definedAssertionNode);
-
-    const definedAssertionVerified = verifyDefinedAssertion(definedAssertionNode, assignments, derived, localContext);
-
-    statementVerifiedAsDefinedAssertion = definedAssertionVerified; ///
-
-    if (statementVerifiedAsDefinedAssertion) {
-      localContext.debug(`...verified the '${statementString}' statement as a defined assertion.`, definedAssertionNode);
-    }
-  }
-
-  return statementVerifiedAsDefinedAssertion;
-}
-
-function verifyStatementAsContainedAssertion(statementNode, assignments, derived, localContext) {
-  let statementVerifiedAsContainedAssertion = false;
-
-  const containedAssertionNode = containedAssertionNodeQuery(statementNode);
-
-  if (containedAssertionNode !== null) {
-    const statementString = localContext.nodeAsString(statementNode);
-
-    localContext.trace(`Verifying the '${statementString}' statement as a contained assertion...`, containedAssertionNode);
-
-    const containedAssertionVerified = verifyContainedAssertion(containedAssertionNode, assignments, derived, localContext);
-
-    statementVerifiedAsContainedAssertion = containedAssertionVerified; ///
-
-    if (statementVerifiedAsContainedAssertion) {
-      localContext.debug(`...verified the '${statementString}' statement as a contained assertion.`, containedAssertionNode);
-    }
-  }
-
-  return statementVerifiedAsContainedAssertion;
-}
-
 function verifyStatementAgainstCombinators(statementNode, assignments, derived, localContext) {
   let statementVerifiedAgainstCombinators = false;
 
-  const equalityNode = equalityNodeQuery(statementNode),
-        typeAssertionNode = typeAssertionNodeQuery(statementNode),
-        definedAssertionNode = definedAssertionNodeQuery(statementNode),
-        containedAssertionNode = containedAssertionNodeQuery(statementNode);
+  const statementEquality = isStatementEquality(statementNode),
+        statementTypeAssertion = isStatementTypeAssertion(statementNode),
+        statementDefinedAssertion = isStatementDefinedAssertion(statementNode),
+        statementContainedAssertion = isStatementContainedAssertion(statementNode);
 
-  if ((equalityNode === null) && (typeAssertionNode === null) && (definedAssertionNode === null) && (containedAssertionNode === null)) {
+  if (!statementEquality && !statementTypeAssertion && !statementDefinedAssertion && !statementContainedAssertion) {
     let combinators = localContext.getCombinators();
 
     combinators = [ ///
@@ -223,3 +181,45 @@ function verifyStatementAgainstCombinator(statementNode, combinator, localContex
 
   return statementVerifiedAgainstCombinator;
 }
+
+function isStatementEquality(statementNode) {
+  const equalityNode = equalityNodeQuery(statementNode),
+        statementEquality = (equalityNode !== null);
+
+  return statementEquality;
+}
+
+function isStatementTypeAssertion(statementNode) {
+  const typeAssertionNode = typeAssertionNodeQuery(statementNode),
+        statementTypeAssertion = (typeAssertionNode === null);
+
+  return statementTypeAssertion;
+}
+
+function isStatementDefinedAssertion(statementNode) {
+  const operatorTerminalNodes = operatorTerminalNodesQuery(statementNode),
+        statementDefinedAssertion = operatorTerminalNodes.some((operatorTerminalNode) => {
+          const content = operatorTerminalNode.getContent(),
+                contentDefined = (content === DEFINED);
+
+          if (contentDefined) {
+            return true;
+          }
+        });
+
+  return statementDefinedAssertion;
+}
+
+function isStatementContainedAssertion(statementNode) {
+  const operatorTerminalNodes = operatorTerminalNodesQuery(statementNode),
+        statementContainedAssertion = operatorTerminalNodes.some((operatorTerminalNode) => {
+          const content = operatorTerminalNode.getContent(),
+                contentContained = (content === CONTAINED);
+
+          if (contentContained) {
+            return true;
+          }
+        });
+
+  return statementContainedAssertion;
+}

package/src/verify/statementAsContainedAssertion.js

@@ -0,0 +1,112 @@
+"use strict";
+
+import metaLevelNodeVerifier from "../verifier/node/metaLevel";
+
+import { isAssertionNegated } from "../utilities/verify";
+import { nodeQuery, nodesQuery } from "../utilities/query";
+
+const variableNodeQuery = nodeQuery("/statement/term/variable!"),
+      metastatementVariableNodesQuery = nodesQuery("/statement/statement//variable");
+
+export default function verifyStatementAsContainedAssertion(statementNode, assignments, derived, localContext) {
+  let statementVerifiedAsContainedAssertion;
+
+  const statementString = localContext.nodeAsString(statementNode);
+
+  localContext.trace(`Verifying the '${statementString}' statement as a contained assertion...`, statementNode);
+
+  const statementFunctions = [
+    verifyStatementAsDerivedContainedAssertion,
+    verifyStatementAsStatedContainedAssertion
+  ];
+
+  statementVerifiedAsContainedAssertion = statementFunctions.some((statementFunction) => {
+    const statementVerifiedAsContainedAssertion = statementFunction(statementNode, assignments, derived, localContext);
+
+    if (statementVerifiedAsContainedAssertion) {
+      return true;
+    }
+  });
+
+  if (statementVerifiedAsContainedAssertion) {
+    localContext.debug(`...verified the '${statementString}' statement as a contained assertion.`, statementNode);
+  }
+
+  return statementVerifiedAsContainedAssertion;
+}
+
+function verifyStatementAsDerivedContainedAssertion(statementNode, assignments, derived, localContext) {
+  let statementVerifiedAsDefinedContainedAssertion = false;
+
+  if (derived) {
+    const statementString = localContext.nodeAsString(statementNode);
+
+    localContext.trace(`Verifying the derived '${statementString}' statement as a contained assertion...`, statementNode);
+
+    const statementNegated = isAssertionNegated(statementNode),
+          variableNode = variableNodeQuery(statementNode),
+          negated = statementNegated;  ///
+
+    if (false) {
+      ///
+    } else if (variableNode !== null) {
+      const metastatementVariableNodes = metastatementVariableNodesQuery(statementNode),
+            variableNodeMatchesMetaArgumentVariableNode = metastatementVariableNodes.some((metastatementVariableNode) => {
+              const variableNodeMatchesMetaArgumentVariableNode = variableNode.match(metastatementVariableNode);
+
+              if (variableNodeMatchesMetaArgumentVariableNode) {
+                return true;
+              }
+            });
+
+      if (!negated) {
+        if (variableNodeMatchesMetaArgumentVariableNode) {
+          statementVerifiedAsDefinedContainedAssertion = true;
+        }
+      }
+
+      if (negated) {
+        if (!variableNodeMatchesMetaArgumentVariableNode) {
+          statementVerifiedAsDefinedContainedAssertion = true;
+        }
+      }
+    }
+
+    if (statementVerifiedAsDefinedContainedAssertion) {
+      localContext.debug(`...verified the derived '${statementString}' statement as a contained assertion.`, statementNode);
+    }
+  }
+
+  return statementVerifiedAsDefinedContainedAssertion;
+}
+
+function verifyStatementAsStatedContainedAssertion(statementNode, assignments, derived, localContext) {
+  let statementVerifiedAsStatedContainedAssertion = false;
+
+  if (!derived) {
+    const statementString = localContext.nodeAsString(statementNode);
+
+    localContext.trace(`Verifying the stated '${statementString}' statement as a contained assertion...`, statementNode);
+
+    const intrinsicLevel = localContext.isIntrinsicLevel();
+
+    if (intrinsicLevel) {
+      localContext.debug(`The stated '${statementString}' statement as a contained assertion cannot be verified at intrinsic level.`, statementNode);
+    } else {
+      const nonTerminalNode = statementNode, ///
+            nonTerminalNodeVerified = metaLevelNodeVerifier.verifyNonTerminalNode(nonTerminalNode, localContext, () => {
+              const verifiedAhead = true;
+
+              return verifiedAhead;
+            });
+
+      statementVerifiedAsStatedContainedAssertion = nonTerminalNodeVerified; ///
+    }
+
+    if (statementVerifiedAsStatedContainedAssertion) {
+      localContext.debug(`...verified the stated '${statementString}' statement as a contained assertion.`, statementNode);
+    }
+  }
+
+  return statementVerifiedAsStatedContainedAssertion;
+}

package/src/verify/statementAsDefinedAssertion.js

@@ -0,0 +1,136 @@
+"use strict";
+
+import verifyTerm from "./term";
+import metaLevelNodeVerifier from "../verifier/node/metaLevel";
+
+import { first } from "../utilities/array";
+import { nodeQuery } from "../utilities/query";
+import { isStatementNegated } from "../utilities/verify";
+
+const termNodeQuery = nodeQuery("/statement/term!"),
+      variableNodeQuery = nodeQuery("/statement/term/variable!");
+
+export default function verifyStatementAsDefinedAssertion(statementNode, assignments, derived, localContext) {
+  let statementVerifiedAsDefinedAssertion;
+
+  const statementString = localContext.nodeAsString(statementNode);
+
+  localContext.trace(`Verifying the '${statementString}' statement as a defined assertion...`, statementNode);
+
+  const definedAssertionFunctions = [
+    verifyDerivedStatementAsDefinedAssertion,
+    verifyStatedStatementAsDefinedAssertion
+  ];
+
+  statementVerifiedAsDefinedAssertion = definedAssertionFunctions.some((definedAssertionFunction) => {
+    const statementVerifiedAsDefinedAssertion = definedAssertionFunction(statementNode, assignments, derived, localContext);
+
+    if (statementVerifiedAsDefinedAssertion) {
+      return true;
+    }
+  });
+
+  if (statementVerifiedAsDefinedAssertion) {
+    localContext.debug(`...verified the '${statementString}' statement as a defined assertion.`, statementNode);
+  }
+
+  return statementVerifiedAsDefinedAssertion;
+}
+
+function verifyDerivedStatementAsDefinedAssertion(statementNode, assignments, derived, localContext) {
+  let derivedStatementVerifiedAsDefeindAssertion = false;
+
+  if (derived) {
+    const statementString = localContext.nodeAsString(statementNode);
+
+    localContext.trace(`Verifying the derived '${statementString}' statement as a defined assertion...`, statementNode);
+
+    const statementNegated = isStatementNegated(statementNode),
+          variableNode = variableNodeQuery(statementNode),
+          termNode = termNodeQuery(statementNode);
+
+    if (false) {
+      ///
+    } else if (variableNode !== null) {
+      const variable = localContext.findVariableByVariableNode(variableNode);
+
+      if (variable !== null) {
+        const variableDefined = localContext.isVariableDefined(variable);
+
+        if (!statementNegated) {
+          if (variableDefined) {
+            derivedStatementVerifiedAsDefeindAssertion = true;
+          }
+        }
+
+        if (statementNegated) {
+          if (!variableDefined) {
+            derivedStatementVerifiedAsDefeindAssertion = true;
+          }
+        }
+      }
+    } else if (termNode !== null) {
+      const terms = [],
+            termVerified = verifyTerm(termNode, terms, localContext, () => {
+              const verifiedAhead = true;
+
+              return verifiedAhead;
+            });
+
+      if (termVerified) {
+        const firstTerm = first(terms),
+              term = firstTerm, ///
+              termGrounded = localContext.isTermGrounded(term);
+
+        if (!statementNegated) {
+          if (termGrounded) {
+            derivedStatementVerifiedAsDefeindAssertion = true;
+          }
+        }
+
+        if (statementNegated) {
+          if (!termGrounded) {
+            derivedStatementVerifiedAsDefeindAssertion = true;
+          }
+        }
+      }
+    }
+
+    if (derivedStatementVerifiedAsDefeindAssertion) {
+      localContext.debug(`...verified the derived '${statementString}' statement as a defined assertion.`, statementNode);
+    }
+  }
+
+  return derivedStatementVerifiedAsDefeindAssertion;
+}
+
+function verifyStatedStatementAsDefinedAssertion(statementNode, assignments, derived, localContext) {
+  let statedStatementVerifiedAsDefinedAssertion = false;
+
+  if (!derived) {
+    const statementString = localContext.nodeAsString(statementNode);
+
+    localContext.trace(`Verifying the stated '${statementString}' statement as a defined assertion...`, statementNode);
+
+    const intrinsicLevel = localContext.isIntrinsicLevel();
+
+    if (intrinsicLevel) {
+      localContext.debug(`The stated '${statementString}' statement as a defined assertion cannot be verified at intrinsic level.`, statementNode);
+    } else {
+      const nonTerminalNode = statementNode, ///
+            nonTerminalNodeVerified = metaLevelNodeVerifier.verifyNonTerminalNode(nonTerminalNode, localContext, () => {
+              const verifiedAhead = true;
+
+              return verifiedAhead;
+            });
+
+      statedStatementVerifiedAsDefinedAssertion = nonTerminalNodeVerified; ///
+    }
+
+    if (statedStatementVerifiedAsDefinedAssertion) {
+      localContext.debug(`...verified the stated '${statementString}' statement as a defined assertion.`, statementNode);
+    }
+  }
+
+  return statedStatementVerifiedAsDefinedAssertion;
+}

package/lib/verify/containedAssertion.js

@@ -1,93 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return verifyContainedAssertion;
-    }
-});
-var _metaLevel = /*#__PURE__*/ _interop_require_default(require("../verifier/node/metaLevel"));
-var _verify = require("../utilities/verify");
-var _query = require("../utilities/query");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var variableNodeQuery = (0, _query.nodeQuery)("/containedAssertion/term/variable!"), metastatementVariableNodesQuery = (0, _query.nodesQuery)("/containedAssertion/statement//variable");
-function verifyContainedAssertion(containedAssertionNode, assignments, derived, localContext) {
-    var containedAssertionVerified;
-    var containedAssertionString = localContext.nodeAsString(containedAssertionNode);
-    localContext.trace("Verifying the '".concat(containedAssertionString, "' contained assertion..."), containedAssertionNode);
-    var containedAssertionFunctions = [
-        verifyDerivedContainedAssertion,
-        verifyStatedContainedAssertion
-    ];
-    containedAssertionVerified = containedAssertionFunctions.some(function(containedAssertionFunction) {
-        var containedAssertionVerified = containedAssertionFunction(containedAssertionNode, assignments, derived, localContext);
-        if (containedAssertionVerified) {
-            return true;
-        }
-    });
-    if (containedAssertionVerified) {
-        localContext.debug("...verified the '".concat(containedAssertionString, "' contained assertion."), containedAssertionNode);
-    }
-    return containedAssertionVerified;
-}
-function verifyDerivedContainedAssertion(containedAssertionNode, assignments, derived, localContext) {
-    var derivedContainedAssertionVerified = false;
-    if (derived) {
-        var containedAssertionString = localContext.nodeAsString(containedAssertionNode);
-        localContext.trace("Verifying the derived '".concat(containedAssertionString, "' contained assertion..."), containedAssertionNode);
-        var containedAssertionNegated = (0, _verify.isAssertionNegated)(containedAssertionNode), variableNode = variableNodeQuery(containedAssertionNode), negated = containedAssertionNegated; ///
-        if (false) {
-        ///
-        } else if (variableNode !== null) {
-            var metastatementVariableNodes = metastatementVariableNodesQuery(containedAssertionNode), variableNodeMatchesMetaArgumentVariableNode = metastatementVariableNodes.some(function(metastatementVariableNode) {
-                var variableNodeMatchesMetaArgumentVariableNode = variableNode.match(metastatementVariableNode);
-                if (variableNodeMatchesMetaArgumentVariableNode) {
-                    return true;
-                }
-            });
-            if (!negated) {
-                if (variableNodeMatchesMetaArgumentVariableNode) {
-                    derivedContainedAssertionVerified = true;
-                }
-            }
-            if (negated) {
-                if (!variableNodeMatchesMetaArgumentVariableNode) {
-                    derivedContainedAssertionVerified = true;
-                }
-            }
-        }
-        if (derivedContainedAssertionVerified) {
-            localContext.debug("...verified the derived '".concat(containedAssertionString, "' contained assertion."), containedAssertionNode);
-        }
-    }
-    return derivedContainedAssertionVerified;
-}
-function verifyStatedContainedAssertion(containedAssertionNode, assignments, derived, localContext) {
-    var statedContainedAssertionVerified = false;
-    if (!derived) {
-        var containedAssertionString = localContext.nodeAsString(containedAssertionNode);
-        localContext.trace("Verifying the stated '".concat(containedAssertionString, "' contained assertion..."), containedAssertionNode);
-        var intrinsicLevel = localContext.isIntrinsicLevel();
-        if (intrinsicLevel) {
-            localContext.debug("The stated '".concat(containedAssertionString, "' contained assertion cannot be verified at intrinsic level."), containedAssertionNode);
-        } else {
-            var nonTerminalNode = containedAssertionNode, nonTerminalNodeVerified = _metaLevel.default.verifyNonTerminalNode(nonTerminalNode, localContext, function() {
-                var verifiedAhead = true;
-                return verifiedAhead;
-            });
-            statedContainedAssertionVerified = nonTerminalNodeVerified; ///
-        }
-        if (statedContainedAssertionVerified) {
-            localContext.debug("...verified the stated '".concat(containedAssertionString, "' contained assertion."), containedAssertionNode);
-        }
-    }
-    return statedContainedAssertionVerified;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvY29udGFpbmVkQXNzZXJ0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgbWV0YUxldmVsTm9kZVZlcmlmaWVyIGZyb20gXCIuLi92ZXJpZmllci9ub2RlL21ldGFMZXZlbFwiO1xuXG5pbXBvcnQgeyBpc0Fzc2VydGlvbk5lZ2F0ZWQgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3ZlcmlmeVwiO1xuaW1wb3J0IHsgbm9kZVF1ZXJ5LCBub2Rlc1F1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuXG5jb25zdCB2YXJpYWJsZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9jb250YWluZWRBc3NlcnRpb24vdGVybS92YXJpYWJsZSFcIiksXG4gICAgICBtZXRhc3RhdGVtZW50VmFyaWFibGVOb2Rlc1F1ZXJ5ID0gbm9kZXNRdWVyeShcIi9jb250YWluZWRBc3NlcnRpb24vc3RhdGVtZW50Ly92YXJpYWJsZVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5Q29udGFpbmVkQXNzZXJ0aW9uKGNvbnRhaW5lZEFzc2VydGlvbk5vZGUsIGFzc2lnbm1lbnRzLCBkZXJpdmVkLCBsb2NhbENvbnRleHQpIHtcbiAgbGV0IGNvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVkO1xuXG4gIGNvbnN0IGNvbnRhaW5lZEFzc2VydGlvblN0cmluZyA9IGxvY2FsQ29udGV4dC5ub2RlQXNTdHJpbmcoY29udGFpbmVkQXNzZXJ0aW9uTm9kZSk7XG5cbiAgbG9jYWxDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke2NvbnRhaW5lZEFzc2VydGlvblN0cmluZ30nIGNvbnRhaW5lZCBhc3NlcnRpb24uLi5gLCBjb250YWluZWRBc3NlcnRpb25Ob2RlKTtcblxuICBjb25zdCBjb250YWluZWRBc3NlcnRpb25GdW5jdGlvbnMgPSBbXG4gICAgdmVyaWZ5RGVyaXZlZENvbnRhaW5lZEFzc2VydGlvbixcbiAgICB2ZXJpZnlTdGF0ZWRDb250YWluZWRBc3NlcnRpb25cbiAgXTtcblxuICBjb250YWluZWRBc3NlcnRpb25WZXJpZmllZCA9IGNvbnRhaW5lZEFzc2VydGlvbkZ1bmN0aW9ucy5zb21lKChjb250YWluZWRBc3NlcnRpb25GdW5jdGlvbikgPT4ge1xuICAgIGNvbnN0IGNvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVkID0gY29udGFpbmVkQXNzZXJ0aW9uRnVuY3Rpb24oY29udGFpbmVkQXNzZXJ0aW9uTm9kZSwgYXNzaWdubWVudHMsIGRlcml2ZWQsIGxvY2FsQ29udGV4dCk7XG5cbiAgICBpZiAoY29udGFpbmVkQXNzZXJ0aW9uVmVyaWZpZWQpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG5cbiAgaWYgKGNvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVkKSB7XG4gICAgbG9jYWxDb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7Y29udGFpbmVkQXNzZXJ0aW9uU3RyaW5nfScgY29udGFpbmVkIGFzc2VydGlvbi5gLCBjb250YWluZWRBc3NlcnRpb25Ob2RlKTtcbiAgfVxuXG4gIHJldHVybiBjb250YWluZWRBc3NlcnRpb25WZXJpZmllZDtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5RGVyaXZlZENvbnRhaW5lZEFzc2VydGlvbihjb250YWluZWRBc3NlcnRpb25Ob2RlLCBhc3NpZ25tZW50cywgZGVyaXZlZCwgbG9jYWxDb250ZXh0KSB7XG4gIGxldCBkZXJpdmVkQ29udGFpbmVkQXNzZXJ0aW9uVmVyaWZpZWQgPSBmYWxzZTtcblxuICBpZiAoZGVyaXZlZCkge1xuICAgIGNvbnN0IGNvbnRhaW5lZEFzc2VydGlvblN0cmluZyA9IGxvY2FsQ29udGV4dC5ub2RlQXNTdHJpbmcoY29udGFpbmVkQXNzZXJ0aW9uTm9kZSk7XG5cbiAgICBsb2NhbENvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgZGVyaXZlZCAnJHtjb250YWluZWRBc3NlcnRpb25TdHJpbmd9JyBjb250YWluZWQgYXNzZXJ0aW9uLi4uYCwgY29udGFpbmVkQXNzZXJ0aW9uTm9kZSk7XG5cbiAgICBjb25zdCBjb250YWluZWRBc3NlcnRpb25OZWdhdGVkID0gaXNBc3NlcnRpb25OZWdhdGVkKGNvbnRhaW5lZEFzc2VydGlvbk5vZGUpLFxuICAgICAgICAgIHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZVF1ZXJ5KGNvbnRhaW5lZEFzc2VydGlvbk5vZGUpLFxuICAgICAgICAgIG5lZ2F0ZWQgPSBjb250YWluZWRBc3NlcnRpb25OZWdhdGVkOyAgLy8vXG5cbiAgICBpZiAoZmFsc2UpIHtcbiAgICAgIC8vL1xuICAgIH0gZWxzZSBpZiAodmFyaWFibGVOb2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBtZXRhc3RhdGVtZW50VmFyaWFibGVOb2RlcyA9IG1ldGFzdGF0ZW1lbnRWYXJpYWJsZU5vZGVzUXVlcnkoY29udGFpbmVkQXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICB2YXJpYWJsZU5vZGVNYXRjaGVzTWV0YUFyZ3VtZW50VmFyaWFibGVOb2RlID0gbWV0YXN0YXRlbWVudFZhcmlhYmxlTm9kZXMuc29tZSgobWV0YXN0YXRlbWVudFZhcmlhYmxlTm9kZSkgPT4ge1xuICAgICAgICAgICAgICBjb25zdCB2YXJpYWJsZU5vZGVNYXRjaGVzTWV0YUFyZ3VtZW50VmFyaWFibGVOb2RlID0gdmFyaWFibGVOb2RlLm1hdGNoKG1ldGFzdGF0ZW1lbnRWYXJpYWJsZU5vZGUpO1xuXG4gICAgICAgICAgICAgIGlmICh2YXJpYWJsZU5vZGVNYXRjaGVzTWV0YUFyZ3VtZW50VmFyaWFibGVOb2RlKSB7XG4gICAgICAgICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgICAgICAgIH1cbiAgICAgICAgICAgIH0pO1xuXG4gICAgICBpZiAoIW5lZ2F0ZWQpIHtcbiAgICAgICAgaWYgKHZhcmlhYmxlTm9kZU1hdGNoZXNNZXRhQXJndW1lbnRWYXJpYWJsZU5vZGUpIHtcbiAgICAgICAgICBkZXJpdmVkQ29udGFpbmVkQXNzZXJ0aW9uVmVyaWZpZWQgPSB0cnVlO1xuICAgICAgICB9XG4gICAgICB9XG5cbiAgICAgIGlmIChuZWdhdGVkKSB7XG4gICAgICAgIGlmICghdmFyaWFibGVOb2RlTWF0Y2hlc01ldGFBcmd1bWVudFZhcmlhYmxlTm9kZSkge1xuICAgICAgICAgIGRlcml2ZWRDb250YWluZWRBc3NlcnRpb25WZXJpZmllZCA9IHRydWU7XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICB9XG5cbiAgICBpZiAoZGVyaXZlZENvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVkKSB7XG4gICAgICBsb2NhbENvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSBkZXJpdmVkICcke2NvbnRhaW5lZEFzc2VydGlvblN0cmluZ30nIGNvbnRhaW5lZCBhc3NlcnRpb24uYCwgY29udGFpbmVkQXNzZXJ0aW9uTm9kZSk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIGRlcml2ZWRDb250YWluZWRBc3NlcnRpb25WZXJpZmllZDtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5U3RhdGVkQ29udGFpbmVkQXNzZXJ0aW9uKGNvbnRhaW5lZEFzc2VydGlvbk5vZGUsIGFzc2lnbm1lbnRzLCBkZXJpdmVkLCBsb2NhbENvbnRleHQpIHtcbiAgbGV0IHN0YXRlZENvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVkID0gZmFsc2U7XG5cbiAgaWYgKCFkZXJpdmVkKSB7XG4gICAgY29uc3QgY29udGFpbmVkQXNzZXJ0aW9uU3RyaW5nID0gbG9jYWxDb250ZXh0Lm5vZGVBc1N0cmluZyhjb250YWluZWRBc3NlcnRpb25Ob2RlKTtcblxuICAgIGxvY2FsQ29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSBzdGF0ZWQgJyR7Y29udGFpbmVkQXNzZXJ0aW9uU3RyaW5nfScgY29udGFpbmVkIGFzc2VydGlvbi4uLmAsIGNvbnRhaW5lZEFzc2VydGlvbk5vZGUpO1xuXG4gICAgY29uc3QgaW50cmluc2ljTGV2ZWwgPSBsb2NhbENvbnRleHQuaXNJbnRyaW5zaWNMZXZlbCgpO1xuXG4gICAgaWYgKGludHJpbnNpY0xldmVsKSB7XG4gICAgICBsb2NhbENvbnRleHQuZGVidWcoYFRoZSBzdGF0ZWQgJyR7Y29udGFpbmVkQXNzZXJ0aW9uU3RyaW5nfScgY29udGFpbmVkIGFzc2VydGlvbiBjYW5ub3QgYmUgdmVyaWZpZWQgYXQgaW50cmluc2ljIGxldmVsLmAsIGNvbnRhaW5lZEFzc2VydGlvbk5vZGUpO1xuICAgIH0gZWxzZSB7XG4gICAgICBjb25zdCBub25UZXJtaW5hbE5vZGUgPSBjb250YWluZWRBc3NlcnRpb25Ob2RlLCAvLy9cbiAgICAgICAgICAgIG5vblRlcm1pbmFsTm9kZVZlcmlmaWVkID0gbWV0YUxldmVsTm9kZVZlcmlmaWVyLnZlcmlmeU5vblRlcm1pbmFsTm9kZShub25UZXJtaW5hbE5vZGUsIGxvY2FsQ29udGV4dCwgKCkgPT4ge1xuICAgICAgICAgICAgICBjb25zdCB2ZXJpZmllZEFoZWFkID0gdHJ1ZTtcblxuICAgICAgICAgICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICAgICAgICAgIH0pO1xuXG4gICAgICBzdGF0ZWRDb250YWluZWRBc3NlcnRpb25WZXJpZmllZCA9IG5vblRlcm1pbmFsTm9kZVZlcmlmaWVkOyAvLy9cbiAgICB9XG5cbiAgICBpZiAoc3RhdGVkQ29udGFpbmVkQXNzZXJ0aW9uVmVyaWZpZWQpIHtcbiAgICAgIGxvY2FsQ29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlIHN0YXRlZCAnJHtjb250YWluZWRBc3NlcnRpb25TdHJpbmd9JyBjb250YWluZWQgYXNzZXJ0aW9uLmAsIGNvbnRhaW5lZEFzc2VydGlvbk5vZGUpO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGF0ZWRDb250YWluZWRBc3NlcnRpb25WZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlDb250YWluZWRBc3NlcnRpb24iLCJ2YXJpYWJsZU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsIm1ldGFzdGF0ZW1lbnRWYXJpYWJsZU5vZGVzUXVlcnkiLCJub2Rlc1F1ZXJ5IiwiY29udGFpbmVkQXNzZXJ0aW9uTm9kZSIsImFzc2lnbm1lbnRzIiwiZGVyaXZlZCIsImxvY2FsQ29udGV4dCIsImNvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVkIiwiY29udGFpbmVkQXNzZXJ0aW9uU3RyaW5nIiwibm9kZUFzU3RyaW5nIiwidHJhY2UiLCJjb250YWluZWRBc3NlcnRpb25GdW5jdGlvbnMiLCJ2ZXJpZnlEZXJpdmVkQ29udGFpbmVkQXNzZXJ0aW9uIiwidmVyaWZ5U3RhdGVkQ29udGFpbmVkQXNzZXJ0aW9uIiwic29tZSIsImNvbnRhaW5lZEFzc2VydGlvbkZ1bmN0aW9uIiwiZGVidWciLCJkZXJpdmVkQ29udGFpbmVkQXNzZXJ0aW9uVmVyaWZpZWQiLCJjb250YWluZWRBc3NlcnRpb25OZWdhdGVkIiwiaXNBc3NlcnRpb25OZWdhdGVkIiwidmFyaWFibGVOb2RlIiwibmVnYXRlZCIsIm1ldGFzdGF0ZW1lbnRWYXJpYWJsZU5vZGVzIiwidmFyaWFibGVOb2RlTWF0Y2hlc01ldGFBcmd1bWVudFZhcmlhYmxlTm9kZSIsIm1ldGFzdGF0ZW1lbnRWYXJpYWJsZU5vZGUiLCJtYXRjaCIsInN0YXRlZENvbnRhaW5lZEFzc2VydGlvblZlcmlmaWVkIiwiaW50cmluc2ljTGV2ZWwiLCJpc0ludHJpbnNpY0xldmVsIiwibm9uVGVybWluYWxOb2RlIiwibm9uVGVybWluYWxOb2RlVmVyaWZpZWQiLCJtZXRhTGV2ZWxOb2RlVmVyaWZpZXIiLCJ2ZXJpZnlOb25UZXJtaW5hbE5vZGUiLCJ2ZXJpZmllZEFoZWFkIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFVQTs7O2VBQXdCQTs7O2dFQVJVO3NCQUVDO3FCQUNHOzs7Ozs7QUFFdEMsSUFBTUMsb0JBQW9CQyxJQUFBQSxnQkFBUyxFQUFDLHVDQUM5QkMsa0NBQWtDQyxJQUFBQSxpQkFBVSxFQUFDO0FBRXBDLFNBQVNKLHlCQUF5Qkssc0JBQXNCLEVBQUVDLFdBQVcsRUFBRUMsT0FBTyxFQUFFQyxZQUFZO0lBQ3pHLElBQUlDO0lBRUosSUFBTUMsMkJBQTJCRixhQUFhRyxZQUFZLENBQUNOO0lBRTNERyxhQUFhSSxLQUFLLENBQUMsQUFBQyxrQkFBMEMsT0FBekJGLDBCQUF5Qiw2QkFBMkJMO0lBRXpGLElBQU1RLDhCQUE4QjtRQUNsQ0M7UUFDQUM7S0FDRDtJQUVETiw2QkFBNkJJLDRCQUE0QkcsSUFBSSxDQUFDLFNBQUNDO1FBQzdELElBQU1SLDZCQUE2QlEsMkJBQTJCWix3QkFBd0JDLGFBQWFDLFNBQVNDO1FBRTVHLElBQUlDLDRCQUE0QjtZQUM5QixPQUFPO1FBQ1Q7SUFDRjtJQUVBLElBQUlBLDRCQUE0QjtRQUM5QkQsYUFBYVUsS0FBSyxDQUFDLEFBQUMsb0JBQTRDLE9BQXpCUiwwQkFBeUIsMkJBQXlCTDtJQUMzRjtJQUVBLE9BQU9JO0FBQ1Q7QUFFQSxTQUFTSyxnQ0FBZ0NULHNCQUFzQixFQUFFQyxXQUFXLEVBQUVDLE9BQU8sRUFBRUMsWUFBWTtJQUNqRyxJQUFJVyxvQ0FBb0M7SUFFeEMsSUFBSVosU0FBUztRQUNYLElBQU1HLDJCQUEyQkYsYUFBYUcsWUFBWSxDQUFDTjtRQUUzREcsYUFBYUksS0FBSyxDQUFDLEFBQUMsMEJBQWtELE9BQXpCRiwwQkFBeUIsNkJBQTJCTDtRQUVqRyxJQUFNZSw0QkFBNEJDLElBQUFBLDBCQUFrQixFQUFDaEIseUJBQy9DaUIsZUFBZXJCLGtCQUFrQkkseUJBQ2pDa0IsVUFBVUgsMkJBQTRCLEdBQUc7UUFFL0MsSUFBSSxPQUFPO1FBQ1QsR0FBRztRQUNMLE9BQU8sSUFBSUUsaUJBQWlCLE1BQU07WUFDaEMsSUFBTUUsNkJBQTZCckIsZ0NBQWdDRSx5QkFDN0RvQiw4Q0FBOENELDJCQUEyQlIsSUFBSSxDQUFDLFNBQUNVO2dCQUM3RSxJQUFNRCw4Q0FBOENILGFBQWFLLEtBQUssQ0FBQ0Q7Z0JBRXZFLElBQUlELDZDQUE2QztvQkFDL0MsT0FBTztnQkFDVDtZQUNGO1lBRU4sSUFBSSxDQUFDRixTQUFTO2dCQUNaLElBQUlFLDZDQUE2QztvQkFDL0NOLG9DQUFvQztnQkFDdEM7WUFDRjtZQUVBLElBQUlJLFNBQVM7Z0JBQ1gsSUFBSSxDQUFDRSw2Q0FBNkM7b0JBQ2hETixvQ0FBb0M7Z0JBQ3RDO1lBQ0Y7UUFDRjtRQUVBLElBQUlBLG1DQUFtQztZQUNyQ1gsYUFBYVUsS0FBSyxDQUFDLEFBQUMsNEJBQW9ELE9BQXpCUiwwQkFBeUIsMkJBQXlCTDtRQUNuRztJQUNGO0lBRUEsT0FBT2M7QUFDVDtBQUVBLFNBQVNKLCtCQUErQlYsc0JBQXNCLEVBQUVDLFdBQVcsRUFBRUMsT0FBTyxFQUFFQyxZQUFZO0lBQ2hHLElBQUlvQixtQ0FBbUM7SUFFdkMsSUFBSSxDQUFDckIsU0FBUztRQUNaLElBQU1HLDJCQUEyQkYsYUFBYUcsWUFBWSxDQUFDTjtRQUUzREcsYUFBYUksS0FBSyxDQUFDLEFBQUMseUJBQWlELE9BQXpCRiwwQkFBeUIsNkJBQTJCTDtRQUVoRyxJQUFNd0IsaUJBQWlCckIsYUFBYXNCLGdCQUFnQjtRQUVwRCxJQUFJRCxnQkFBZ0I7WUFDbEJyQixhQUFhVSxLQUFLLENBQUMsQUFBQyxlQUF1QyxPQUF6QlIsMEJBQXlCLGlFQUErREw7UUFDNUgsT0FBTztZQUNMLElBQU0wQixrQkFBa0IxQix3QkFDbEIyQiwwQkFBMEJDLGtCQUFxQixDQUFDQyxxQkFBcUIsQ0FBQ0gsaUJBQWlCdkIsY0FBYztnQkFDbkcsSUFBTTJCLGdCQUFnQjtnQkFFdEIsT0FBT0E7WUFDVDtZQUVOUCxtQ0FBbUNJLHlCQUF5QixHQUFHO1FBQ2pFO1FBRUEsSUFBSUosa0NBQWtDO1lBQ3BDcEIsYUFBYVUsS0FBSyxDQUFDLEFBQUMsMkJBQW1ELE9BQXpCUiwwQkFBeUIsMkJBQXlCTDtRQUNsRztJQUNGO0lBRUEsT0FBT3VCO0FBQ1QifQ==