occam-verify-cli 0.0.1016 → 0.0.1020

package/src/verify/termAsConstructor.js

@@ -1,66 +0,0 @@
-"use strict";
-
-import Constructor from "../constructor";
-import termAsConstructorVerifier from "../verifier/termAsConstructor";
-
-import { first } from "../utilities/array";
-
-export default function verifyTermAsConstructor(termNode, typeNode, fileContext) {
-  let termVerifiedAsConstructor = false;
-
-  const termString = fileContext.nodeAsString(termNode);
-
-  fileContext.debug(`Verifying the '${termString}' term as a constructor...`, termNode);
-
-  const types = [],
-        typeVerified = verifyType(typeNode, types, fileContext);
-
-  let type;
-
-  if (typeVerified) {
-    const firstType = first(types);
-
-    type = firstType; ///
-
-    termVerifiedAsConstructor = termAsConstructorVerifier.verifyTerm(termNode, fileContext);
-  }
-
-  if (termVerifiedAsConstructor) {
-    const tokens = fileContext.getTokens(),
-          constructor = Constructor.fromTermNodeTypeAndTokens(termNode, type, tokens);
-
-    fileContext.addConstructor(constructor);
-  }
-
-  if (termVerifiedAsConstructor) {
-    fileContext.debug(`...verified the '${termString}' term as a constructor.`, termNode);
-  }
-
-  return termVerifiedAsConstructor;
-}
-
-function verifyType(typeNode, types, fileContext) {
-  let typeVerified = false;
-
-  if (typeNode === null) {
-    const type = null;
-
-    types.push(type);
-
-    typeVerified = true;
-  } else {
-    const type = fileContext.findTypeByTypeNode(typeNode);
-
-    if (type !== null) {
-      types.push(type);
-
-      typeVerified = true;
-    } else {
-      const typeString = fileContext.nodeAsString(typeNode);
-
-      fileContext.debug(`The '${typeString}' type is not present.`, typeNode);
-    }
-  }
-
-  return typeVerified;
-}

package/src/verify/termGivenType.js

@@ -1,32 +0,0 @@
-"use strict";
-
-import shim from "../shim";
-
-import { first } from "../utilities/array";
-
-export default function verifyTermGivenType(termNode, type, localContext) {
-  let termVerifiedGivenType = false;
-
-  if (type !== null) {
-    const { verifyTerm } = shim,
-          terms = [],
-          termVerified = verifyTerm(termNode, terms, localContext, () => {
-            let verifiedAhead = false;
-
-            const firstTerm = first(terms),
-                  term = firstTerm, ///
-                  termType = term.getType(),
-                  termTypeEqualToOrSubTypeOfType = termType.isEqualToOrSubTypeOf(type);
-
-            if (termTypeEqualToOrSubTypeOfType) {
-              verifiedAhead = true;
-            }
-
-            return verifiedAhead;
-          });
-
-    termVerifiedGivenType = termVerified; ///
-  }
-
-  return termVerifiedGivenType;
-}

package/src/verify/terms.js

@@ -1,38 +0,0 @@
-"use strict";
-
-import verifyTerm from "../verify/term";
-
-import { first, second } from "../utilities/array";
-
-export default function verifyTerms(termNodes, terms, localContext, verifyAhead) {
-  let termsVerified;
-
-  const firstTermNode = first(termNodes),
-        secondTermNode = second(termNodes),
-        firstTermString = localContext.nodeAsString(firstTermNode),
-        secondTermString = localContext.nodeAsString(secondTermNode);
-
-  localContext.trace(`Verifying the '${firstTermString}' and '${secondTermString}' terms...`, firstTermNode);
-
-  const firstTermVerified = verifyTerm(firstTermNode, terms, localContext, () => {
-          let verifiedAhead;
-
-          const secondTermVerified = verifyTerm(secondTermNode, terms, localContext, () => {
-            const verifiedAhead = verifyAhead();
-
-            return verifiedAhead;
-          });
-
-          verifiedAhead = secondTermVerified;  ///
-
-          return verifiedAhead;
-        });
-
-  termsVerified = firstTermVerified; ///
-
-  if (termsVerified) {
-    localContext.debug(`...verified the '${firstTermString}' and '${secondTermString}' terms.`, firstTermNode);
-  }
-
-  return termsVerified
-}

package/src/verify/type.js

@@ -1,19 +0,0 @@
-"use strict";
-
-export default function verifyType(typeNode, localContext) {
-  let typeVerified;
-
-  const typeString = localContext.nodeAsString(typeNode);
-
-  localContext.trace(`Verifying the '${typeString}' type...`, typeNode);
-
-  const typePresent = localContext.isTypePresentByTypeNode(typeNode);
-
-  typeVerified = typePresent; ///
-
-  if (typeVerified) {
-    localContext.debug(`...verified the '${typeString}' type.`, typeNode);
-  }
-
-  return typeVerified;
-}

package/src/verify/variable.js

@@ -1,21 +0,0 @@
-"use strict";
-
-export default function verifyVariable(variableNode, localContext) {
-  let variableVerified = false;
-
-  const variableString = localContext.nodeAsString(variableNode);
-
-  localContext.trace(`Verifying the '${variableString}' variable...`, variableNode);
-
-  const variablePresent = localContext.isVariablePresentByVariableNode(variableNode);
-
-  if (variablePresent) {
-    variableVerified = true;
-  }
-
-  if (variableVerified) {
-    localContext.debug(`...verified the '${variableString}' variable.`, variableNode);
-  }
-
-  return variableVerified;
-}