occam-verify-cli 0.0.1032 → 0.0.1033

package/src/context/release.js

@@ -438,9 +438,9 @@ export default class ReleaseContext {
 
     this.parser = nominalParser; ///
 
-    this.fileContexts = released ?
-                          fileContextsFromJSONEntriesAndReleaseContext(this.json, this.entries, releaseContext) :
-                            fileContextsFromEntriesAndReleaseContext(this.entries, releaseContext);
+    released ?
+       fileContextsFromJSONAndReleaseContext(this.json, this.fileContexts, releaseContext) :
+         fileContextsFromEntriesAndReleaseContext(this.entries, this.fileContexts, releaseContext);
 
     this.initialised = true;
   }
@@ -487,31 +487,20 @@ export default class ReleaseContext {
   }
 }
 
-function fileContextsFromJSONEntriesAndReleaseContext(json, entries, releaseContext) {
-  const fileContexts = [];
+function fileContextsFromJSONAndReleaseContext(json, fileContexts, releaseContext) {
+  const fileContextsJSON = json;  ///
 
-  entries.forEachFile((file) => {
-    const filePath = file.getPath(),
-          filePathNominalFilePath = isFilePathNominalFilePath(filePath);
-
-    if (filePathNominalFilePath) {
-      const fileContext = FileContext.fromFileAndReleaseContext(file, releaseContext),
-            filePath = fileContext.getFilePath();
-
-      fileContexts.push(fileContext);
+  fileContextsJSON.forEach((fileContextJSON) => {
+    const json = fileContextJSON,
+          fileContext = FileContext.fromJSONAndReleaseContext(json, releaseContext);
 
-      const fileContextJSON = findFileContextJSON(json, filePath);
+    fileContext.initialise(fileContextJSON);
 
-      fileContext.initialise(fileContextJSON);
-    }
+    fileContexts.push(fileContext);
   });
-
-  return fileContexts;
 }
 
-function fileContextsFromEntriesAndReleaseContext(entries, releaseContext) {
-  const fileContexts = [];
-
+function fileContextsFromEntriesAndReleaseContext(entries, fileContexts, releaseContext) {
   entries.forEachFile((file) => {
     const filePath = file.getPath(),
           filePathNominalFilePath = isFilePathNominalFilePath(filePath);
@@ -526,19 +515,6 @@ function fileContextsFromEntriesAndReleaseContext(entries, releaseContext) {
   return fileContexts;
 }
 
-function findFileContextJSON(json, filePath) {
-  const fileContextsJSON = json,  ///
-        fileContextJSON = fileContextsJSON.find((fileContextJSON) => {
-          const { filePath: fileContextFilePath } = fileContextJSON;
-
-          if (fileContextFilePath === filePath) {
-            return true;
-          }
-        });
-
-  return fileContextJSON;
-}
-
 function verifyFileContexts(fileContexts, verifiedFileContexts) {
   let fileContextsVerified;
 

package/src/mixins/statement/verify.js

@@ -1,11 +1,11 @@
 "use strict";
 
 import Equality from "../../equality";
+import TypeAssertion from "../../assertion/type";
 
 import verifyFrame from "../../verify/frame";
 import verifyJudgement from "../../verify/judgement";
 import verifyDeclaration from "../../verify/declaration";
-import verifyTypeAssertion from "../../verify/assertion/type";
 import metavariableUnifier from "../../unifier/metavariable";
 import verifyDefinedAssertion from "../../verify/assertion/defined";
 import verifySubproofAssertion from "../../verify/assertion/subproof";
@@ -151,7 +151,8 @@ function verifyAsTypeAssertion(statement, assignments, stated, localContext) {
 
     localContext.trace(`Verifying the '${statementString}' statement as a type assertion...`);
 
-    const typeAssertionVerified = verifyTypeAssertion(typeAssertionNode, assignments, stated, localContext);
+    const typeAssertion = TypeAssertion.fromTypeAssertionNode(typeAssertionNode, localContext),
+          typeAssertionVerified = typeAssertion.verify(assignments, stated, localContext);
 
     verifiedAsTypeAssertion = typeAssertionVerified; ///
 

package/src/term.js

@@ -8,6 +8,7 @@ import termAsConstructorVerifier from "./verifier/termAsConstructor";
 import { filter } from "./utilities/array";
 import { nodesQuery } from "./utilities/query"
 import { termNodeFromTermString } from "./utilities/node";
+import {objectType} from "./type";
 
 const variableNodesQuery = nodesQuery("//variable");
 
@@ -136,22 +137,26 @@ class Term {
   verifyType(fileContext) {
     let typeVerified;
 
-    const typeName = this.type.getName();
+    if (this.type === objectType) {
+      typeVerified = true;
+    } else {
+      const typeName = this.type.getName();
 
-    fileContext.trace(`Verifying the '${typeName}' type...`);
+      fileContext.trace(`Verifying the '${typeName}' type...`);
 
-    const type = fileContext.findTypeByTypeName(typeName);
+      const type = fileContext.findTypeByTypeName(typeName);
 
-    if (type === null) {
-      fileContext.debug(`The '${typeName}' type is missing.`);
-    } else {
-      this.type = type; ///
+      if (type === null) {
+        fileContext.debug(`The '${typeName}' type is missing.`);
+      } else {
+        this.type = type; ///
 
-      typeVerified = true;
-    }
+        typeVerified = true;
+      }
 
-    if (typeVerified) {
-      fileContext.debug(`...verified the '${typeName}' type.`);
+      if (typeVerified) {
+        fileContext.debug(`...verified the '${typeName}' type.`);
+      }
     }
 
     return typeVerified;
@@ -160,10 +165,10 @@ class Term {
   verifyGivenType(type, localContext) {
     let verifiedGivenType;
 
-    const termString = this.getString(),
-          typeString = type.getString();
+    const typeName = type.getName(),
+          termString = this.getString();
 
-    localContext.trace(`Verifying the '${termString}' term given the '${typeString}' type...`);
+    localContext.trace(`Verifying the '${termString}' term given the '${typeName}' type...`);
 
     const verified = this.verify(localContext, () => {
       let verifiedAhead;
@@ -180,7 +185,7 @@ class Term {
     verifiedGivenType = verified; ///
 
     if (verifiedGivenType) {
-      localContext.debug(`...verified the '${termString}' term given the '${typeString}' type.`);
+      localContext.debug(`...verified the '${termString}' term given the '${typeName}' type.`);
     }
 
     return verifiedGivenType;

package/src/unifier/statementWithCombinator.js

@@ -55,7 +55,7 @@ class StatementWithCombinatorUnifier extends Unifier {
               metaTypeNode = metaTypeNodeB, ///
               frameNode = frameNodeA, ///
               metaType = MetaType.fromMetaTypeNode(metaTypeNode, localContext),
-              frame = Frame.fromTermNode(frameNode, localContext),
+              frame = Frame.fromFrameNode(frameNode, localContext),
               frameVerifiedGivenType = frame.verifyGivenMetaType(metaType, localContext);
 
         unified = frameVerifiedGivenType;

package/src/variable.js

@@ -4,9 +4,9 @@ import shim from "./shim";
 import LocalContext from "./context/local";
 
 import { nodeQuery } from "./utilities/query";
-import { objectType } from "./type";
 import { variableNameFromVariableNode} from "./utilities/name";
 import { variableNodeFromVariableString } from "./utilities/node";
+import {objectType} from "./type";
 
 const typeNodeQuery = nodeQuery("/variableDeclaration/type"),
       variableNodeQuery = nodeQuery("/variableDeclaration/variable");
@@ -35,6 +35,10 @@ export default class Variable {
     return this.type;
   }
 
+  setType(type) {
+    this.type = type;
+  }
+
   matchNode(node) {
     const nodeMatches = this.node.match(node);
 
@@ -78,22 +82,26 @@ export default class Variable {
   verifyType(fileContext) {
     let typeVerified;
 
-    const typeName = this.type.getName();
+    if (this.type === objectType) {
+      typeVerified = true;
+    } else {
+      const typeName = this.type.getName();
 
-    fileContext.trace(`Verifying the '${typeName}' type...`);
+      fileContext.trace(`Verifying the '${typeName}' type...`);
 
-    const type = fileContext.findTypeByTypeName(typeName);
+      const type = fileContext.findTypeByTypeName(typeName);
 
-    if (type === null) {
-      fileContext.debug(`The '${typeName}' type is missing.`);
-    } else {
-      this.type = type; ///
+      if (type === null) {
+        fileContext.debug(`The '${typeName}' type is missing.`);
+      } else {
+        this.type = type; ///
 
-      typeVerified = true;
-    }
+        typeVerified = true;
+      }
 
-    if (typeVerified) {
-      fileContext.debug(`...verified the '${typeName}' type.`);
+      if (typeVerified) {
+        fileContext.debug(`...verified the '${typeName}' type.`);
+      }
     }
 
     return typeVerified;
@@ -153,12 +161,17 @@ export default class Variable {
   }
 
   static fromVariableNode(variableNode, localContext) {
-    const node = variableNode,  ///
-          variableName = variableNameFromVariableNode(variableNode),
-          string = localContext.nodeAsString(node),
-          name = variableName,  ///
-          type = null,
-          variable = new Variable(string, node, name, type);
+    let variable = null;
+
+    if (variableNode !== null) {
+      const node = variableNode,  ///
+            variableName = variableNameFromVariableNode(variableNode),
+            string = localContext.nodeAsString(node),
+            name = variableName,  ///
+            type = null;
+
+      variable = new Variable(string, node, name, type);
+    }
 
     return variable;
   }

package/lib/verify/assertion/type.js

@@ -1,99 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return verifyTypeAssertion;
-    }
-});
-var _variable = /*#__PURE__*/ _interop_require_default(require("../../variable"));
-var _variable1 = /*#__PURE__*/ _interop_require_default(require("../../assignment/variable"));
-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)("/typeAssertion/term!"), typeNodeQuery = (0, _query.nodeQuery)("/typeAssertion/type!"), variableNodeQuery = (0, _query.nodeQuery)("/term/variable!");
-var verifyTypeAssertionFunctions = [
-    verifyDerivedTypeAssertion,
-    verifyStatedTypeAssertion
-];
-function verifyTypeAssertion(typeAssertionNode, assignments, stated, localContext) {
-    var typeAssertionVerified;
-    var typeAssertionString = localContext.nodeAsString(typeAssertionNode);
-    localContext.trace("Verifying the '".concat(typeAssertionString, "' type assertion..."), typeAssertionNode);
-    typeAssertionVerified = verifyTypeAssertionFunctions.some(function(verifyTypeAssertionFunction) {
-        var typeAssertionVerified = verifyTypeAssertionFunction(typeAssertionNode, assignments, stated, localContext);
-        if (typeAssertionVerified) {
-            return true;
-        }
-    });
-    if (typeAssertionVerified) {
-        localContext.debug("...verified the '".concat(typeAssertionString, "' type assertion."), typeAssertionNode);
-    }
-    return typeAssertionVerified;
-}
-function verifyDerivedTypeAssertion(typeAssertionNode, assignments, stated, localContext) {
-    var derivedTypeAssertionVerified = false;
-    if (!stated) {
-        var typeAssertionString = localContext.nodeAsString(typeAssertionNode);
-        localContext.trace("Verifying the '".concat(typeAssertionString, "' derived type assertion..."), typeAssertionNode);
-        var typeNode = typeNodeQuery(typeAssertionNode), type = localContext.findTypeByTypeNode(typeNode);
-        if (type === null) {
-            var typeString = localContext.nodeAsString(typeNode);
-            localContext.debug("The '".concat(typeString, "' type is not present."), typeNode);
-        }
-        var terms = [], termNode = termNodeQuery(typeAssertionNode), termVerified = verifyTerm(termNode, terms, localContext, function() {
-            var verifiedAhead = false;
-            var firstTerm = (0, _array.first)(terms), term = firstTerm, termType = localContext.getTermType(term), typeEqualToOrSuperTypeOfTermType = type.isEqualToOrSuperTypeOf(termType);
-            if (typeEqualToOrSuperTypeOfTermType) {
-                verifiedAhead = true;
-            }
-            return verifiedAhead;
-        });
-        derivedTypeAssertionVerified = termVerified; ///
-        if (derivedTypeAssertionVerified) {
-            localContext.debug("...verified the '".concat(typeAssertionString, "' derived type assertion."), typeAssertionNode);
-        }
-    }
-    return derivedTypeAssertionVerified;
-}
-function verifyStatedTypeAssertion(typeAssertionNode, assignments, stated, localContext) {
-    var statedTypeAssertionVerified = false;
-    if (stated) {
-        var typeAssertionString = localContext.nodeAsString(typeAssertionNode);
-        localContext.trace("Verifying the '".concat(typeAssertionString, "' stated type assertion..."), typeAssertionNode);
-        var typeNode = typeNodeQuery(typeAssertionNode), type = localContext.findTypeByTypeNode(typeNode);
-        if (type === null) {
-            var typeString = localContext.nodeAsString(typeNode);
-            localContext.debug("The '".concat(typeString, "' type is not present."), typeNode);
-        } else {
-            var terms = [], termNode = termNodeQuery(typeAssertionNode), termVerified = verifyTerm(termNode, terms, localContext, function() {
-                var verifiedAhead = false;
-                var firstTerm = (0, _array.first)(terms), term = firstTerm, termType = term.getType(), typeEqualToOrSubTypeOfTermType = type.isEqualToOrSubTypeOf(termType);
-                if (typeEqualToOrSubTypeOfTermType) {
-                    var variableNode = variableNodeQuery(termNode);
-                    if (variableNode !== null) {
-                        if (assignments !== null) {
-                            var variable = _variable.default.fromVariableNodeAndType(variableNode, type), variableAssignment = _variable1.default.fromVariable(variable), assignment = variableAssignment; ///
-                            assignments.push(assignment);
-                        }
-                    }
-                    verifiedAhead = true;
-                }
-                return verifiedAhead;
-            });
-            statedTypeAssertionVerified = termVerified; ///
-        }
-        if (statedTypeAssertionVerified) {
-            localContext.debug("...verified the '".concat(typeAssertionString, "' stated type assertion."), typeAssertionNode);
-        }
-    }
-    return statedTypeAssertionVerified;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy92ZXJpZnkvYXNzZXJ0aW9uL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBWYXJpYWJsZSBmcm9tIFwiLi4vLi4vdmFyaWFibGVcIjtcbi8vIGltcG9ydCB2ZXJpZnlUZXJtIGZyb20gXCIuLi8uLi92ZXJpZnkvdGVybVwiO1xuaW1wb3J0IFZhcmlhYmxlQXNzaWdubWVudCBmcm9tIFwiLi4vLi4vYXNzaWdubWVudC92YXJpYWJsZVwiO1xuXG5pbXBvcnQgeyBmaXJzdCB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvYXJyYXlcIjtcbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90eXBlQXNzZXJ0aW9uL3Rlcm0hXCIpLFxuICAgICAgdHlwZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90eXBlQXNzZXJ0aW9uL3R5cGUhXCIpLFxuICAgICAgdmFyaWFibGVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdGVybS92YXJpYWJsZSFcIik7XG5cbmNvbnN0IHZlcmlmeVR5cGVBc3NlcnRpb25GdW5jdGlvbnMgPSBbXG4gIHZlcmlmeURlcml2ZWRUeXBlQXNzZXJ0aW9uLFxuICB2ZXJpZnlTdGF0ZWRUeXBlQXNzZXJ0aW9uXG5dO1xuXG5leHBvcnQgZGVmYXVsdCBmdW5jdGlvbiB2ZXJpZnlUeXBlQXNzZXJ0aW9uKHR5cGVBc3NlcnRpb25Ob2RlLCBhc3NpZ25tZW50cywgc3RhdGVkLCBsb2NhbENvbnRleHQpIHtcbiAgbGV0IHR5cGVBc3NlcnRpb25WZXJpZmllZDtcblxuICBjb25zdCB0eXBlQXNzZXJ0aW9uU3RyaW5nID0gbG9jYWxDb250ZXh0Lm5vZGVBc1N0cmluZyh0eXBlQXNzZXJ0aW9uTm9kZSk7XG5cbiAgbG9jYWxDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3R5cGVBc3NlcnRpb25TdHJpbmd9JyB0eXBlIGFzc2VydGlvbi4uLmAsIHR5cGVBc3NlcnRpb25Ob2RlKTtcblxuICB0eXBlQXNzZXJ0aW9uVmVyaWZpZWQgPSB2ZXJpZnlUeXBlQXNzZXJ0aW9uRnVuY3Rpb25zLnNvbWUoKHZlcmlmeVR5cGVBc3NlcnRpb25GdW5jdGlvbikgPT4ge1xuICAgIGNvbnN0IHR5cGVBc3NlcnRpb25WZXJpZmllZCA9IHZlcmlmeVR5cGVBc3NlcnRpb25GdW5jdGlvbih0eXBlQXNzZXJ0aW9uTm9kZSwgYXNzaWdubWVudHMsIHN0YXRlZCwgbG9jYWxDb250ZXh0KTtcblxuICAgIGlmICh0eXBlQXNzZXJ0aW9uVmVyaWZpZWQpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG5cbiAgaWYgKHR5cGVBc3NlcnRpb25WZXJpZmllZCkge1xuICAgIGxvY2FsQ29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3R5cGVBc3NlcnRpb25TdHJpbmd9JyB0eXBlIGFzc2VydGlvbi5gLCB0eXBlQXNzZXJ0aW9uTm9kZSk7XG4gIH1cblxuICByZXR1cm4gdHlwZUFzc2VydGlvblZlcmlmaWVkO1xufVxuXG5mdW5jdGlvbiB2ZXJpZnlEZXJpdmVkVHlwZUFzc2VydGlvbih0eXBlQXNzZXJ0aW9uTm9kZSwgYXNzaWdubWVudHMsIHN0YXRlZCwgbG9jYWxDb250ZXh0KSB7XG4gIGxldCBkZXJpdmVkVHlwZUFzc2VydGlvblZlcmlmaWVkID0gZmFsc2U7XG5cbiAgaWYgKCFzdGF0ZWQpIHtcbiAgICBjb25zdCB0eXBlQXNzZXJ0aW9uU3RyaW5nID0gbG9jYWxDb250ZXh0Lm5vZGVBc1N0cmluZyh0eXBlQXNzZXJ0aW9uTm9kZSk7XG5cbiAgICBsb2NhbENvbnRleHQudHJhY2UoYFZlcmlmeWluZyB0aGUgJyR7dHlwZUFzc2VydGlvblN0cmluZ30nIGRlcml2ZWQgdHlwZSBhc3NlcnRpb24uLi5gLCB0eXBlQXNzZXJ0aW9uTm9kZSk7XG5cbiAgICBjb25zdCB0eXBlTm9kZSA9IHR5cGVOb2RlUXVlcnkodHlwZUFzc2VydGlvbk5vZGUpLFxuICAgICAgICAgIHR5cGUgPSBsb2NhbENvbnRleHQuZmluZFR5cGVCeVR5cGVOb2RlKHR5cGVOb2RlKTtcblxuICAgIGlmICh0eXBlID09PSBudWxsKSB7XG4gICAgICBjb25zdCB0eXBlU3RyaW5nID0gbG9jYWxDb250ZXh0Lm5vZGVBc1N0cmluZyh0eXBlTm9kZSk7XG5cbiAgICAgIGxvY2FsQ29udGV4dC5kZWJ1ZyhgVGhlICcke3R5cGVTdHJpbmd9JyB0eXBlIGlzIG5vdCBwcmVzZW50LmAsIHR5cGVOb2RlKTtcbiAgICB9XG5cbiAgICBjb25zdCB0ZXJtcyA9IFtdLFxuICAgICAgICAgIHRlcm1Ob2RlID0gdGVybU5vZGVRdWVyeSh0eXBlQXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgdGVybVZlcmlmaWVkID0gdmVyaWZ5VGVybSh0ZXJtTm9kZSwgdGVybXMsIGxvY2FsQ29udGV4dCwgKCkgPT4ge1xuICAgICAgICAgICAgbGV0IHZlcmlmaWVkQWhlYWQgPSBmYWxzZTtcblxuICAgICAgICAgICAgY29uc3QgZmlyc3RUZXJtID0gZmlyc3QodGVybXMpLFxuICAgICAgICAgICAgICAgICAgdGVybSA9IGZpcnN0VGVybSwgLy8vXG4gICAgICAgICAgICAgICAgICB0ZXJtVHlwZSA9IGxvY2FsQ29udGV4dC5nZXRUZXJtVHlwZSh0ZXJtKSxcbiAgICAgICAgICAgICAgICAgIHR5cGVFcXVhbFRvT3JTdXBlclR5cGVPZlRlcm1UeXBlID0gdHlwZS5pc0VxdWFsVG9PclN1cGVyVHlwZU9mKHRlcm1UeXBlKTtcblxuICAgICAgICAgICAgaWYgKHR5cGVFcXVhbFRvT3JTdXBlclR5cGVPZlRlcm1UeXBlKSB7XG4gICAgICAgICAgICAgIHZlcmlmaWVkQWhlYWQgPSB0cnVlO1xuICAgICAgICAgICAgfVxuXG4gICAgICAgICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICAgICAgICB9KTtcblxuICAgIGRlcml2ZWRUeXBlQXNzZXJ0aW9uVmVyaWZpZWQgPSB0ZXJtVmVyaWZpZWQ7IC8vL1xuXG4gICAgaWYgKGRlcml2ZWRUeXBlQXNzZXJ0aW9uVmVyaWZpZWQpIHtcbiAgICAgIGxvY2FsQ29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3R5cGVBc3NlcnRpb25TdHJpbmd9JyBkZXJpdmVkIHR5cGUgYXNzZXJ0aW9uLmAsIHR5cGVBc3NlcnRpb25Ob2RlKTtcbiAgICB9XG4gIH1cblxuICByZXR1cm4gZGVyaXZlZFR5cGVBc3NlcnRpb25WZXJpZmllZDtcbn1cblxuZnVuY3Rpb24gdmVyaWZ5U3RhdGVkVHlwZUFzc2VydGlvbih0eXBlQXNzZXJ0aW9uTm9kZSwgYXNzaWdubWVudHMsIHN0YXRlZCwgbG9jYWxDb250ZXh0KSB7XG4gIGxldCBzdGF0ZWRUeXBlQXNzZXJ0aW9uVmVyaWZpZWQgPSBmYWxzZTtcblxuICBpZiAoc3RhdGVkKSB7XG4gICAgY29uc3QgdHlwZUFzc2VydGlvblN0cmluZyA9IGxvY2FsQ29udGV4dC5ub2RlQXNTdHJpbmcodHlwZUFzc2VydGlvbk5vZGUpO1xuXG4gICAgbG9jYWxDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3R5cGVBc3NlcnRpb25TdHJpbmd9JyBzdGF0ZWQgdHlwZSBhc3NlcnRpb24uLi5gLCB0eXBlQXNzZXJ0aW9uTm9kZSk7XG5cbiAgICBjb25zdCB0eXBlTm9kZSA9IHR5cGVOb2RlUXVlcnkodHlwZUFzc2VydGlvbk5vZGUpLFxuICAgICAgICAgIHR5cGUgPSBsb2NhbENvbnRleHQuZmluZFR5cGVCeVR5cGVOb2RlKHR5cGVOb2RlKTtcblxuICAgIGlmICh0eXBlID09PSBudWxsKSB7XG4gICAgICBjb25zdCB0eXBlU3RyaW5nID0gbG9jYWxDb250ZXh0Lm5vZGVBc1N0cmluZyh0eXBlTm9kZSk7XG5cbiAgICAgIGxvY2FsQ29udGV4dC5kZWJ1ZyhgVGhlICcke3R5cGVTdHJpbmd9JyB0eXBlIGlzIG5vdCBwcmVzZW50LmAsIHR5cGVOb2RlKTtcbiAgICB9IGVsc2Uge1xuICAgICAgY29uc3QgdGVybXMgPSBbXSxcbiAgICAgICAgICAgIHRlcm1Ob2RlID0gdGVybU5vZGVRdWVyeSh0eXBlQXNzZXJ0aW9uTm9kZSksXG4gICAgICAgICAgICB0ZXJtVmVyaWZpZWQgPSB2ZXJpZnlUZXJtKHRlcm1Ob2RlLCB0ZXJtcywgbG9jYWxDb250ZXh0LCAoKSA9PiB7XG4gICAgICAgICAgICAgIGxldCB2ZXJpZmllZEFoZWFkID0gZmFsc2U7XG5cbiAgICAgICAgICAgICAgY29uc3QgZmlyc3RUZXJtID0gZmlyc3QodGVybXMpLFxuICAgICAgICAgICAgICAgICAgICB0ZXJtID0gZmlyc3RUZXJtLCAvLy9cbiAgICAgICAgICAgICAgICAgICAgdGVybVR5cGUgPSB0ZXJtLmdldFR5cGUoKSxcbiAgICAgICAgICAgICAgICAgICAgdHlwZUVxdWFsVG9PclN1YlR5cGVPZlRlcm1UeXBlID0gdHlwZS5pc0VxdWFsVG9PclN1YlR5cGVPZih0ZXJtVHlwZSk7XG5cbiAgICAgICAgICAgICAgaWYgKHR5cGVFcXVhbFRvT3JTdWJUeXBlT2ZUZXJtVHlwZSkge1xuICAgICAgICAgICAgICAgIGNvbnN0IHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZVF1ZXJ5KHRlcm1Ob2RlKTtcblxuICAgICAgICAgICAgICAgIGlmICh2YXJpYWJsZU5vZGUgIT09IG51bGwpIHtcbiAgICAgICAgICAgICAgICAgIGlmIChhc3NpZ25tZW50cyAhPT0gbnVsbCkge1xuICAgICAgICAgICAgICAgICAgICBjb25zdCB2YXJpYWJsZSA9IFZhcmlhYmxlLmZyb21WYXJpYWJsZU5vZGVBbmRUeXBlKHZhcmlhYmxlTm9kZSwgdHlwZSksXG4gICAgICAgICAgICAgICAgICAgICAgICAgIHZhcmlhYmxlQXNzaWdubWVudCA9IFZhcmlhYmxlQXNzaWdubWVudC5mcm9tVmFyaWFibGUodmFyaWFibGUpLFxuICAgICAgICAgICAgICAgICAgICAgICAgICBhc3NpZ25tZW50ID0gdmFyaWFibGVBc3NpZ25tZW50OyAgLy8vXG5cbiAgICAgICAgICAgICAgICAgICAgYXNzaWdubWVudHMucHVzaChhc3NpZ25tZW50KTtcbiAgICAgICAgICAgICAgICAgIH1cbiAgICAgICAgICAgICAgICB9XG5cbiAgICAgICAgICAgICAgICB2ZXJpZmllZEFoZWFkID0gdHJ1ZTtcbiAgICAgICAgICAgICAgfVxuXG4gICAgICAgICAgICAgIHJldHVybiB2ZXJpZmllZEFoZWFkO1xuICAgICAgICAgICAgfSk7XG5cbiAgICAgIHN0YXRlZFR5cGVBc3NlcnRpb25WZXJpZmllZCA9IHRlcm1WZXJpZmllZDsgLy8vXG4gICAgfVxuXG4gICAgaWYgKHN0YXRlZFR5cGVBc3NlcnRpb25WZXJpZmllZCkge1xuICAgICAgbG9jYWxDb250ZXh0LmRlYnVnKGAuLi52ZXJpZmllZCB0aGUgJyR7dHlwZUFzc2VydGlvblN0cmluZ30nIHN0YXRlZCB0eXBlIGFzc2VydGlvbi5gLCB0eXBlQXNzZXJ0aW9uTm9kZSk7XG4gICAgfVxuICB9XG5cbiAgcmV0dXJuIHN0YXRlZFR5cGVBc3NlcnRpb25WZXJpZmllZDtcbn1cbiJdLCJuYW1lcyI6WyJ2ZXJpZnlUeXBlQXNzZXJ0aW9uIiwidGVybU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInR5cGVOb2RlUXVlcnkiLCJ2YXJpYWJsZU5vZGVRdWVyeSIsInZlcmlmeVR5cGVBc3NlcnRpb25GdW5jdGlvbnMiLCJ2ZXJpZnlEZXJpdmVkVHlwZUFzc2VydGlvbiIsInZlcmlmeVN0YXRlZFR5cGVBc3NlcnRpb24iLCJ0eXBlQXNzZXJ0aW9uTm9kZSIsImFzc2lnbm1lbnRzIiwic3RhdGVkIiwibG9jYWxDb250ZXh0IiwidHlwZUFzc2VydGlvblZlcmlmaWVkIiwidHlwZUFzc2VydGlvblN0cmluZyIsIm5vZGVBc1N0cmluZyIsInRyYWNlIiwic29tZSIsInZlcmlmeVR5cGVBc3NlcnRpb25GdW5jdGlvbiIsImRlYnVnIiwiZGVyaXZlZFR5cGVBc3NlcnRpb25WZXJpZmllZCIsInR5cGVOb2RlIiwidHlwZSIsImZpbmRUeXBlQnlUeXBlTm9kZSIsInR5cGVTdHJpbmciLCJ0ZXJtcyIsInRlcm1Ob2RlIiwidGVybVZlcmlmaWVkIiwidmVyaWZ5VGVybSIsInZlcmlmaWVkQWhlYWQiLCJmaXJzdFRlcm0iLCJmaXJzdCIsInRlcm0iLCJ0ZXJtVHlwZSIsImdldFRlcm1UeXBlIiwidHlwZUVxdWFsVG9PclN1cGVyVHlwZU9mVGVybVR5cGUiLCJpc0VxdWFsVG9PclN1cGVyVHlwZU9mIiwic3RhdGVkVHlwZUFzc2VydGlvblZlcmlmaWVkIiwiZ2V0VHlwZSIsInR5cGVFcXVhbFRvT3JTdWJUeXBlT2ZUZXJtVHlwZSIsImlzRXF1YWxUb09yU3ViVHlwZU9mIiwidmFyaWFibGVOb2RlIiwidmFyaWFibGUiLCJWYXJpYWJsZSIsImZyb21WYXJpYWJsZU5vZGVBbmRUeXBlIiwidmFyaWFibGVBc3NpZ25tZW50IiwiVmFyaWFibGVBc3NpZ25tZW50IiwiZnJvbVZhcmlhYmxlIiwiYXNzaWdubWVudCIsInB1c2giXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWtCQTs7O2VBQXdCQTs7OytEQWhCSDtnRUFFVTtxQkFFVDtxQkFDSTs7Ozs7O0FBRTFCLElBQU1DLGdCQUFnQkMsSUFBQUEsZ0JBQVMsRUFBQyx5QkFDMUJDLGdCQUFnQkQsSUFBQUEsZ0JBQVMsRUFBQyx5QkFDMUJFLG9CQUFvQkYsSUFBQUEsZ0JBQVMsRUFBQztBQUVwQyxJQUFNRywrQkFBK0I7SUFDbkNDO0lBQ0FDO0NBQ0Q7QUFFYyxTQUFTUCxvQkFBb0JRLGlCQUFpQixFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsWUFBWTtJQUM5RixJQUFJQztJQUVKLElBQU1DLHNCQUFzQkYsYUFBYUcsWUFBWSxDQUFDTjtJQUV0REcsYUFBYUksS0FBSyxDQUFDLEFBQUMsa0JBQXFDLE9BQXBCRixxQkFBb0Isd0JBQXNCTDtJQUUvRUksd0JBQXdCUCw2QkFBNkJXLElBQUksQ0FBQyxTQUFDQztRQUN6RCxJQUFNTCx3QkFBd0JLLDRCQUE0QlQsbUJBQW1CQyxhQUFhQyxRQUFRQztRQUVsRyxJQUFJQyx1QkFBdUI7WUFDekIsT0FBTztRQUNUO0lBQ0Y7SUFFQSxJQUFJQSx1QkFBdUI7UUFDekJELGFBQWFPLEtBQUssQ0FBQyxBQUFDLG9CQUF1QyxPQUFwQkwscUJBQW9CLHNCQUFvQkw7SUFDakY7SUFFQSxPQUFPSTtBQUNUO0FBRUEsU0FBU04sMkJBQTJCRSxpQkFBaUIsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVDLFlBQVk7SUFDdEYsSUFBSVEsK0JBQStCO0lBRW5DLElBQUksQ0FBQ1QsUUFBUTtRQUNYLElBQU1HLHNCQUFzQkYsYUFBYUcsWUFBWSxDQUFDTjtRQUV0REcsYUFBYUksS0FBSyxDQUFDLEFBQUMsa0JBQXFDLE9BQXBCRixxQkFBb0IsZ0NBQThCTDtRQUV2RixJQUFNWSxXQUFXakIsY0FBY0ssb0JBQ3pCYSxPQUFPVixhQUFhVyxrQkFBa0IsQ0FBQ0Y7UUFFN0MsSUFBSUMsU0FBUyxNQUFNO1lBQ2pCLElBQU1FLGFBQWFaLGFBQWFHLFlBQVksQ0FBQ007WUFFN0NULGFBQWFPLEtBQUssQ0FBQyxBQUFDLFFBQWtCLE9BQVhLLFlBQVcsMkJBQXlCSDtRQUNqRTtRQUVBLElBQU1JLFFBQVEsRUFBRSxFQUNWQyxXQUFXeEIsY0FBY08sb0JBQ3pCa0IsZUFBZUMsV0FBV0YsVUFBVUQsT0FBT2IsY0FBYztZQUN2RCxJQUFJaUIsZ0JBQWdCO1lBRXBCLElBQU1DLFlBQVlDLElBQUFBLFlBQUssRUFBQ04sUUFDbEJPLE9BQU9GLFdBQ1BHLFdBQVdyQixhQUFhc0IsV0FBVyxDQUFDRixPQUNwQ0csbUNBQW1DYixLQUFLYyxzQkFBc0IsQ0FBQ0g7WUFFckUsSUFBSUUsa0NBQWtDO2dCQUNwQ04sZ0JBQWdCO1lBQ2xCO1lBRUEsT0FBT0E7UUFDVDtRQUVOVCwrQkFBK0JPLGNBQWMsR0FBRztRQUVoRCxJQUFJUCw4QkFBOEI7WUFDaENSLGFBQWFPLEtBQUssQ0FBQyxBQUFDLG9CQUF1QyxPQUFwQkwscUJBQW9CLDhCQUE0Qkw7UUFDekY7SUFDRjtJQUVBLE9BQU9XO0FBQ1Q7QUFFQSxTQUFTWiwwQkFBMEJDLGlCQUFpQixFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsWUFBWTtJQUNyRixJQUFJeUIsOEJBQThCO0lBRWxDLElBQUkxQixRQUFRO1FBQ1YsSUFBTUcsc0JBQXNCRixhQUFhRyxZQUFZLENBQUNOO1FBRXRERyxhQUFhSSxLQUFLLENBQUMsQUFBQyxrQkFBcUMsT0FBcEJGLHFCQUFvQiwrQkFBNkJMO1FBRXRGLElBQU1ZLFdBQVdqQixjQUFjSyxvQkFDekJhLE9BQU9WLGFBQWFXLGtCQUFrQixDQUFDRjtRQUU3QyxJQUFJQyxTQUFTLE1BQU07WUFDakIsSUFBTUUsYUFBYVosYUFBYUcsWUFBWSxDQUFDTTtZQUU3Q1QsYUFBYU8sS0FBSyxDQUFDLEFBQUMsUUFBa0IsT0FBWEssWUFBVywyQkFBeUJIO1FBQ2pFLE9BQU87WUFDTCxJQUFNSSxRQUFRLEVBQUUsRUFDVkMsV0FBV3hCLGNBQWNPLG9CQUN6QmtCLGVBQWVDLFdBQVdGLFVBQVVELE9BQU9iLGNBQWM7Z0JBQ3ZELElBQUlpQixnQkFBZ0I7Z0JBRXBCLElBQU1DLFlBQVlDLElBQUFBLFlBQUssRUFBQ04sUUFDbEJPLE9BQU9GLFdBQ1BHLFdBQVdELEtBQUtNLE9BQU8sSUFDdkJDLGlDQUFpQ2pCLEtBQUtrQixvQkFBb0IsQ0FBQ1A7Z0JBRWpFLElBQUlNLGdDQUFnQztvQkFDbEMsSUFBTUUsZUFBZXBDLGtCQUFrQnFCO29CQUV2QyxJQUFJZSxpQkFBaUIsTUFBTTt3QkFDekIsSUFBSS9CLGdCQUFnQixNQUFNOzRCQUN4QixJQUFNZ0MsV0FBV0MsaUJBQVEsQ0FBQ0MsdUJBQXVCLENBQUNILGNBQWNuQixPQUMxRHVCLHFCQUFxQkMsa0JBQWtCLENBQUNDLFlBQVksQ0FBQ0wsV0FDckRNLGFBQWFILG9CQUFxQixHQUFHOzRCQUUzQ25DLFlBQVl1QyxJQUFJLENBQUNEO3dCQUNuQjtvQkFDRjtvQkFFQW5CLGdCQUFnQjtnQkFDbEI7Z0JBRUEsT0FBT0E7WUFDVDtZQUVOUSw4QkFBOEJWLGNBQWMsR0FBRztRQUNqRDtRQUVBLElBQUlVLDZCQUE2QjtZQUMvQnpCLGFBQWFPLEtBQUssQ0FBQyxBQUFDLG9CQUF1QyxPQUFwQkwscUJBQW9CLDZCQUEyQkw7UUFDeEY7SUFDRjtJQUVBLE9BQU80QjtBQUNUIn0=

package/src/verify/assertion/type.js

@@ -1,139 +0,0 @@
-"use strict";
-
-import Variable from "../../variable";
-// import verifyTerm from "../../verify/term";
-import VariableAssignment from "../../assignment/variable";
-
-import { first } from "../../utilities/array";
-import { nodeQuery } from "../../utilities/query";
-
-const termNodeQuery = nodeQuery("/typeAssertion/term!"),
-      typeNodeQuery = nodeQuery("/typeAssertion/type!"),
-      variableNodeQuery = nodeQuery("/term/variable!");
-
-const verifyTypeAssertionFunctions = [
-  verifyDerivedTypeAssertion,
-  verifyStatedTypeAssertion
-];
-
-export default function verifyTypeAssertion(typeAssertionNode, assignments, stated, localContext) {
-  let typeAssertionVerified;
-
-  const typeAssertionString = localContext.nodeAsString(typeAssertionNode);
-
-  localContext.trace(`Verifying the '${typeAssertionString}' type assertion...`, typeAssertionNode);
-
-  typeAssertionVerified = verifyTypeAssertionFunctions.some((verifyTypeAssertionFunction) => {
-    const typeAssertionVerified = verifyTypeAssertionFunction(typeAssertionNode, assignments, stated, localContext);
-
-    if (typeAssertionVerified) {
-      return true;
-    }
-  });
-
-  if (typeAssertionVerified) {
-    localContext.debug(`...verified the '${typeAssertionString}' type assertion.`, typeAssertionNode);
-  }
-
-  return typeAssertionVerified;
-}
-
-function verifyDerivedTypeAssertion(typeAssertionNode, assignments, stated, localContext) {
-  let derivedTypeAssertionVerified = false;
-
-  if (!stated) {
-    const typeAssertionString = localContext.nodeAsString(typeAssertionNode);
-
-    localContext.trace(`Verifying the '${typeAssertionString}' derived type assertion...`, typeAssertionNode);
-
-    const typeNode = typeNodeQuery(typeAssertionNode),
-          type = localContext.findTypeByTypeNode(typeNode);
-
-    if (type === null) {
-      const typeString = localContext.nodeAsString(typeNode);
-
-      localContext.debug(`The '${typeString}' type is not present.`, typeNode);
-    }
-
-    const terms = [],
-          termNode = termNodeQuery(typeAssertionNode),
-          termVerified = verifyTerm(termNode, terms, localContext, () => {
-            let verifiedAhead = false;
-
-            const firstTerm = first(terms),
-                  term = firstTerm, ///
-                  termType = localContext.getTermType(term),
-                  typeEqualToOrSuperTypeOfTermType = type.isEqualToOrSuperTypeOf(termType);
-
-            if (typeEqualToOrSuperTypeOfTermType) {
-              verifiedAhead = true;
-            }
-
-            return verifiedAhead;
-          });
-
-    derivedTypeAssertionVerified = termVerified; ///
-
-    if (derivedTypeAssertionVerified) {
-      localContext.debug(`...verified the '${typeAssertionString}' derived type assertion.`, typeAssertionNode);
-    }
-  }
-
-  return derivedTypeAssertionVerified;
-}
-
-function verifyStatedTypeAssertion(typeAssertionNode, assignments, stated, localContext) {
-  let statedTypeAssertionVerified = false;
-
-  if (stated) {
-    const typeAssertionString = localContext.nodeAsString(typeAssertionNode);
-
-    localContext.trace(`Verifying the '${typeAssertionString}' stated type assertion...`, typeAssertionNode);
-
-    const typeNode = typeNodeQuery(typeAssertionNode),
-          type = localContext.findTypeByTypeNode(typeNode);
-
-    if (type === null) {
-      const typeString = localContext.nodeAsString(typeNode);
-
-      localContext.debug(`The '${typeString}' type is not present.`, typeNode);
-    } else {
-      const terms = [],
-            termNode = termNodeQuery(typeAssertionNode),
-            termVerified = verifyTerm(termNode, terms, localContext, () => {
-              let verifiedAhead = false;
-
-              const firstTerm = first(terms),
-                    term = firstTerm, ///
-                    termType = term.getType(),
-                    typeEqualToOrSubTypeOfTermType = type.isEqualToOrSubTypeOf(termType);
-
-              if (typeEqualToOrSubTypeOfTermType) {
-                const variableNode = variableNodeQuery(termNode);
-
-                if (variableNode !== null) {
-                  if (assignments !== null) {
-                    const variable = Variable.fromVariableNodeAndType(variableNode, type),
-                          variableAssignment = VariableAssignment.fromVariable(variable),
-                          assignment = variableAssignment;  ///
-
-                    assignments.push(assignment);
-                  }
-                }
-
-                verifiedAhead = true;
-              }
-
-              return verifiedAhead;
-            });
-
-      statedTypeAssertionVerified = termVerified; ///
-    }
-
-    if (statedTypeAssertionVerified) {
-      localContext.debug(`...verified the '${typeAssertionString}' stated type assertion.`, typeAssertionNode);
-    }
-  }
-
-  return statedTypeAssertionVerified;
-}