occam-verify-cli 1.0.438 → 1.0.444

package/src/element/statement/combinator.js

@@ -1,59 +0,0 @@
-"use strict";
-
-import { define } from "../../elements";
-import { unifyStatementWithCombinatorStatement } from "../../process/unify";
-import { statementFromJSON, statementToStatementJSON } from "../../utilities/json";
-
-export default define(class CombinatorStatement {
-  constructor(statement) {
-    this.statement = statement;
-  }
-
-  getStatement() {
-    return this.statement;
-  }
-
-  getString() { return this.statement.getString(); }
-
-  getStatementNode() {
-    const statementNode = this.statement.getNode();
-
-    return statementNode;
-  }
-
-  unifyStatement(statement, assignments, stated, context) {
-    let statementUnifies;
-
-    const statementString = statement.getString(),
-          combinatorStatementString = this.getString();
-
-    context.trace(`Unifying the '${statementString}' statement with the '${combinatorStatementString}' combinator's statement...`);
-
-    const combinatorStatement = this, ///
-          statementUnifiesWithCombinator = unifyStatementWithCombinatorStatement(statement, combinatorStatement, assignments, stated, context);
-
-    statementUnifies = statementUnifiesWithCombinator; ///
-
-    if (statementUnifies) {
-      context.debug(`...unified the '${statementString}' statement with the '${combinatorStatementString}' combinator's statement.`);
-    }
-
-    return statementUnifies;
-  }
-
-  toJSON() {
-    const statementJSON = statementToStatementJSON(this.statement),
-          json = statementJSON;
-
-    return json;
-  }
-
-  static name = "CombinatorStatement";
-
-  static fromJSON(json, context) {
-    const statement = statementFromJSON(json, context),
-          combinator = new CombinatorStatement(statement);
-
-    return combinator;
-  }
-});

package/src/mixins/term/verify.js

@@ -1,81 +0,0 @@
-"use strict";
-
-import elements from "../../elements";
-
-function unifyWithBracketedConstructor(term, context, verifyAhead) {
-  let unifiesWithBracketedConstructor;
-
-  const { BracketedConstructor } = elements,
-        bracketedConstructor = BracketedConstructor.fromNothing();
-
-  unifiesWithBracketedConstructor = bracketedConstructor.unifyTerm(term, context, verifyAhead);
-
-  return unifiesWithBracketedConstructor;
-}
-
-function unifyWithConstructors(term, context, verifyAhead) {
-  let unifiesWithConstructors;
-
-  const constructors = context.getConstructors();
-
-  unifiesWithConstructors = constructors.some((constructor) => {
-    const unifiesWithConstructor = constructor.unifyTerm(term, context, verifyAhead);
-
-    if (unifiesWithConstructor) {
-      return true;
-    }
-  });
-
-  return unifiesWithConstructors;
-}
-
-function verifyTermAsVariable(term, context, verifyAhead) {
-  let termVerifiesAsVariable = false;
-
-  const { Variable } = elements,
-        termNode = term.getNode(),
-        singularVariableNode = termNode.getSingularVariableNode();
-
-  if (singularVariableNode !== null) {
-    let variable;
-
-    const termString = term.getString(),
-          variableNode = singularVariableNode;  ///
-
-    variable = Variable.fromVariableNode(variableNode, context);
-
-    context.trace(`Verifying the '${termString}' term as a variable...`);
-
-    const variableVerifies = variable.verify(context);
-
-    if (variableVerifies) {
-      let verifiesAhead;
-
-      const variableIdentifier = variable.getIdentifier();
-
-      variable = context.findVariableByVariableIdentifier(variableIdentifier);
-
-      const type = variable.getType();
-
-      term.setType(type);
-
-      verifiesAhead = verifyAhead();
-
-      termVerifiesAsVariable = verifiesAhead; ///
-    }
-
-    if (termVerifiesAsVariable) {
-      context.debug(`...verified the '${termString}' term as a variable.`);
-    }
-  }
-
-  return termVerifiesAsVariable;
-}
-
-const verifyMixins = [
-  unifyWithBracketedConstructor,
-  unifyWithConstructors,
-  verifyTermAsVariable
-];
-
-export default verifyMixins;