occam-verify-cli 0.0.705 → 0.0.707

package/src/verify/term.js

@@ -2,9 +2,12 @@
 
 import Term from "../term";
 import termNodesVerifier from "../verifier/nodes/term";
-import verifyTermAsGivenVariable from "../verify/termAsGivenVariable";
+import verifyGivenVariable from "../verify/givenVariable";
 
 import { first } from "../utilities/array";
+import { nodeQuery } from "../utilities/query";
+
+const variableNodeQuery = nodeQuery("/term/variable!");
 
 function verifyTerm(termNode, terms, context, verifyAhead) {
   let termVerified;
@@ -60,53 +63,61 @@ Object.assign(termNodesVerifier, {
 export default verifyTerm;
 
 function verifyTermAsVariable(termNode, terms, context, verifyAhead) {
-  let termVerifiedAsVariable;
+  let termVerifiedAsVariable = false;
 
-  const termString = context.nodeAsString(termNode);
+  const variableNode = variableNodeQuery(termNode);
 
-  context.trace(`Verifying the '${termString}' term as a variable...`, termNode);
+  if (variableNode !== null) {
+    const termString = context.nodeAsString(termNode);
 
-  const variables = [],
-        termVerifiedAsGivenVariable = verifyTermAsGivenVariable(termNode, variables, context, () => {
-          let verifiedAhead;
+    context.trace(`Verifying the '${termString}' term as a variable...`, termNode);
 
-          const firstVariable = first(variables),
-                variable = firstVariable, ///
-                type = variable.getType(),
-                term = Term.fromTermNodeAndType(termNode, type);
+    const variables = [],
+          givenVariableVerified = verifyGivenVariable(variableNode, variables, context, () => {
+            let verifiedAhead;
 
-          terms.push(term);
+            const firstVariable = first(variables),
+                  variable = firstVariable, ///
+                  type = variable.getType(),
+                  term = Term.fromTermNodeAndType(termNode, type);
 
-          verifiedAhead = verifyAhead();
+            terms.push(term);
 
-          if (!verifiedAhead) {
-            terms.pop();
-          }
+            verifiedAhead = verifyAhead();
 
-          return verifiedAhead;
-        });
+            if (!verifiedAhead) {
+              terms.pop();
+            }
+
+            return verifiedAhead;
+          });
 
-  termVerifiedAsVariable = termVerifiedAsGivenVariable;  ///
+    termVerifiedAsVariable = givenVariableVerified;  ///
 
-  if (termVerifiedAsVariable) {
-    context.debug(`...verified the '${termString}' term as a variable.`, termNode);
+    if (termVerifiedAsVariable) {
+      context.debug(`...verified the '${termString}' term as a variable.`, termNode);
+    }
   }
 
   return termVerifiedAsVariable;
 }
 
 function verifyTermAgainstConstructors(termNode, terms, context, verifyAhead) {
-  let termVerifiedAgainstConstructors;
+  let termVerifiedAgainstConstructors = false;
 
-  const constructors = context.getConstructors();
+  const variableNode = variableNodeQuery(termNode);
 
-  termVerifiedAgainstConstructors = constructors.some((constructor) => {
-    const termVerifiedAgainstConstructor = verifyTermAgainstConstructor(termNode, terms, constructor, context, verifyAhead);
+  if (variableNode === null) {
+    const constructors = context.getConstructors();
 
-    if (termVerifiedAgainstConstructor) {
-      return true;
-    }
-  });
+    termVerifiedAgainstConstructors = constructors.some((constructor) => {
+      const termVerifiedAgainstConstructor = verifyTermAgainstConstructor(termNode, terms, constructor, context, verifyAhead);
+
+      if (termVerifiedAgainstConstructor) {
+        return true;
+      }
+    });
+  }
 
   return termVerifiedAgainstConstructors;
 }

package/lib/utilities/releaseContext.js

@@ -1,181 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    createReleaseContext: function() {
-        return createReleaseContext;
-    },
-    default: function() {
-        return _default;
-    },
-    initialiseReleaseContext: function() {
-        return initialiseReleaseContext;
-    }
-});
-var _array = require("../utilities/array");
-function _array_like_to_array(arr, len) {
-    if (len == null || len > arr.length) len = arr.length;
-    for(var i = 0, arr2 = new Array(len); i < len; i++)arr2[i] = arr[i];
-    return arr2;
-}
-function _array_without_holes(arr) {
-    if (Array.isArray(arr)) return _array_like_to_array(arr);
-}
-function _iterable_to_array(iter) {
-    if (typeof Symbol !== "undefined" && iter[Symbol.iterator] != null || iter["@@iterator"] != null) return Array.from(iter);
-}
-function _non_iterable_spread() {
-    throw new TypeError("Invalid attempt to spread non-iterable instance.\\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.");
-}
-function _to_consumable_array(arr) {
-    return _array_without_holes(arr) || _iterable_to_array(arr) || _unsupported_iterable_to_array(arr) || _non_iterable_spread();
-}
-function _unsupported_iterable_to_array(o, minLen) {
-    if (!o) return;
-    if (typeof o === "string") return _array_like_to_array(o, minLen);
-    var n = Object.prototype.toString.call(o).slice(8, -1);
-    if (n === "Object" && o.constructor) n = o.constructor.name;
-    if (n === "Map" || n === "Set") return Array.from(n);
-    if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _array_like_to_array(o, minLen);
-}
-function createReleaseContext(dependency, dependentNames, context, callback) {
-    var releaseContextMap = context.releaseContextMap, dependencyName = dependency.getName(), releaseName = dependencyName, releaseContext = releaseContextMap[releaseName] || null;
-    if (releaseContext !== null) {
-        var error = checkReleaseMatchesDependency(dependency, dependentNames, releaseContext);
-        callback(error);
-        return;
-    }
-    var releaseContextFromDependency = context.releaseContextFromDependency;
-    releaseContextFromDependency(dependency, context, function(error, releaseContext) {
-        if (error) {
-            callback(error);
-            return;
-        }
-        if (releaseContext === null) {
-            var _$error = "The '".concat(releaseName, "' package could not be created.");
-            callback(_$error);
-            return;
-        }
-        error = checkReleaseMatchesDependency(dependency, dependentNames, releaseContext);
-        if (error) {
-            callback(error);
-            return;
-        }
-        releaseContextMap[releaseName] = releaseContext;
-        createDependencyReleaseContexts(dependency, dependentNames, context, callback);
-    }, context);
-}
-function initialiseReleaseContext(dependency, dependentName, dependentReleased, context, callback) {
-    var error = null;
-    var releaseContextMap = context.releaseContextMap, name = dependency.getName(), releaseName = name, releaseContext = releaseContextMap[releaseName] || null;
-    if (releaseContext === null) {
-        callback(error);
-        return;
-    }
-    var released = releaseContext.isReleased(), initialised = releaseContext.isInitialised();
-    if (initialised) {
-        callback(error);
-        return;
-    }
-    if (!released) {
-        if (dependentReleased) {
-            error = "Unable to initialise the '".concat(name, "' dependency's context because its '").concat(dependentName, "' dependent is a package.");
-            callback(error);
-            return;
-        }
-    }
-    dependentName = name; ///
-    dependentReleased = released; ///
-    var dependencies = releaseContext.getDependencies();
-    dependencies.asynchronousForEachDependency(function(dependency, next, done) {
-        initialiseReleaseContext(dependency, dependentName, dependentReleased, context, function(error) {
-            if (error) {
-                callback(error);
-                return;
-            }
-            next();
-        });
-    }, done);
-    function done() {
-        var dependencyReleaseContexts = retrieveDependencyReleaseContexts(dependency, context);
-        releaseContext.initialise(dependencyReleaseContexts);
-        callback(error);
-    }
-}
-var _default = {
-    createReleaseContext: createReleaseContext,
-    initialiseReleaseContext: initialiseReleaseContext
-};
-function checkCyclicDependencyExists(dependency, dependentNames) {
-    var error = null;
-    var dependencyName = dependency.getName(), dependentNamesIncludesDependencyName = dependentNames.includes(dependencyName), cyclicDependencyExists = dependentNamesIncludesDependencyName; ///
-    if (cyclicDependencyExists) {
-        var firstDependentName = first(dependentNames), dependencyNames = _to_consumable_array(dependentNames).concat([
-            firstDependentName
-        ]), dependencyNamesString = dependencyNames.join("' -> '");
-        error = "There is a cyclic dependency: '".concat(dependencyNamesString, "'.");
-    }
-    return error;
-}
-function checkReleaseMatchesDependency(dependency, dependentNames, releaseContext) {
-    var error = null;
-    var entries = releaseContext.getEntries(), shortenedVersion = dependency.getShortedVersion();
-    if (shortenedVersion !== null) {
-        var entriesMatchShortenedVersion = entries.matchShortenedVersion(shortenedVersion);
-        if (!entriesMatchShortenedVersion) {
-            var version = releaseContext.getVersion(), versionString = version.toString(), lastDependentName = (0, _array.last)(dependentNames), dependentName = lastDependentName, dependencyName = dependency.getName(), shortenedVersion1 = dependency.getShortedVersion(), shortenedVersionString = shortenedVersion1.toString();
-            error = "Version mismatch: '".concat(dependentName, "' requires '").concat(dependencyName, "' to be version ").concat(shortenedVersionString, ".0 or higher but version ").concat(versionString, " has been supplied.");
-        }
-    }
-    return error;
-}
-function createDependencyReleaseContexts(dependency, dependentNames, context, callback) {
-    var releaseContextMap = context.releaseContextMap, dependencyName = dependency.getName(), releaseName = dependencyName, releaseContext = releaseContextMap[releaseName], dependencies = releaseContext.getDependencies();
-    dependentNames = _to_consumable_array(dependentNames).concat([
-        dependencyName
-    ]); ///
-    dependencies.asynchronousForEachDependency(function(dependency, next, done) {
-        var error = checkCyclicDependencyExists(dependency, dependentNames);
-        if (error) {
-            callback(error);
-            return;
-        }
-        createReleaseContext(dependency, dependentNames, context, function(error) {
-            if (error) {
-                callback(error);
-                return;
-            }
-            next();
-        });
-    }, done);
-    function done() {
-        var error = null;
-        callback(error);
-    }
-}
-function retrieveDependencyReleaseContexts(dependency, context) {
-    var dependencyReleaseContexts = arguments.length > 2 && arguments[2] !== void 0 ? arguments[2] : [];
-    var releaseContextMap = context.releaseContextMap, dependencyName = dependency.getName(), releaseName = dependencyName, releaseContext = releaseContextMap[releaseName], dependencies = releaseContext.getDependencies();
-    dependencies.forEachDependency(function(dependency) {
-        var dependencyName = dependency.getName(), releaseName = dependencyName, releaseContext = releaseContextMap[releaseName] || null;
-        if (releaseContext === null) {
-            return;
-        }
-        var dependencyReleaseContextsIncludesReleaseContext = dependencyReleaseContexts.includes(releaseContext);
-        if (dependencyReleaseContextsIncludesReleaseContext) {
-            return;
-        }
-        retrieveDependencyReleaseContexts(dependency, context, dependencyReleaseContexts);
-        dependencyReleaseContexts.push(releaseContext);
-    });
-    return dependencyReleaseContexts;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvcmVsZWFzZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGxhc3QgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2FycmF5XCI7XG5cbmV4cG9ydCBmdW5jdGlvbiBjcmVhdGVSZWxlYXNlQ29udGV4dChkZXBlbmRlbmN5LCBkZXBlbmRlbnROYW1lcywgY29udGV4dCwgY2FsbGJhY2spIHtcbiAgY29uc3QgeyByZWxlYXNlQ29udGV4dE1hcCB9ID0gY29udGV4dCxcbiAgICAgICAgZGVwZW5kZW5jeU5hbWUgPSBkZXBlbmRlbmN5LmdldE5hbWUoKSxcbiAgICAgICAgcmVsZWFzZU5hbWUgPSBkZXBlbmRlbmN5TmFtZSwgLy8vXG4gICAgICAgIHJlbGVhc2VDb250ZXh0ID0gcmVsZWFzZUNvbnRleHRNYXBbcmVsZWFzZU5hbWVdIHx8IG51bGw7XG5cbiAgaWYgKHJlbGVhc2VDb250ZXh0ICE9PSBudWxsKSB7XG4gICAgY29uc3QgZXJyb3IgPSBjaGVja1JlbGVhc2VNYXRjaGVzRGVwZW5kZW5jeShkZXBlbmRlbmN5LCBkZXBlbmRlbnROYW1lcywgcmVsZWFzZUNvbnRleHQpO1xuXG4gICAgY2FsbGJhY2soZXJyb3IpO1xuXG4gICAgcmV0dXJuO1xuICB9XG5cbiAgY29uc3QgeyByZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IH0gPSBjb250ZXh0O1xuXG4gIHJlbGVhc2VDb250ZXh0RnJvbURlcGVuZGVuY3koZGVwZW5kZW5jeSwgY29udGV4dCwgKGVycm9yLCByZWxlYXNlQ29udGV4dCkgPT4ge1xuICAgIGlmIChlcnJvcikge1xuICAgICAgY2FsbGJhY2soZXJyb3IpO1xuXG4gICAgICByZXR1cm47XG4gICAgfVxuXG4gICAgaWYgKHJlbGVhc2VDb250ZXh0ID09PSBudWxsKSB7XG4gICAgICBjb25zdCBlcnJvciA9IGBUaGUgJyR7cmVsZWFzZU5hbWV9JyBwYWNrYWdlIGNvdWxkIG5vdCBiZSBjcmVhdGVkLmA7XG5cbiAgICAgIGNhbGxiYWNrKGVycm9yKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGVycm9yID0gY2hlY2tSZWxlYXNlTWF0Y2hlc0RlcGVuZGVuY3koZGVwZW5kZW5jeSwgZGVwZW5kZW50TmFtZXMsIHJlbGVhc2VDb250ZXh0KTtcblxuICAgIGlmIChlcnJvcikge1xuICAgICAgY2FsbGJhY2soZXJyb3IpO1xuXG4gICAgICByZXR1cm47XG4gICAgfVxuXG4gICAgcmVsZWFzZUNvbnRleHRNYXBbcmVsZWFzZU5hbWVdID0gcmVsZWFzZUNvbnRleHQ7XG5cbiAgICBjcmVhdGVEZXBlbmRlbmN5UmVsZWFzZUNvbnRleHRzKGRlcGVuZGVuY3ksIGRlcGVuZGVudE5hbWVzLCBjb250ZXh0LCBjYWxsYmFjayk7XG4gIH0sIGNvbnRleHQpO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gaW5pdGlhbGlzZVJlbGVhc2VDb250ZXh0KGRlcGVuZGVuY3ksIGRlcGVuZGVudE5hbWUsIGRlcGVuZGVudFJlbGVhc2VkLCBjb250ZXh0LCBjYWxsYmFjaykge1xuICBsZXQgZXJyb3IgPSBudWxsO1xuXG4gIGNvbnN0IHsgcmVsZWFzZUNvbnRleHRNYXAgfSA9IGNvbnRleHQsXG4gICAgICAgIG5hbWUgPSBkZXBlbmRlbmN5LmdldE5hbWUoKSxcbiAgICAgICAgcmVsZWFzZU5hbWUgPSBuYW1lLCAvLy9cbiAgICAgICAgcmVsZWFzZUNvbnRleHQgPSByZWxlYXNlQ29udGV4dE1hcFtyZWxlYXNlTmFtZV0gfHwgbnVsbDtcblxuICBpZiAocmVsZWFzZUNvbnRleHQgPT09IG51bGwpIHtcbiAgICBjYWxsYmFjayhlcnJvcik7XG5cbiAgICByZXR1cm47XG4gIH1cblxuICBjb25zdCByZWxlYXNlZCA9IHJlbGVhc2VDb250ZXh0LmlzUmVsZWFzZWQoKSxcbiAgICAgICAgaW5pdGlhbGlzZWQgPSByZWxlYXNlQ29udGV4dC5pc0luaXRpYWxpc2VkKCk7XG5cbiAgaWYgKGluaXRpYWxpc2VkKSB7XG4gICAgY2FsbGJhY2soZXJyb3IpO1xuXG4gICAgcmV0dXJuO1xuICB9XG5cbiAgaWYgKCFyZWxlYXNlZCkge1xuICAgIGlmIChkZXBlbmRlbnRSZWxlYXNlZCkge1xuICAgICAgZXJyb3IgPSBgVW5hYmxlIHRvIGluaXRpYWxpc2UgdGhlICcke25hbWV9JyBkZXBlbmRlbmN5J3MgY29udGV4dCBiZWNhdXNlIGl0cyAnJHtkZXBlbmRlbnROYW1lfScgZGVwZW5kZW50IGlzIGEgcGFja2FnZS5gO1xuXG4gICAgICBjYWxsYmFjayhlcnJvcik7XG5cbiAgICAgIHJldHVybjtcbiAgICB9XG4gIH1cblxuICBkZXBlbmRlbnROYW1lID0gbmFtZTsgIC8vL1xuXG4gIGRlcGVuZGVudFJlbGVhc2VkID0gcmVsZWFzZWQ7ICAvLy9cblxuICBjb25zdCBkZXBlbmRlbmNpZXMgPSByZWxlYXNlQ29udGV4dC5nZXREZXBlbmRlbmNpZXMoKTtcblxuICBkZXBlbmRlbmNpZXMuYXN5bmNocm9ub3VzRm9yRWFjaERlcGVuZGVuY3koKGRlcGVuZGVuY3ksIG5leHQsIGRvbmUpID0+IHtcbiAgICBpbml0aWFsaXNlUmVsZWFzZUNvbnRleHQoZGVwZW5kZW5jeSwgZGVwZW5kZW50TmFtZSwgZGVwZW5kZW50UmVsZWFzZWQsIGNvbnRleHQsIChlcnJvcikgPT4ge1xuICAgICAgaWYgKGVycm9yKSB7XG4gICAgICAgIGNhbGxiYWNrKGVycm9yKTtcblxuICAgICAgICByZXR1cm47XG4gICAgICB9XG5cbiAgICAgIG5leHQoKTtcbiAgICB9KTtcbiAgfSwgZG9uZSk7XG5cbiAgZnVuY3Rpb24gZG9uZSgpIHtcbiAgICBjb25zdCBkZXBlbmRlbmN5UmVsZWFzZUNvbnRleHRzID0gcmV0cmlldmVEZXBlbmRlbmN5UmVsZWFzZUNvbnRleHRzKGRlcGVuZGVuY3ksIGNvbnRleHQpO1xuXG4gICAgcmVsZWFzZUNvbnRleHQuaW5pdGlhbGlzZShkZXBlbmRlbmN5UmVsZWFzZUNvbnRleHRzKTtcblxuICAgIGNhbGxiYWNrKGVycm9yKTtcbiAgfVxufVxuXG5leHBvcnQgZGVmYXVsdCB7XG4gIGNyZWF0ZVJlbGVhc2VDb250ZXh0LFxuICBpbml0aWFsaXNlUmVsZWFzZUNvbnRleHRcbn07XG5cbmZ1bmN0aW9uIGNoZWNrQ3ljbGljRGVwZW5kZW5jeUV4aXN0cyhkZXBlbmRlbmN5LCBkZXBlbmRlbnROYW1lcykge1xuICBsZXQgZXJyb3IgPSBudWxsO1xuXG4gIGNvbnN0IGRlcGVuZGVuY3lOYW1lID0gZGVwZW5kZW5jeS5nZXROYW1lKCksXG4gICAgICAgIGRlcGVuZGVudE5hbWVzSW5jbHVkZXNEZXBlbmRlbmN5TmFtZSA9IGRlcGVuZGVudE5hbWVzLmluY2x1ZGVzKGRlcGVuZGVuY3lOYW1lKSxcbiAgICAgICAgY3ljbGljRGVwZW5kZW5jeUV4aXN0cyA9IGRlcGVuZGVudE5hbWVzSW5jbHVkZXNEZXBlbmRlbmN5TmFtZTsgIC8vL1xuXG4gIGlmIChjeWNsaWNEZXBlbmRlbmN5RXhpc3RzKSB7XG4gICAgY29uc3QgZmlyc3REZXBlbmRlbnROYW1lID0gZmlyc3QoZGVwZW5kZW50TmFtZXMpLFxuICAgICAgICAgIGRlcGVuZGVuY3lOYW1lcyA9IFsgIC8vL1xuICAgICAgICAgICAgLi4uZGVwZW5kZW50TmFtZXMsXG4gICAgICAgICAgICBmaXJzdERlcGVuZGVudE5hbWVcbiAgICAgICAgICBdLFxuICAgICAgICAgIGRlcGVuZGVuY3lOYW1lc1N0cmluZyA9IGRlcGVuZGVuY3lOYW1lcy5qb2luKGAnIC0+ICdgKTtcblxuICAgIGVycm9yID1gVGhlcmUgaXMgYSBjeWNsaWMgZGVwZW5kZW5jeTogJyR7ZGVwZW5kZW5jeU5hbWVzU3RyaW5nfScuYDtcbiAgfVxuXG4gIHJldHVybiBlcnJvcjtcbn1cblxuZnVuY3Rpb24gY2hlY2tSZWxlYXNlTWF0Y2hlc0RlcGVuZGVuY3koZGVwZW5kZW5jeSwgZGVwZW5kZW50TmFtZXMsIHJlbGVhc2VDb250ZXh0KSB7XG4gIGxldCBlcnJvciA9IG51bGw7XG5cbiAgY29uc3QgZW50cmllcyA9IHJlbGVhc2VDb250ZXh0LmdldEVudHJpZXMoKSxcbiAgICAgICAgc2hvcnRlbmVkVmVyc2lvbiA9IGRlcGVuZGVuY3kuZ2V0U2hvcnRlZFZlcnNpb24oKTtcblxuICBpZiAoc2hvcnRlbmVkVmVyc2lvbiAhPT0gbnVsbCkge1xuICAgIGNvbnN0IGVudHJpZXNNYXRjaFNob3J0ZW5lZFZlcnNpb24gPSBlbnRyaWVzLm1hdGNoU2hvcnRlbmVkVmVyc2lvbihzaG9ydGVuZWRWZXJzaW9uKTtcblxuICAgIGlmICghZW50cmllc01hdGNoU2hvcnRlbmVkVmVyc2lvbikge1xuICAgICAgY29uc3QgdmVyc2lvbiA9IHJlbGVhc2VDb250ZXh0LmdldFZlcnNpb24oKSxcbiAgICAgICAgICAgIHZlcnNpb25TdHJpbmcgPSB2ZXJzaW9uLnRvU3RyaW5nKCksXG4gICAgICAgICAgICBsYXN0RGVwZW5kZW50TmFtZSA9IGxhc3QoZGVwZW5kZW50TmFtZXMpLFxuICAgICAgICAgICAgZGVwZW5kZW50TmFtZSA9IGxhc3REZXBlbmRlbnROYW1lLCAgLy8vXG4gICAgICAgICAgICBkZXBlbmRlbmN5TmFtZSA9IGRlcGVuZGVuY3kuZ2V0TmFtZSgpLFxuICAgICAgICAgICAgc2hvcnRlbmVkVmVyc2lvbiA9IGRlcGVuZGVuY3kuZ2V0U2hvcnRlZFZlcnNpb24oKSxcbiAgICAgICAgICAgIHNob3J0ZW5lZFZlcnNpb25TdHJpbmcgPSBzaG9ydGVuZWRWZXJzaW9uLnRvU3RyaW5nKCk7XG5cbiAgICAgIGVycm9yID0gYFZlcnNpb24gbWlzbWF0Y2g6ICcke2RlcGVuZGVudE5hbWV9JyByZXF1aXJlcyAnJHtkZXBlbmRlbmN5TmFtZX0nIHRvIGJlIHZlcnNpb24gJHtzaG9ydGVuZWRWZXJzaW9uU3RyaW5nfS4wIG9yIGhpZ2hlciBidXQgdmVyc2lvbiAke3ZlcnNpb25TdHJpbmd9IGhhcyBiZWVuIHN1cHBsaWVkLmA7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIGVycm9yO1xufVxuXG5mdW5jdGlvbiBjcmVhdGVEZXBlbmRlbmN5UmVsZWFzZUNvbnRleHRzKGRlcGVuZGVuY3ksIGRlcGVuZGVudE5hbWVzLCBjb250ZXh0LCBjYWxsYmFjaykge1xuICBjb25zdCB7IHJlbGVhc2VDb250ZXh0TWFwIH0gPSBjb250ZXh0LFxuICAgICAgICBkZXBlbmRlbmN5TmFtZSA9IGRlcGVuZGVuY3kuZ2V0TmFtZSgpLFxuICAgICAgICByZWxlYXNlTmFtZSA9IGRlcGVuZGVuY3lOYW1lLCAvLy9cbiAgICAgICAgcmVsZWFzZUNvbnRleHQgPSByZWxlYXNlQ29udGV4dE1hcFtyZWxlYXNlTmFtZV0sXG4gICAgICAgIGRlcGVuZGVuY2llcyA9IHJlbGVhc2VDb250ZXh0LmdldERlcGVuZGVuY2llcygpO1xuXG4gIGRlcGVuZGVudE5hbWVzID0gWyAuLi5kZXBlbmRlbnROYW1lcywgZGVwZW5kZW5jeU5hbWUgXTsgIC8vL1xuXG4gIGRlcGVuZGVuY2llcy5hc3luY2hyb25vdXNGb3JFYWNoRGVwZW5kZW5jeSgoZGVwZW5kZW5jeSwgbmV4dCwgZG9uZSkgPT4ge1xuICAgIGNvbnN0IGVycm9yID0gY2hlY2tDeWNsaWNEZXBlbmRlbmN5RXhpc3RzKGRlcGVuZGVuY3ksIGRlcGVuZGVudE5hbWVzKTtcblxuICAgIGlmIChlcnJvcikge1xuICAgICAgY2FsbGJhY2soZXJyb3IpO1xuXG4gICAgICByZXR1cm47XG4gICAgfVxuXG4gICAgY3JlYXRlUmVsZWFzZUNvbnRleHQoZGVwZW5kZW5jeSwgZGVwZW5kZW50TmFtZXMsIGNvbnRleHQsIChlcnJvcikgPT4ge1xuICAgICAgaWYgKGVycm9yKSB7XG4gICAgICAgIGNhbGxiYWNrKGVycm9yKTtcblxuICAgICAgICByZXR1cm47XG4gICAgICB9XG5cbiAgICAgIG5leHQoKTtcbiAgICB9KTtcbiAgfSwgZG9uZSk7XG5cbiAgZnVuY3Rpb24gZG9uZSgpIHtcbiAgICBjb25zdCBlcnJvciA9IG51bGw7XG5cbiAgICBjYWxsYmFjayhlcnJvcik7XG4gIH1cbn1cblxuZnVuY3Rpb24gcmV0cmlldmVEZXBlbmRlbmN5UmVsZWFzZUNvbnRleHRzKGRlcGVuZGVuY3ksIGNvbnRleHQsIGRlcGVuZGVuY3lSZWxlYXNlQ29udGV4dHMgPSBbXSkge1xuICBjb25zdCB7IHJlbGVhc2VDb250ZXh0TWFwIH0gPSBjb250ZXh0LFxuICAgICAgICBkZXBlbmRlbmN5TmFtZSA9IGRlcGVuZGVuY3kuZ2V0TmFtZSgpLFxuICAgICAgICByZWxlYXNlTmFtZSA9IGRlcGVuZGVuY3lOYW1lLCAvLy9cbiAgICAgICAgcmVsZWFzZUNvbnRleHQgPSByZWxlYXNlQ29udGV4dE1hcFtyZWxlYXNlTmFtZV0sXG4gICAgICAgIGRlcGVuZGVuY2llcyA9IHJlbGVhc2VDb250ZXh0LmdldERlcGVuZGVuY2llcygpO1xuXG4gIGRlcGVuZGVuY2llcy5mb3JFYWNoRGVwZW5kZW5jeSgoZGVwZW5kZW5jeSkgPT4ge1xuICAgIGNvbnN0IGRlcGVuZGVuY3lOYW1lID0gZGVwZW5kZW5jeS5nZXROYW1lKCksXG4gICAgICAgICAgcmVsZWFzZU5hbWUgPSBkZXBlbmRlbmN5TmFtZSwgLy8vXG4gICAgICAgICAgcmVsZWFzZUNvbnRleHQgPSByZWxlYXNlQ29udGV4dE1hcFtyZWxlYXNlTmFtZV0gfHwgbnVsbDtcblxuICAgIGlmIChyZWxlYXNlQ29udGV4dCA9PT0gbnVsbCkge1xuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGNvbnN0IGRlcGVuZGVuY3lSZWxlYXNlQ29udGV4dHNJbmNsdWRlc1JlbGVhc2VDb250ZXh0ID0gZGVwZW5kZW5jeVJlbGVhc2VDb250ZXh0cy5pbmNsdWRlcyhyZWxlYXNlQ29udGV4dCk7XG5cbiAgICBpZiAoZGVwZW5kZW5jeVJlbGVhc2VDb250ZXh0c0luY2x1ZGVzUmVsZWFzZUNvbnRleHQpIHtcbiAgICAgIHJldHVybjtcbiAgICB9XG5cbiAgICByZXRyaWV2ZURlcGVuZGVuY3lSZWxlYXNlQ29udGV4dHMoZGVwZW5kZW5jeSwgY29udGV4dCwgZGVwZW5kZW5jeVJlbGVhc2VDb250ZXh0cyk7XG5cbiAgICBkZXBlbmRlbmN5UmVsZWFzZUNvbnRleHRzLnB1c2gocmVsZWFzZUNvbnRleHQpO1xuICB9KTtcblxuICByZXR1cm4gZGVwZW5kZW5jeVJlbGVhc2VDb250ZXh0cztcbn1cbiJdLCJuYW1lcyI6WyJjcmVhdGVSZWxlYXNlQ29udGV4dCIsImluaXRpYWxpc2VSZWxlYXNlQ29udGV4dCIsImRlcGVuZGVuY3kiLCJkZXBlbmRlbnROYW1lcyIsImNvbnRleHQiLCJjYWxsYmFjayIsInJlbGVhc2VDb250ZXh0TWFwIiwiZGVwZW5kZW5jeU5hbWUiLCJnZXROYW1lIiwicmVsZWFzZU5hbWUiLCJyZWxlYXNlQ29udGV4dCIsImVycm9yIiwiY2hlY2tSZWxlYXNlTWF0Y2hlc0RlcGVuZGVuY3kiLCJyZWxlYXNlQ29udGV4dEZyb21EZXBlbmRlbmN5IiwiY3JlYXRlRGVwZW5kZW5jeVJlbGVhc2VDb250ZXh0cyIsImRlcGVuZGVudE5hbWUiLCJkZXBlbmRlbnRSZWxlYXNlZCIsIm5hbWUiLCJyZWxlYXNlZCIsImlzUmVsZWFzZWQiLCJpbml0aWFsaXNlZCIsImlzSW5pdGlhbGlzZWQiLCJkZXBlbmRlbmNpZXMiLCJnZXREZXBlbmRlbmNpZXMiLCJhc3luY2hyb25vdXNGb3JFYWNoRGVwZW5kZW5jeSIsIm5leHQiLCJkb25lIiwiZGVwZW5kZW5jeVJlbGVhc2VDb250ZXh0cyIsInJldHJpZXZlRGVwZW5kZW5jeVJlbGVhc2VDb250ZXh0cyIsImluaXRpYWxpc2UiLCJjaGVja0N5Y2xpY0RlcGVuZGVuY3lFeGlzdHMiLCJkZXBlbmRlbnROYW1lc0luY2x1ZGVzRGVwZW5kZW5jeU5hbWUiLCJpbmNsdWRlcyIsImN5Y2xpY0RlcGVuZGVuY3lFeGlzdHMiLCJmaXJzdERlcGVuZGVudE5hbWUiLCJmaXJzdCIsImRlcGVuZGVuY3lOYW1lcyIsImRlcGVuZGVuY3lOYW1lc1N0cmluZyIsImpvaW4iLCJlbnRyaWVzIiwiZ2V0RW50cmllcyIsInNob3J0ZW5lZFZlcnNpb24iLCJnZXRTaG9ydGVkVmVyc2lvbiIsImVudHJpZXNNYXRjaFNob3J0ZW5lZFZlcnNpb24iLCJtYXRjaFNob3J0ZW5lZFZlcnNpb24iLCJ2ZXJzaW9uIiwiZ2V0VmVyc2lvbiIsInZlcnNpb25TdHJpbmciLCJ0b1N0cmluZyIsImxhc3REZXBlbmRlbnROYW1lIiwibGFzdCIsInNob3J0ZW5lZFZlcnNpb25TdHJpbmciLCJmb3JFYWNoRGVwZW5kZW5jeSIsImRlcGVuZGVuY3lSZWxlYXNlQ29udGV4dHNJbmNsdWRlc1JlbGVhc2VDb250ZXh0IiwicHVzaCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBSWdCQSxvQkFBb0I7ZUFBcEJBOztJQXlHaEIsT0FHRTtlQUhGOztJQTVEZ0JDLHdCQUF3QjtlQUF4QkE7OztxQkEvQ0s7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRWQsU0FBU0QscUJBQXFCRSxVQUFVLEVBQUVDLGNBQWMsRUFBRUMsT0FBTyxFQUFFQyxRQUFRO0lBQ2hGLElBQU0sQUFBRUMsb0JBQXNCRixRQUF0QkUsbUJBQ0ZDLGlCQUFpQkwsV0FBV00sT0FBTyxJQUNuQ0MsY0FBY0YsZ0JBQ2RHLGlCQUFpQkosaUJBQWlCLENBQUNHLFlBQVksSUFBSTtJQUV6RCxJQUFJQyxtQkFBbUIsTUFBTTtRQUMzQixJQUFNQyxRQUFRQyw4QkFBOEJWLFlBQVlDLGdCQUFnQk87UUFFeEVMLFNBQVNNO1FBRVQ7SUFDRjtJQUVBLElBQU0sQUFBRUUsK0JBQWlDVCxRQUFqQ1M7SUFFUkEsNkJBQTZCWCxZQUFZRSxTQUFTLFNBQUNPLE9BQU9EO1FBQ3hELElBQUlDLE9BQU87WUFDVE4sU0FBU007WUFFVDtRQUNGO1FBRUEsSUFBSUQsbUJBQW1CLE1BQU07WUFDM0IsSUFBTUMsVUFBUSxBQUFDLFFBQW1CLE9BQVpGLGFBQVk7WUFFbENKLFNBQVNNO1lBRVQ7UUFDRjtRQUVBQSxRQUFRQyw4QkFBOEJWLFlBQVlDLGdCQUFnQk87UUFFbEUsSUFBSUMsT0FBTztZQUNUTixTQUFTTTtZQUVUO1FBQ0Y7UUFFQUwsaUJBQWlCLENBQUNHLFlBQVksR0FBR0M7UUFFakNJLGdDQUFnQ1osWUFBWUMsZ0JBQWdCQyxTQUFTQztJQUN2RSxHQUFHRDtBQUNMO0FBRU8sU0FBU0gseUJBQXlCQyxVQUFVLEVBQUVhLGFBQWEsRUFBRUMsaUJBQWlCLEVBQUVaLE9BQU8sRUFBRUMsUUFBUTtJQUN0RyxJQUFJTSxRQUFRO0lBRVosSUFBTSxBQUFFTCxvQkFBc0JGLFFBQXRCRSxtQkFDRlcsT0FBT2YsV0FBV00sT0FBTyxJQUN6QkMsY0FBY1EsTUFDZFAsaUJBQWlCSixpQkFBaUIsQ0FBQ0csWUFBWSxJQUFJO0lBRXpELElBQUlDLG1CQUFtQixNQUFNO1FBQzNCTCxTQUFTTTtRQUVUO0lBQ0Y7SUFFQSxJQUFNTyxXQUFXUixlQUFlUyxVQUFVLElBQ3BDQyxjQUFjVixlQUFlVyxhQUFhO0lBRWhELElBQUlELGFBQWE7UUFDZmYsU0FBU007UUFFVDtJQUNGO0lBRUEsSUFBSSxDQUFDTyxVQUFVO1FBQ2IsSUFBSUYsbUJBQW1CO1lBQ3JCTCxRQUFRLEFBQUMsNkJBQXVFSSxPQUEzQ0UsTUFBSyx3Q0FBb0QsT0FBZEYsZUFBYztZQUU5RlYsU0FBU007WUFFVDtRQUNGO0lBQ0Y7SUFFQUksZ0JBQWdCRSxNQUFPLEdBQUc7SUFFMUJELG9CQUFvQkUsVUFBVyxHQUFHO0lBRWxDLElBQU1JLGVBQWVaLGVBQWVhLGVBQWU7SUFFbkRELGFBQWFFLDZCQUE2QixDQUFDLFNBQUN0QixZQUFZdUIsTUFBTUM7UUFDNUR6Qix5QkFBeUJDLFlBQVlhLGVBQWVDLG1CQUFtQlosU0FBUyxTQUFDTztZQUMvRSxJQUFJQSxPQUFPO2dCQUNUTixTQUFTTTtnQkFFVDtZQUNGO1lBRUFjO1FBQ0Y7SUFDRixHQUFHQztJQUVILFNBQVNBO1FBQ1AsSUFBTUMsNEJBQTRCQyxrQ0FBa0MxQixZQUFZRTtRQUVoRk0sZUFBZW1CLFVBQVUsQ0FBQ0Y7UUFFMUJ0QixTQUFTTTtJQUNYO0FBQ0Y7SUFFQSxXQUFlO0lBQ2JYLHNCQUFBQTtJQUNBQywwQkFBQUE7QUFDRjtBQUVBLFNBQVM2Qiw0QkFBNEI1QixVQUFVLEVBQUVDLGNBQWM7SUFDN0QsSUFBSVEsUUFBUTtJQUVaLElBQU1KLGlCQUFpQkwsV0FBV00sT0FBTyxJQUNuQ3VCLHVDQUF1QzVCLGVBQWU2QixRQUFRLENBQUN6QixpQkFDL0QwQix5QkFBeUJGLHNDQUF1QyxHQUFHO0lBRXpFLElBQUlFLHdCQUF3QjtRQUMxQixJQUFNQyxxQkFBcUJDLE1BQU1oQyxpQkFDM0JpQyxrQkFBa0IsQUFDaEIscUJBQUdqQyx1QkFEYTtZQUVoQitCO1NBQ0QsR0FDREcsd0JBQXdCRCxnQkFBZ0JFLElBQUksQ0FBRTtRQUVwRDNCLFFBQU8sQUFBQyxrQ0FBdUQsT0FBdEIwQix1QkFBc0I7SUFDakU7SUFFQSxPQUFPMUI7QUFDVDtBQUVBLFNBQVNDLDhCQUE4QlYsVUFBVSxFQUFFQyxjQUFjLEVBQUVPLGNBQWM7SUFDL0UsSUFBSUMsUUFBUTtJQUVaLElBQU00QixVQUFVN0IsZUFBZThCLFVBQVUsSUFDbkNDLG1CQUFtQnZDLFdBQVd3QyxpQkFBaUI7SUFFckQsSUFBSUQscUJBQXFCLE1BQU07UUFDN0IsSUFBTUUsK0JBQStCSixRQUFRSyxxQkFBcUIsQ0FBQ0g7UUFFbkUsSUFBSSxDQUFDRSw4QkFBOEI7WUFDakMsSUFBTUUsVUFBVW5DLGVBQWVvQyxVQUFVLElBQ25DQyxnQkFBZ0JGLFFBQVFHLFFBQVEsSUFDaENDLG9CQUFvQkMsSUFBQUEsV0FBSSxFQUFDL0MsaUJBQ3pCWSxnQkFBZ0JrQyxtQkFDaEIxQyxpQkFBaUJMLFdBQVdNLE9BQU8sSUFDbkNpQyxvQkFBbUJ2QyxXQUFXd0MsaUJBQWlCLElBQy9DUyx5QkFBeUJWLGtCQUFpQk8sUUFBUTtZQUV4RHJDLFFBQVEsQUFBQyxzQkFBaURKLE9BQTVCUSxlQUFjLGdCQUErQ29DLE9BQWpDNUMsZ0JBQWUsb0JBQW9Fd0MsT0FBbERJLHdCQUF1Qiw2QkFBeUMsT0FBZEosZUFBYztRQUM3SjtJQUNGO0lBRUEsT0FBT3BDO0FBQ1Q7QUFFQSxTQUFTRyxnQ0FBZ0NaLFVBQVUsRUFBRUMsY0FBYyxFQUFFQyxPQUFPLEVBQUVDLFFBQVE7SUFDcEYsSUFBTSxBQUFFQyxvQkFBc0JGLFFBQXRCRSxtQkFDRkMsaUJBQWlCTCxXQUFXTSxPQUFPLElBQ25DQyxjQUFjRixnQkFDZEcsaUJBQWlCSixpQkFBaUIsQ0FBQ0csWUFBWSxFQUMvQ2EsZUFBZVosZUFBZWEsZUFBZTtJQUVuRHBCLGlCQUFpQixBQUFFLHFCQUFHQSx1QkFBTDtRQUFxQkk7S0FBZ0IsR0FBRyxHQUFHO0lBRTVEZSxhQUFhRSw2QkFBNkIsQ0FBQyxTQUFDdEIsWUFBWXVCLE1BQU1DO1FBQzVELElBQU1mLFFBQVFtQiw0QkFBNEI1QixZQUFZQztRQUV0RCxJQUFJUSxPQUFPO1lBQ1ROLFNBQVNNO1lBRVQ7UUFDRjtRQUVBWCxxQkFBcUJFLFlBQVlDLGdCQUFnQkMsU0FBUyxTQUFDTztZQUN6RCxJQUFJQSxPQUFPO2dCQUNUTixTQUFTTTtnQkFFVDtZQUNGO1lBRUFjO1FBQ0Y7SUFDRixHQUFHQztJQUVILFNBQVNBO1FBQ1AsSUFBTWYsUUFBUTtRQUVkTixTQUFTTTtJQUNYO0FBQ0Y7QUFFQSxTQUFTaUIsa0NBQWtDMUIsVUFBVSxFQUFFRSxPQUFPO1FBQUV1Qiw0QkFBQUEsaUVBQTRCLEVBQUU7SUFDNUYsSUFBTSxBQUFFckIsb0JBQXNCRixRQUF0QkUsbUJBQ0ZDLGlCQUFpQkwsV0FBV00sT0FBTyxJQUNuQ0MsY0FBY0YsZ0JBQ2RHLGlCQUFpQkosaUJBQWlCLENBQUNHLFlBQVksRUFDL0NhLGVBQWVaLGVBQWVhLGVBQWU7SUFFbkRELGFBQWE4QixpQkFBaUIsQ0FBQyxTQUFDbEQ7UUFDOUIsSUFBTUssaUJBQWlCTCxXQUFXTSxPQUFPLElBQ25DQyxjQUFjRixnQkFDZEcsaUJBQWlCSixpQkFBaUIsQ0FBQ0csWUFBWSxJQUFJO1FBRXpELElBQUlDLG1CQUFtQixNQUFNO1lBQzNCO1FBQ0Y7UUFFQSxJQUFNMkMsa0RBQWtEMUIsMEJBQTBCSyxRQUFRLENBQUN0QjtRQUUzRixJQUFJMkMsaURBQWlEO1lBQ25EO1FBQ0Y7UUFFQXpCLGtDQUFrQzFCLFlBQVlFLFNBQVN1QjtRQUV2REEsMEJBQTBCMkIsSUFBSSxDQUFDNUM7SUFDakM7SUFFQSxPQUFPaUI7QUFDVCJ9

package/lib/verify/termAsGivenVariable.js

@@ -1,36 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return verifyTermAsGivenVariable;
-    }
-});
-var _query = require("../utilities/query");
-var variableNodeQuery = (0, _query.nodeQuery)("/term/variable!");
-function verifyTermAsGivenVariable(termNode, variables, context, verifyAhead) {
-    var termVerifiedAsVariable = false;
-    var variableNode = variableNodeQuery(termNode);
-    if (variableNode !== null) {
-        var termString = context.nodeAsString(termNode);
-        context.trace("Verifying the '".concat(termString, "' term as a given variable..."), termNode);
-        var variable = context.findVariableByVariableNode(variableNode);
-        if (variable !== null) {
-            var verifiedAhead;
-            variables.push(variable);
-            verifiedAhead = verifyAhead();
-            if (!verifiedAhead) {
-                variables.pop();
-            }
-            termVerifiedAsVariable = verifiedAhead; ///
-        }
-        if (termVerifiedAsVariable) {
-            context.debug("...verified the '".concat(termString, "' term as a given variable."), termNode);
-        }
-    }
-    return termVerifiedAsVariable;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZnkvdGVybUFzR2l2ZW5WYXJpYWJsZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuXG5jb25zdCB2YXJpYWJsZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90ZXJtL3ZhcmlhYmxlIVwiKTtcblxuZXhwb3J0IGRlZmF1bHQgZnVuY3Rpb24gdmVyaWZ5VGVybUFzR2l2ZW5WYXJpYWJsZSh0ZXJtTm9kZSwgdmFyaWFibGVzLCBjb250ZXh0LCB2ZXJpZnlBaGVhZCkge1xuICBsZXQgdGVybVZlcmlmaWVkQXNWYXJpYWJsZSA9IGZhbHNlO1xuXG4gIGNvbnN0IHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZVF1ZXJ5KHRlcm1Ob2RlKTtcblxuICBpZiAodmFyaWFibGVOb2RlICE9PSBudWxsKSB7XG4gICAgY29uc3QgdGVybVN0cmluZyA9IGNvbnRleHQubm9kZUFzU3RyaW5nKHRlcm1Ob2RlKTtcblxuICAgIGNvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7dGVybVN0cmluZ30nIHRlcm0gYXMgYSBnaXZlbiB2YXJpYWJsZS4uLmAsIHRlcm1Ob2RlKTtcblxuICAgIGNvbnN0IHZhcmlhYmxlID0gY29udGV4dC5maW5kVmFyaWFibGVCeVZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUpO1xuXG4gICAgaWYgKHZhcmlhYmxlICE9PSBudWxsKSB7XG4gICAgICBsZXQgdmVyaWZpZWRBaGVhZDtcblxuICAgICAgdmFyaWFibGVzLnB1c2godmFyaWFibGUpO1xuXG4gICAgICB2ZXJpZmllZEFoZWFkID0gdmVyaWZ5QWhlYWQoKTtcblxuICAgICAgaWYgKCF2ZXJpZmllZEFoZWFkKSB7XG4gICAgICAgIHZhcmlhYmxlcy5wb3AoKTtcbiAgICAgIH1cblxuICAgICAgdGVybVZlcmlmaWVkQXNWYXJpYWJsZSA9IHZlcmlmaWVkQWhlYWQ7IC8vL1xuICAgIH1cblxuICAgIGlmICh0ZXJtVmVyaWZpZWRBc1ZhcmlhYmxlKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7dGVybVN0cmluZ30nIHRlcm0gYXMgYSBnaXZlbiB2YXJpYWJsZS5gLCB0ZXJtTm9kZSk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHRlcm1WZXJpZmllZEFzVmFyaWFibGU7XG59XG4iXSwibmFtZXMiOlsidmVyaWZ5VGVybUFzR2l2ZW5WYXJpYWJsZSIsInZhcmlhYmxlTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwidGVybU5vZGUiLCJ2YXJpYWJsZXMiLCJjb250ZXh0IiwidmVyaWZ5QWhlYWQiLCJ0ZXJtVmVyaWZpZWRBc1ZhcmlhYmxlIiwidmFyaWFibGVOb2RlIiwidGVybVN0cmluZyIsIm5vZGVBc1N0cmluZyIsInRyYWNlIiwidmFyaWFibGUiLCJmaW5kVmFyaWFibGVCeVZhcmlhYmxlTm9kZSIsInZlcmlmaWVkQWhlYWQiLCJwdXNoIiwicG9wIiwiZGVidWciXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBd0JBOzs7cUJBSkU7QUFFMUIsSUFBTUMsb0JBQW9CQyxJQUFBQSxnQkFBUyxFQUFDO0FBRXJCLFNBQVNGLDBCQUEwQkcsUUFBUSxFQUFFQyxTQUFTLEVBQUVDLE9BQU8sRUFBRUMsV0FBVztJQUN6RixJQUFJQyx5QkFBeUI7SUFFN0IsSUFBTUMsZUFBZVAsa0JBQWtCRTtJQUV2QyxJQUFJSyxpQkFBaUIsTUFBTTtRQUN6QixJQUFNQyxhQUFhSixRQUFRSyxZQUFZLENBQUNQO1FBRXhDRSxRQUFRTSxLQUFLLENBQUMsQUFBQyxrQkFBNEIsT0FBWEYsWUFBVyxrQ0FBZ0NOO1FBRTNFLElBQU1TLFdBQVdQLFFBQVFRLDBCQUEwQixDQUFDTDtRQUVwRCxJQUFJSSxhQUFhLE1BQU07WUFDckIsSUFBSUU7WUFFSlYsVUFBVVcsSUFBSSxDQUFDSDtZQUVmRSxnQkFBZ0JSO1lBRWhCLElBQUksQ0FBQ1EsZUFBZTtnQkFDbEJWLFVBQVVZLEdBQUc7WUFDZjtZQUVBVCx5QkFBeUJPLGVBQWUsR0FBRztRQUM3QztRQUVBLElBQUlQLHdCQUF3QjtZQUMxQkYsUUFBUVksS0FBSyxDQUFDLEFBQUMsb0JBQThCLE9BQVhSLFlBQVcsZ0NBQThCTjtRQUM3RTtJQUNGO0lBRUEsT0FBT0k7QUFDVCJ9

package/src/utilities/releaseContext.js

@@ -1,225 +0,0 @@
-"use strict";
-
-import { last } from "../utilities/array";
-
-export function createReleaseContext(dependency, dependentNames, context, callback) {
-  const { releaseContextMap } = context,
-        dependencyName = dependency.getName(),
-        releaseName = dependencyName, ///
-        releaseContext = releaseContextMap[releaseName] || null;
-
-  if (releaseContext !== null) {
-    const error = checkReleaseMatchesDependency(dependency, dependentNames, releaseContext);
-
-    callback(error);
-
-    return;
-  }
-
-  const { releaseContextFromDependency } = context;
-
-  releaseContextFromDependency(dependency, context, (error, releaseContext) => {
-    if (error) {
-      callback(error);
-
-      return;
-    }
-
-    if (releaseContext === null) {
-      const error = `The '${releaseName}' package could not be created.`;
-
-      callback(error);
-
-      return;
-    }
-
-    error = checkReleaseMatchesDependency(dependency, dependentNames, releaseContext);
-
-    if (error) {
-      callback(error);
-
-      return;
-    }
-
-    releaseContextMap[releaseName] = releaseContext;
-
-    createDependencyReleaseContexts(dependency, dependentNames, context, callback);
-  }, context);
-}
-
-export function initialiseReleaseContext(dependency, dependentName, dependentReleased, context, callback) {
-  let error = null;
-
-  const { releaseContextMap } = context,
-        name = dependency.getName(),
-        releaseName = name, ///
-        releaseContext = releaseContextMap[releaseName] || null;
-
-  if (releaseContext === null) {
-    callback(error);
-
-    return;
-  }
-
-  const released = releaseContext.isReleased(),
-        initialised = releaseContext.isInitialised();
-
-  if (initialised) {
-    callback(error);
-
-    return;
-  }
-
-  if (!released) {
-    if (dependentReleased) {
-      error = `Unable to initialise the '${name}' dependency's context because its '${dependentName}' dependent is a package.`;
-
-      callback(error);
-
-      return;
-    }
-  }
-
-  dependentName = name;  ///
-
-  dependentReleased = released;  ///
-
-  const dependencies = releaseContext.getDependencies();
-
-  dependencies.asynchronousForEachDependency((dependency, next, done) => {
-    initialiseReleaseContext(dependency, dependentName, dependentReleased, context, (error) => {
-      if (error) {
-        callback(error);
-
-        return;
-      }
-
-      next();
-    });
-  }, done);
-
-  function done() {
-    const dependencyReleaseContexts = retrieveDependencyReleaseContexts(dependency, context);
-
-    releaseContext.initialise(dependencyReleaseContexts);
-
-    callback(error);
-  }
-}
-
-export default {
-  createReleaseContext,
-  initialiseReleaseContext
-};
-
-function checkCyclicDependencyExists(dependency, dependentNames) {
-  let error = null;
-
-  const dependencyName = dependency.getName(),
-        dependentNamesIncludesDependencyName = dependentNames.includes(dependencyName),
-        cyclicDependencyExists = dependentNamesIncludesDependencyName;  ///
-
-  if (cyclicDependencyExists) {
-    const firstDependentName = first(dependentNames),
-          dependencyNames = [  ///
-            ...dependentNames,
-            firstDependentName
-          ],
-          dependencyNamesString = dependencyNames.join(`' -> '`);
-
-    error =`There is a cyclic dependency: '${dependencyNamesString}'.`;
-  }
-
-  return error;
-}
-
-function checkReleaseMatchesDependency(dependency, dependentNames, releaseContext) {
-  let error = null;
-
-  const entries = releaseContext.getEntries(),
-        shortenedVersion = dependency.getShortedVersion();
-
-  if (shortenedVersion !== null) {
-    const entriesMatchShortenedVersion = entries.matchShortenedVersion(shortenedVersion);
-
-    if (!entriesMatchShortenedVersion) {
-      const version = releaseContext.getVersion(),
-            versionString = version.toString(),
-            lastDependentName = last(dependentNames),
-            dependentName = lastDependentName,  ///
-            dependencyName = dependency.getName(),
-            shortenedVersion = dependency.getShortedVersion(),
-            shortenedVersionString = shortenedVersion.toString();
-
-      error = `Version mismatch: '${dependentName}' requires '${dependencyName}' to be version ${shortenedVersionString}.0 or higher but version ${versionString} has been supplied.`;
-    }
-  }
-
-  return error;
-}
-
-function createDependencyReleaseContexts(dependency, dependentNames, context, callback) {
-  const { releaseContextMap } = context,
-        dependencyName = dependency.getName(),
-        releaseName = dependencyName, ///
-        releaseContext = releaseContextMap[releaseName],
-        dependencies = releaseContext.getDependencies();
-
-  dependentNames = [ ...dependentNames, dependencyName ];  ///
-
-  dependencies.asynchronousForEachDependency((dependency, next, done) => {
-    const error = checkCyclicDependencyExists(dependency, dependentNames);
-
-    if (error) {
-      callback(error);
-
-      return;
-    }
-
-    createReleaseContext(dependency, dependentNames, context, (error) => {
-      if (error) {
-        callback(error);
-
-        return;
-      }
-
-      next();
-    });
-  }, done);
-
-  function done() {
-    const error = null;
-
-    callback(error);
-  }
-}
-
-function retrieveDependencyReleaseContexts(dependency, context, dependencyReleaseContexts = []) {
-  const { releaseContextMap } = context,
-        dependencyName = dependency.getName(),
-        releaseName = dependencyName, ///
-        releaseContext = releaseContextMap[releaseName],
-        dependencies = releaseContext.getDependencies();
-
-  dependencies.forEachDependency((dependency) => {
-    const dependencyName = dependency.getName(),
-          releaseName = dependencyName, ///
-          releaseContext = releaseContextMap[releaseName] || null;
-
-    if (releaseContext === null) {
-      return;
-    }
-
-    const dependencyReleaseContextsIncludesReleaseContext = dependencyReleaseContexts.includes(releaseContext);
-
-    if (dependencyReleaseContextsIncludesReleaseContext) {
-      return;
-    }
-
-    retrieveDependencyReleaseContexts(dependency, context, dependencyReleaseContexts);
-
-    dependencyReleaseContexts.push(releaseContext);
-  });
-
-  return dependencyReleaseContexts;
-}

package/src/verify/termAsGivenVariable.js

@@ -1,39 +0,0 @@
-"use strict";
-
-import { nodeQuery } from "../utilities/query";
-
-const variableNodeQuery = nodeQuery("/term/variable!");
-
-export default function verifyTermAsGivenVariable(termNode, variables, context, verifyAhead) {
-  let termVerifiedAsVariable = false;
-
-  const variableNode = variableNodeQuery(termNode);
-
-  if (variableNode !== null) {
-    const termString = context.nodeAsString(termNode);
-
-    context.trace(`Verifying the '${termString}' term as a given variable...`, termNode);
-
-    const variable = context.findVariableByVariableNode(variableNode);
-
-    if (variable !== null) {
-      let verifiedAhead;
-
-      variables.push(variable);
-
-      verifiedAhead = verifyAhead();
-
-      if (!verifiedAhead) {
-        variables.pop();
-      }
-
-      termVerifiedAsVariable = verifiedAhead; ///
-    }
-
-    if (termVerifiedAsVariable) {
-      context.debug(`...verified the '${termString}' term as a given variable.`, termNode);
-    }
-  }
-
-  return termVerifiedAsVariable;
-}