occam-verify-cli 0.0.1009 → 0.0.1011

package/src/utilities/releaseContext.js

@@ -86,8 +86,6 @@ export function createReleaseContext(dependency, dependentNames, context, callba
 }
 
 export function initialiseReleaseContext(dependency, context) {
-  let releaseContextInitialised = false;
-
   const { releaseContextMap } = context,
         dependencyName = dependency.getName(),
         releaseName = dependencyName, ///
@@ -98,7 +96,7 @@ export function initialiseReleaseContext(dependency, context) {
 
     log.warning(`Unable to initialise the '${dependencyName}' context because it has not been created.`);
   } else {
-    releaseContextInitialised = releaseContext.isInitialised();
+    const releaseContextInitialised = releaseContext.isInitialised();
 
     if (!releaseContextInitialised) {
       initialiseDependencyReleaseContexts(dependency, releaseContext, context);
@@ -113,8 +111,6 @@ export function initialiseReleaseContext(dependency, context) {
       log.info(`...initialised the '${dependencyName}' context.`);
     }
   }
-
-  return releaseContextInitialised;
 }
 
 export default {
@@ -277,14 +273,9 @@ function createDependencyReleaseContexts(dependency, releaseContext, dependentNa
 }
 
 function initialiseDependencyReleaseContexts(dependency, releaseContext, context) {
-  const dependencies = releaseContext.getDependencies(),
-        dependencyReleaseContextsInitialised = dependencies.everyDependency((dependency) => {  ///
-          const releaseContextInitialised = initialiseReleaseContext(dependency, context);
-
-          if (releaseContextInitialised) {
-            return true;
-          }
-        });
+  const dependencies = releaseContext.getDependencies();
 
-  return dependencyReleaseContextsInitialised;
+  dependencies.forEachDependency((dependency) => {  ///
+    initialiseReleaseContext(dependency, context);
+  });
 }

package/src/verifier/topLevel.js

@@ -1,6 +1,9 @@
 "use strict";
 
 import Rule from "../rule";
+import CombinatorDeclaration from "../declaration/combinator";
+import MetavariableDeclaration from "../declaration/metavariable";
+
 import Verifier from "../verifier";
 import verifyError from "../verify/error";
 import verifyAxiom from "../verify/axiom";
@@ -9,11 +12,9 @@ import verifyTheorem from "../verify/theorem";
 import verifyMetaLemma from "../verify/metaLemma";
 import verifyConjecture from "../verify/conjecture";
 import verifyMetatheorem from "../verify/metatheorem";
-import CombinatorDeclaration from "../declaration/combinator";
 import verifyTypeDeclaration from "../verify/declaration/type";
 import verifyVariableDeclaration from "../verify/declaration/variable";
 import verifyConstructorDeclaration from "../verify/declaration/constructor";
-import verifyMetavariableDeclaration from "../verify/declaration/metavariable";
 
 import { nodeQuery } from "../utilities/query";
 
@@ -145,7 +146,8 @@ class TopLevelVerifier extends Verifier {
     {
       nodeQuery: metavariableDeclarationNodeQuery,
       verify: (metavariableDeclarationNode, fileContext) => {
-        const metavariableDeclarationVerified = verifyMetavariableDeclaration(metavariableDeclarationNode, fileContext);
+        const metavariableDeclaration = MetavariableDeclaration.fromMetavariableDeclarationNode(metavariableDeclarationNode, fileContext),
+              metavariableDeclarationVerified = metavariableDeclaration.verify(fileContext);
 
         return metavariableDeclarationVerified;
       }

package/lib/verify/declaration/metavariable.js

@@ -1,89 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return verifyMetavariableDeclaration;
-    }
-});
-var _metavariable = /*#__PURE__*/ _interop_require_default(require("../../metavariable"));
-var _metavariable1 = /*#__PURE__*/ _interop_require_default(require("../../assignment/metavariable"));
-var _array = require("../../utilities/array");
-var _query = require("../../utilities/query");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var termNodeQuery = (0, _query.nodeQuery)("/argument/term"), typeNodeQuery = (0, _query.nodeQuery)("/argument/type"), argumentNodeQuery = (0, _query.nodeQuery)("/metavariable/argument!"), metaTypeNodeQuery = (0, _query.nodeQuery)("/metavariableDeclaration/metaType"), metavariableNodeQuery = (0, _query.nodeQuery)("/metavariableDeclaration/metavariable");
-function verifyMetavariableDeclaration(metavariableDeclarationNode, fileContext) {
-    var metavariableDeclarationVerified;
-    var metaTypeNode = metaTypeNodeQuery(metavariableDeclarationNode), metavariableNode = metavariableNodeQuery(metavariableDeclarationNode), metaTypeString = fileContext.nodeAsString(metaTypeNode), metavariableString = fileContext.nodeAsString(metavariableNode);
-    fileContext.trace("Verifying the '".concat(metavariableString, ":").concat(metaTypeString, "' metavariable declaration..."));
-    var metavariableVVerified = verifyMetavariable(metavariableNode, metaTypeNode, fileContext);
-    metavariableDeclarationVerified = metavariableVVerified; ///
-    if (metavariableDeclarationVerified) {
-        fileContext.debug("...verified the '".concat(metavariableString, ":").concat(metaTypeString, "' metavariable declaration."));
-    }
-    return metavariableDeclarationVerified;
-}
-function verifyMetavariable(metavariableNode, metaTypeNode, fileContext) {
-    var metavariableVerified = false;
-    var metavariableString = fileContext.nodeAsString(metavariableNode);
-    fileContext.trace("Verifying the '".concat(metavariableString, "' metavariable..."));
-    var metavariablePresent = fileContext.isMetavariablePresentByMetavariableNode(metavariableNode);
-    if (metavariablePresent) {
-        fileContext.debug("The metavariable '".concat(metavariableString, "' is already present."));
-    } else {
-        var termTypes = [], metaTypes = [], argumentNode = argumentNodeQuery(metavariableNode), argumentVerified = verifyArgument(argumentNode, termTypes, fileContext), metaTypeVerified = verifyMetaType(metaTypeNode, metaTypes, fileContext);
-        if (argumentVerified && metaTypeVerified) {
-            var metaType;
-            var firstMetaType = (0, _array.first)(metaTypes);
-            metaType = firstMetaType; ///
-            var metavariable = _metavariable.default.fromMetavariableNodeAndMetaType(metavariableNode, metaType, fileContext), metavariableAssignment = _metavariable1.default.fromMetavariable(metavariable), metavariableAssigned = metavariableAssignment.assign(fileContext);
-            if (metavariableAssigned) {
-                metavariableVerified = true;
-            }
-        }
-    }
-    if (metavariableVerified) {
-        fileContext.debug("...verified the '".concat(metavariableString, "' metavariable."));
-    }
-    return metavariableVerified;
-}
-function verifyArgument(argumentNode, termTypes, fileContext) {
-    var argumentVerified = false;
-    if (argumentNode === null) {
-        argumentVerified = true;
-    } else {
-        var termNode = termNodeQuery(argumentNode);
-        if (termNode === null) {} else {
-            var termString = fileContext.nodeAsString(termNode);
-            fileContext.debug("The '".concat(termString, "' term was found when a type should have been present."));
-        }
-        var typeNode = typeNodeQuery(argumentNode);
-        if (typeNode !== null) {
-            var type = fileContext.findTypeByTypeNode(typeNode);
-            if (type !== null) {
-                var termType = type; ///
-                termTypes.push(termType);
-                argumentVerified = true;
-            } else {
-                var typeString = fileContext.nodeAsString(typeNode);
-                fileContext.debug("The '".concat(typeString, "' type is not present."));
-            }
-        }
-    }
-    return argumentVerified;
-}
-function verifyMetaType(metaTypeNode, metaTypes, fileContext) {
-    var metaTypeVerified;
-    var metaType = fileContext.findMetaTypeByMetaTypeNode(metaTypeNode);
-    metaTypes.push(metaType);
-    metaTypeVerified = true;
-    return metaTypeVerified;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvZGVjbGFyYXRpb24vbWV0YXZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTWV0YXZhcmlhYmxlIGZyb20gXCIuLi8uLi9tZXRhdmFyaWFibGVcIjtcbmltcG9ydCBNZXRhdmFyaWFibGVBc3NpZ25tZW50IGZyb20gXCIuLi8uLi9hc3NpZ25tZW50L21ldGF2YXJpYWJsZVwiO1xuXG5pbXBvcnQgeyBmaXJzdCB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvYXJyYXlcIjtcbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9hcmd1bWVudC90ZXJtXCIpLFxuICAgICAgdHlwZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9hcmd1bWVudC90eXBlXCIpLFxuICAgICAgYXJndW1lbnROb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvbWV0YXZhcmlhYmxlL2FyZ3VtZW50IVwiKSxcbiAgICAgIG1ldGFUeXBlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL21ldGF2YXJpYWJsZURlY2xhcmF0aW9uL21ldGFUeXBlXCIpLFxuICAgICAgbWV0YXZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL21ldGF2YXJpYWJsZURlY2xhcmF0aW9uL21ldGF2YXJpYWJsZVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5TWV0YXZhcmlhYmxlRGVjbGFyYXRpb24obWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlLCBmaWxlQ29udGV4dCkge1xuICBsZXQgbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25WZXJpZmllZDtcblxuICBjb25zdCBtZXRhVHlwZU5vZGUgPSBtZXRhVHlwZU5vZGVRdWVyeShtZXRhdmFyaWFibGVEZWNsYXJhdGlvbk5vZGUpLFxuICAgICAgICBtZXRhdmFyaWFibGVOb2RlID0gbWV0YXZhcmlhYmxlTm9kZVF1ZXJ5KG1ldGF2YXJpYWJsZURlY2xhcmF0aW9uTm9kZSksXG4gICAgICAgIG1ldGFUeXBlU3RyaW5nID0gZmlsZUNvbnRleHQubm9kZUFzU3RyaW5nKG1ldGFUeXBlTm9kZSksXG4gICAgICAgIG1ldGF2YXJpYWJsZVN0cmluZyA9IGZpbGVDb250ZXh0Lm5vZGVBc1N0cmluZyhtZXRhdmFyaWFibGVOb2RlKTtcblxuICBmaWxlQ29udGV4dC50cmFjZShgVmVyaWZ5aW5nIHRoZSAnJHttZXRhdmFyaWFibGVTdHJpbmd9OiR7bWV0YVR5cGVTdHJpbmd9JyBtZXRhdmFyaWFibGUgZGVjbGFyYXRpb24uLi5gKTtcblxuICBjb25zdCBtZXRhdmFyaWFibGVWVmVyaWZpZWQgPSB2ZXJpZnlNZXRhdmFyaWFibGUobWV0YXZhcmlhYmxlTm9kZSwgbWV0YVR5cGVOb2RlLCBmaWxlQ29udGV4dCk7XG5cbiAgbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25WZXJpZmllZCA9IG1ldGF2YXJpYWJsZVZWZXJpZmllZDsgIC8vL1xuXG4gIGlmIChtZXRhdmFyaWFibGVEZWNsYXJhdGlvblZlcmlmaWVkKSB7XG4gICAgZmlsZUNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHttZXRhdmFyaWFibGVTdHJpbmd9OiR7bWV0YVR5cGVTdHJpbmd9JyBtZXRhdmFyaWFibGUgZGVjbGFyYXRpb24uYCk7XG4gIH1cblxuICByZXR1cm4gbWV0YXZhcmlhYmxlRGVjbGFyYXRpb25WZXJpZmllZDtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5TWV0YXZhcmlhYmxlKG1ldGF2YXJpYWJsZU5vZGUsIG1ldGFUeXBlTm9kZSwgZmlsZUNvbnRleHQpIHtcbiAgbGV0IG1ldGF2YXJpYWJsZVZlcmlmaWVkID0gZmFsc2U7XG5cbiAgY29uc3QgbWV0YXZhcmlhYmxlU3RyaW5nID0gZmlsZUNvbnRleHQubm9kZUFzU3RyaW5nKG1ldGF2YXJpYWJsZU5vZGUpO1xuXG4gIGZpbGVDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke21ldGF2YXJpYWJsZVN0cmluZ30nIG1ldGF2YXJpYWJsZS4uLmApO1xuXG4gIGNvbnN0IG1ldGF2YXJpYWJsZVByZXNlbnQgPSBmaWxlQ29udGV4dC5pc01ldGF2YXJpYWJsZVByZXNlbnRCeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7XG5cbiAgaWYgKG1ldGF2YXJpYWJsZVByZXNlbnQpIHtcbiAgICBmaWxlQ29udGV4dC5kZWJ1ZyhgVGhlIG1ldGF2YXJpYWJsZSAnJHttZXRhdmFyaWFibGVTdHJpbmd9JyBpcyBhbHJlYWR5IHByZXNlbnQuYCk7XG4gIH0gZWxzZSB7XG4gICAgY29uc3QgdGVybVR5cGVzID0gW10sXG4gICAgICAgICAgbWV0YVR5cGVzID0gW10sXG4gICAgICAgICAgYXJndW1lbnROb2RlID0gYXJndW1lbnROb2RlUXVlcnkobWV0YXZhcmlhYmxlTm9kZSksXG4gICAgICAgICAgYXJndW1lbnRWZXJpZmllZCA9IHZlcmlmeUFyZ3VtZW50KGFyZ3VtZW50Tm9kZSwgdGVybVR5cGVzLCBmaWxlQ29udGV4dCksXG4gICAgICAgICAgbWV0YVR5cGVWZXJpZmllZCA9IHZlcmlmeU1ldGFUeXBlKG1ldGFUeXBlTm9kZSwgbWV0YVR5cGVzLCBmaWxlQ29udGV4dCk7XG5cbiAgICBpZiAoYXJndW1lbnRWZXJpZmllZCAmJiBtZXRhVHlwZVZlcmlmaWVkKSB7XG4gICAgICBsZXQgbWV0YVR5cGU7XG5cbiAgICAgIGNvbnN0IGZpcnN0TWV0YVR5cGUgPSBmaXJzdChtZXRhVHlwZXMpO1xuXG4gICAgICBtZXRhVHlwZSA9IGZpcnN0TWV0YVR5cGU7IC8vL1xuXG4gICAgICBjb25zdCBtZXRhdmFyaWFibGUgPSBNZXRhdmFyaWFibGUuZnJvbU1ldGF2YXJpYWJsZU5vZGVBbmRNZXRhVHlwZShtZXRhdmFyaWFibGVOb2RlLCBtZXRhVHlwZSwgZmlsZUNvbnRleHQpLFxuICAgICAgICAgICAgbWV0YXZhcmlhYmxlQXNzaWdubWVudCA9IE1ldGF2YXJpYWJsZUFzc2lnbm1lbnQuZnJvbU1ldGF2YXJpYWJsZShtZXRhdmFyaWFibGUpLFxuICAgICAgICAgICAgbWV0YXZhcmlhYmxlQXNzaWduZWQgPSBtZXRhdmFyaWFibGVBc3NpZ25tZW50LmFzc2lnbihmaWxlQ29udGV4dCk7XG5cbiAgICAgIGlmIChtZXRhdmFyaWFibGVBc3NpZ25lZCkge1xuICAgICAgICBtZXRhdmFyaWFibGVWZXJpZmllZCA9IHRydWU7XG4gICAgICB9XG4gICAgfVxuICB9XG5cbiAgaWYgKG1ldGF2YXJpYWJsZVZlcmlmaWVkKSB7XG4gICAgZmlsZUNvbnRleHQuZGVidWcoYC4uLnZlcmlmaWVkIHRoZSAnJHttZXRhdmFyaWFibGVTdHJpbmd9JyBtZXRhdmFyaWFibGUuYCk7XG4gIH1cblxuICByZXR1cm4gbWV0YXZhcmlhYmxlVmVyaWZpZWQ7XG59XG5cbmZ1bmN0aW9uIHZlcmlmeUFyZ3VtZW50KGFyZ3VtZW50Tm9kZSwgdGVybVR5cGVzLCBmaWxlQ29udGV4dCkge1xuICBsZXQgYXJndW1lbnRWZXJpZmllZCA9IGZhbHNlO1xuXG4gIGlmIChhcmd1bWVudE5vZGUgPT09IG51bGwpIHtcbiAgICBhcmd1bWVudFZlcmlmaWVkID0gdHJ1ZTtcbiAgfSBlbHNlIHtcbiAgICBjb25zdCB0ZXJtTm9kZSA9IHRlcm1Ob2RlUXVlcnkoYXJndW1lbnROb2RlKTtcblxuICAgIGlmICh0ZXJtTm9kZSA9PT0gbnVsbCkge1xuXG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IHRlcm1TdHJpbmcgPSBmaWxlQ29udGV4dC5ub2RlQXNTdHJpbmcodGVybU5vZGUpO1xuXG4gICAgICBmaWxlQ29udGV4dC5kZWJ1ZyhgVGhlICcke3Rlcm1TdHJpbmd9JyB0ZXJtIHdhcyBmb3VuZCB3aGVuIGEgdHlwZSBzaG91bGQgaGF2ZSBiZWVuIHByZXNlbnQuYCk7XG4gICAgfVxuICAgIGNvbnN0IHR5cGVOb2RlID0gdHlwZU5vZGVRdWVyeShhcmd1bWVudE5vZGUpO1xuXG4gICAgaWYgKHR5cGVOb2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCB0eXBlID0gZmlsZUNvbnRleHQuZmluZFR5cGVCeVR5cGVOb2RlKHR5cGVOb2RlKTtcblxuICAgICAgaWYgKHR5cGUgIT09IG51bGwpIHtcbiAgICAgICAgY29uc3QgdGVybVR5cGUgPSB0eXBlOyAgLy8vXG5cbiAgICAgICAgdGVybVR5cGVzLnB1c2godGVybVR5cGUpO1xuXG4gICAgICAgIGFyZ3VtZW50VmVyaWZpZWQgPSB0cnVlO1xuICAgICAgfSBlbHNlIHtcbiAgICAgICAgY29uc3QgdHlwZVN0cmluZyA9IGZpbGVDb250ZXh0Lm5vZGVBc1N0cmluZyh0eXBlTm9kZSk7XG5cbiAgICAgICAgZmlsZUNvbnRleHQuZGVidWcoYFRoZSAnJHt0eXBlU3RyaW5nfScgdHlwZSBpcyBub3QgcHJlc2VudC5gKTtcbiAgICAgIH1cbiAgICB9XG4gIH1cblxuICByZXR1cm4gYXJndW1lbnRWZXJpZmllZDtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5TWV0YVR5cGUobWV0YVR5cGVOb2RlLCBtZXRhVHlwZXMsIGZpbGVDb250ZXh0KSB7XG4gIGxldCBtZXRhVHlwZVZlcmlmaWVkO1xuXG4gIGNvbnN0IG1ldGFUeXBlID0gZmlsZUNvbnRleHQuZmluZE1ldGFUeXBlQnlNZXRhVHlwZU5vZGUobWV0YVR5cGVOb2RlKTtcblxuICBtZXRhVHlwZXMucHVzaChtZXRhVHlwZSk7XG5cbiAgbWV0YVR5cGVWZXJpZmllZCA9IHRydWU7XG5cbiAgcmV0dXJuIG1ldGFUeXBlVmVyaWZpZWQ7XG59Il0sIm5hbWVzIjpbInZlcmlmeU1ldGF2YXJpYWJsZURlY2xhcmF0aW9uIiwidGVybU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInR5cGVOb2RlUXVlcnkiLCJhcmd1bWVudE5vZGVRdWVyeSIsIm1ldGFUeXBlTm9kZVF1ZXJ5IiwibWV0YXZhcmlhYmxlTm9kZVF1ZXJ5IiwibWV0YXZhcmlhYmxlRGVjbGFyYXRpb25Ob2RlIiwiZmlsZUNvbnRleHQiLCJtZXRhdmFyaWFibGVEZWNsYXJhdGlvblZlcmlmaWVkIiwibWV0YVR5cGVOb2RlIiwibWV0YXZhcmlhYmxlTm9kZSIsIm1ldGFUeXBlU3RyaW5nIiwibm9kZUFzU3RyaW5nIiwibWV0YXZhcmlhYmxlU3RyaW5nIiwidHJhY2UiLCJtZXRhdmFyaWFibGVWVmVyaWZpZWQiLCJ2ZXJpZnlNZXRhdmFyaWFibGUiLCJkZWJ1ZyIsIm1ldGF2YXJpYWJsZVZlcmlmaWVkIiwibWV0YXZhcmlhYmxlUHJlc2VudCIsImlzTWV0YXZhcmlhYmxlUHJlc2VudEJ5TWV0YXZhcmlhYmxlTm9kZSIsInRlcm1UeXBlcyIsIm1ldGFUeXBlcyIsImFyZ3VtZW50Tm9kZSIsImFyZ3VtZW50VmVyaWZpZWQiLCJ2ZXJpZnlBcmd1bWVudCIsIm1ldGFUeXBlVmVyaWZpZWQiLCJ2ZXJpZnlNZXRhVHlwZSIsIm1ldGFUeXBlIiwiZmlyc3RNZXRhVHlwZSIsImZpcnN0IiwibWV0YXZhcmlhYmxlIiwiTWV0YXZhcmlhYmxlIiwiZnJvbU1ldGF2YXJpYWJsZU5vZGVBbmRNZXRhVHlwZSIsIm1ldGF2YXJpYWJsZUFzc2lnbm1lbnQiLCJNZXRhdmFyaWFibGVBc3NpZ25tZW50IiwiZnJvbU1ldGF2YXJpYWJsZSIsIm1ldGF2YXJpYWJsZUFzc2lnbmVkIiwiYXNzaWduIiwidGVybU5vZGUiLCJ0ZXJtU3RyaW5nIiwidHlwZU5vZGUiLCJ0eXBlIiwiZmluZFR5cGVCeVR5cGVOb2RlIiwidGVybVR5cGUiLCJwdXNoIiwidHlwZVN0cmluZyIsImZpbmRNZXRhVHlwZUJ5TWV0YVR5cGVOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFjQTs7O2VBQXdCQTs7O21FQVpDO29FQUNVO3FCQUViO3FCQUNJOzs7Ozs7QUFFMUIsSUFBTUMsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLG1CQUMxQkMsZ0JBQWdCRCxJQUFBQSxnQkFBUyxFQUFDLG1CQUMxQkUsb0JBQW9CRixJQUFBQSxnQkFBUyxFQUFDLDRCQUM5Qkcsb0JBQW9CSCxJQUFBQSxnQkFBUyxFQUFDLHNDQUM5Qkksd0JBQXdCSixJQUFBQSxnQkFBUyxFQUFDO0FBRXpCLFNBQVNGLDhCQUE4Qk8sMkJBQTJCLEVBQUVDLFdBQVc7SUFDNUYsSUFBSUM7SUFFSixJQUFNQyxlQUFlTCxrQkFBa0JFLDhCQUNqQ0ksbUJBQW1CTCxzQkFBc0JDLDhCQUN6Q0ssaUJBQWlCSixZQUFZSyxZQUFZLENBQUNILGVBQzFDSSxxQkFBcUJOLFlBQVlLLFlBQVksQ0FBQ0Y7SUFFcERILFlBQVlPLEtBQUssQ0FBQyxBQUFDLGtCQUF1Q0gsT0FBdEJFLG9CQUFtQixLQUFrQixPQUFmRixnQkFBZTtJQUV6RSxJQUFNSSx3QkFBd0JDLG1CQUFtQk4sa0JBQWtCRCxjQUFjRjtJQUVqRkMsa0NBQWtDTyx1QkFBd0IsR0FBRztJQUU3RCxJQUFJUCxpQ0FBaUM7UUFDbkNELFlBQVlVLEtBQUssQ0FBQyxBQUFDLG9CQUF5Q04sT0FBdEJFLG9CQUFtQixLQUFrQixPQUFmRixnQkFBZTtJQUM3RTtJQUVBLE9BQU9IO0FBQ1Q7QUFFQSxTQUFTUSxtQkFBbUJOLGdCQUFnQixFQUFFRCxZQUFZLEVBQUVGLFdBQVc7SUFDckUsSUFBSVcsdUJBQXVCO0lBRTNCLElBQU1MLHFCQUFxQk4sWUFBWUssWUFBWSxDQUFDRjtJQUVwREgsWUFBWU8sS0FBSyxDQUFDLEFBQUMsa0JBQW9DLE9BQW5CRCxvQkFBbUI7SUFFdkQsSUFBTU0sc0JBQXNCWixZQUFZYSx1Q0FBdUMsQ0FBQ1Y7SUFFaEYsSUFBSVMscUJBQXFCO1FBQ3ZCWixZQUFZVSxLQUFLLENBQUMsQUFBQyxxQkFBdUMsT0FBbkJKLG9CQUFtQjtJQUM1RCxPQUFPO1FBQ0wsSUFBTVEsWUFBWSxFQUFFLEVBQ2RDLFlBQVksRUFBRSxFQUNkQyxlQUFlcEIsa0JBQWtCTyxtQkFDakNjLG1CQUFtQkMsZUFBZUYsY0FBY0YsV0FBV2QsY0FDM0RtQixtQkFBbUJDLGVBQWVsQixjQUFjYSxXQUFXZjtRQUVqRSxJQUFJaUIsb0JBQW9CRSxrQkFBa0I7WUFDeEMsSUFBSUU7WUFFSixJQUFNQyxnQkFBZ0JDLElBQUFBLFlBQUssRUFBQ1I7WUFFNUJNLFdBQVdDLGVBQWUsR0FBRztZQUU3QixJQUFNRSxlQUFlQyxxQkFBWSxDQUFDQywrQkFBK0IsQ0FBQ3ZCLGtCQUFrQmtCLFVBQVVyQixjQUN4RjJCLHlCQUF5QkMsc0JBQXNCLENBQUNDLGdCQUFnQixDQUFDTCxlQUNqRU0sdUJBQXVCSCx1QkFBdUJJLE1BQU0sQ0FBQy9CO1lBRTNELElBQUk4QixzQkFBc0I7Z0JBQ3hCbkIsdUJBQXVCO1lBQ3pCO1FBQ0Y7SUFDRjtJQUVBLElBQUlBLHNCQUFzQjtRQUN4QlgsWUFBWVUsS0FBSyxDQUFDLEFBQUMsb0JBQXNDLE9BQW5CSixvQkFBbUI7SUFDM0Q7SUFFQSxPQUFPSztBQUNUO0FBRUEsU0FBU08sZUFBZUYsWUFBWSxFQUFFRixTQUFTLEVBQUVkLFdBQVc7SUFDMUQsSUFBSWlCLG1CQUFtQjtJQUV2QixJQUFJRCxpQkFBaUIsTUFBTTtRQUN6QkMsbUJBQW1CO0lBQ3JCLE9BQU87UUFDTCxJQUFNZSxXQUFXdkMsY0FBY3VCO1FBRS9CLElBQUlnQixhQUFhLE1BQU0sQ0FFdkIsT0FBTztZQUNMLElBQU1DLGFBQWFqQyxZQUFZSyxZQUFZLENBQUMyQjtZQUU1Q2hDLFlBQVlVLEtBQUssQ0FBQyxBQUFDLFFBQWtCLE9BQVh1QixZQUFXO1FBQ3ZDO1FBQ0EsSUFBTUMsV0FBV3ZDLGNBQWNxQjtRQUUvQixJQUFJa0IsYUFBYSxNQUFNO1lBQ3JCLElBQU1DLE9BQU9uQyxZQUFZb0Msa0JBQWtCLENBQUNGO1lBRTVDLElBQUlDLFNBQVMsTUFBTTtnQkFDakIsSUFBTUUsV0FBV0YsTUFBTyxHQUFHO2dCQUUzQnJCLFVBQVV3QixJQUFJLENBQUNEO2dCQUVmcEIsbUJBQW1CO1lBQ3JCLE9BQU87Z0JBQ0wsSUFBTXNCLGFBQWF2QyxZQUFZSyxZQUFZLENBQUM2QjtnQkFFNUNsQyxZQUFZVSxLQUFLLENBQUMsQUFBQyxRQUFrQixPQUFYNkIsWUFBVztZQUN2QztRQUNGO0lBQ0Y7SUFFQSxPQUFPdEI7QUFDVDtBQUVBLFNBQVNHLGVBQWVsQixZQUFZLEVBQUVhLFNBQVMsRUFBRWYsV0FBVztJQUMxRCxJQUFJbUI7SUFFSixJQUFNRSxXQUFXckIsWUFBWXdDLDBCQUEwQixDQUFDdEM7SUFFeERhLFVBQVV1QixJQUFJLENBQUNqQjtJQUVmRixtQkFBbUI7SUFFbkIsT0FBT0E7QUFDVCJ9

package/src/verify/declaration/metavariable.js

@@ -1,125 +0,0 @@
-"use strict";
-
-import Metavariable from "../../metavariable";
-import MetavariableAssignment from "../../assignment/metavariable";
-
-import { first } from "../../utilities/array";
-import { nodeQuery } from "../../utilities/query";
-
-const termNodeQuery = nodeQuery("/argument/term"),
-      typeNodeQuery = nodeQuery("/argument/type"),
-      argumentNodeQuery = nodeQuery("/metavariable/argument!"),
-      metaTypeNodeQuery = nodeQuery("/metavariableDeclaration/metaType"),
-      metavariableNodeQuery = nodeQuery("/metavariableDeclaration/metavariable");
-
-export default function verifyMetavariableDeclaration(metavariableDeclarationNode, fileContext) {
-  let metavariableDeclarationVerified;
-
-  const metaTypeNode = metaTypeNodeQuery(metavariableDeclarationNode),
-        metavariableNode = metavariableNodeQuery(metavariableDeclarationNode),
-        metaTypeString = fileContext.nodeAsString(metaTypeNode),
-        metavariableString = fileContext.nodeAsString(metavariableNode);
-
-  fileContext.trace(`Verifying the '${metavariableString}:${metaTypeString}' metavariable declaration...`);
-
-  const metavariableVVerified = verifyMetavariable(metavariableNode, metaTypeNode, fileContext);
-
-  metavariableDeclarationVerified = metavariableVVerified;  ///
-
-  if (metavariableDeclarationVerified) {
-    fileContext.debug(`...verified the '${metavariableString}:${metaTypeString}' metavariable declaration.`);
-  }
-
-  return metavariableDeclarationVerified;
-}
-
-function verifyMetavariable(metavariableNode, metaTypeNode, fileContext) {
-  let metavariableVerified = false;
-
-  const metavariableString = fileContext.nodeAsString(metavariableNode);
-
-  fileContext.trace(`Verifying the '${metavariableString}' metavariable...`);
-
-  const metavariablePresent = fileContext.isMetavariablePresentByMetavariableNode(metavariableNode);
-
-  if (metavariablePresent) {
-    fileContext.debug(`The metavariable '${metavariableString}' is already present.`);
-  } else {
-    const termTypes = [],
-          metaTypes = [],
-          argumentNode = argumentNodeQuery(metavariableNode),
-          argumentVerified = verifyArgument(argumentNode, termTypes, fileContext),
-          metaTypeVerified = verifyMetaType(metaTypeNode, metaTypes, fileContext);
-
-    if (argumentVerified && metaTypeVerified) {
-      let metaType;
-
-      const firstMetaType = first(metaTypes);
-
-      metaType = firstMetaType; ///
-
-      const metavariable = Metavariable.fromMetavariableNodeAndMetaType(metavariableNode, metaType, fileContext),
-            metavariableAssignment = MetavariableAssignment.fromMetavariable(metavariable),
-            metavariableAssigned = metavariableAssignment.assign(fileContext);
-
-      if (metavariableAssigned) {
-        metavariableVerified = true;
-      }
-    }
-  }
-
-  if (metavariableVerified) {
-    fileContext.debug(`...verified the '${metavariableString}' metavariable.`);
-  }
-
-  return metavariableVerified;
-}
-
-function verifyArgument(argumentNode, termTypes, fileContext) {
-  let argumentVerified = false;
-
-  if (argumentNode === null) {
-    argumentVerified = true;
-  } else {
-    const termNode = termNodeQuery(argumentNode);
-
-    if (termNode === null) {
-
-    } else {
-      const termString = fileContext.nodeAsString(termNode);
-
-      fileContext.debug(`The '${termString}' term was found when a type should have been present.`);
-    }
-    const typeNode = typeNodeQuery(argumentNode);
-
-    if (typeNode !== null) {
-      const type = fileContext.findTypeByTypeNode(typeNode);
-
-      if (type !== null) {
-        const termType = type;  ///
-
-        termTypes.push(termType);
-
-        argumentVerified = true;
-      } else {
-        const typeString = fileContext.nodeAsString(typeNode);
-
-        fileContext.debug(`The '${typeString}' type is not present.`);
-      }
-    }
-  }
-
-  return argumentVerified;
-}
-
-function verifyMetaType(metaTypeNode, metaTypes, fileContext) {
-  let metaTypeVerified;
-
-  const metaType = fileContext.findMetaTypeByMetaTypeNode(metaTypeNode);
-
-  metaTypes.push(metaType);
-
-  metaTypeVerified = true;
-
-  return metaTypeVerified;
-}