occam-verify-cli 0.0.1007 → 0.0.1010

package/src/verify/release.js

@@ -1,7 +1,5 @@
 "use strict";
 
-import verifyFiles from "../verify/files";
-
 export default function verifyRelease(releaseName, dependentName, dependentReleased, releaseContextMap) {
   let releaseVerified = false;
 
@@ -21,27 +19,21 @@ export default function verifyRelease(releaseName, dependentName, dependentRelea
               dependencyReleasesVVerified = verifyDependencyReleases(releaseContext, dependentName, dependentReleased, releaseContextMap);
 
         if (dependencyReleasesVVerified) {
-          const verified = releaseContext.isVerified();
-
-          if (verified) {
-            releaseVerified = true;
-          } else {
-            releaseContext.info(`Verifying the '${releaseName}' project...`);
+          let releaseContextVerified;
 
-            const releaseFilesVerified = verifyReleaseFiles(releaseContext);
+          releaseContextVerified = releaseContext.isVerified();
 
-            if (releaseFilesVerified) {
-              const verified = true;
-
-              releaseContext.setVerified(verified);
+          if (!releaseContextVerified) {
+            releaseContext.info(`Verifying the '${releaseName}' project...`);
 
-              releaseVerified = verified; ///
-            }
+            releaseContextVerified = releaseContext.verify();
 
-            if (releaseVerified) {
+            if (releaseContextVerified) {
               releaseContext.info(`...verified the '${releaseName}' project.`);
             }
           }
+
+          releaseVerified = releaseContextVerified; ///
         }
       }
     }
@@ -50,13 +42,6 @@ export default function verifyRelease(releaseName, dependentName, dependentRelea
   return releaseVerified;
 }
 
-function verifyReleaseFiles(releaseContext) {
-  const filesVerified = verifyFiles(releaseContext),
-        releaseFilesVerified = filesVerified; ///
-
-  return releaseFilesVerified;
-}
-
 function verifyDependencyReleases(releaseContext, dependentName, dependentReleased, releaseContextMap) {
   const dependencies = releaseContext.getDependencies(),
         dependencyReleasesVVerified = dependencies.everyDependency((dependency) => {

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;
-}