occam-verify-cli 0.0.880 → 0.0.882

package/src/verify/judgement.js

@@ -1,48 +1,169 @@
 "use strict";
 
-import verifyContext from "../verify/context";
-import contextMetaType from "../metaType/context";
+import Judgement from "../judgement";
+import verifyFrame from "../verify/frame";
+import frameMetaType from "../metaType/frame";
+import JudgementAssignment from "../assignment/judgement";
 
+import { first } from "../utilities/array";
 import { nodeQuery } from "../utilities/query";
 
-const contextNodeQuery = nodeQuery("/judgement/metastatement/context!"),
+const frameNodeQuery = nodeQuery("/judgement/frame!"),
       metavariableNodeQuery = nodeQuery("/judgement/metavariable!");
 
-export default function verifyJudgement(judgementNode, derived, localMetaContext) {
-  let judgementVerified = false;
+export default function verifyJudgement(judgementNode, assignments, derived, localMetaContext) {
+  let judgementVerified;
 
   const judgementString = localMetaContext.nodeAsString(judgementNode);
 
   localMetaContext.trace(`Verifying the '${judgementString}' judgement...`, judgementNode);
 
-  const metavariableNode = metavariableNodeQuery(judgementNode),
-        metavariable = localMetaContext.findMetavariableByMetavariableNode(metavariableNode, localMetaContext);
+  const verifyJudgementFunctions = [
+    verifyDerivedJudgement,
+    verifyStatedJudgement
+  ];
 
-  if (metavariable !== null) {
-    const metaType = metavariable.getMetaType();
+  judgementVerified = verifyJudgementFunctions.some((verifyJudgementFunction) => {
+    const judgementVerified = verifyJudgementFunction(judgementNode, assignments, derived, localMetaContext);
+
+    if (judgementVerified) {
+      return true;
+    }
+  });
+
+  if (judgementVerified) {
+    localMetaContext.debug(`...verified the '${judgementString}' judgement.`, judgementNode);
+  }
+
+  return judgementVerified;
+}
+
+function verifyDerivedJudgement(judgementNode, assignments, derived, localMetaContext) {
+  let derivedJudgementVerified = false;
+
+  if (derived) {
+    const judgementString = localMetaContext.nodeAsString(judgementNode);
+
+    localMetaContext.trace(`Verifying the '${judgementString}' derived judgement...`, judgementNode);
 
-    if (metaType === contextMetaType) {
-      const contextNode = contextNodeQuery(judgementNode);
+    const metavariableNode = metavariableNodeQuery(judgementNode),
+          metavariableVerified = verifyMetavariable(metavariableNode, localMetaContext);
 
-      if (contextNode !== null) {
-        const contextVerified = verifyContext(contextNode, derived, localMetaContext);
+    if (metavariableVerified) {
+      const judgement = localMetaContext.findJudgementByMetavariableNode(metavariableNode);
 
-        judgementVerified = contextVerified;  ///
+      if (judgement !== null) {
+        const frames = [],
+              frameNode = frameNodeQuery(judgementNode),
+              frameVerified = verifyFrame(frameNode, frames, derived, localMetaContext);
+
+        if (frameVerified) {
+          const firstFrame = first(frames),
+                frame = firstFrame, ///
+                frameSingular = frame.isSingular();
+
+          if (frameSingular) {
+            const declaration = frame.getDeclaration(),
+                  metavariableNode = declaration.getMetavariableNode(),
+                  metaLemma = localMetaContext.findMetaLemmaByMetavariableNode(metavariableNode),
+                  metatheorem = localMetaContext.findMetatheoremByMetavariableNode(metavariableNode),
+                  metaLemmaMetatheorem = (metaLemma || metatheorem);  ///
+
+            if (metaLemmaMetatheorem !== null) {
+              const judgementMatchesMetaLemmaMetatheorem = judgement.matchMetaLemmaOrMetaTheorem(metaLemmaMetatheorem),
+                    declarationMatchesMetaLemmaMetatheorem = declaration.matchMetaLemmaOrMetaTheorem(metaLemmaMetatheorem);
+
+              derivedJudgementVerified = (judgementMatchesMetaLemmaMetatheorem && declarationMatchesMetaLemmaMetatheorem);
+            } else {
+              const metavariableString = localMetaContext.nodeAsString(metavariableNode);
+
+              localMetaContext.debug(`There are no meta-lemmas or metatheorems corresponding to the '${metavariableString}' metavariable.`, judgementNode);
+            }
+          } else {
+            const frameString = localMetaContext.nodeAsString(frameNode);
+
+            localMetaContext.debug(`The '${frameString}' is not singular.`, judgementNode);
+          }
+        }
       } else {
-        localMetaContext.debug(`The right hand side of the '${judgementString}' judgement must be a context.`, judgementNode);
+        const metavariableString = localMetaContext.nodeAsString(metavariableNode);
+
+        localMetaContext.debug(`There is no judgement present for the '${metavariableString}' metavariable.`, judgementNode);
       }
+    }
+
+    if (derivedJudgementVerified) {
+      localMetaContext.debug(`...verified the '${judgementString}' derived judgement.`, judgementNode);
+    }
+  }
+
+  return derivedJudgementVerified;
+}
+
+function verifyStatedJudgement(judgementNode, assignments, derived, localMetaContext) {
+  let statedJudgementVerified = false;
+
+  if (!derived) {
+    const judgementString = localMetaContext.nodeAsString(judgementNode);
+
+    localMetaContext.trace(`Verifying the '${judgementString}' stated judgement...`, judgementNode);
+
+    const metavariableNode = metavariableNodeQuery(judgementNode),
+          metavariableVerified = verifyMetavariable(metavariableNode, localMetaContext);
+
+    if (metavariableVerified) {
+      const frames = [],
+            frameNode = frameNodeQuery(judgementNode),
+            frameVerified = verifyFrame(frameNode, frames, derived, localMetaContext);
+
+      if (frameVerified) {
+        const firstFrame = first(frames),
+              frame = firstFrame, ///
+              judgement = Judgement.fromJudgementNodeFrameAndMetavariableNode(judgementNode, frame, metavariableNode),
+              judgementAssignment = JudgementAssignment.fromJudgement(judgement),
+              assignment = judgementAssignment;
+
+        assignments.push(assignment);
+
+        statedJudgementVerified = true;
+      }
+    }
+
+    if (statedJudgementVerified) {
+      localMetaContext.debug(`...verified the '${judgementString}' stated judgement.`, judgementNode);
+    }
+  }
+
+  return statedJudgementVerified;
+}
+
+function verifyMetavariable(metavariableNode, localMetaContext) {
+  let metavariableVerified = false;
+
+  const metavariableString = localMetaContext.nodeAsString(metavariableNode);
+
+  localMetaContext.trace(`Verifying the '${metavariableString}' metavariable...`, metavariableNode);
+
+  const metavariable = localMetaContext.findMetavariableByMetavariableNode(metavariableNode, localMetaContext);
+
+  if (metavariable !== null) {
+    const metaType = metavariable.getMetaType();
+
+    if (metaType === frameMetaType) {
+      metavariableVerified = true;
     } else {
-      const contextMetaTypeName = contextMetaType.getName(),
-            metavariableString = localMetaContext.nodeAsString(metavariableNode),
+      const frameMetaTypeName = frameMetaType.getName(),
             metaTypeString = metaType.asString();
 
-      localMetaContext.debug(`The '${metavariableString}' metavariable's meta-type is '${metaTypeString}' when it should be '${contextMetaTypeName}'.`, judgementNode);
+      localMetaContext.debug(`The '${metavariableString}' metavariable's meta-type is '${metaTypeString}' when it should be '${frameMetaTypeName}'.`, metavariableNode);
     }
+  } else {
+    localMetaContext.debug(`The '${metavariableString}' metavariable is not present'.`, metavariableNode);
   }
 
-  if (judgementVerified) {
-    localMetaContext.debug(`...verified the '${judgementString}' judgement.`, judgementNode);
+  if (metavariableVerified) {
+    localMetaContext.debug(`...verified the '${metavariableString}' metavariable.`, metavariableNode);
   }
 
-  return judgementVerified;
+  return metavariableVerified;
 }

package/src/verify/label.js

@@ -2,20 +2,19 @@
 
 import Label from "../label";
 
-export default function verifyLabel(labelsMetavariableNode, labels, fileContext) {
+export default function verifyLabel(metavariableNode, labels, fileContext) {
   let labelVerified = false;
 
-  const labelMetavariableString = fileContext.nodeAsString(labelsMetavariableNode);
+  const labelMetavariableString = fileContext.nodeAsString(metavariableNode);
 
-  fileContext.trace(`Verifying the '${labelMetavariableString}' label...`, labelsMetavariableNode);
+  fileContext.trace(`Verifying the '${labelMetavariableString}' label...`, metavariableNode);
 
-  const labelPresent = fileContext.isLabelPresentByLabelMetavariableNode(labelsMetavariableNode);
+  const labelPresent = fileContext.isLabelPresentByMetavariableNode(metavariableNode);
 
   if (labelPresent) {
-    fileContext.debug(`The '${labelMetavariableString}' label is already present.`, labelsMetavariableNode);
+    fileContext.debug(`The '${labelMetavariableString}' label is already present.`, metavariableNode);
   } else {
-    const metavariableNode = labelsMetavariableNode,  ///
-          label = Label.fromMetavariableNode(metavariableNode);
+    const label = Label.fromMetavariableNode(metavariableNode);
 
     labels.push(label);
 
@@ -23,7 +22,7 @@ export default function verifyLabel(labelsMetavariableNode, labels, fileContext)
   }
 
   if (labelVerified) {
-    fileContext.debug(`...verified the '${labelMetavariableString}' label.`, labelsMetavariableNode);
+    fileContext.debug(`...verified the '${labelMetavariableString}' label.`, metavariableNode);
   }
 
   return labelVerified;

package/src/verify/labels.js

@@ -12,10 +12,11 @@ export default function verifyLabels(labelsNode, labels, fileContext) {
   if (labelsNode === null) {
     labelsVerified = true;
   } else {
-    const labelsMetavariableNodes = labelsMetavariableNodesQuery(labelsNode);
+    const labelsMetavariableNodes = labelsMetavariableNodesQuery(labelsNode),
+          metavariableNodes = labelsMetavariableNodes;  ///
 
-    labelsVerified = labelsMetavariableNodes.every((labelsMetavariableNode) => {
-      const labelVerified = verifyLabel(labelsMetavariableNode, labels, fileContext);
+    labelsVerified = metavariableNodes.every((metavariableNode) => {
+      const labelVerified = verifyLabel(metavariableNode, labels, fileContext);
 
       if (labelVerified) {
         return true;

package/src/verify/metastatement/qualified.js

@@ -5,8 +5,8 @@ import verifyMetavariableAgainstMetastatement from "../../verify/metavariableAga
 
 import { nodeQuery } from "../../utilities/query";
 
-const metastatementNodeQuery = nodeQuery("/qualifiedMetastatement/metastatement!"),
-      referenceMetavariableNodeQuery = nodeQuery("/qualifiedMetastatement/reference!/metavariable!");
+const metavariableNodeQuery = nodeQuery("/qualifiedMetastatement/reference!/metavariable!"),
+      metastatementNodeQuery = nodeQuery("/qualifiedMetastatement/metastatement!");
 
 export default function verifyQualifiedMetastatement(qualifiedMetastatementNode, substitutions, assignments, derived, localMetaContext) {
   let qualifiedMetastatementVerified = false;
@@ -19,18 +19,21 @@ export default function verifyQualifiedMetastatement(qualifiedMetastatementNode,
 
     localMetaContext.trace(`Verifying the '${metastatementString}' qualified metastatement...`, qualifiedMetastatementNode);
 
-    const referenceMetavariableNode = referenceMetavariableNodeQuery(qualifiedMetastatementNode),
-          labelMetavariableNode = referenceMetavariableNode,  ///
-          rule = localMetaContext.findRuleByLabelMetavariableNode(labelMetavariableNode);
+    const metavariableNode = metavariableNodeQuery(qualifiedMetastatementNode);
 
-    if (rule !== null) {
-      const ruleMatchesMetastatement = rule.matchMetastatement(metastatementNode, metastatementLocalMetaContext);
+    if (!qualifiedMetastatementVerified) {
+      const rule = localMetaContext.findRuleByMetavariableNode(metavariableNode);
 
-      qualifiedMetastatementVerified = ruleMatchesMetastatement;  ///
-    } else {
+      if (rule !== null) {
+        const ruleMatchesMetastatement = rule.matchMetastatement(metastatementNode, metastatementLocalMetaContext);
+
+        qualifiedMetastatementVerified = ruleMatchesMetastatement;  ///
+      }
+    }
+
+    if (!qualifiedMetastatementVerified) {
       if (substitutions !== null) {
-        const metavariableNode = referenceMetavariableNode, ///
-              metavariablePresent = localMetaContext.isMetavariablePresentByMetavariableNode(metavariableNode, localMetaContext);
+        const metavariablePresent = localMetaContext.isMetavariablePresentByMetavariableNode(metavariableNode, localMetaContext);
 
         if (metavariablePresent) {
           const metastatementVerified = verifyMetastatement(metastatementNode, assignments, derived, localMetaContext, () => {

package/src/verify/metastatement.js

@@ -1,13 +1,11 @@
 "use strict";
 
 import verifyJudgement from "../verify/judgement";
-import verifyMetaEquality from "../verify/metaEquality";
 import metastatementNodeVerifier from "../verifier/node/metastatement";
 
 import { nodeQuery } from "../utilities/query";
 
-const judgementNodeQuery = nodeQuery("/metastatement/judgement!"),
-      metaEqualityNodeQuery = nodeQuery("/metastatement/metaEquality!");
+const judgementNodeQuery = nodeQuery("/metastatement/judgement!");
 
 function verifyMetastatement(metastatementNode, assignments, derived, localMetaContext) {
   let metastatementVerified;
@@ -17,7 +15,6 @@ function verifyMetastatement(metastatementNode, assignments, derived, localMetaC
   localMetaContext.trace(`Verifying the '${metastatementString}' metastatement...`, metastatementNode);
 
   const verifyMetaStatementFunctions = [
-    verifyMetastatementAsMetaEquality,
     verifyMetastatementAsJudgement,
     verifyMetastatementAsIs
   ];
@@ -43,28 +40,6 @@ Object.assign(metastatementNodeVerifier, {
 
 export default verifyMetastatement;
 
-function verifyMetastatementAsMetaEquality(metastatementNode, assignments, derived, localMetaContext) {
-  let metastatementVerifiedAsMetaEquality = false;
-
-  const metaEqualityNode = metaEqualityNodeQuery(metastatementNode);
-
-  if (metaEqualityNode !== null) {
-    const metastatementString = localMetaContext.nodeAsString(metastatementNode);
-
-    localMetaContext.trace(`Verifying the '${metastatementString}' metastatement as a meta-equality...`, metastatementNode);
-
-    const metaEqualityVerified = verifyMetaEquality(metaEqualityNode, assignments, derived, localMetaContext);
-
-    metastatementVerifiedAsMetaEquality = metaEqualityVerified;  ///
-
-    if (metastatementVerifiedAsMetaEquality) {
-      localMetaContext.debug(`...verified the '${metastatementString}' metastatement as a meta-equality.`, metastatementNode);
-    }
-  }
-
-  return metastatementVerifiedAsMetaEquality;
-}
-
 function verifyMetastatementAsJudgement(metastatementNode, assignments, derived, localMetaContext) {
   let metastatementVerifiedAsJudgement = false;
 
@@ -75,7 +50,7 @@ function verifyMetastatementAsJudgement(metastatementNode, assignments, derived,
 
     localMetaContext.trace(`Verifying the '${metastatementString}' metastatement as a judgement...`, metastatementNode);
 
-    const judgementVerified = verifyJudgement(judgementNode, derived, localMetaContext);
+    const judgementVerified = verifyJudgement(judgementNode, assignments, derived, localMetaContext);
 
     metastatementVerifiedAsJudgement = judgementVerified;  ///
 
@@ -90,10 +65,9 @@ function verifyMetastatementAsJudgement(metastatementNode, assignments, derived,
 function verifyMetastatementAsIs(metastatementNode, assignments, derived, localMetaContext) {
   let metastatementVerifiedAsIs = false;
 
-  const judgementNode = judgementNodeQuery(metastatementNode),
-        metaEqualityNode = metaEqualityNodeQuery(metastatementNode);
+  const judgementNode = judgementNodeQuery(metastatementNode);
 
-  if ((judgementNode === null) && (metaEqualityNode === null)) {
+  if (judgementNode === null) {
     const metastatementString = localMetaContext.nodeAsString(metastatementNode);
 
     localMetaContext.trace(`Verifying the '${metastatementString}' metastatement as is...`, metastatementNode);

package/src/verify/metavariable.js

@@ -18,8 +18,7 @@ export default function verifyMetavariable(metavariableNode, metaTypeNode, fileC
 
   fileContext.trace(`Verifying the '${metavariableString}' metavariable...`, metavariableNode);
 
-  const name = nameFromMetavariableNode(metavariableNode),
-        metavariablePresent = fileContext.isMetavariablePresentByName(name);
+  const metavariablePresent = fileContext.isMetavariablePresentByMetavariableNode(metavariableNode);
 
   if (metavariablePresent) {
     fileContext.debug(`The metavariable '${metavariableString}' is already present.`, metavariableNode);
@@ -49,6 +48,7 @@ export default function verifyMetavariable(metavariableNode, metaTypeNode, fileC
       }
 
       const node = metavariableNode,  ///
+            name = nameFromMetavariableNode(metavariableNode),
             metavariable = Metavariable.fromNodeNameTermTypeAndMetaType(node, name, termType, metaType),
             metavariableAssignment = MetavariableAssignment.fromMetavariable(metavariable),
             metavariableAssigned = metavariableAssignment.assign(fileContext);

package/src/verify/statement/qualified.js

@@ -69,8 +69,8 @@ export default function verifyQualifiedStatement(qualifiedStatementNode, assignm
 function verifyQualifiedStatementAAgainstRule(qualifiedStatementNode, referenceMetavariableNode, localContext) {
   let qualifiedStatementVerifiedAgainstRule = false;
 
-  const labelMetavariableNode = referenceMetavariableNode,  ///
-        rule = localContext.findRuleByLabelMetavariableNode(labelMetavariableNode);
+  const metavariableNode = referenceMetavariableNode,  ///
+        rule = localContext.findRuleByMetavariableNode(metavariableNode);
 
   if (rule !== null) {
     const referenceMetavariableString = localContext.nodeAsString(referenceMetavariableNode),
@@ -95,8 +95,8 @@ function verifyQualifiedStatementAAgainstRule(qualifiedStatementNode, referenceM
 function verifyQualifiedStatementAAgainstAxiom(qualifiedStatementNode, referenceMetavariableNode, localContext) {
   let qualifiedStatementVerifiedAgainstAxiom = false;
 
-  const labelMetavariableNode = referenceMetavariableNode,  ///
-        axiom = localContext.findAxiomByLabelMetavariableNode(labelMetavariableNode);
+  const metavariableNode = referenceMetavariableNode,  ///
+        axiom = localContext.findAxiomByMetavariableNode(metavariableNode);
 
   if (axiom !== null) {
     const referenceMetavariableString = localContext.nodeAsString(referenceMetavariableNode),
@@ -121,8 +121,8 @@ function verifyQualifiedStatementAAgainstAxiom(qualifiedStatementNode, reference
 function verifyQualifiedStatementAAgainstLemma(qualifiedStatementNode, referenceMetavariableNode, localContext) {
   let qualifiedStatementVerifiedAgainstLemma = false;
 
-  const labelMetavariableNode = referenceMetavariableNode,  ///
-        lemma = localContext.findLemmaByLabelMetavariableNode(labelMetavariableNode);
+  const metavariableNode = referenceMetavariableNode,  ///
+        lemma = localContext.findLemmaByMetavariableNode(metavariableNode);
 
   if (lemma !== null) {
     const referenceMetavariableString = localContext.nodeAsString(referenceMetavariableNode),
@@ -147,8 +147,8 @@ function verifyQualifiedStatementAAgainstLemma(qualifiedStatementNode, reference
 function verifyQualifiedStatementAAgainstTheorem(qualifiedStatementNode, referenceMetavariableNode, localContext) {
   let qualifiedStatementVerifiedAgainstTheorem = false;
 
-  const labelMetavariableNode = referenceMetavariableNode,  ///
-        theorem = localContext.findTheoremByLabelMetavariableNode(labelMetavariableNode);
+  const metavariableNode = referenceMetavariableNode,  ///
+        theorem = localContext.findTheoremByMetavariableNode(metavariableNode);
 
   if (theorem !== null) {
     const referenceMetavariableString = localContext.nodeAsString(referenceMetavariableNode),
@@ -173,8 +173,8 @@ function verifyQualifiedStatementAAgainstTheorem(qualifiedStatementNode, referen
 function verifyQualifiedStatementAAgainstConjecture(qualifiedStatementNode, referenceMetavariableNode, localContext) {
   let qualifiedStatementVerifiedAgainstConjecture = false;
 
-  const labelMetavariableNode = referenceMetavariableNode,  ///
-        conjecture = localContext.findConjectureByLabelMetavariableNode(labelMetavariableNode);
+  const metavariableNode = referenceMetavariableNode,  ///
+        conjecture = localContext.findConjectureByMetavariableNode(metavariableNode);
 
   if (conjecture !== null) {
     const referenceMetavariableString = localContext.nodeAsString(referenceMetavariableNode),

package/lib/assignment/metaEquality.js

@@ -1,62 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return MetaEqualityAssignment;
-    }
-});
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-var MetaEqualityAssignment = /*#__PURE__*/ function() {
-    function MetaEqualityAssignment(metaEquality) {
-        _class_call_check(this, MetaEqualityAssignment);
-        this.metaEquality = metaEquality;
-    }
-    _create_class(MetaEqualityAssignment, [
-        {
-            key: "getMetaEquality",
-            value: function getMetaEquality() {
-                return this.metaEquality;
-            }
-        },
-        {
-            key: "assign",
-            value: function assign(localMetaContext) {
-                var metaEqualityAdded = localMetaContext.addMetaEquality(this.metaEquality), metaEqualityNode = this.metaEquality.getNode(), metaEqualityString = localMetaContext.nodeAsString(metaEqualityNode), metaEqualityAssigned = metaEqualityAdded; ///
-                metaEqualityAssigned ? localMetaContext.trace("Assigned the '".concat(metaEqualityString, "' meta-equality."), metaEqualityNode) : localMetaContext.debug("Unable to assign the '".concat(metaEqualityString, "' meta-equality."), metaEqualityNode);
-                return metaEqualityAssigned;
-            }
-        }
-    ], [
-        {
-            key: "fromMetaEquality",
-            value: function fromMetaEquality(metaEquality) {
-                var metaEqualityAssignment = new MetaEqualityAssignment(metaEquality);
-                return metaEqualityAssignment;
-            }
-        }
-    ]);
-    return MetaEqualityAssignment;
-}();
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hc3NpZ25tZW50L21ldGFFcXVhbGl0eS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTWV0YUVxdWFsaXR5QXNzaWdubWVudCB7XG4gIGNvbnN0cnVjdG9yKG1ldGFFcXVhbGl0eSkge1xuICAgIHRoaXMubWV0YUVxdWFsaXR5ID0gbWV0YUVxdWFsaXR5O1xuICB9XG5cbiAgZ2V0TWV0YUVxdWFsaXR5KCkge1xuICAgIHJldHVybiB0aGlzLm1ldGFFcXVhbGl0eTtcbiAgfVxuXG4gIGFzc2lnbihsb2NhbE1ldGFDb250ZXh0KSB7XG4gICAgY29uc3QgbWV0YUVxdWFsaXR5QWRkZWQgPSBsb2NhbE1ldGFDb250ZXh0LmFkZE1ldGFFcXVhbGl0eSh0aGlzLm1ldGFFcXVhbGl0eSksXG4gICAgICAgICAgbWV0YUVxdWFsaXR5Tm9kZSA9IHRoaXMubWV0YUVxdWFsaXR5LmdldE5vZGUoKSxcbiAgICAgICAgICBtZXRhRXF1YWxpdHlTdHJpbmcgPSBsb2NhbE1ldGFDb250ZXh0Lm5vZGVBc1N0cmluZyhtZXRhRXF1YWxpdHlOb2RlKSxcbiAgICAgICAgICBtZXRhRXF1YWxpdHlBc3NpZ25lZCA9IG1ldGFFcXVhbGl0eUFkZGVkOyAvLy9cblxuICAgIG1ldGFFcXVhbGl0eUFzc2lnbmVkID9cbiAgICAgIGxvY2FsTWV0YUNvbnRleHQudHJhY2UoYEFzc2lnbmVkIHRoZSAnJHttZXRhRXF1YWxpdHlTdHJpbmd9JyBtZXRhLWVxdWFsaXR5LmAsIG1ldGFFcXVhbGl0eU5vZGUpIDpcbiAgICAgICAgbG9jYWxNZXRhQ29udGV4dC5kZWJ1ZyhgVW5hYmxlIHRvIGFzc2lnbiB0aGUgJyR7bWV0YUVxdWFsaXR5U3RyaW5nfScgbWV0YS1lcXVhbGl0eS5gLCBtZXRhRXF1YWxpdHlOb2RlKTtcblxuICAgIHJldHVybiBtZXRhRXF1YWxpdHlBc3NpZ25lZDtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tTWV0YUVxdWFsaXR5KG1ldGFFcXVhbGl0eSkge1xuICAgIGNvbnN0IG1ldGFFcXVhbGl0eUFzc2lnbm1lbnQgPSBuZXcgTWV0YUVxdWFsaXR5QXNzaWdubWVudChtZXRhRXF1YWxpdHkpO1xuXG4gICAgcmV0dXJuIG1ldGFFcXVhbGl0eUFzc2lnbm1lbnQ7XG4gIH1cbn1cbiJdLCJuYW1lcyI6WyJNZXRhRXF1YWxpdHlBc3NpZ25tZW50IiwibWV0YUVxdWFsaXR5IiwiZ2V0TWV0YUVxdWFsaXR5IiwiYXNzaWduIiwibG9jYWxNZXRhQ29udGV4dCIsIm1ldGFFcXVhbGl0eUFkZGVkIiwiYWRkTWV0YUVxdWFsaXR5IiwibWV0YUVxdWFsaXR5Tm9kZSIsImdldE5vZGUiLCJtZXRhRXF1YWxpdHlTdHJpbmciLCJub2RlQXNTdHJpbmciLCJtZXRhRXF1YWxpdHlBc3NpZ25lZCIsInRyYWNlIiwiZGVidWciLCJmcm9tTWV0YUVxdWFsaXR5IiwibWV0YUVxdWFsaXR5QXNzaWdubWVudCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFFcUJBOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQU4sSUFBQSxBQUFNQSx1Q0FBRCxBQUFMO2FBQU1BLHVCQUNQQyxZQUFZO2dDQURMRDtRQUVqQixJQUFJLENBQUNDLFlBQVksR0FBR0E7O2tCQUZIRDs7WUFLbkJFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0QsWUFBWTtZQUMxQjs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQSxPQUFPQyxnQkFBZ0I7Z0JBQ3JCLElBQU1DLG9CQUFvQkQsaUJBQWlCRSxlQUFlLENBQUMsSUFBSSxDQUFDTCxZQUFZLEdBQ3RFTSxtQkFBbUIsSUFBSSxDQUFDTixZQUFZLENBQUNPLE9BQU8sSUFDNUNDLHFCQUFxQkwsaUJBQWlCTSxZQUFZLENBQUNILG1CQUNuREksdUJBQXVCTixtQkFBbUIsR0FBRztnQkFFbkRNLHVCQUNFUCxpQkFBaUJRLEtBQUssQ0FBQyxBQUFDLGlCQUFtQyxPQUFuQkgsb0JBQW1CLHFCQUFtQkYsb0JBQzVFSCxpQkFBaUJTLEtBQUssQ0FBQyxBQUFDLHlCQUEyQyxPQUFuQkosb0JBQW1CLHFCQUFtQkY7Z0JBRTFGLE9BQU9JO1lBQ1Q7Ozs7WUFFT0csS0FBQUE7bUJBQVAsU0FBT0EsaUJBQWlCYixZQUFZO2dCQUNsQyxJQUFNYyx5QkFBeUIsSUF2QmRmLHVCQXVCeUNDO2dCQUUxRCxPQUFPYztZQUNUOzs7V0ExQm1CZiJ9

package/lib/metaEquality.js

@@ -1,101 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return MetaEquality;
-    }
-});
-var _context = /*#__PURE__*/ _interop_require_default(require("./metaType/context"));
-var _metastatement = /*#__PURE__*/ _interop_require_default(require("./verifier/node/metastatement"));
-var _query = require("./utilities/query");
-var _array = require("./utilities/array");
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var contextNodeQuery = (0, _query.nodeQuery)("/metastatement/context!"), metaVariableNodeQuery = (0, _query.nodeQuery)("/metastatement/metavariable!");
-var MetaEquality = /*#__PURE__*/ function() {
-    function MetaEquality(node, metaType) {
-        _class_call_check(this, MetaEquality);
-        this.node = node;
-        this.metaType = metaType;
-    }
-    _create_class(MetaEquality, [
-        {
-            key: "getNode",
-            value: function getNode() {
-                return this.node;
-            }
-        },
-        {
-            key: "getMetaType",
-            value: function getMetaType() {
-                return this.metaType;
-            }
-        }
-    ], [
-        {
-            key: "fromLeftMetastatementNodeRightMetastatementNodeAndMetaEqualityNode",
-            value: function fromLeftMetastatementNodeRightMetastatementNodeAndMetaEqualityNode(leftMetastatementNode, rightMetastatementNode, metaEqualityNode, localMetaContext) {
-                var metaEquality = null;
-                var metaTypes = [], leftMetastatementVerifiedAsMetavariableOrContext = verifyMetastatementAsMetavariableOrContext(leftMetastatementNode, metaTypes, localMetaContext), rightMetastatementVerifiedAsMetavariableOrContext = verifyMetastatementAsMetavariableOrContext(rightMetastatementNode, metaTypes, localMetaContext);
-                if (leftMetastatementVerifiedAsMetavariableOrContext && rightMetastatementVerifiedAsMetavariableOrContext) {
-                    var firstMetaType = (0, _array.first)(metaTypes), secondMetaType = (0, _array.second)(metaTypes);
-                    if (firstMetaType === secondMetaType) {
-                        var metaType = firstMetaType, node = metaEqualityNode; ///
-                        metaEquality = new MetaEquality(node, metaType);
-                    }
-                }
-                return metaEquality;
-            }
-        }
-    ]);
-    return MetaEquality;
-}();
-function verifyMetastatementAsMetavariableOrContext(metastatementNode, metaTypes, localMetaContext) {
-    var metastatementVerifiedAsMetavariableOrContext = false;
-    var verifyMetastatement = _metastatement.default.verifyMetastatement, derived = false, assignments = [], metastatementVerified = verifyMetastatement(metastatementNode, assignments, derived, localMetaContext, function() {
-        var verifiedAhead = true;
-        return verifiedAhead;
-    });
-    if (metastatementVerified) {
-        var contextNode = contextNodeQuery(metastatementNode), metavariableNode = metaVariableNodeQuery(metastatementNode);
-        if (false) {
-        ///
-        } else if (contextNode !== null) {
-            var metaType = _context.default; ///
-            metaTypes.push(metaType);
-            metastatementVerifiedAsMetavariableOrContext = true;
-        } else if (metavariableNode !== null) {
-            var metavariable = localMetaContext.findMetavariableByMetavariableNode(metavariableNode, localMetaContext), metaType1 = metavariable.getMetaType();
-            metaTypes.push(metaType1);
-            metastatementVerifiedAsMetavariableOrContext = true;
-        }
-    }
-    return metastatementVerifiedAsMetavariableOrContext;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9tZXRhRXF1YWxpdHkuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBjb250ZXh0TWV0YVR5cGUgZnJvbSBcIi4vbWV0YVR5cGUvY29udGV4dFwiO1xuaW1wb3J0IG1ldGFzdGF0ZW1lbnROb2RlVmVyaWZpZXIgZnJvbSBcIi4vdmVyaWZpZXIvbm9kZS9tZXRhc3RhdGVtZW50XCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgZmlyc3QsIHNlY29uZCB9ICBmcm9tIFwiLi91dGlsaXRpZXMvYXJyYXlcIjtcblxuY29uc3QgY29udGV4dE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9tZXRhc3RhdGVtZW50L2NvbnRleHQhXCIpLFxuICAgICAgbWV0YVZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL21ldGFzdGF0ZW1lbnQvbWV0YXZhcmlhYmxlIVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgTWV0YUVxdWFsaXR5IHtcbiAgY29uc3RydWN0b3Iobm9kZSwgbWV0YVR5cGUpIHtcbiAgICB0aGlzLm5vZGUgPSBub2RlO1xuICAgIHRoaXMubWV0YVR5cGUgPSBtZXRhVHlwZTtcbiAgfVxuXG4gIGdldE5vZGUoKSB7XG4gICAgcmV0dXJuIHRoaXMubm9kZTtcbiAgfVxuXG4gIGdldE1ldGFUeXBlKCkge1xuICAgIHJldHVybiB0aGlzLm1ldGFUeXBlO1xuICB9XG5cbiAgc3RhdGljIGZyb21MZWZ0TWV0YXN0YXRlbWVudE5vZGVSaWdodE1ldGFzdGF0ZW1lbnROb2RlQW5kTWV0YUVxdWFsaXR5Tm9kZShsZWZ0TWV0YXN0YXRlbWVudE5vZGUsIHJpZ2h0TWV0YXN0YXRlbWVudE5vZGUsIG1ldGFFcXVhbGl0eU5vZGUsIGxvY2FsTWV0YUNvbnRleHQpIHtcbiAgICBsZXQgbWV0YUVxdWFsaXR5ID0gbnVsbDtcblxuICAgIGNvbnN0IG1ldGFUeXBlcyA9IFtdLFxuICAgICAgICAgIGxlZnRNZXRhc3RhdGVtZW50VmVyaWZpZWRBc01ldGF2YXJpYWJsZU9yQ29udGV4dCA9IHZlcmlmeU1ldGFzdGF0ZW1lbnRBc01ldGF2YXJpYWJsZU9yQ29udGV4dChsZWZ0TWV0YXN0YXRlbWVudE5vZGUsIG1ldGFUeXBlcywgbG9jYWxNZXRhQ29udGV4dCksXG4gICAgICAgICAgcmlnaHRNZXRhc3RhdGVtZW50VmVyaWZpZWRBc01ldGF2YXJpYWJsZU9yQ29udGV4dCA9IHZlcmlmeU1ldGFzdGF0ZW1lbnRBc01ldGF2YXJpYWJsZU9yQ29udGV4dChyaWdodE1ldGFzdGF0ZW1lbnROb2RlLCBtZXRhVHlwZXMsIGxvY2FsTWV0YUNvbnRleHQpO1xuXG4gICAgaWYgKGxlZnRNZXRhc3RhdGVtZW50VmVyaWZpZWRBc01ldGF2YXJpYWJsZU9yQ29udGV4dCAmJiByaWdodE1ldGFzdGF0ZW1lbnRWZXJpZmllZEFzTWV0YXZhcmlhYmxlT3JDb250ZXh0KSB7XG4gICAgICBjb25zdCBmaXJzdE1ldGFUeXBlID0gZmlyc3QobWV0YVR5cGVzKSxcbiAgICAgICAgICAgIHNlY29uZE1ldGFUeXBlID0gc2Vjb25kKG1ldGFUeXBlcyk7XG5cbiAgICAgIGlmIChmaXJzdE1ldGFUeXBlID09PSBzZWNvbmRNZXRhVHlwZSkge1xuICAgICAgICBjb25zdCBtZXRhVHlwZSA9IGZpcnN0TWV0YVR5cGUsIC8vL1xuICAgICAgICAgICAgICBub2RlID0gbWV0YUVxdWFsaXR5Tm9kZTsgIC8vL1xuXG4gICAgICAgIG1ldGFFcXVhbGl0eSA9IG5ldyBNZXRhRXF1YWxpdHkobm9kZSwgbWV0YVR5cGUpO1xuICAgICAgfVxuICAgIH1cblxuICAgIHJldHVybiBtZXRhRXF1YWxpdHk7XG4gIH1cbn1cblxuZnVuY3Rpb24gdmVyaWZ5TWV0YXN0YXRlbWVudEFzTWV0YXZhcmlhYmxlT3JDb250ZXh0KG1ldGFzdGF0ZW1lbnROb2RlLCBtZXRhVHlwZXMsIGxvY2FsTWV0YUNvbnRleHQpIHtcbiAgbGV0IG1ldGFzdGF0ZW1lbnRWZXJpZmllZEFzTWV0YXZhcmlhYmxlT3JDb250ZXh0ID0gZmFsc2U7XG5cbiAgY29uc3QgeyB2ZXJpZnlNZXRhc3RhdGVtZW50IH0gPSBtZXRhc3RhdGVtZW50Tm9kZVZlcmlmaWVyLFxuICAgICAgICBkZXJpdmVkID0gZmFsc2UsICAvLy9cbiAgICAgICAgYXNzaWdubWVudHMgPSBbXSxcbiAgICAgICAgbWV0YXN0YXRlbWVudFZlcmlmaWVkID0gdmVyaWZ5TWV0YXN0YXRlbWVudChtZXRhc3RhdGVtZW50Tm9kZSwgYXNzaWdubWVudHMsIGRlcml2ZWQsIGxvY2FsTWV0YUNvbnRleHQsICgpID0+IHtcbiAgICAgICAgICBjb25zdCB2ZXJpZmllZEFoZWFkID0gdHJ1ZTtcblxuICAgICAgICAgIHJldHVybiB2ZXJpZmllZEFoZWFkO1xuICAgICAgICB9KTtcblxuICBpZiAobWV0YXN0YXRlbWVudFZlcmlmaWVkKSB7XG4gICAgY29uc3QgY29udGV4dE5vZGUgPSBjb250ZXh0Tm9kZVF1ZXJ5KG1ldGFzdGF0ZW1lbnROb2RlKSxcbiAgICAgICAgICBtZXRhdmFyaWFibGVOb2RlID0gbWV0YVZhcmlhYmxlTm9kZVF1ZXJ5KG1ldGFzdGF0ZW1lbnROb2RlKTtcblxuICAgIGlmIChmYWxzZSkge1xuICAgICAgLy8vXG4gICAgfSBlbHNlIGlmIChjb250ZXh0Tm9kZSAhPT0gbnVsbCkge1xuICAgICAgY29uc3QgbWV0YVR5cGUgPSBjb250ZXh0TWV0YVR5cGU7IC8vL1xuXG4gICAgICBtZXRhVHlwZXMucHVzaChtZXRhVHlwZSk7XG5cbiAgICAgIG1ldGFzdGF0ZW1lbnRWZXJpZmllZEFzTWV0YXZhcmlhYmxlT3JDb250ZXh0ID0gdHJ1ZTtcbiAgICB9IGVsc2UgaWYgKG1ldGF2YXJpYWJsZU5vZGUgIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IG1ldGF2YXJpYWJsZSA9IGxvY2FsTWV0YUNvbnRleHQuZmluZE1ldGF2YXJpYWJsZUJ5TWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlLCBsb2NhbE1ldGFDb250ZXh0KSxcbiAgICAgICAgICAgIG1ldGFUeXBlID0gbWV0YXZhcmlhYmxlLmdldE1ldGFUeXBlKCk7XG5cbiAgICAgIG1ldGFUeXBlcy5wdXNoKG1ldGFUeXBlKTtcblxuICAgICAgbWV0YXN0YXRlbWVudFZlcmlmaWVkQXNNZXRhdmFyaWFibGVPckNvbnRleHQgPSB0cnVlO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiBtZXRhc3RhdGVtZW50VmVyaWZpZWRBc01ldGF2YXJpYWJsZU9yQ29udGV4dDtcbn1cbiJdLCJuYW1lcyI6WyJNZXRhRXF1YWxpdHkiLCJjb250ZXh0Tm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwibWV0YVZhcmlhYmxlTm9kZVF1ZXJ5Iiwibm9kZSIsIm1ldGFUeXBlIiwiZ2V0Tm9kZSIsImdldE1ldGFUeXBlIiwiZnJvbUxlZnRNZXRhc3RhdGVtZW50Tm9kZVJpZ2h0TWV0YXN0YXRlbWVudE5vZGVBbmRNZXRhRXF1YWxpdHlOb2RlIiwibGVmdE1ldGFzdGF0ZW1lbnROb2RlIiwicmlnaHRNZXRhc3RhdGVtZW50Tm9kZSIsIm1ldGFFcXVhbGl0eU5vZGUiLCJsb2NhbE1ldGFDb250ZXh0IiwibWV0YUVxdWFsaXR5IiwibWV0YVR5cGVzIiwibGVmdE1ldGFzdGF0ZW1lbnRWZXJpZmllZEFzTWV0YXZhcmlhYmxlT3JDb250ZXh0IiwidmVyaWZ5TWV0YXN0YXRlbWVudEFzTWV0YXZhcmlhYmxlT3JDb250ZXh0IiwicmlnaHRNZXRhc3RhdGVtZW50VmVyaWZpZWRBc01ldGF2YXJpYWJsZU9yQ29udGV4dCIsImZpcnN0TWV0YVR5cGUiLCJmaXJzdCIsInNlY29uZE1ldGFUeXBlIiwic2Vjb25kIiwibWV0YXN0YXRlbWVudE5vZGUiLCJtZXRhc3RhdGVtZW50VmVyaWZpZWRBc01ldGF2YXJpYWJsZU9yQ29udGV4dCIsInZlcmlmeU1ldGFzdGF0ZW1lbnQiLCJtZXRhc3RhdGVtZW50Tm9kZVZlcmlmaWVyIiwiZGVyaXZlZCIsImFzc2lnbm1lbnRzIiwibWV0YXN0YXRlbWVudFZlcmlmaWVkIiwidmVyaWZpZWRBaGVhZCIsImNvbnRleHROb2RlIiwibWV0YXZhcmlhYmxlTm9kZSIsImNvbnRleHRNZXRhVHlwZSIsInB1c2giLCJtZXRhdmFyaWFibGUiLCJmaW5kTWV0YXZhcmlhYmxlQnlNZXRhdmFyaWFibGVOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQVdxQkE7Ozs4REFUTztvRUFDVTtxQkFFWjtxQkFDSzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUvQixJQUFNQyxtQkFBbUJDLElBQUFBLGdCQUFTLEVBQUMsNEJBQzdCQyx3QkFBd0JELElBQUFBLGdCQUFTLEVBQUM7QUFFekIsSUFBQSxBQUFNRiw2QkFBRCxBQUFMO2FBQU1BLGFBQ1BJLElBQUksRUFBRUMsUUFBUTtnQ0FEUEw7UUFFakIsSUFBSSxDQUFDSSxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxRQUFRLEdBQUdBOztrQkFIQ0w7O1lBTW5CTSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNGLElBQUk7WUFDbEI7OztZQUVBRyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNGLFFBQVE7WUFDdEI7Ozs7WUFFT0csS0FBQUE7bUJBQVAsU0FBT0EsbUVBQW1FQyxxQkFBcUIsRUFBRUMsc0JBQXNCLEVBQUVDLGdCQUFnQixFQUFFQyxnQkFBZ0I7Z0JBQ3pKLElBQUlDLGVBQWU7Z0JBRW5CLElBQU1DLFlBQVksRUFBRSxFQUNkQyxtREFBbURDLDJDQUEyQ1AsdUJBQXVCSyxXQUFXRixtQkFDaElLLG9EQUFvREQsMkNBQTJDTix3QkFBd0JJLFdBQVdGO2dCQUV4SSxJQUFJRyxvREFBb0RFLG1EQUFtRDtvQkFDekcsSUFBTUMsZ0JBQWdCQyxJQUFBQSxZQUFLLEVBQUNMLFlBQ3RCTSxpQkFBaUJDLElBQUFBLGFBQU0sRUFBQ1A7b0JBRTlCLElBQUlJLGtCQUFrQkUsZ0JBQWdCO3dCQUNwQyxJQUFNZixXQUFXYSxlQUNYZCxPQUFPTyxrQkFBbUIsR0FBRzt3QkFFbkNFLGVBQWUsSUE3QkZiLGFBNkJtQkksTUFBTUM7b0JBQ3hDO2dCQUNGO2dCQUVBLE9BQU9RO1lBQ1Q7OztXQWxDbUJiOztBQXFDckIsU0FBU2dCLDJDQUEyQ00saUJBQWlCLEVBQUVSLFNBQVMsRUFBRUYsZ0JBQWdCO0lBQ2hHLElBQUlXLCtDQUErQztJQUVuRCxJQUFNLEFBQUVDLHNCQUF3QkMsc0JBQXlCLENBQWpERCxxQkFDRkUsVUFBVSxPQUNWQyxjQUFjLEVBQUUsRUFDaEJDLHdCQUF3Qkosb0JBQW9CRixtQkFBbUJLLGFBQWFELFNBQVNkLGtCQUFrQjtRQUNyRyxJQUFNaUIsZ0JBQWdCO1FBRXRCLE9BQU9BO0lBQ1Q7SUFFTixJQUFJRCx1QkFBdUI7UUFDekIsSUFBTUUsY0FBYzdCLGlCQUFpQnFCLG9CQUMvQlMsbUJBQW1CNUIsc0JBQXNCbUI7UUFFL0MsSUFBSSxPQUFPO1FBQ1QsR0FBRztRQUNMLE9BQU8sSUFBSVEsZ0JBQWdCLE1BQU07WUFDL0IsSUFBTXpCLFdBQVcyQixnQkFBZSxFQUFFLEdBQUc7WUFFckNsQixVQUFVbUIsSUFBSSxDQUFDNUI7WUFFZmtCLCtDQUErQztRQUNqRCxPQUFPLElBQUlRLHFCQUFxQixNQUFNO1lBQ3BDLElBQU1HLGVBQWV0QixpQkFBaUJ1QixrQ0FBa0MsQ0FBQ0osa0JBQWtCbkIsbUJBQ3JGUCxZQUFXNkIsYUFBYTNCLFdBQVc7WUFFekNPLFVBQVVtQixJQUFJLENBQUM1QjtZQUVma0IsK0NBQStDO1FBQ2pEO0lBQ0Y7SUFFQSxPQUFPQTtBQUNUIn0=

package/lib/verify/context.js

@@ -1,34 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return verifyContext;
-    }
-});
-var _declaration = /*#__PURE__*/ _interop_require_default(require("../verify/declaration"));
-var _query = require("../utilities/query");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var declarationNodesQuery = (0, _query.nodesQuery)("/context/declaration");
-function verifyContext(contextNode, derived, localMetaContext) {
-    var contextVerified;
-    var contextString = localMetaContext.nodeAsString(contextNode);
-    localMetaContext.trace("Verifying the '".concat(contextString, "' context..."), contextNode);
-    var declarationNodes = declarationNodesQuery(contextNode), declarationsVerified = declarationNodes.every(function(declarationNode) {
-        var declarationVerified = (0, _declaration.default)(declarationNode, derived, localMetaContext);
-        return declarationVerified;
-    });
-    contextVerified = declarationsVerified; ///
-    if (contextVerified) {
-        localMetaContext.debug("...verified the '".concat(contextString, "' context."), contextNode);
-    }
-    return contextVerified;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvY29udGV4dC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHZlcmlmeURlY2xhcmF0aW9uIGZyb20gXCIuLi92ZXJpZnkvZGVjbGFyYXRpb25cIjtcblxuaW1wb3J0IHsgbm9kZXNRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgZGVjbGFyYXRpb25Ob2Rlc1F1ZXJ5ID0gbm9kZXNRdWVyeShcIi9jb250ZXh0L2RlY2xhcmF0aW9uXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlDb250ZXh0KGNvbnRleHROb2RlLCBkZXJpdmVkLCBsb2NhbE1ldGFDb250ZXh0KSB7XG4gIGxldCBjb250ZXh0VmVyaWZpZWQ7XG5cbiAgY29uc3QgY29udGV4dFN0cmluZyA9IGxvY2FsTWV0YUNvbnRleHQubm9kZUFzU3RyaW5nKGNvbnRleHROb2RlKTtcblxuICBsb2NhbE1ldGFDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke2NvbnRleHRTdHJpbmd9JyBjb250ZXh0Li4uYCwgY29udGV4dE5vZGUpO1xuXG4gIGNvbnN0IGRlY2xhcmF0aW9uTm9kZXMgPSBkZWNsYXJhdGlvbk5vZGVzUXVlcnkoY29udGV4dE5vZGUpLFxuICAgICAgICBkZWNsYXJhdGlvbnNWZXJpZmllZCA9IGRlY2xhcmF0aW9uTm9kZXMuZXZlcnkoKGRlY2xhcmF0aW9uTm9kZSkgPT4ge1xuICAgICAgICAgIGNvbnN0IGRlY2xhcmF0aW9uVmVyaWZpZWQgPSB2ZXJpZnlEZWNsYXJhdGlvbihkZWNsYXJhdGlvbk5vZGUsIGRlcml2ZWQsIGxvY2FsTWV0YUNvbnRleHQpO1xuXG4gICAgICAgICAgcmV0dXJuIGRlY2xhcmF0aW9uVmVyaWZpZWQ7XG4gICAgICAgIH0pO1xuXG4gIGNvbnRleHRWZXJpZmllZCA9IGRlY2xhcmF0aW9uc1ZlcmlmaWVkOyAvLy9cblxuICBpZiAoY29udGV4dFZlcmlmaWVkKSB7XG4gICAgbG9jYWxNZXRhQ29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke2NvbnRleHRTdHJpbmd9JyBjb250ZXh0LmAsIGNvbnRleHROb2RlKTtcbiAgfVxuXG4gIHJldHVybiBjb250ZXh0VmVyaWZpZWQ7XG59Il0sIm5hbWVzIjpbInZlcmlmeUNvbnRleHQiLCJkZWNsYXJhdGlvbk5vZGVzUXVlcnkiLCJub2Rlc1F1ZXJ5IiwiY29udGV4dE5vZGUiLCJkZXJpdmVkIiwibG9jYWxNZXRhQ29udGV4dCIsImNvbnRleHRWZXJpZmllZCIsImNvbnRleHRTdHJpbmciLCJub2RlQXNTdHJpbmciLCJ0cmFjZSIsImRlY2xhcmF0aW9uTm9kZXMiLCJkZWNsYXJhdGlvbnNWZXJpZmllZCIsImV2ZXJ5IiwiZGVjbGFyYXRpb25Ob2RlIiwiZGVjbGFyYXRpb25WZXJpZmllZCIsInZlcmlmeURlY2xhcmF0aW9uIiwiZGVidWciXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVFBOzs7ZUFBd0JBOzs7a0VBTk07cUJBRUg7Ozs7OztBQUUzQixJQUFNQyx3QkFBd0JDLElBQUFBLGlCQUFVLEVBQUM7QUFFMUIsU0FBU0YsY0FBY0csV0FBVyxFQUFFQyxPQUFPLEVBQUVDLGdCQUFnQjtJQUMxRSxJQUFJQztJQUVKLElBQU1DLGdCQUFnQkYsaUJBQWlCRyxZQUFZLENBQUNMO0lBRXBERSxpQkFBaUJJLEtBQUssQ0FBQyxBQUFDLGtCQUErQixPQUFkRixlQUFjLGlCQUFlSjtJQUV0RSxJQUFNTyxtQkFBbUJULHNCQUFzQkUsY0FDekNRLHVCQUF1QkQsaUJBQWlCRSxLQUFLLENBQUMsU0FBQ0M7UUFDN0MsSUFBTUMsc0JBQXNCQyxJQUFBQSxvQkFBaUIsRUFBQ0YsaUJBQWlCVCxTQUFTQztRQUV4RSxPQUFPUztJQUNUO0lBRU5SLGtCQUFrQkssc0JBQXNCLEdBQUc7SUFFM0MsSUFBSUwsaUJBQWlCO1FBQ25CRCxpQkFBaUJXLEtBQUssQ0FBQyxBQUFDLG9CQUFpQyxPQUFkVCxlQUFjLGVBQWFKO0lBQ3hFO0lBRUEsT0FBT0c7QUFDVCJ9