occam-verify-cli 0.0.527 → 0.0.529

package/src/matcher/statementForMetavariable/premise.js

@@ -1,9 +0,0 @@
-"use strict";
-
-import StatementForMetavariableMatcher from "../../matcher/statementForMetavariable";
-
-class PremiseStatementForMetavariableMatcher extends StatementForMetavariableMatcher {
-  static createSubstitutions = true;
-}
-
-export const premiseStatementForMetavariableMatcher = new PremiseStatementForMetavariableMatcher();

package/src/matcher/termForVariable/consequence.js

@@ -1,9 +0,0 @@
-"use strict";
-
-import TermForVariableMatcher from "../../matcher/termForVariable";
-
-class ConsequenceTermForVariableMatcher extends TermForVariableMatcher {
-  static createSubstitutions = false;
-}
-
-export const consequenceTermForVariableMatcher = new ConsequenceTermForVariableMatcher();

package/src/matcher/termForVariable/supposition.js

@@ -1,9 +0,0 @@
-"use strict";
-
-import TermForVariableMatcher from "../../matcher/termForVariable";
-
-class SuppositionTermForVariableMatcher extends TermForVariableMatcher {
-  static createSubstitutions = true;
-}
-
-export const suppositionTermForVariableMatcher = new SuppositionTermForVariableMatcher();

package/src/mixins/callbacks.js

@@ -1,15 +0,0 @@
-"use strict";
-
-function halt(node) { this.context.halt(node); }
-
-function begin(node) { this.context.begin(node); }
-
-function complete(node) { this.context.complete(node); }
-
-const callbacksMixins = {
-  halt,
-  begin,
-  complete
-};
-
-export default callbacksMixins;

package/src/utilities/substitution.js

@@ -1,81 +0,0 @@
-    "use strict";
-
-import { matcher } from "../matcher";
-import { first, second, third } from "../utilities/array";
-import { METASTATEMENT_RULE_NAME } from "../ruleNames";
-import { BRACKETED_CHILD_NODES_LENGTH, LEFT_BRACKET, RIGHT_BRACKET } from "../constants";
-
-export function matchBracketedNonTerminalNode(nonTerminalNodeA, nonTerminalNodeB) {
-  let bracketedNodeMatches = false;
-
-  if (!bracketedNodeMatches) {
-    const nonTerminalNodeMatches = matcher.matchNonTerminalNode(nonTerminalNodeA, nonTerminalNodeB);
-
-    bracketedNodeMatches = nonTerminalNodeMatches;  ///
-  }
-
-  if (!bracketedNodeMatches) {
-    const nonTerminalNodeAChildNodes = nonTerminalNodeA.getChildNodes(),
-          childNodesA = nonTerminalNodeAChildNodes, ///
-          ruleName = METASTATEMENT_RULE_NAME,
-          bracketedNonTerminalChildNodeA = bracketedNonTerminalChildNodeFromChildNodes(childNodesA, ruleName);
-
-    if (bracketedNonTerminalChildNodeA !== null) {
-      const nodeA = bracketedNonTerminalChildNodeA,  ///
-            nodeB = nonTerminalNodeB, ///
-            nodeMatches = matcher.matchNode(nodeA, nodeB);
-
-      bracketedNodeMatches = nodeMatches; ///
-    }
-  }
-
-  if (!bracketedNodeMatches) {
-    const nonTerminalNodeBChildNodes = nonTerminalNodeB.getChildNodes(),
-          childNodesB = nonTerminalNodeBChildNodes, ///
-          ruleName = METASTATEMENT_RULE_NAME,
-          bracketedNonTerminalChildNodeB = bracketedNonTerminalChildNodeFromChildNodes(childNodesB, ruleName);
-
-    if (bracketedNonTerminalChildNodeB !== null) {
-      const nodeB = bracketedNonTerminalChildNodeB,  ///
-            nodeA = nonTerminalNodeA, ///
-            nodeMatches = matchNode(nodeA, nodeB);
-
-      bracketedNodeMatches = nodeMatches; ///
-    }
-  }
-
-  return bracketedNodeMatches;
-}
-
-export function bracketedNonTerminalChildNodeFromChildNodes(childNodes, ruleName) {
-  let bracketedNonTerminalChildNode = null;
-
-  const childNodesLength = childNodes.length;
-
-  if (childNodesLength === BRACKETED_CHILD_NODES_LENGTH) {
-    const firstChildNode = first(childNodes),
-          thirdChildNode = third(childNodes),
-          secondChildNode = second(childNodes),
-          firstChildNodeTerminalNode = firstChildNode.isTerminalNode(),
-          thirdChildNodeTerminalNode = thirdChildNode.isTerminalNode(),
-          secondChildNodeNonTerminalNode = secondChildNode.isNonTerminalNode();
-
-    if (firstChildNodeTerminalNode && secondChildNodeNonTerminalNode && thirdChildNodeTerminalNode) {
-      const nonTerminalNode = secondChildNode,  ///
-            firstTerminalNode = firstChildNode, ///
-            secondTerminalNode = thirdChildNode,  ///
-            nonTerminalNodeRuleName = nonTerminalNode.getRuleName(),
-            firstTerminalNodeContent = firstTerminalNode.getContent(),
-            secondTerminalNodeContent = secondTerminalNode.getContent(),
-            nonTerminalNodeRuleNameRuleName = (nonTerminalNodeRuleName === ruleName),
-            firstTerminalNodeContentLeftBracket = (firstTerminalNodeContent === LEFT_BRACKET),
-            secondTerminalNodeContentRightBracket = (secondTerminalNodeContent === RIGHT_BRACKET);
-
-      if (nonTerminalNodeRuleNameRuleName && firstTerminalNodeContentLeftBracket && secondTerminalNodeContentRightBracket) {
-        bracketedNonTerminalChildNode = nonTerminalNode;  ///
-      }
-    }
-  }
-
-  return bracketedNonTerminalChildNode;
-}