occam-verify-cli 0.0.932 → 0.0.934

package/src/verify/statement.js

@@ -1,5 +1,6 @@
 "use strict";
 
+import shim from "../shim";
 import verifyEquality from "../verify/equality";
 import verifyJudgement from "../verify/judgement";
 import bracketedCombinator from "../ocmbinator/bracketed";
@@ -7,7 +8,7 @@ import verifyTypeAssertion from "../verify/assertion/type";
 import verifyDefinedAssertion from "../verify/assertion/defined";
 import verifySubproofAssertion from "../verify/assertion/subproof";
 import verifyContainedAssertion from "../verify/assertion/contained";
-import statementAgainstCombinatorNodesVerifier from "../verifier/nodes/statementAgainstCombinator";
+import statementAgainstCombinatorUnifier from "../unifier/statementAgainstCombinator";
 
 import { nodeQuery } from "../utilities/query";
 import { STATEMENT_META_TYPE_NAME } from "../metaTypeNames";
@@ -15,10 +16,10 @@ import { STATEMENT_META_TYPE_NAME } from "../metaTypeNames";
 const variableNodeQuery = nodeQuery("/substitution/variable!"),
       equalityNodeQuery = nodeQuery("/statement/equality!"),
       judgementNodeQuery = nodeQuery("/statement/judgement!"),
-      termVariableNodeQuery = nodeQuery("/substitution/term/variable!"),
       metavariableNodeQuery = nodeQuery("/statement/metavariable!"),
       substitutionNodeQuery = nodeQuery("/statement/substitution!"),
       typeAssertionNodeQuery = nodeQuery("/statement/typeAssertion!"),
+      termVariableNodeQuery = nodeQuery("/substitution/term/variable!"),
       definedAssertionNodeQuery = nodeQuery("/statement/definedAssertion!"),
       subproofAssertionNodeQuery = nodeQuery("/statement/subproofAssertion!"),
       containedAssertionNodeQuery = nodeQuery("/statement/containedAssertion!");
@@ -80,58 +81,66 @@ export function verifyStandaloneStatement(statementNode, localContext, verifyAhe
   return standaloneStatementVerified;
 }
 
-Object.assign(statementAgainstCombinatorNodesVerifier, {
+Object.assign(shim, {
   verifyStatement
 });
 
+
 export default verifyStatement;
 
-export function verifyStatementAsEquality(statementNode, assignments, derived, localContext) {
-  let statementVerifiedAsEquality = false;
+function verifyStatementAsMetavariable(statementNode, assignments, derived, localContext) {
+  let statementVerifiedAsMetavariable = false;
 
-  const equalityNode = equalityNodeQuery(statementNode);
+  const metavariableNode = metavariableNodeQuery(statementNode);
 
-  if (equalityNode !== null) {
+  if (metavariableNode !== null) {
     const statementString = localContext.nodeAsString(statementNode);
 
-    localContext.trace(`Verifying the '${statementString}' statement as an equality...`, statementNode);
+    localContext.trace(`Verifying the '${statementString}' statement as a metavariable...`, statementNode);
 
-    const equalityVerified = verifyEquality(equalityNode, assignments, derived, localContext, () => {
-            const verifiedAhead = true;
+    const metavariableVerified = verifyMetavariable(metavariableNode, localContext);
 
-            return verifiedAhead;
-          });
+    if (metavariableVerified) {
+      const substitutionNode = substitutionNodeQuery(statementNode),
+            substitutionVerified = verifySubstitution(substitutionNode, localContext);
 
-    statementVerifiedAsEquality = equalityVerified; ///
+      if (substitutionVerified) {
+        statementVerifiedAsMetavariable = true;
+      }
+    }
 
-    if (statementVerifiedAsEquality) {
-      localContext.debug(`...verified the '${statementString}' statement as an equality.`, statementNode);
+    if (statementVerifiedAsMetavariable) {
+      localContext.debug(`...verified the '${statementString}' statement as a metavariable.`, statementNode);
     }
   }
 
-  return statementVerifiedAsEquality;
+  return statementVerifiedAsMetavariable;
 }
 
-export function verifyStatementAsTypeAssertion(statementNode, assignments, derived, localContext) {
-  let statementVerifiedAsTypeAssertion = false;
+function verifyStatementAsEquality(statementNode, assignments, derived, localContext) {
+  let statementVerifiedAsEquality = false;
 
-  const typeAssertionNode = typeAssertionNodeQuery(statementNode);
+  const equalityNode = equalityNodeQuery(statementNode);
 
-  if (typeAssertionNode !== null) {
+  if (equalityNode !== null) {
     const statementString = localContext.nodeAsString(statementNode);
 
-    localContext.trace(`Verifying the '${statementString}' statement as a type assertion...`, statementNode);
+    localContext.trace(`Verifying the '${statementString}' statement as an equality...`, statementNode);
 
-    const typeAssertionVerified = verifyTypeAssertion(typeAssertionNode, assignments, derived, localContext);
+    const equalityVerified = verifyEquality(equalityNode, assignments, derived, localContext, () => {
+            const verifiedAhead = true;
 
-    statementVerifiedAsTypeAssertion = typeAssertionVerified; ///
+            return verifiedAhead;
+          });
 
-    if (statementVerifiedAsTypeAssertion) {
-      localContext.debug(`...verified the '${statementString}' statement as a type assertion.`, statementNode);
+    statementVerifiedAsEquality = equalityVerified; ///
+
+    if (statementVerifiedAsEquality) {
+      localContext.debug(`...verified the '${statementString}' statement as an equality.`, statementNode);
     }
   }
 
-  return statementVerifiedAsTypeAssertion;
+  return statementVerifiedAsEquality;
 }
 
 function verifyStatementAsJudgement(statementNode, assignments, derived, localContext) {
@@ -156,33 +165,26 @@ function verifyStatementAsJudgement(statementNode, assignments, derived, localCo
   return statementVerifiedAsJudgement;
 }
 
-function verifyStatementAsMetavariable(statementNode, assignments, derived, localContext) {
-  let statementVerifiedAsMetavariable = false;
+function verifyStatementAsTypeAssertion(statementNode, assignments, derived, localContext) {
+  let statementVerifiedAsTypeAssertion = false;
 
-  const metavariableNode = metavariableNodeQuery(statementNode);
+  const typeAssertionNode = typeAssertionNodeQuery(statementNode);
 
-  if (metavariableNode !== null) {
+  if (typeAssertionNode !== null) {
     const statementString = localContext.nodeAsString(statementNode);
 
-    localContext.trace(`Verifying the '${statementString}' statement as a metavariable...`, statementNode);
-
-    const metavariableVerified = verifyMetavariable(metavariableNode, localContext);
+    localContext.trace(`Verifying the '${statementString}' statement as a type assertion...`, statementNode);
 
-    if (metavariableVerified) {
-      const substitutionNode = substitutionNodeQuery(statementNode),
-            substitutionVerified = verifySubstitution(substitutionNode, localContext);
+    const typeAssertionVerified = verifyTypeAssertion(typeAssertionNode, assignments, derived, localContext);
 
-      if (substitutionVerified) {
-        statementVerifiedAsMetavariable = true;
-      }
-    }
+    statementVerifiedAsTypeAssertion = typeAssertionVerified; ///
 
-    if (statementVerifiedAsMetavariable) {
-      localContext.debug(`...verified the '${statementString}' statement as a metavariable.`, statementNode);
+    if (statementVerifiedAsTypeAssertion) {
+      localContext.debug(`...verified the '${statementString}' statement as a type assertion.`, statementNode);
     }
   }
 
-  return statementVerifiedAsMetavariable;
+  return statementVerifiedAsTypeAssertion;
 }
 
 function verifyStatementAsDefinedAssertion(statementNode, assignments, derived, localContext) {
@@ -312,13 +314,13 @@ function verifyStatementAgainstCombinator(statementNode, combinator, localContex
   const combinatorStatementNode = combinator.getStatementNode(),
         nonTerminalNodeA = statementNode, ///
         nonTerminalNodeB = combinatorStatementNode, ///
-        nonTerminalNodeVerified = statementAgainstCombinatorNodesVerifier.verifyNonTerminalNode(nonTerminalNodeA, nonTerminalNodeB, localContext, () => {
+        nonTerminalNodeUnify = statementAgainstCombinatorUnifier.unifyNonTerminalNode(nonTerminalNodeA, nonTerminalNodeB, localContext, () => {
           const verifiedAhead = true;
 
           return verifiedAhead;
         });
 
-  statementVerifiedAgainstCombinator = nonTerminalNodeVerified;  ///
+  statementVerifiedAgainstCombinator = nonTerminalNodeUnify;  ///
 
   if (statementVerifiedAgainstCombinator) {
     localContext.debug(`...verified the '${statementString}' statement against the '${combinatorString}' combinator.`, statementNode);

package/src/verify/statementAsCombinator.js

@@ -1,7 +1,7 @@
 "use strict";
 
 import Combinator from "../combinator";
-import statementAsCombinatorNodeVerifier from "../verifier/node/statementAsCombinator";
+import statementAsCombinatorVerifier from "../verifier/statementAsCombinator";
 
 export default function verifyStatementAsCombinator(statementNode, fileContext) {
   let statementVerifiedAsCombinator = false;
@@ -12,7 +12,7 @@ export default function verifyStatementAsCombinator(statementNode, fileContext)
 
   const nonTerminalNode = statementNode, ///
         childNodes = nonTerminalNode.getChildNodes(),
-        childNodesVerified = statementAsCombinatorNodeVerifier.verifyChildNodes(childNodes, fileContext, () => {
+        childNodesVerified = statementAsCombinatorVerifier.verifyChildNodes(childNodes, fileContext, () => {
           const verifiedAhead = true;
 
           return verifiedAhead;

package/src/verify/subDerivation.js

@@ -1,5 +1,7 @@
 "use strict";
 
+import shim from "../shim";
+
 import { nodesQuery } from "../utilities/query";
 
 const proofStepNodesQuery = nodesQuery("/subDerivation/proofStep|lastProofStep");
@@ -10,7 +12,7 @@ export default function verifySubDerivation(subDerivationNode, substitutions, lo
   const proofStepNodes = proofStepNodesQuery(subDerivationNode);
 
   subDerivationVerified = proofStepNodes.every((proofStepNode) => {
-    const { verifyProofStep } = verifySubDerivation,
+    const { verifyProofStep } = shim,
           proofStepVerified = verifyProofStep(proofStepNode, substitutions, localContext);
 
     if (proofStepVerified) {

package/src/verify/term.js

@@ -1,8 +1,9 @@
 "use strict";
 
+import shim from "../shim";
 import Term from "../term";
 import bracketedConstructor from "../constructor/bracketed";
-import termAgainstConstructorNodesVerifier from "../verifier/nodes/termAgainstConstructor";
+import termAgainstConstructorUnifier from "../unifier/termAgainstConstructor";
 
 import { first } from "../utilities/array";
 import { nodeQuery } from "../utilities/query";
@@ -57,7 +58,7 @@ export function verifyStandaloneTerm(termNode, localContext, verifyAhead) {
   return standaloneTermVerified;
 }
 
-Object.assign(termAgainstConstructorNodesVerifier, {
+Object.assign(shim, {
   verifyTerm
 });
 
@@ -131,7 +132,7 @@ function verifyTermAgainstBracketedConstructor(termNode, terms, localContext, ve
   const bracketedConstructorTermNode = bracketedConstructor.getTermNode(),
         nonTerminalNNdeA = termNode,  ///
         nonTerminalNodeB = bracketedConstructorTermNode,  ///
-        nodeVerified = termAgainstConstructorNodesVerifier.verifyNonTerminalNode(nonTerminalNNdeA, nonTerminalNodeB, localContext, () => {
+        nodeUnified = termAgainstConstructorUnifier.unifyNonTerminalNode(nonTerminalNNdeA, nonTerminalNodeB, localContext, () => {
           let verifiedAhead;
 
           const bracketedTermNode = termNode; ///
@@ -174,7 +175,7 @@ function verifyTermAgainstBracketedConstructor(termNode, terms, localContext, ve
           return verifiedAhead;
         });
 
-  termVerifiedAgainstBracketedConstructor = nodeVerified;  ///
+  termVerifiedAgainstBracketedConstructor = nodeUnified;  ///
 
   if (termVerifiedAgainstBracketedConstructor) {
     localContext.debug(`...verified the '${termString}' term against the '${bracketedConstructorString}' constructor.`, termNode);
@@ -194,7 +195,7 @@ function verifyTermAgainstConstructor(termNode, terms, constructor, localContext
   const constructorTermNode = constructor.getTermNode(),
         nonTerminalNNdeA = termNode,  ///
         nonTerminalNodeB = constructorTermNode,  ///
-        nodeVerified = termAgainstConstructorNodesVerifier.verifyNonTerminalNode(nonTerminalNNdeA, nonTerminalNodeB, localContext, () => {
+        nodeUnify = termAgainstConstructorUnifier.unifyNonTerminalNode(nonTerminalNNdeA, nonTerminalNodeB, localContext, () => {
           let verifiedAhead;
 
           const type = constructor.getType(),
@@ -211,7 +212,7 @@ function verifyTermAgainstConstructor(termNode, terms, constructor, localContext
           return verifiedAhead;
         });
 
-  termVerifiedAgainstConstructor = nodeVerified;  ///
+  termVerifiedAgainstConstructor = nodeUnify;  ///
 
   if (termVerifiedAgainstConstructor) {
     localContext.debug(`...verified the '${termString}' term against the '${constructorString}' constructor.`, termNode);

package/src/verify/termAsConstructor.js

@@ -2,7 +2,7 @@
 
 import Constructor from "../constructor";
 import LocalContext from "../context/local";
-import termAsConstructorNodeVerifier from "../verifier/node/termAsConstructor";
+import termAsConstructorVerifier from "../verifier/termAsConstructor";
 
 export default function verifyTermAsConstructor(termNode, typeNode, fileContext) {
   let termVerifiedAsConstructor = false;
@@ -14,7 +14,7 @@ export default function verifyTermAsConstructor(termNode, typeNode, fileContext)
   const localContext = LocalContext.fromFileContext(fileContext),
         nonTerminalNode = termNode, ///
         childNodes = nonTerminalNode.getChildNodes(),
-        childNodesVerified = termAsConstructorNodeVerifier.verifyChildNodes(childNodes, localContext, () => {
+        childNodesVerified = termAsConstructorVerifier.verifyChildNodes(childNodes, localContext, () => {
           const verifiedAhead = true;
 
           return verifiedAhead;

package/lib/mixins/context.js

@@ -1,135 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-function trace(node, message) {
-    this.context.trace(node, message);
-}
-function debug(node, message) {
-    this.context.debug(node, message);
-}
-function info(node, message) {
-    this.context.info(node, message);
-}
-function warning(node, message) {
-    this.context.warning(node, message);
-}
-function error(node, message) {
-    this.context.error(node, message);
-}
-function fatal(node, message) {
-    this.context.fatal(node, message);
-}
-function getAxioms() {
-    return this.context.getAxioms();
-}
-function getLemmas() {
-    return this.context.getLemmas();
-}
-function getTheorems() {
-    return this.context.getTheorems();
-}
-function getConjectures() {
-    return this.context.getConjectures();
-}
-function getCombinators() {
-    return this.context.getCombinators();
-}
-function getConstructors() {
-    return this.context.getConstructors();
-}
-function isTypePresentByTypeName(typeName) {
-    return this.context.isTypePresentByTypeName(typeName);
-}
-function isTypePresentByTypeNode(typeNode) {
-    return this.context.isTypePresentByTypeNode(typeNode);
-}
-function isMetavariablePresentByName(name) {
-    return this.context.isMetavariablePresentByName(name);
-}
-function isLabelPresentByMetavariableNode(metavariableNode) {
-    return this.context.isLabelPresentByMetavariableNode(metavariableNode);
-}
-function findTypeByTypeName(typeName) {
-    return this.context.findTypeByTypeName(typeName);
-}
-function findTypeByTypeNode(typeNode) {
-    return this.context.findTypeByTypeNode(typeNode);
-}
-function findMetavariableByName(name) {
-    return this.context.findMetavariableByName(name);
-}
-function findLabelByMetavariableNode(metavariableNode) {
-    return this.context.findLabelByMetavariableNode(metavariableNode);
-}
-function findMetaTypeByMetaTypeNode(metaTypeNode) {
-    return this.context.findMetaTypeByMetaTypeNode(metaTypeNode);
-}
-function findRuleByMetavariableNode(metavariableNode) {
-    return this.context.findRuleByMetavariableNode(metavariableNode);
-}
-function findAxiomByMetavariableNode(metavariableNode) {
-    return this.context.findAxiomByMetavariableNode(metavariableNode);
-}
-function findLemmaByMetavariableNode(metavariableNode) {
-    return this.context.findLemmaByMetavariableNode(metavariableNode);
-}
-function findTheoremByMetavariableNode(metavariableNode) {
-    return this.context.findTheoremByMetavariableNode(metavariableNode);
-}
-function findMetaLemmaByMetavariableNode(metavariableNode) {
-    return this.context.findMetaLemmaByMetavariableNode(metavariableNode);
-}
-function findConjectureByMetavariableNode(metavariableNode) {
-    return this.context.findConjectureByMetavariableNode(metavariableNode);
-}
-function findMetatheoremByMetavariableNode(metavariableNode) {
-    return this.context.findMetatheoremByMetavariableNode(metavariableNode);
-}
-function nodeAsString(node) {
-    return this.context.nodeAsString(node);
-}
-function nodesAsString(node) {
-    return this.context.nodesAsString(node);
-}
-var contextMixins = {
-    trace: trace,
-    debug: debug,
-    info: info,
-    warning: warning,
-    error: error,
-    fatal: fatal,
-    getAxioms: getAxioms,
-    getLemmas: getLemmas,
-    getTheorems: getTheorems,
-    getConjectures: getConjectures,
-    getCombinators: getCombinators,
-    getConstructors: getConstructors,
-    isTypePresentByTypeName: isTypePresentByTypeName,
-    isTypePresentByTypeNode: isTypePresentByTypeNode,
-    isMetavariablePresentByName: isMetavariablePresentByName,
-    isLabelPresentByMetavariableNode: isLabelPresentByMetavariableNode,
-    findTypeByTypeName: findTypeByTypeName,
-    findTypeByTypeNode: findTypeByTypeNode,
-    findMetavariableByName: findMetavariableByName,
-    findLabelByMetavariableNode: findLabelByMetavariableNode,
-    findMetaTypeByMetaTypeNode: findMetaTypeByMetaTypeNode,
-    findRuleByMetavariableNode: findRuleByMetavariableNode,
-    findAxiomByMetavariableNode: findAxiomByMetavariableNode,
-    findLemmaByMetavariableNode: findLemmaByMetavariableNode,
-    findTheoremByMetavariableNode: findTheoremByMetavariableNode,
-    findMetaLemmaByMetavariableNode: findMetaLemmaByMetavariableNode,
-    findConjectureByMetavariableNode: findConjectureByMetavariableNode,
-    findMetatheoremByMetavariableNode: findMetatheoremByMetavariableNode,
-    nodeAsString: nodeAsString,
-    nodesAsString: nodesAsString
-};
-var _default = contextMixins;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9taXhpbnMvY29udGV4dC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZnVuY3Rpb24gdHJhY2Uobm9kZSwgbWVzc2FnZSkgeyB0aGlzLmNvbnRleHQudHJhY2Uobm9kZSwgbWVzc2FnZSk7IH1cblxuZnVuY3Rpb24gZGVidWcobm9kZSwgbWVzc2FnZSkgeyB0aGlzLmNvbnRleHQuZGVidWcobm9kZSwgbWVzc2FnZSk7IH1cblxuZnVuY3Rpb24gaW5mbyhub2RlLCBtZXNzYWdlKSB7IHRoaXMuY29udGV4dC5pbmZvKG5vZGUsIG1lc3NhZ2UpOyB9XG5cbmZ1bmN0aW9uIHdhcm5pbmcobm9kZSwgbWVzc2FnZSkgeyB0aGlzLmNvbnRleHQud2FybmluZyhub2RlLCBtZXNzYWdlKTsgfVxuXG5mdW5jdGlvbiBlcnJvcihub2RlLCBtZXNzYWdlKSB7IHRoaXMuY29udGV4dC5lcnJvcihub2RlLCBtZXNzYWdlKTsgfVxuXG5mdW5jdGlvbiBmYXRhbChub2RlLCBtZXNzYWdlKSB7IHRoaXMuY29udGV4dC5mYXRhbChub2RlLCBtZXNzYWdlKTsgfVxuXG5mdW5jdGlvbiBnZXRBeGlvbXMoKSB7IHJldHVybiB0aGlzLmNvbnRleHQuZ2V0QXhpb21zKCk7IH1cblxuZnVuY3Rpb24gZ2V0TGVtbWFzKCkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmdldExlbW1hcygpOyB9XG5cbmZ1bmN0aW9uIGdldFRoZW9yZW1zKCkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmdldFRoZW9yZW1zKCk7IH1cblxuZnVuY3Rpb24gZ2V0Q29uamVjdHVyZXMoKSB7IHJldHVybiB0aGlzLmNvbnRleHQuZ2V0Q29uamVjdHVyZXMoKTsgfVxuXG5mdW5jdGlvbiBnZXRDb21iaW5hdG9ycygpIHsgcmV0dXJuIHRoaXMuY29udGV4dC5nZXRDb21iaW5hdG9ycygpOyB9XG5cbmZ1bmN0aW9uIGdldENvbnN0cnVjdG9ycygpIHsgcmV0dXJuIHRoaXMuY29udGV4dC5nZXRDb25zdHJ1Y3RvcnMoKTsgfVxuXG5mdW5jdGlvbiBpc1R5cGVQcmVzZW50QnlUeXBlTmFtZSh0eXBlTmFtZSkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmlzVHlwZVByZXNlbnRCeVR5cGVOYW1lKHR5cGVOYW1lKTsgfVxuXG5mdW5jdGlvbiBpc1R5cGVQcmVzZW50QnlUeXBlTm9kZSh0eXBlTm9kZSkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmlzVHlwZVByZXNlbnRCeVR5cGVOb2RlKHR5cGVOb2RlKTsgfVxuXG5mdW5jdGlvbiBpc01ldGF2YXJpYWJsZVByZXNlbnRCeU5hbWUobmFtZSkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmlzTWV0YXZhcmlhYmxlUHJlc2VudEJ5TmFtZShuYW1lKTsgfVxuXG5mdW5jdGlvbiBpc0xhYmVsUHJlc2VudEJ5TWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlKSB7IHJldHVybiB0aGlzLmNvbnRleHQuaXNMYWJlbFByZXNlbnRCeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7IH1cblxuZnVuY3Rpb24gZmluZFR5cGVCeVR5cGVOYW1lKHR5cGVOYW1lKSB7IHJldHVybiB0aGlzLmNvbnRleHQuZmluZFR5cGVCeVR5cGVOYW1lKHR5cGVOYW1lKTsgfVxuXG5mdW5jdGlvbiBmaW5kVHlwZUJ5VHlwZU5vZGUodHlwZU5vZGUpIHsgcmV0dXJuIHRoaXMuY29udGV4dC5maW5kVHlwZUJ5VHlwZU5vZGUodHlwZU5vZGUpOyB9XG5cbmZ1bmN0aW9uIGZpbmRNZXRhdmFyaWFibGVCeU5hbWUobmFtZSkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmZpbmRNZXRhdmFyaWFibGVCeU5hbWUobmFtZSk7IH1cblxuZnVuY3Rpb24gZmluZExhYmVsQnlNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUpIHsgcmV0dXJuIHRoaXMuY29udGV4dC5maW5kTGFiZWxCeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7IH1cblxuZnVuY3Rpb24gZmluZE1ldGFUeXBlQnlNZXRhVHlwZU5vZGUobWV0YVR5cGVOb2RlKSB7IHJldHVybiB0aGlzLmNvbnRleHQuZmluZE1ldGFUeXBlQnlNZXRhVHlwZU5vZGUobWV0YVR5cGVOb2RlKTsgfVxuXG5mdW5jdGlvbiBmaW5kUnVsZUJ5TWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlKSB7IHJldHVybiB0aGlzLmNvbnRleHQuZmluZFJ1bGVCeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7IH1cblxuZnVuY3Rpb24gZmluZEF4aW9tQnlNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUpIHsgcmV0dXJuIHRoaXMuY29udGV4dC5maW5kQXhpb21CeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7IH1cblxuZnVuY3Rpb24gZmluZExlbW1hQnlNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUpIHsgcmV0dXJuIHRoaXMuY29udGV4dC5maW5kTGVtbWFCeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7IH1cblxuZnVuY3Rpb24gZmluZFRoZW9yZW1CeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmZpbmRUaGVvcmVtQnlNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUpOyB9XG5cbmZ1bmN0aW9uIGZpbmRNZXRhTGVtbWFCeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmZpbmRNZXRhTGVtbWFCeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7IH1cblxuZnVuY3Rpb24gZmluZENvbmplY3R1cmVCeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSkgeyByZXR1cm4gdGhpcy5jb250ZXh0LmZpbmRDb25qZWN0dXJlQnlNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUpOyB9XG5cbmZ1bmN0aW9uIGZpbmRNZXRhdGhlb3JlbUJ5TWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlKSB7IHJldHVybiB0aGlzLmNvbnRleHQuZmluZE1ldGF0aGVvcmVtQnlNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUpOyB9XG5cbmZ1bmN0aW9uIG5vZGVBc1N0cmluZyhub2RlKSB7IHJldHVybiB0aGlzLmNvbnRleHQubm9kZUFzU3RyaW5nKG5vZGUpOyB9XG5cbmZ1bmN0aW9uIG5vZGVzQXNTdHJpbmcobm9kZSkgeyByZXR1cm4gdGhpcy5jb250ZXh0Lm5vZGVzQXNTdHJpbmcobm9kZSk7IH1cblxuY29uc3QgY29udGV4dE1peGlucyA9IHtcbiAgdHJhY2UsXG4gIGRlYnVnLFxuICBpbmZvLFxuICB3YXJuaW5nLFxuICBlcnJvcixcbiAgZmF0YWwsXG4gIGdldEF4aW9tcyxcbiAgZ2V0TGVtbWFzLFxuICBnZXRUaGVvcmVtcyxcbiAgZ2V0Q29uamVjdHVyZXMsXG4gIGdldENvbWJpbmF0b3JzLFxuICBnZXRDb25zdHJ1Y3RvcnMsXG4gIGlzVHlwZVByZXNlbnRCeVR5cGVOYW1lLFxuICBpc1R5cGVQcmVzZW50QnlUeXBlTm9kZSxcbiAgaXNNZXRhdmFyaWFibGVQcmVzZW50QnlOYW1lLFxuICBpc0xhYmVsUHJlc2VudEJ5TWV0YXZhcmlhYmxlTm9kZSxcbiAgZmluZFR5cGVCeVR5cGVOYW1lLFxuICBmaW5kVHlwZUJ5VHlwZU5vZGUsXG4gIGZpbmRNZXRhdmFyaWFibGVCeU5hbWUsXG4gIGZpbmRMYWJlbEJ5TWV0YXZhcmlhYmxlTm9kZSxcbiAgZmluZE1ldGFUeXBlQnlNZXRhVHlwZU5vZGUsXG4gIGZpbmRSdWxlQnlNZXRhdmFyaWFibGVOb2RlLFxuICBmaW5kQXhpb21CeU1ldGF2YXJpYWJsZU5vZGUsXG4gIGZpbmRMZW1tYUJ5TWV0YXZhcmlhYmxlTm9kZSxcbiAgZmluZFRoZW9yZW1CeU1ldGF2YXJpYWJsZU5vZGUsXG4gIGZpbmRNZXRhTGVtbWFCeU1ldGF2YXJpYWJsZU5vZGUsXG4gIGZpbmRDb25qZWN0dXJlQnlNZXRhdmFyaWFibGVOb2RlLFxuICBmaW5kTWV0YXRoZW9yZW1CeU1ldGF2YXJpYWJsZU5vZGUsXG4gIG5vZGVBc1N0cmluZyxcbiAgbm9kZXNBc1N0cmluZ1xufTtcblxuZXhwb3J0IGRlZmF1bHQgY29udGV4dE1peGlucztcbiJdLCJuYW1lcyI6WyJ0cmFjZSIsIm5vZGUiLCJtZXNzYWdlIiwiY29udGV4dCIsImRlYnVnIiwiaW5mbyIsIndhcm5pbmciLCJlcnJvciIsImZhdGFsIiwiZ2V0QXhpb21zIiwiZ2V0TGVtbWFzIiwiZ2V0VGhlb3JlbXMiLCJnZXRDb25qZWN0dXJlcyIsImdldENvbWJpbmF0b3JzIiwiZ2V0Q29uc3RydWN0b3JzIiwiaXNUeXBlUHJlc2VudEJ5VHlwZU5hbWUiLCJ0eXBlTmFtZSIsImlzVHlwZVByZXNlbnRCeVR5cGVOb2RlIiwidHlwZU5vZGUiLCJpc01ldGF2YXJpYWJsZVByZXNlbnRCeU5hbWUiLCJuYW1lIiwiaXNMYWJlbFByZXNlbnRCeU1ldGF2YXJpYWJsZU5vZGUiLCJtZXRhdmFyaWFibGVOb2RlIiwiZmluZFR5cGVCeVR5cGVOYW1lIiwiZmluZFR5cGVCeVR5cGVOb2RlIiwiZmluZE1ldGF2YXJpYWJsZUJ5TmFtZSIsImZpbmRMYWJlbEJ5TWV0YXZhcmlhYmxlTm9kZSIsImZpbmRNZXRhVHlwZUJ5TWV0YVR5cGVOb2RlIiwibWV0YVR5cGVOb2RlIiwiZmluZFJ1bGVCeU1ldGF2YXJpYWJsZU5vZGUiLCJmaW5kQXhpb21CeU1ldGF2YXJpYWJsZU5vZGUiLCJmaW5kTGVtbWFCeU1ldGF2YXJpYWJsZU5vZGUiLCJmaW5kVGhlb3JlbUJ5TWV0YXZhcmlhYmxlTm9kZSIsImZpbmRNZXRhTGVtbWFCeU1ldGF2YXJpYWJsZU5vZGUiLCJmaW5kQ29uamVjdHVyZUJ5TWV0YXZhcmlhYmxlTm9kZSIsImZpbmRNZXRhdGhlb3JlbUJ5TWV0YXZhcmlhYmxlTm9kZSIsIm5vZGVBc1N0cmluZyIsIm5vZGVzQXNTdHJpbmciLCJjb250ZXh0TWl4aW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkErRkE7OztlQUFBOzs7QUE3RkEsU0FBU0EsTUFBTUMsSUFBSSxFQUFFQyxPQUFPO0lBQUksSUFBSSxDQUFDQyxPQUFPLENBQUNILEtBQUssQ0FBQ0MsTUFBTUM7QUFBVTtBQUVuRSxTQUFTRSxNQUFNSCxJQUFJLEVBQUVDLE9BQU87SUFBSSxJQUFJLENBQUNDLE9BQU8sQ0FBQ0MsS0FBSyxDQUFDSCxNQUFNQztBQUFVO0FBRW5FLFNBQVNHLEtBQUtKLElBQUksRUFBRUMsT0FBTztJQUFJLElBQUksQ0FBQ0MsT0FBTyxDQUFDRSxJQUFJLENBQUNKLE1BQU1DO0FBQVU7QUFFakUsU0FBU0ksUUFBUUwsSUFBSSxFQUFFQyxPQUFPO0lBQUksSUFBSSxDQUFDQyxPQUFPLENBQUNHLE9BQU8sQ0FBQ0wsTUFBTUM7QUFBVTtBQUV2RSxTQUFTSyxNQUFNTixJQUFJLEVBQUVDLE9BQU87SUFBSSxJQUFJLENBQUNDLE9BQU8sQ0FBQ0ksS0FBSyxDQUFDTixNQUFNQztBQUFVO0FBRW5FLFNBQVNNLE1BQU1QLElBQUksRUFBRUMsT0FBTztJQUFJLElBQUksQ0FBQ0MsT0FBTyxDQUFDSyxLQUFLLENBQUNQLE1BQU1DO0FBQVU7QUFFbkUsU0FBU087SUFBYyxPQUFPLElBQUksQ0FBQ04sT0FBTyxDQUFDTSxTQUFTO0FBQUk7QUFFeEQsU0FBU0M7SUFBYyxPQUFPLElBQUksQ0FBQ1AsT0FBTyxDQUFDTyxTQUFTO0FBQUk7QUFFeEQsU0FBU0M7SUFBZ0IsT0FBTyxJQUFJLENBQUNSLE9BQU8sQ0FBQ1EsV0FBVztBQUFJO0FBRTVELFNBQVNDO0lBQW1CLE9BQU8sSUFBSSxDQUFDVCxPQUFPLENBQUNTLGNBQWM7QUFBSTtBQUVsRSxTQUFTQztJQUFtQixPQUFPLElBQUksQ0FBQ1YsT0FBTyxDQUFDVSxjQUFjO0FBQUk7QUFFbEUsU0FBU0M7SUFBb0IsT0FBTyxJQUFJLENBQUNYLE9BQU8sQ0FBQ1csZUFBZTtBQUFJO0FBRXBFLFNBQVNDLHdCQUF3QkMsUUFBUTtJQUFJLE9BQU8sSUFBSSxDQUFDYixPQUFPLENBQUNZLHVCQUF1QixDQUFDQztBQUFXO0FBRXBHLFNBQVNDLHdCQUF3QkMsUUFBUTtJQUFJLE9BQU8sSUFBSSxDQUFDZixPQUFPLENBQUNjLHVCQUF1QixDQUFDQztBQUFXO0FBRXBHLFNBQVNDLDRCQUE0QkMsSUFBSTtJQUFJLE9BQU8sSUFBSSxDQUFDakIsT0FBTyxDQUFDZ0IsMkJBQTJCLENBQUNDO0FBQU87QUFFcEcsU0FBU0MsaUNBQWlDQyxnQkFBZ0I7SUFBSSxPQUFPLElBQUksQ0FBQ25CLE9BQU8sQ0FBQ2tCLGdDQUFnQyxDQUFDQztBQUFtQjtBQUV0SSxTQUFTQyxtQkFBbUJQLFFBQVE7SUFBSSxPQUFPLElBQUksQ0FBQ2IsT0FBTyxDQUFDb0Isa0JBQWtCLENBQUNQO0FBQVc7QUFFMUYsU0FBU1EsbUJBQW1CTixRQUFRO0lBQUksT0FBTyxJQUFJLENBQUNmLE9BQU8sQ0FBQ3FCLGtCQUFrQixDQUFDTjtBQUFXO0FBRTFGLFNBQVNPLHVCQUF1QkwsSUFBSTtJQUFJLE9BQU8sSUFBSSxDQUFDakIsT0FBTyxDQUFDc0Isc0JBQXNCLENBQUNMO0FBQU87QUFFMUYsU0FBU00sNEJBQTRCSixnQkFBZ0I7SUFBSSxPQUFPLElBQUksQ0FBQ25CLE9BQU8sQ0FBQ3VCLDJCQUEyQixDQUFDSjtBQUFtQjtBQUU1SCxTQUFTSywyQkFBMkJDLFlBQVk7SUFBSSxPQUFPLElBQUksQ0FBQ3pCLE9BQU8sQ0FBQ3dCLDBCQUEwQixDQUFDQztBQUFlO0FBRWxILFNBQVNDLDJCQUEyQlAsZ0JBQWdCO0lBQUksT0FBTyxJQUFJLENBQUNuQixPQUFPLENBQUMwQiwwQkFBMEIsQ0FBQ1A7QUFBbUI7QUFFMUgsU0FBU1EsNEJBQTRCUixnQkFBZ0I7SUFBSSxPQUFPLElBQUksQ0FBQ25CLE9BQU8sQ0FBQzJCLDJCQUEyQixDQUFDUjtBQUFtQjtBQUU1SCxTQUFTUyw0QkFBNEJULGdCQUFnQjtJQUFJLE9BQU8sSUFBSSxDQUFDbkIsT0FBTyxDQUFDNEIsMkJBQTJCLENBQUNUO0FBQW1CO0FBRTVILFNBQVNVLDhCQUE4QlYsZ0JBQWdCO0lBQUksT0FBTyxJQUFJLENBQUNuQixPQUFPLENBQUM2Qiw2QkFBNkIsQ0FBQ1Y7QUFBbUI7QUFFaEksU0FBU1csZ0NBQWdDWCxnQkFBZ0I7SUFBSSxPQUFPLElBQUksQ0FBQ25CLE9BQU8sQ0FBQzhCLCtCQUErQixDQUFDWDtBQUFtQjtBQUVwSSxTQUFTWSxpQ0FBaUNaLGdCQUFnQjtJQUFJLE9BQU8sSUFBSSxDQUFDbkIsT0FBTyxDQUFDK0IsZ0NBQWdDLENBQUNaO0FBQW1CO0FBRXRJLFNBQVNhLGtDQUFrQ2IsZ0JBQWdCO0lBQUksT0FBTyxJQUFJLENBQUNuQixPQUFPLENBQUNnQyxpQ0FBaUMsQ0FBQ2I7QUFBbUI7QUFFeEksU0FBU2MsYUFBYW5DLElBQUk7SUFBSSxPQUFPLElBQUksQ0FBQ0UsT0FBTyxDQUFDaUMsWUFBWSxDQUFDbkM7QUFBTztBQUV0RSxTQUFTb0MsY0FBY3BDLElBQUk7SUFBSSxPQUFPLElBQUksQ0FBQ0UsT0FBTyxDQUFDa0MsYUFBYSxDQUFDcEM7QUFBTztBQUV4RSxJQUFNcUMsZ0JBQWdCO0lBQ3BCdEMsT0FBQUE7SUFDQUksT0FBQUE7SUFDQUMsTUFBQUE7SUFDQUMsU0FBQUE7SUFDQUMsT0FBQUE7SUFDQUMsT0FBQUE7SUFDQUMsV0FBQUE7SUFDQUMsV0FBQUE7SUFDQUMsYUFBQUE7SUFDQUMsZ0JBQUFBO0lBQ0FDLGdCQUFBQTtJQUNBQyxpQkFBQUE7SUFDQUMseUJBQUFBO0lBQ0FFLHlCQUFBQTtJQUNBRSw2QkFBQUE7SUFDQUUsa0NBQUFBO0lBQ0FFLG9CQUFBQTtJQUNBQyxvQkFBQUE7SUFDQUMsd0JBQUFBO0lBQ0FDLDZCQUFBQTtJQUNBQyw0QkFBQUE7SUFDQUUsNEJBQUFBO0lBQ0FDLDZCQUFBQTtJQUNBQyw2QkFBQUE7SUFDQUMsK0JBQUFBO0lBQ0FDLGlDQUFBQTtJQUNBQyxrQ0FBQUE7SUFDQUMsbUNBQUFBO0lBQ0FDLGNBQUFBO0lBQ0FDLGVBQUFBO0FBQ0Y7SUFFQSxXQUFlQyJ9

package/lib/mixins/nodesVerifier/intrinsiclevel.js

@@ -1,59 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _term = /*#__PURE__*/ _interop_require_default(require("../../verify/term"));
-var _termForVariable = /*#__PURE__*/ _interop_require_default(require("../../substitution/termForVariable"));
-var _array = require("../../utilities/array");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function verifyVariableNode(variableNodeA, termNodeB, substitutions, localContextA, localContextB, verifyAhead) {
-    var variableNodeVerified = false;
-    var substitution = substitutions.find(function(substitution) {
-        var substitutionMatchesVariableNodeA = substitution.matchVariableNode(variableNodeA);
-        if (substitutionMatchesVariableNodeA) {
-            return true;
-        }
-    }) || null;
-    if (substitution !== null) {
-        var termNode = termNodeB, substitutionMatchesTermNode = substitution.matchTermNode(termNode);
-        if (substitutionMatchesTermNode) {
-            var verifiedAhead = verifyAhead();
-            variableNodeVerified = verifiedAhead; ///
-        }
-    } else {
-        var variableNode = variableNodeA, localContext = localContextA, variable = localContext.findVariableByVariableNode(variableNode);
-        if (variable !== null) {
-            var terms = [], termNode1 = termNodeB, localContext1 = localContextB, termVerified = (0, _term.default)(termNode1, terms, localContext1, function() {
-                var verifiedAhead = false;
-                var firstTerm = (0, _array.first)(terms), term = firstTerm, termType = term.getType(), variableType = variable.getType(), variableTypeEqualToOrSuperTypeOfTermType = variableType.isEqualToOrSuperTypeOf(termType);
-                if (variableTypeEqualToOrSuperTypeOfTermType) {
-                    var termForVariableSubstitution = _termForVariable.default.fromVariableNodeAndTermNode(variableNode, termNode1), substitution = termForVariableSubstitution; ///
-                    substitutions.push(substitution);
-                    verifiedAhead = verifyAhead();
-                    if (!verifiedAhead) {
-                        substitutions.pop();
-                    }
-                }
-                return verifiedAhead;
-            });
-            variableNodeVerified = termVerified; ///
-        }
-    }
-    return variableNodeVerified;
-}
-var intrinsicLevelNodesVerifierMixins = {
-    verifyVariableNode: verifyVariableNode
-};
-var _default = intrinsicLevelNodesVerifierMixins;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9taXhpbnMvbm9kZXNWZXJpZmllci9pbnRyaW5zaWNsZXZlbC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeVRlcm0gZnJvbSBcIi4uLy4uL3ZlcmlmeS90ZXJtXCI7XG5pbXBvcnQgVGVybUZvclZhcmlhYmxlU3Vic3RpdHV0aW9uIGZyb20gXCIuLi8uLi9zdWJzdGl0dXRpb24vdGVybUZvclZhcmlhYmxlXCI7XG5cbmltcG9ydCB7IGZpcnN0IH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9hcnJheVwiO1xuXG5mdW5jdGlvbiB2ZXJpZnlWYXJpYWJsZU5vZGUodmFyaWFibGVOb2RlQSwgdGVybU5vZGVCLCBzdWJzdGl0dXRpb25zLCBsb2NhbENvbnRleHRBLCBsb2NhbENvbnRleHRCLCB2ZXJpZnlBaGVhZCkge1xuICBsZXQgdmFyaWFibGVOb2RlVmVyaWZpZWQgPSBmYWxzZTtcblxuICBjb25zdCBzdWJzdGl0dXRpb24gPSBzdWJzdGl0dXRpb25zLmZpbmQoKHN1YnN0aXR1dGlvbikgPT4ge1xuICAgIGNvbnN0IHN1YnN0aXR1dGlvbk1hdGNoZXNWYXJpYWJsZU5vZGVBID0gc3Vic3RpdHV0aW9uLm1hdGNoVmFyaWFibGVOb2RlKHZhcmlhYmxlTm9kZUEpO1xuXG4gICAgaWYgKHN1YnN0aXR1dGlvbk1hdGNoZXNWYXJpYWJsZU5vZGVBKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pIHx8IG51bGw7XG5cbiAgaWYgKHN1YnN0aXR1dGlvbiAhPT0gbnVsbCkge1xuICAgIGNvbnN0IHRlcm1Ob2RlID0gdGVybU5vZGVCLCAvLy9cbiAgICAgICAgICBzdWJzdGl0dXRpb25NYXRjaGVzVGVybU5vZGUgPSBzdWJzdGl0dXRpb24ubWF0Y2hUZXJtTm9kZSh0ZXJtTm9kZSk7XG5cbiAgICBpZiAoc3Vic3RpdHV0aW9uTWF0Y2hlc1Rlcm1Ob2RlKSB7XG4gICAgICBjb25zdCB2ZXJpZmllZEFoZWFkID0gdmVyaWZ5QWhlYWQoKTtcblxuICAgICAgdmFyaWFibGVOb2RlVmVyaWZpZWQgPSB2ZXJpZmllZEFoZWFkOyAgLy8vXG4gICAgfVxuICB9IGVsc2Uge1xuICAgIGNvbnN0IHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZUEsIC8vL1xuICAgICAgICAgIGxvY2FsQ29udGV4dCA9IGxvY2FsQ29udGV4dEEsIC8vL1xuICAgICAgICAgIHZhcmlhYmxlID0gbG9jYWxDb250ZXh0LmZpbmRWYXJpYWJsZUJ5VmFyaWFibGVOb2RlKHZhcmlhYmxlTm9kZSk7XG5cbiAgICBpZiAodmFyaWFibGUgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHRlcm1zID0gW10sXG4gICAgICAgICAgICB0ZXJtTm9kZSA9IHRlcm1Ob2RlQiwgLy8vXG4gICAgICAgICAgICBsb2NhbENvbnRleHQgPSBsb2NhbENvbnRleHRCLCAvLy9cbiAgICAgICAgICAgIHRlcm1WZXJpZmllZCA9IHZlcmlmeVRlcm0odGVybU5vZGUsIHRlcm1zLCBsb2NhbENvbnRleHQsICgpID0+IHtcbiAgICAgICAgICAgICAgbGV0IHZlcmlmaWVkQWhlYWQgPSBmYWxzZTtcblxuICAgICAgICAgICAgICBjb25zdCBmaXJzdFRlcm0gPSBmaXJzdCh0ZXJtcyksXG4gICAgICAgICAgICAgICAgICAgIHRlcm0gPSBmaXJzdFRlcm0sIC8vL1xuICAgICAgICAgICAgICAgICAgICB0ZXJtVHlwZSA9IHRlcm0uZ2V0VHlwZSgpLFxuICAgICAgICAgICAgICAgICAgICB2YXJpYWJsZVR5cGUgPSB2YXJpYWJsZS5nZXRUeXBlKCksXG4gICAgICAgICAgICAgICAgICAgIHZhcmlhYmxlVHlwZUVxdWFsVG9PclN1cGVyVHlwZU9mVGVybVR5cGUgPSB2YXJpYWJsZVR5cGUuaXNFcXVhbFRvT3JTdXBlclR5cGVPZih0ZXJtVHlwZSk7XG5cbiAgICAgICAgICAgICAgaWYgKHZhcmlhYmxlVHlwZUVxdWFsVG9PclN1cGVyVHlwZU9mVGVybVR5cGUpIHtcbiAgICAgICAgICAgICAgICBjb25zdCB0ZXJtRm9yVmFyaWFibGVTdWJzdGl0dXRpb24gPSBUZXJtRm9yVmFyaWFibGVTdWJzdGl0dXRpb24uZnJvbVZhcmlhYmxlTm9kZUFuZFRlcm1Ob2RlKHZhcmlhYmxlTm9kZSwgdGVybU5vZGUpLFxuICAgICAgICAgICAgICAgICAgICAgIHN1YnN0aXR1dGlvbiA9IHRlcm1Gb3JWYXJpYWJsZVN1YnN0aXR1dGlvbjsgIC8vL1xuXG4gICAgICAgICAgICAgICAgc3Vic3RpdHV0aW9ucy5wdXNoKHN1YnN0aXR1dGlvbik7XG5cbiAgICAgICAgICAgICAgICB2ZXJpZmllZEFoZWFkID0gdmVyaWZ5QWhlYWQoKTtcblxuICAgICAgICAgICAgICAgIGlmICghdmVyaWZpZWRBaGVhZCkge1xuICAgICAgICAgICAgICAgICAgc3Vic3RpdHV0aW9ucy5wb3AoKTtcbiAgICAgICAgICAgICAgICB9XG4gICAgICAgICAgICAgIH1cblxuICAgICAgICAgICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICAgICAgICAgIH0pO1xuXG4gICAgICB2YXJpYWJsZU5vZGVWZXJpZmllZCA9IHRlcm1WZXJpZmllZDsgIC8vL1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiB2YXJpYWJsZU5vZGVWZXJpZmllZDtcbn1cblxuY29uc3QgaW50cmluc2ljTGV2ZWxOb2Rlc1ZlcmlmaWVyTWl4aW5zID0ge1xuICB2ZXJpZnlWYXJpYWJsZU5vZGVcbn07XG5cbmV4cG9ydCBkZWZhdWx0IGludHJpbnNpY0xldmVsTm9kZXNWZXJpZmllck1peGlucztcbiJdLCJuYW1lcyI6WyJ2ZXJpZnlWYXJpYWJsZU5vZGUiLCJ2YXJpYWJsZU5vZGVBIiwidGVybU5vZGVCIiwic3Vic3RpdHV0aW9ucyIsImxvY2FsQ29udGV4dEEiLCJsb2NhbENvbnRleHRCIiwidmVyaWZ5QWhlYWQiLCJ2YXJpYWJsZU5vZGVWZXJpZmllZCIsInN1YnN0aXR1dGlvbiIsImZpbmQiLCJzdWJzdGl0dXRpb25NYXRjaGVzVmFyaWFibGVOb2RlQSIsIm1hdGNoVmFyaWFibGVOb2RlIiwidGVybU5vZGUiLCJzdWJzdGl0dXRpb25NYXRjaGVzVGVybU5vZGUiLCJtYXRjaFRlcm1Ob2RlIiwidmVyaWZpZWRBaGVhZCIsInZhcmlhYmxlTm9kZSIsImxvY2FsQ29udGV4dCIsInZhcmlhYmxlIiwiZmluZFZhcmlhYmxlQnlWYXJpYWJsZU5vZGUiLCJ0ZXJtcyIsInRlcm1WZXJpZmllZCIsInZlcmlmeVRlcm0iLCJmaXJzdFRlcm0iLCJmaXJzdCIsInRlcm0iLCJ0ZXJtVHlwZSIsImdldFR5cGUiLCJ2YXJpYWJsZVR5cGUiLCJ2YXJpYWJsZVR5cGVFcXVhbFRvT3JTdXBlclR5cGVPZlRlcm1UeXBlIiwiaXNFcXVhbFRvT3JTdXBlclR5cGVPZiIsInRlcm1Gb3JWYXJpYWJsZVN1YnN0aXR1dGlvbiIsIlRlcm1Gb3JWYXJpYWJsZVN1YnN0aXR1dGlvbiIsImZyb21WYXJpYWJsZU5vZGVBbmRUZXJtTm9kZSIsInB1c2giLCJwb3AiLCJpbnRyaW5zaWNMZXZlbE5vZGVzVmVyaWZpZXJNaXhpbnMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQXdFQTs7O2VBQUE7OzsyREF0RXVCO3NFQUNpQjtxQkFFbEI7Ozs7OztBQUV0QixTQUFTQSxtQkFBbUJDLGFBQWEsRUFBRUMsU0FBUyxFQUFFQyxhQUFhLEVBQUVDLGFBQWEsRUFBRUMsYUFBYSxFQUFFQyxXQUFXO0lBQzVHLElBQUlDLHVCQUF1QjtJQUUzQixJQUFNQyxlQUFlTCxjQUFjTSxJQUFJLENBQUMsU0FBQ0Q7UUFDdkMsSUFBTUUsbUNBQW1DRixhQUFhRyxpQkFBaUIsQ0FBQ1Y7UUFFeEUsSUFBSVMsa0NBQWtDO1lBQ3BDLE9BQU87UUFDVDtJQUNGLE1BQU07SUFFTixJQUFJRixpQkFBaUIsTUFBTTtRQUN6QixJQUFNSSxXQUFXVixXQUNYVyw4QkFBOEJMLGFBQWFNLGFBQWEsQ0FBQ0Y7UUFFL0QsSUFBSUMsNkJBQTZCO1lBQy9CLElBQU1FLGdCQUFnQlQ7WUFFdEJDLHVCQUF1QlEsZUFBZ0IsR0FBRztRQUM1QztJQUNGLE9BQU87UUFDTCxJQUFNQyxlQUFlZixlQUNmZ0IsZUFBZWIsZUFDZmMsV0FBV0QsYUFBYUUsMEJBQTBCLENBQUNIO1FBRXpELElBQUlFLGFBQWEsTUFBTTtZQUNyQixJQUFNRSxRQUFRLEVBQUUsRUFDVlIsWUFBV1YsV0FDWGUsZ0JBQWVaLGVBQ2ZnQixlQUFlQyxJQUFBQSxhQUFVLEVBQUNWLFdBQVVRLE9BQU9ILGVBQWM7Z0JBQ3ZELElBQUlGLGdCQUFnQjtnQkFFcEIsSUFBTVEsWUFBWUMsSUFBQUEsWUFBSyxFQUFDSixRQUNsQkssT0FBT0YsV0FDUEcsV0FBV0QsS0FBS0UsT0FBTyxJQUN2QkMsZUFBZVYsU0FBU1MsT0FBTyxJQUMvQkUsMkNBQTJDRCxhQUFhRSxzQkFBc0IsQ0FBQ0o7Z0JBRXJGLElBQUlHLDBDQUEwQztvQkFDNUMsSUFBTUUsOEJBQThCQyx3QkFBMkIsQ0FBQ0MsMkJBQTJCLENBQUNqQixjQUFjSixZQUNwR0osZUFBZXVCLDZCQUE4QixHQUFHO29CQUV0RDVCLGNBQWMrQixJQUFJLENBQUMxQjtvQkFFbkJPLGdCQUFnQlQ7b0JBRWhCLElBQUksQ0FBQ1MsZUFBZTt3QkFDbEJaLGNBQWNnQyxHQUFHO29CQUNuQjtnQkFDRjtnQkFFQSxPQUFPcEI7WUFDVDtZQUVOUix1QkFBdUJjLGNBQWUsR0FBRztRQUMzQztJQUNGO0lBRUEsT0FBT2Q7QUFDVDtBQUVBLElBQU02QixvQ0FBb0M7SUFDeENwQyxvQkFBQUE7QUFDRjtJQUVBLFdBQWVvQyJ9

package/lib/mixins/nodesVerifier/metaLevel.js

@@ -1,40 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _statementForMetavariable = /*#__PURE__*/ _interop_require_default(require("../../substitution/statementForMetavariable"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function verifyMetavariableNode(metavariableNodeA, statementNodeB, substitutions, localContextA, localContextB, verifyAhead) {
-    var metavariableNodeVerified;
-    var substitution = substitutions.find(function(substitution) {
-        var substitutionMatchesMetavariableNodeA = substitution.matchMetavariableNode(metavariableNodeA);
-        if (substitutionMatchesMetavariableNodeA) {
-            return true;
-        }
-    }) || null;
-    if (substitution !== null) {
-        var statementNode = statementNodeB, substitutionStatementNode = substitution.matchStatementNode(statementNode);
-        metavariableNodeVerified = substitutionStatementNode; ///
-    } else {
-        var metavariableNode = metavariableNodeA, statementNode1 = statementNodeB, statementForMetavariableSubstitution = _statementForMetavariable.default.fromMetavariableNodeAndStatementNode(metavariableNode, statementNode1), substitution1 = statementForMetavariableSubstitution; ///
-        substitutions.push(substitution1);
-        metavariableNodeVerified = true;
-    }
-    return metavariableNodeVerified;
-}
-var metaLevelNodesVerifierMixins = {
-    verifyMetavariableNode: verifyMetavariableNode
-};
-var _default = metaLevelNodesVerifierMixins;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9taXhpbnMvbm9kZXNWZXJpZmllci9tZXRhTGV2ZWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBTdGF0ZW1lbnRGb3JNZXRhdmFyaWFibGVTdWJzdGl0dXRpb24gZnJvbSBcIi4uLy4uL3N1YnN0aXR1dGlvbi9zdGF0ZW1lbnRGb3JNZXRhdmFyaWFibGVcIjtcblxuZnVuY3Rpb24gdmVyaWZ5TWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlQSwgc3RhdGVtZW50Tm9kZUIsIHN1YnN0aXR1dGlvbnMsIGxvY2FsQ29udGV4dEEsIGxvY2FsQ29udGV4dEIsIHZlcmlmeUFoZWFkKSB7XG4gIGxldCBtZXRhdmFyaWFibGVOb2RlVmVyaWZpZWQ7XG5cbiAgY29uc3Qgc3Vic3RpdHV0aW9uID0gc3Vic3RpdHV0aW9ucy5maW5kKChzdWJzdGl0dXRpb24pID0+IHtcbiAgICBjb25zdCBzdWJzdGl0dXRpb25NYXRjaGVzTWV0YXZhcmlhYmxlTm9kZUEgPSBzdWJzdGl0dXRpb24ubWF0Y2hNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGVBKTtcblxuICAgIGlmIChzdWJzdGl0dXRpb25NYXRjaGVzTWV0YXZhcmlhYmxlTm9kZUEpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSkgfHwgbnVsbDtcblxuICBpZiAoc3Vic3RpdHV0aW9uICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50Tm9kZSA9IHN0YXRlbWVudE5vZGVCLCAvLy9cbiAgICAgICAgICBzdWJzdGl0dXRpb25TdGF0ZW1lbnROb2RlID0gc3Vic3RpdHV0aW9uLm1hdGNoU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlKTtcblxuICAgIG1ldGF2YXJpYWJsZU5vZGVWZXJpZmllZCA9IHN1YnN0aXR1dGlvblN0YXRlbWVudE5vZGU7ICAvLy9cbiAgfSBlbHNlIHtcbiAgICBjb25zdCBtZXRhdmFyaWFibGVOb2RlID0gbWV0YXZhcmlhYmxlTm9kZUEsIC8vL1xuICAgICAgICAgIHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlQiwgLy8vXG4gICAgICAgICAgc3RhdGVtZW50Rm9yTWV0YXZhcmlhYmxlU3Vic3RpdHV0aW9uID0gU3RhdGVtZW50Rm9yTWV0YXZhcmlhYmxlU3Vic3RpdHV0aW9uLmZyb21NZXRhdmFyaWFibGVOb2RlQW5kU3RhdGVtZW50Tm9kZShtZXRhdmFyaWFibGVOb2RlLCBzdGF0ZW1lbnROb2RlKSxcbiAgICAgICAgICBzdWJzdGl0dXRpb24gPSBzdGF0ZW1lbnRGb3JNZXRhdmFyaWFibGVTdWJzdGl0dXRpb247ICAvLy9cblxuICAgIHN1YnN0aXR1dGlvbnMucHVzaChzdWJzdGl0dXRpb24pO1xuXG4gICAgbWV0YXZhcmlhYmxlTm9kZVZlcmlmaWVkID0gdHJ1ZTtcbiAgfVxuXG4gIHJldHVybiBtZXRhdmFyaWFibGVOb2RlVmVyaWZpZWQ7XG59XG5cbmNvbnN0IG1ldGFMZXZlbE5vZGVzVmVyaWZpZXJNaXhpbnMgPSB7XG4gIHZlcmlmeU1ldGF2YXJpYWJsZU5vZGVcbn07XG5cbmV4cG9ydCBkZWZhdWx0IG1ldGFMZXZlbE5vZGVzVmVyaWZpZXJNaXhpbnM7XG4iXSwibmFtZXMiOlsidmVyaWZ5TWV0YXZhcmlhYmxlTm9kZSIsIm1ldGF2YXJpYWJsZU5vZGVBIiwic3RhdGVtZW50Tm9kZUIiLCJzdWJzdGl0dXRpb25zIiwibG9jYWxDb250ZXh0QSIsImxvY2FsQ29udGV4dEIiLCJ2ZXJpZnlBaGVhZCIsIm1ldGF2YXJpYWJsZU5vZGVWZXJpZmllZCIsInN1YnN0aXR1dGlvbiIsImZpbmQiLCJzdWJzdGl0dXRpb25NYXRjaGVzTWV0YXZhcmlhYmxlTm9kZUEiLCJtYXRjaE1ldGF2YXJpYWJsZU5vZGUiLCJzdGF0ZW1lbnROb2RlIiwic3Vic3RpdHV0aW9uU3RhdGVtZW50Tm9kZSIsIm1hdGNoU3RhdGVtZW50Tm9kZSIsIm1ldGF2YXJpYWJsZU5vZGUiLCJzdGF0ZW1lbnRGb3JNZXRhdmFyaWFibGVTdWJzdGl0dXRpb24iLCJTdGF0ZW1lbnRGb3JNZXRhdmFyaWFibGVTdWJzdGl0dXRpb24iLCJmcm9tTWV0YXZhcmlhYmxlTm9kZUFuZFN0YXRlbWVudE5vZGUiLCJwdXNoIiwibWV0YUxldmVsTm9kZXNWZXJpZmllck1peGlucyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBc0NBOzs7ZUFBQTs7OytFQXBDaUQ7Ozs7OztBQUVqRCxTQUFTQSx1QkFBdUJDLGlCQUFpQixFQUFFQyxjQUFjLEVBQUVDLGFBQWEsRUFBRUMsYUFBYSxFQUFFQyxhQUFhLEVBQUVDLFdBQVc7SUFDekgsSUFBSUM7SUFFSixJQUFNQyxlQUFlTCxjQUFjTSxJQUFJLENBQUMsU0FBQ0Q7UUFDdkMsSUFBTUUsdUNBQXVDRixhQUFhRyxxQkFBcUIsQ0FBQ1Y7UUFFaEYsSUFBSVMsc0NBQXNDO1lBQ3hDLE9BQU87UUFDVDtJQUNGLE1BQU07SUFFTixJQUFJRixpQkFBaUIsTUFBTTtRQUN6QixJQUFNSSxnQkFBZ0JWLGdCQUNoQlcsNEJBQTRCTCxhQUFhTSxrQkFBa0IsQ0FBQ0Y7UUFFbEVMLDJCQUEyQk0sMkJBQTRCLEdBQUc7SUFDNUQsT0FBTztRQUNMLElBQU1FLG1CQUFtQmQsbUJBQ25CVyxpQkFBZ0JWLGdCQUNoQmMsdUNBQXVDQyxpQ0FBb0MsQ0FBQ0Msb0NBQW9DLENBQUNILGtCQUFrQkgsaUJBQ25JSixnQkFBZVEsc0NBQXVDLEdBQUc7UUFFL0RiLGNBQWNnQixJQUFJLENBQUNYO1FBRW5CRCwyQkFBMkI7SUFDN0I7SUFFQSxPQUFPQTtBQUNUO0FBRUEsSUFBTWEsK0JBQStCO0lBQ25DcEIsd0JBQUFBO0FBQ0Y7SUFFQSxXQUFlb0IifQ==

package/lib/utilities/verifier.js

@@ -1,80 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    verifyNode: function() {
-        return verifyNode;
-    },
-    verifyNodes: function() {
-        return verifyNodes;
-    }
-});
-function _array_like_to_array(arr, len) {
-    if (len == null || len > arr.length) len = arr.length;
-    for(var i = 0, arr2 = new Array(len); i < len; i++)arr2[i] = arr[i];
-    return arr2;
-}
-function _array_without_holes(arr) {
-    if (Array.isArray(arr)) return _array_like_to_array(arr);
-}
-function _iterable_to_array(iter) {
-    if (typeof Symbol !== "undefined" && iter[Symbol.iterator] != null || iter["@@iterator"] != null) return Array.from(iter);
-}
-function _non_iterable_spread() {
-    throw new TypeError("Invalid attempt to spread non-iterable instance.\\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.");
-}
-function _to_consumable_array(arr) {
-    return _array_without_holes(arr) || _iterable_to_array(arr) || _unsupported_iterable_to_array(arr) || _non_iterable_spread();
-}
-function _unsupported_iterable_to_array(o, minLen) {
-    if (!o) return;
-    if (typeof o === "string") return _array_like_to_array(o, minLen);
-    var n = Object.prototype.toString.call(o).slice(8, -1);
-    if (n === "Object" && o.constructor) n = o.constructor.name;
-    if (n === "Map" || n === "Set") return Array.from(n);
-    if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _array_like_to_array(o, minLen);
-}
-function verifyNode(nodeQueryMaps, nonTerminalNode) {
-    for(var _len = arguments.length, remainingArguments = new Array(_len > 2 ? _len - 2 : 0), _key = 2; _key < _len; _key++){
-        remainingArguments[_key - 2] = arguments[_key];
-    }
-    var nodeVerified = false;
-    nodeVerified = nodeQueryMaps.some(function(nodeQueryMap) {
-        var nodeQuery = nodeQueryMap.nodeQuery, verifyNode = nodeQueryMap.verifyNode;
-        var node = nodeQuery(nonTerminalNode);
-        if (node !== null) {
-            nodeVerified = verifyNode.apply(void 0, [
-                node
-            ].concat(_to_consumable_array(remainingArguments)));
-            return true;
-        }
-    });
-    return nodeVerified;
-}
-function verifyNodes(nodeQueryMaps, nonTerminalNodeA, nonTerminalNodeB) {
-    for(var _len = arguments.length, remainingArguments = new Array(_len > 3 ? _len - 3 : 0), _key = 3; _key < _len; _key++){
-        remainingArguments[_key - 3] = arguments[_key];
-    }
-    var nodesVerified = false;
-    nodeQueryMaps.some(function(nodeQueryMap) {
-        var nodeQueryA = nodeQueryMap.nodeQueryA, nodeQueryB = nodeQueryMap.nodeQueryB, verifyNodes = nodeQueryMap.verifyNodes;
-        var nodeA = nodeQueryA(nonTerminalNodeA), nodeB = nodeQueryB(nonTerminalNodeB); ///
-        if (nodeA !== null && nodeB !== null) {
-            nodesVerified = verifyNodes.apply(void 0, [
-                nodeA,
-                nodeB
-            ].concat(_to_consumable_array(remainingArguments)));
-            return true;
-        }
-    });
-    return nodesVerified;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdmVyaWZpZXIuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiB2ZXJpZnlOb2RlKG5vZGVRdWVyeU1hcHMsIG5vblRlcm1pbmFsTm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gIGxldCBub2RlVmVyaWZpZWQgPSBmYWxzZTtcblxuICBub2RlVmVyaWZpZWQgPSBub2RlUXVlcnlNYXBzLnNvbWUoKG5vZGVRdWVyeU1hcCkgPT4ge1xuICAgIGNvbnN0IHsgbm9kZVF1ZXJ5LCB2ZXJpZnlOb2RlIH0gPSBub2RlUXVlcnlNYXA7XG5cbiAgICBjb25zdCBub2RlID0gbm9kZVF1ZXJ5KG5vblRlcm1pbmFsTm9kZSk7XG5cbiAgICBpZiAobm9kZSAhPT0gbnVsbCkge1xuICAgICAgbm9kZVZlcmlmaWVkID0gdmVyaWZ5Tm9kZShub2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpO1xuXG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiBub2RlVmVyaWZpZWQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB2ZXJpZnlOb2Rlcyhub2RlUXVlcnlNYXBzLCBub25UZXJtaW5hbE5vZGVBLCBub25UZXJtaW5hbE5vZGVCLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpIHtcbiAgbGV0IG5vZGVzVmVyaWZpZWQgPSBmYWxzZTtcblxuICBub2RlUXVlcnlNYXBzLnNvbWUoKG5vZGVRdWVyeU1hcCkgPT4ge1xuICAgIGNvbnN0IHsgbm9kZVF1ZXJ5QSwgbm9kZVF1ZXJ5QiwgdmVyaWZ5Tm9kZXMgfSA9IG5vZGVRdWVyeU1hcDtcblxuICAgIGNvbnN0IG5vZGVBID0gbm9kZVF1ZXJ5QShub25UZXJtaW5hbE5vZGVBKSwgIC8vL1xuICAgICAgICAgIG5vZGVCID0gbm9kZVF1ZXJ5Qihub25UZXJtaW5hbE5vZGVCKTsgIC8vL1xuXG4gICAgaWYgKChub2RlQSAhPT0gbnVsbCkgJiYgKG5vZGVCICE9PSBudWxsKSkge1xuICAgICAgbm9kZXNWZXJpZmllZCA9IHZlcmlmeU5vZGVzKG5vZGVBLCBub2RlQiwgLi4ucmVtYWluaW5nQXJndW1lbnRzKTtcblxuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcblxuICByZXR1cm4gbm9kZXNWZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlOb2RlIiwidmVyaWZ5Tm9kZXMiLCJub2RlUXVlcnlNYXBzIiwibm9uVGVybWluYWxOb2RlIiwicmVtYWluaW5nQXJndW1lbnRzIiwibm9kZVZlcmlmaWVkIiwic29tZSIsIm5vZGVRdWVyeU1hcCIsIm5vZGVRdWVyeSIsIm5vZGUiLCJub25UZXJtaW5hbE5vZGVBIiwibm9uVGVybWluYWxOb2RlQiIsIm5vZGVzVmVyaWZpZWQiLCJub2RlUXVlcnlBIiwibm9kZVF1ZXJ5QiIsIm5vZGVBIiwibm9kZUIiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztJQUVnQkEsVUFBVTtlQUFWQTs7SUFrQkFDLFdBQVc7ZUFBWEE7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFsQlQsU0FBU0QsV0FBV0UsYUFBYSxFQUFFQyxlQUFlO0lBQUUsSUFBQSxJQUFBLE9BQUEsVUFBQSxRQUFBLEFBQUdDLHFCQUFILFVBQUEsT0FBQSxJQUFBLE9BQUEsUUFBQSxPQUFBLEdBQUEsT0FBQSxNQUFBO1FBQUdBLG1CQUFILE9BQUEsS0FBQSxTQUFBLENBQUEsS0FBcUI7O0lBQzlFLElBQUlDLGVBQWU7SUFFbkJBLGVBQWVILGNBQWNJLElBQUksQ0FBQyxTQUFDQztRQUNqQyxJQUFRQyxZQUEwQkQsYUFBMUJDLFdBQVdSLGFBQWVPLGFBQWZQO1FBRW5CLElBQU1TLE9BQU9ELFVBQVVMO1FBRXZCLElBQUlNLFNBQVMsTUFBTTtZQUNqQkosZUFBZUwsV0FBQUEsTUFBQUEsS0FBQUEsR0FBQUE7Z0JBQVdTO2FBQTRCLENBQXZDVCxPQUFpQixxQkFBR0k7WUFFbkMsT0FBTztRQUNUO0lBQ0Y7SUFFQSxPQUFPQztBQUNUO0FBRU8sU0FBU0osWUFBWUMsYUFBYSxFQUFFUSxnQkFBZ0IsRUFBRUMsZ0JBQWdCO0lBQUUsSUFBQSxJQUFBLE9BQUEsVUFBQSxRQUFBLEFBQUdQLHFCQUFILFVBQUEsT0FBQSxJQUFBLE9BQUEsUUFBQSxPQUFBLEdBQUEsT0FBQSxNQUFBO1FBQUdBLG1CQUFILE9BQUEsS0FBQSxTQUFBLENBQUEsS0FBcUI7O0lBQ2xHLElBQUlRLGdCQUFnQjtJQUVwQlYsY0FBY0ksSUFBSSxDQUFDLFNBQUNDO1FBQ2xCLElBQVFNLGFBQXdDTixhQUF4Q00sWUFBWUMsYUFBNEJQLGFBQTVCTyxZQUFZYixjQUFnQk0sYUFBaEJOO1FBRWhDLElBQU1jLFFBQVFGLFdBQVdILG1CQUNuQk0sUUFBUUYsV0FBV0gsbUJBQW9CLEdBQUc7UUFFaEQsSUFBSSxBQUFDSSxVQUFVLFFBQVVDLFVBQVUsTUFBTztZQUN4Q0osZ0JBQWdCWCxZQUFBQSxNQUFBQSxLQUFBQSxHQUFBQTtnQkFBWWM7Z0JBQU9DO2FBQTZCLENBQWhEZixPQUEwQixxQkFBR0c7WUFFN0MsT0FBTztRQUNUO0lBQ0Y7SUFFQSxPQUFPUTtBQUNUIn0=