occam-verify-cli 0.0.880 → 0.0.881

package/src/utilities/name.js

@@ -7,14 +7,9 @@ const typeTerminalNodeQuery = nodeQuery("/type/@type"),
       metaTypeTerminalNodeQuery = nodeQuery("/metaType/@meta-type");
 
 export function typeNameFromTypeNode(typeNode) {
-  let typeName = null;
-
-  if (typeNode !== null) {
-    const typeTerminalNode = typeTerminalNodeQuery(typeNode),
-          typeTerminalNodeContent = typeTerminalNode.getContent();
-
-    typeName = typeTerminalNodeContent; ///
-  }
+  const typeTerminalNode = typeTerminalNodeQuery(typeNode),
+        typeTerminalNodeContent = typeTerminalNode.getContent(),
+        typeName = typeTerminalNodeContent; ///
 
   return typeName;
 }
@@ -28,14 +23,9 @@ export function nameFromMetavariableNode(metavariableNode) {
 }
 
 export function metaTypeNameFromMetaTypeNode(metaTypeNode) {
-  let metaTypeName = null;
-
-  if (metaTypeNode !== null) {
     const metaTypeTerminalNode = metaTypeTerminalNodeQuery(metaTypeNode),
-          metaTypeTerminalNodeContent = metaTypeTerminalNode.getContent();
-
-    metaTypeName = metaTypeTerminalNodeContent; ///
-  }
+          metaTypeTerminalNodeContent = metaTypeTerminalNode.getContent(),
+          metaTypeName = metaTypeTerminalNodeContent; ///
 
   return metaTypeName;
 }

package/src/verify/declaration.js

@@ -1,6 +1,6 @@
 "use strict";
 
-import labelMetaType from "../metaType/label";
+import referenceMetaType from "../metaType/reference";
 import metastatementNodeVerifier from "../verifier/node/metastatement";
 
 import { nodeQuery } from "../utilities/query";
@@ -21,7 +21,7 @@ export default function verifyDeclaration(declarationNode, derived, localMetaCon
   if (metavariable !== null) {
     const metaType = metavariable.getMetaType();
 
-    if (metaType === labelMetaType) {
+    if (metaType === referenceMetaType) {
       const metastatementNode = metastatementNodeQuery(declarationNode);
 
       if (metastatementNode !== null) {
@@ -36,11 +36,11 @@ export default function verifyDeclaration(declarationNode, derived, localMetaCon
         declarationVerified = metastatementVerified;  ///
       }
     } else {
-      const metavariableString = localMetaContext.nodeAsString(metavariableNode),
-            labelMetaTypeName = labelMetaType.getName(),
+      const referenceMetaTypeName = referenceMetaType.getName(),
+            metavariableString = localMetaContext.nodeAsString(metavariableNode),
             metaTypeString = metaType.asString();
 
-      localMetaContext.debug(`The '${metavariableString}' metavariable's meta-type is '${metaTypeString}' when it should be '${labelMetaTypeName}'.`, declarationNode);
+      localMetaContext.debug(`The '${metavariableString}' metavariable's meta-type is '${metaTypeString}' when it should be '${referenceMetaTypeName}'.`, declarationNode);
     }
   }
 

package/src/verify/frame.js

@@ -0,0 +1,30 @@
+"use strict";
+
+import verifyDeclaration from "../verify/declaration";
+
+import { nodesQuery } from "../utilities/query";
+
+const declarationNodesQuery = nodesQuery("/frame/declaration");
+
+export default function verifyFrame(frameNode, derived, localMetaContext) {
+  let frameVerified;
+
+  const frameString = localMetaContext.nodeAsString(frameNode);
+
+  localMetaContext.trace(`Verifying the '${frameString}' frame...`, frameNode);
+
+  const declarationNodes = declarationNodesQuery(frameNode),
+        declarationsVerified = declarationNodes.every((declarationNode) => {
+          const declarationVerified = verifyDeclaration(declarationNode, derived, localMetaContext);
+
+          return declarationVerified;
+        });
+
+  frameVerified = declarationsVerified; ///
+
+  if (frameVerified) {
+    localMetaContext.debug(`...verified the '${frameString}' frame.`, frameNode);
+  }
+
+  return frameVerified;
+}

package/src/verify/judgement.js

@@ -1,44 +1,32 @@
 "use strict";
 
-import verifyContext from "../verify/context";
-import contextMetaType from "../metaType/context";
+import verifyFrame from "../verify/frame";
+import frameMetaType from "../metaType/frame";
 
 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 (metaType === contextMetaType) {
-      const contextNode = contextNodeQuery(judgementNode);
-
-      if (contextNode !== null) {
-        const contextVerified = verifyContext(contextNode, derived, localMetaContext);
-
-        judgementVerified = contextVerified;  ///
-      } else {
-        localMetaContext.debug(`The right hand side of the '${judgementString}' judgement must be a context.`, judgementNode);
-      }
-    } else {
-      const contextMetaTypeName = contextMetaType.getName(),
-            metavariableString = localMetaContext.nodeAsString(metavariableNode),
-            metaTypeString = metaType.asString();
-
-      localMetaContext.debug(`The '${metavariableString}' metavariable's meta-type is '${metaTypeString}' when it should be '${contextMetaTypeName}'.`, judgementNode);
+    if (judgementVerified) {
+      return true;
     }
-  }
+  });
 
   if (judgementVerified) {
     localMetaContext.debug(`...verified the '${judgementString}' judgement.`, judgementNode);
@@ -46,3 +34,85 @@ export default function verifyJudgement(judgementNode, derived, localMetaContext
 
   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);
+    //
+    // const metavariableNode = metavariableNodeQuery(judgementNode),
+    //       metavariable = localMetaContext.findMetavariableByMetavariableNode(metavariableNode, localMetaContext);
+    //
+    // if (metavariable !== null) {
+    //   const metaType = metavariable.getMetaType();
+    //
+    //   if (metaType === frameMetaType) {
+    //     const frameNode = frameNodeQuery(judgementNode);
+    //
+    //     if (frameNode !== null) {
+    //       const frameVerified = verifyFrame(frameNode, derived, localMetaContext);
+    //
+    //       derivedJudgementVerified = frameVerified;  ///
+    //     } else {
+    //       localMetaContext.debug(`The right hand side of the '${judgementString}' judgement must be a frame.`, judgementNode);
+    //     }
+    //   } else {
+    //     const frameMetaTypeName = frameMetaType.getName(),
+    //       metavariableString = localMetaContext.nodeAsString(metavariableNode),
+    //       metaTypeString = metaType.asString();
+    //
+    //     localMetaContext.debug(`The '${metavariableString}' metavariable's meta-type is '${metaTypeString}' when it should be '${frameMetaTypeName}'.`, 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),
+          metavariable = localMetaContext.findMetavariableByMetavariableNode(metavariableNode, localMetaContext);
+
+    if (metavariable !== null) {
+      const metaType = metavariable.getMetaType();
+
+      if (metaType === frameMetaType) {
+        const frameNode = frameNodeQuery(judgementNode);
+
+        if (frameNode !== null) {
+          const frameVerified = verifyFrame(frameNode, derived, localMetaContext);
+
+          statedJudgementVerified = frameVerified;  ///
+        } else {
+          localMetaContext.debug(`The right hand side of the '${judgementString}' judgement must be a frame.`, judgementNode);
+        }
+      } else {
+        const frameMetaTypeName = frameMetaType.getName(),
+              metavariableString = localMetaContext.nodeAsString(metavariableNode),
+              metaTypeString = metaType.asString();
+
+        localMetaContext.debug(`The '${metavariableString}' metavariable's meta-type is '${metaTypeString}' when it should be '${frameMetaTypeName}'.`, judgementNode);
+      }
+    }
+
+    if (statedJudgementVerified) {
+      localMetaContext.debug(`...verified the '${judgementString}' stated judgement.`, judgementNode);
+    }
+  }
+
+  return statedJudgementVerified;
+}

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/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

package/lib/verify/metaEquality.js

@@ -1,69 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return verifyMetaEquality;
-    }
-});
-var _metaEquality = /*#__PURE__*/ _interop_require_default(require("../metaEquality"));
-var _metaEquality1 = /*#__PURE__*/ _interop_require_default(require("../assignment/metaEquality"));
-var _query = require("../utilities/query");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var leftMetastatementNodeQuery = (0, _query.nodeQuery)("/metaEquality/metastatement[0]"), rightMetastatementNodeQuery = (0, _query.nodeQuery)("/metaEquality/metastatement[1]");
-function verifyMetaEquality(metaEqualityNode, assignments, derived, localMetaContext) {
-    var metaEqualityVerified;
-    var metaEqualityString = localMetaContext.nodeAsString(metaEqualityNode);
-    localMetaContext.trace("Verifying the '".concat(metaEqualityString, "' meta-equality..."), metaEqualityNode);
-    var verifyMetaEqualityFunctions = [
-        verifyDerivedMetaEquality,
-        verifyStatedMetaEquality
-    ];
-    metaEqualityVerified = verifyMetaEqualityFunctions.some(function(verifyMetaEqualityFunction) {
-        var metaEqualityVerified = verifyMetaEqualityFunction(metaEqualityNode, assignments, derived, localMetaContext);
-        if (metaEqualityVerified) {
-            return true;
-        }
-    });
-    if (metaEqualityVerified) {
-        localMetaContext.debug("...verified the '".concat(metaEqualityString, "' meta-equality."), metaEqualityNode);
-    }
-    return metaEqualityVerified;
-}
-function verifyDerivedMetaEquality(metaEqualityNode, assignments, derived, localMetaContext) {
-    var derivedMetaEqualityVerified = false;
-    if (derived) {
-        var metaEqualityString = localMetaContext.nodeAsString(metaEqualityNode);
-        localMetaContext.trace("Verifying the '".concat(metaEqualityString, "' derived meta-equality..."), metaEqualityNode);
-        var leftMetastatementNode = leftMetastatementNodeQuery(metaEqualityNode), rightMetastatementNode = rightMetastatementNodeQuery(metaEqualityNode), metaEquality = _metaEquality.default.fromLeftMetastatementNodeRightMetastatementNodeAndMetaEqualityNode(leftMetastatementNode, rightMetastatementNode, metaEqualityNode, localMetaContext);
-        if (metaEquality !== null) {
-            var metaEqualityAssignment = _metaEquality1.default.fromMetaEquality(metaEquality), assignment = metaEqualityAssignment; ///
-            assignments.push(assignment);
-            derivedMetaEqualityVerified = true;
-        }
-        if (derivedMetaEqualityVerified) {
-            localMetaContext.debug("...verified the '".concat(metaEqualityString, "' derived meta-equality."), metaEqualityNode);
-        }
-    }
-    return derivedMetaEqualityVerified;
-}
-function verifyStatedMetaEquality(metaEqualityNode, assignments, derived, localMetaContext) {
-    var statedMetaEqualityVerified = false;
-    if (!derived) {
-        var metaEqualityString = localMetaContext.nodeAsString(metaEqualityNode);
-        localMetaContext.trace("Verifying the '".concat(metaEqualityString, "' stated meta-equality..."), metaEqualityNode);
-        debugger;
-        if (statedMetaEqualityVerified) {
-            localMetaContext.debug("...verified the '".concat(metaEqualityString, "' stated meta-equality."), metaEqualityNode);
-        }
-    }
-    return statedMetaEqualityVerified;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvbWV0YUVxdWFsaXR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTWV0YUVxdWFsaXR5IGZyb20gXCIuLi9tZXRhRXF1YWxpdHlcIjtcbmltcG9ydCBNZXRhRXF1YWxpdHlBc3NpZ25tZW50IGZyb20gXCIuLi9hc3NpZ25tZW50L21ldGFFcXVhbGl0eVwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IGxlZnRNZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL21ldGFFcXVhbGl0eS9tZXRhc3RhdGVtZW50WzBdXCIpLFxuICAgICAgcmlnaHRNZXRhc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL21ldGFFcXVhbGl0eS9tZXRhc3RhdGVtZW50WzFdXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlNZXRhRXF1YWxpdHkobWV0YUVxdWFsaXR5Tm9kZSwgYXNzaWdubWVudHMsIGRlcml2ZWQsIGxvY2FsTWV0YUNvbnRleHQpIHtcbiAgbGV0IG1ldGFFcXVhbGl0eVZlcmlmaWVkO1xuXG4gIGNvbnN0IG1ldGFFcXVhbGl0eVN0cmluZyA9IGxvY2FsTWV0YUNvbnRleHQubm9kZUFzU3RyaW5nKG1ldGFFcXVhbGl0eU5vZGUpO1xuXG4gIGxvY2FsTWV0YUNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7bWV0YUVxdWFsaXR5U3RyaW5nfScgbWV0YS1lcXVhbGl0eS4uLmAsIG1ldGFFcXVhbGl0eU5vZGUpO1xuXG4gIGNvbnN0IHZlcmlmeU1ldGFFcXVhbGl0eUZ1bmN0aW9ucyA9IFtcbiAgICB2ZXJpZnlEZXJpdmVkTWV0YUVxdWFsaXR5LFxuICAgIHZlcmlmeVN0YXRlZE1ldGFFcXVhbGl0eVxuICBdO1xuXG4gIG1ldGFFcXVhbGl0eVZlcmlmaWVkID0gdmVyaWZ5TWV0YUVxdWFsaXR5RnVuY3Rpb25zLnNvbWUoKHZlcmlmeU1ldGFFcXVhbGl0eUZ1bmN0aW9uKSA9PiB7XG4gICAgY29uc3QgbWV0YUVxdWFsaXR5VmVyaWZpZWQgPSB2ZXJpZnlNZXRhRXF1YWxpdHlGdW5jdGlvbihtZXRhRXF1YWxpdHlOb2RlLCBhc3NpZ25tZW50cywgZGVyaXZlZCwgbG9jYWxNZXRhQ29udGV4dCk7XG5cbiAgICBpZiAobWV0YUVxdWFsaXR5VmVyaWZpZWQpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG5cbiAgaWYgKG1ldGFFcXVhbGl0eVZlcmlmaWVkKSB7XG4gICAgbG9jYWxNZXRhQ29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke21ldGFFcXVhbGl0eVN0cmluZ30nIG1ldGEtZXF1YWxpdHkuYCwgbWV0YUVxdWFsaXR5Tm9kZSk7XG4gIH1cblxuICByZXR1cm4gbWV0YUVxdWFsaXR5VmVyaWZpZWQ7XG59XG5cbmZ1bmN0aW9uIHZlcmlmeURlcml2ZWRNZXRhRXF1YWxpdHkobWV0YUVxdWFsaXR5Tm9kZSwgYXNzaWdubWVudHMsIGRlcml2ZWQsIGxvY2FsTWV0YUNvbnRleHQpIHtcbiAgbGV0IGRlcml2ZWRNZXRhRXF1YWxpdHlWZXJpZmllZCA9IGZhbHNlO1xuXG4gIGlmIChkZXJpdmVkKSB7XG4gICAgY29uc3QgbWV0YUVxdWFsaXR5U3RyaW5nID0gbG9jYWxNZXRhQ29udGV4dC5ub2RlQXNTdHJpbmcobWV0YUVxdWFsaXR5Tm9kZSk7XG5cbiAgICBsb2NhbE1ldGFDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke21ldGFFcXVhbGl0eVN0cmluZ30nIGRlcml2ZWQgbWV0YS1lcXVhbGl0eS4uLmAsIG1ldGFFcXVhbGl0eU5vZGUpO1xuXG4gICAgY29uc3QgbGVmdE1ldGFzdGF0ZW1lbnROb2RlID0gbGVmdE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkobWV0YUVxdWFsaXR5Tm9kZSksXG4gICAgICAgICAgcmlnaHRNZXRhc3RhdGVtZW50Tm9kZSA9IHJpZ2h0TWV0YXN0YXRlbWVudE5vZGVRdWVyeShtZXRhRXF1YWxpdHlOb2RlKSxcbiAgICAgICAgICBtZXRhRXF1YWxpdHkgPSBNZXRhRXF1YWxpdHkuZnJvbUxlZnRNZXRhc3RhdGVtZW50Tm9kZVJpZ2h0TWV0YXN0YXRlbWVudE5vZGVBbmRNZXRhRXF1YWxpdHlOb2RlKGxlZnRNZXRhc3RhdGVtZW50Tm9kZSwgcmlnaHRNZXRhc3RhdGVtZW50Tm9kZSwgbWV0YUVxdWFsaXR5Tm9kZSwgbG9jYWxNZXRhQ29udGV4dCk7XG5cbiAgICBpZiAobWV0YUVxdWFsaXR5ICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBtZXRhRXF1YWxpdHlBc3NpZ25tZW50ID0gTWV0YUVxdWFsaXR5QXNzaWdubWVudC5mcm9tTWV0YUVxdWFsaXR5KG1ldGFFcXVhbGl0eSksXG4gICAgICAgICAgICBhc3NpZ25tZW50ID0gbWV0YUVxdWFsaXR5QXNzaWdubWVudDsgIC8vL1xuXG4gICAgICBhc3NpZ25tZW50cy5wdXNoKGFzc2lnbm1lbnQpO1xuXG4gICAgICBkZXJpdmVkTWV0YUVxdWFsaXR5VmVyaWZpZWQgPSB0cnVlO1xuICAgIH1cblxuICAgIGlmIChkZXJpdmVkTWV0YUVxdWFsaXR5VmVyaWZpZWQpIHtcbiAgICAgIGxvY2FsTWV0YUNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHttZXRhRXF1YWxpdHlTdHJpbmd9JyBkZXJpdmVkIG1ldGEtZXF1YWxpdHkuYCwgbWV0YUVxdWFsaXR5Tm9kZSk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIGRlcml2ZWRNZXRhRXF1YWxpdHlWZXJpZmllZDtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5U3RhdGVkTWV0YUVxdWFsaXR5KG1ldGFFcXVhbGl0eU5vZGUsIGFzc2lnbm1lbnRzLCBkZXJpdmVkLCBsb2NhbE1ldGFDb250ZXh0KSB7XG4gIGxldCBzdGF0ZWRNZXRhRXF1YWxpdHlWZXJpZmllZCA9IGZhbHNlO1xuXG4gIGlmICghZGVyaXZlZCkge1xuICAgIGNvbnN0IG1ldGFFcXVhbGl0eVN0cmluZyA9IGxvY2FsTWV0YUNvbnRleHQubm9kZUFzU3RyaW5nKG1ldGFFcXVhbGl0eU5vZGUpO1xuXG4gICAgbG9jYWxNZXRhQ29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHttZXRhRXF1YWxpdHlTdHJpbmd9JyBzdGF0ZWQgbWV0YS1lcXVhbGl0eS4uLmAsIG1ldGFFcXVhbGl0eU5vZGUpO1xuXG4gICAgZGVidWdnZXJcblxuICAgIGlmIChzdGF0ZWRNZXRhRXF1YWxpdHlWZXJpZmllZCkge1xuICAgICAgbG9jYWxNZXRhQ29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke21ldGFFcXVhbGl0eVN0cmluZ30nIHN0YXRlZCBtZXRhLWVxdWFsaXR5LmAsIG1ldGFFcXVhbGl0eU5vZGUpO1xuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGF0ZWRNZXRhRXF1YWxpdHlWZXJpZmllZDtcbn0iXSwibmFtZXMiOlsidmVyaWZ5TWV0YUVxdWFsaXR5IiwibGVmdE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJyaWdodE1ldGFzdGF0ZW1lbnROb2RlUXVlcnkiLCJtZXRhRXF1YWxpdHlOb2RlIiwiYXNzaWdubWVudHMiLCJkZXJpdmVkIiwibG9jYWxNZXRhQ29udGV4dCIsIm1ldGFFcXVhbGl0eVZlcmlmaWVkIiwibWV0YUVxdWFsaXR5U3RyaW5nIiwibm9kZUFzU3RyaW5nIiwidHJhY2UiLCJ2ZXJpZnlNZXRhRXF1YWxpdHlGdW5jdGlvbnMiLCJ2ZXJpZnlEZXJpdmVkTWV0YUVxdWFsaXR5IiwidmVyaWZ5U3RhdGVkTWV0YUVxdWFsaXR5Iiwic29tZSIsInZlcmlmeU1ldGFFcXVhbGl0eUZ1bmN0aW9uIiwiZGVidWciLCJkZXJpdmVkTWV0YUVxdWFsaXR5VmVyaWZpZWQiLCJsZWZ0TWV0YXN0YXRlbWVudE5vZGUiLCJyaWdodE1ldGFzdGF0ZW1lbnROb2RlIiwibWV0YUVxdWFsaXR5IiwiTWV0YUVxdWFsaXR5IiwiZnJvbUxlZnRNZXRhc3RhdGVtZW50Tm9kZVJpZ2h0TWV0YXN0YXRlbWVudE5vZGVBbmRNZXRhRXF1YWxpdHlOb2RlIiwibWV0YUVxdWFsaXR5QXNzaWdubWVudCIsIk1ldGFFcXVhbGl0eUFzc2lnbm1lbnQiLCJmcm9tTWV0YUVxdWFsaXR5IiwiYXNzaWdubWVudCIsInB1c2giLCJzdGF0ZWRNZXRhRXF1YWxpdHlWZXJpZmllZCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBVUE7OztlQUF3QkE7OzttRUFSQztvRUFDVTtxQkFFVDs7Ozs7O0FBRTFCLElBQU1DLDZCQUE2QkMsSUFBQUEsZ0JBQVMsRUFBQyxtQ0FDdkNDLDhCQUE4QkQsSUFBQUEsZ0JBQVMsRUFBQztBQUUvQixTQUFTRixtQkFBbUJJLGdCQUFnQixFQUFFQyxXQUFXLEVBQUVDLE9BQU8sRUFBRUMsZ0JBQWdCO0lBQ2pHLElBQUlDO0lBRUosSUFBTUMscUJBQXFCRixpQkFBaUJHLFlBQVksQ0FBQ047SUFFekRHLGlCQUFpQkksS0FBSyxDQUFDLEFBQUMsa0JBQW9DLE9BQW5CRixvQkFBbUIsdUJBQXFCTDtJQUVqRixJQUFNUSw4QkFBOEI7UUFDbENDO1FBQ0FDO0tBQ0Q7SUFFRE4sdUJBQXVCSSw0QkFBNEJHLElBQUksQ0FBQyxTQUFDQztRQUN2RCxJQUFNUix1QkFBdUJRLDJCQUEyQlosa0JBQWtCQyxhQUFhQyxTQUFTQztRQUVoRyxJQUFJQyxzQkFBc0I7WUFDeEIsT0FBTztRQUNUO0lBQ0Y7SUFFQSxJQUFJQSxzQkFBc0I7UUFDeEJELGlCQUFpQlUsS0FBSyxDQUFDLEFBQUMsb0JBQXNDLE9BQW5CUixvQkFBbUIscUJBQW1CTDtJQUNuRjtJQUVBLE9BQU9JO0FBQ1Q7QUFFQSxTQUFTSywwQkFBMEJULGdCQUFnQixFQUFFQyxXQUFXLEVBQUVDLE9BQU8sRUFBRUMsZ0JBQWdCO0lBQ3pGLElBQUlXLDhCQUE4QjtJQUVsQyxJQUFJWixTQUFTO1FBQ1gsSUFBTUcscUJBQXFCRixpQkFBaUJHLFlBQVksQ0FBQ047UUFFekRHLGlCQUFpQkksS0FBSyxDQUFDLEFBQUMsa0JBQW9DLE9BQW5CRixvQkFBbUIsK0JBQTZCTDtRQUV6RixJQUFNZSx3QkFBd0JsQiwyQkFBMkJHLG1CQUNuRGdCLHlCQUF5QmpCLDRCQUE0QkMsbUJBQ3JEaUIsZUFBZUMscUJBQVksQ0FBQ0Msa0VBQWtFLENBQUNKLHVCQUF1QkMsd0JBQXdCaEIsa0JBQWtCRztRQUV0SyxJQUFJYyxpQkFBaUIsTUFBTTtZQUN6QixJQUFNRyx5QkFBeUJDLHNCQUFzQixDQUFDQyxnQkFBZ0IsQ0FBQ0wsZUFDakVNLGFBQWFILHdCQUF5QixHQUFHO1lBRS9DbkIsWUFBWXVCLElBQUksQ0FBQ0Q7WUFFakJULDhCQUE4QjtRQUNoQztRQUVBLElBQUlBLDZCQUE2QjtZQUMvQlgsaUJBQWlCVSxLQUFLLENBQUMsQUFBQyxvQkFBc0MsT0FBbkJSLG9CQUFtQiw2QkFBMkJMO1FBQzNGO0lBQ0Y7SUFFQSxPQUFPYztBQUNUO0FBRUEsU0FBU0oseUJBQXlCVixnQkFBZ0IsRUFBRUMsV0FBVyxFQUFFQyxPQUFPLEVBQUVDLGdCQUFnQjtJQUN4RixJQUFJc0IsNkJBQTZCO0lBRWpDLElBQUksQ0FBQ3ZCLFNBQVM7UUFDWixJQUFNRyxxQkFBcUJGLGlCQUFpQkcsWUFBWSxDQUFDTjtRQUV6REcsaUJBQWlCSSxLQUFLLENBQUMsQUFBQyxrQkFBb0MsT0FBbkJGLG9CQUFtQiw4QkFBNEJMO1FBRXhGLFFBQVE7UUFFUixJQUFJeUIsNEJBQTRCO1lBQzlCdEIsaUJBQWlCVSxLQUFLLENBQUMsQUFBQyxvQkFBc0MsT0FBbkJSLG9CQUFtQiw0QkFBMEJMO1FBQzFGO0lBQ0Y7SUFFQSxPQUFPeUI7QUFDVCJ9