occam-verify-cli 0.0.1063 → 0.0.1066

package/src/substitution/statement.js

@@ -1,81 +0,0 @@
-"use strict";
-
-import Substitution from "../substitution";
-import substitutionVerifier from "../verifier/substitution";
-
-import { nodeQuery } from "../utilities/query";
-import { substitutionNodeFromSubstitutionString } from "../utilities/node";
-
-const substitutionNodeQuery = nodeQuery("/statement/substitution");
-
-export default class StatementSubstitution extends Substitution {
-  constructor(string, node) {
-    super(string);
-
-    this.node = node;
-  }
-
-  getNode() {
-    return this.node;
-  }
-
-  verify(assignments, stated, localContext) {
-    let verified;
-
-    const statementSubstitutionString = this.string;  ///
-
-    localContext.trace(`Verifying the '${statementSubstitutionString}' statement substitution...`);
-
-    const substitutionNode = this.node, ///
-          substitutionVerified = substitutionVerifier.verify(substitutionNode, assignments, stated, localContext);
-
-    verified = substitutionVerified;  ///
-
-    if (verified) {
-      localContext.debug(`...verified the '${statementSubstitutionString}' statement substitution.`);
-    }
-
-    return verified;
-  }
-
-  toJSON() {
-    const string = this.getString(),
-          json = {
-            string
-          };
-
-    return json;
-  }
-
-  static fromJSON(json, fileContext) {
-    let statementSubstitution = null;
-
-    if (json !== null) {
-      const { string } = json,
-            lexer = fileContext.getLexer(),
-            parser = fileContext.getParser(),
-            substitutionString = string,  ///
-            substitutionNode = substitutionNodeFromSubstitutionString(substitutionString, lexer, parser),
-            node = substitutionNode;
-
-      statementSubstitution = new Substitution(string, node);
-    }
-
-    return statementSubstitution;
-  }
-
-  static fromStatementNode(statementNode, fileContext) {
-    let statementSubstitution = null;
-
-    const substitutionNode = substitutionNodeQuery(statementNode);
-
-    if (substitutionNode) {
-      const node = substitutionNode,  ///
-            string = fileContext.nodeAsString(substitutionNode);
-
-      statementSubstitution = new StatementSubstitution(string, node);
-    }
-
-    return statementSubstitution;
-  }
-}

package/src/unify/frameWithMetaType.js

@@ -1,14 +0,0 @@
-"use strict";
-
-import verifyFrameGivenMetaType from "../verify/frameGivenMetaType";
-
-export default function unifyFrameWithMetaType(frameNode, metaTypeNode, assignments, stated, localContext) {
-  let frameUnifiedWithMetaType;
-
-  const metaType = localContext.findMetaTypeByMetaTypeName(metaTypeNode),
-        frameVerifiedGivenMetaType = verifyFrameGivenMetaType(frameNode, metaType, assignments, stated, localContext);
-
-  frameUnifiedWithMetaType = frameVerifiedGivenMetaType;  ///
-
-  return frameUnifiedWithMetaType;
-}

package/src/verifier/substitution.js

@@ -1,75 +0,0 @@
-"use strict";
-
-import shim from "../shim";
-import Verifier from "../verifier";
-
-import { nodeQuery } from "../utilities/query";
-
-const termNodeQuery = nodeQuery("/term"),
-      frameNodeQuery = nodeQuery("/frame"),
-      variableNodeQuery = nodeQuery("/variable"),
-      metavariableNodeQuery = nodeQuery("/metavariable");
-
-class SubstitutionVerifier extends Verifier {
-  verify(substitutionNode, assignments, stated, localContext) {
-    let substitutionVerified;
-
-    const nonTerminalNode = substitutionNode, ///
-          nonTerminalNodeVerified = this.verifyNonTerminalNode(nonTerminalNode, assignments, stated, localContext);
-
-    substitutionVerified = nonTerminalNodeVerified;  ///
-
-    return substitutionVerified;
-  }
-
-  static maps = [
-    {
-      nodeQuery: metavariableNodeQuery,
-      verify: (metavariableNode, assignments, stated, localContext) => {
-        const { Metavariable } = shim,
-              metavariable = Metavariable.fromMetavariableNode(metavariableNode, localContext),
-              metavariableVerified = metavariable.verify(localContext);
-
-        return metavariableVerified;
-      }
-    },
-    {
-      nodeQuery: variableNodeQuery,
-      verify: (variableNode, assignments, stated, localContext) => {
-        const { Variable } = shim,
-              variable = Variable.fromVariableNode(variableNode, localContext),
-              variableVerified = variable.verify(localContext);
-
-        return variableVerified;
-      }
-    },
-    {
-      nodeQuery: frameNodeQuery,
-      verify: (frameNode, assignments, stated, localContext) => {
-        const { Frame } = shim,
-              frame = Frame.fromFrameNode(frameNode, localContext),
-              frameVerified = frame.verify(localContext);
-
-        return frameVerified;
-      }
-    },
-    {
-      nodeQuery: termNodeQuery,
-      verify: (termNode, assignments, stated, localContext) => {
-        const { Term } = shim,
-              term = Term.fromTermNode(termNode, localContext),
-              termVerified = term.verify(localContext, () => {
-                const verifiedAhead = true;
-
-                return verifiedAhead;
-              });
-
-        return termVerified;
-      }
-    }
-  ];
-}
-
-const substitutionVerifier = new SubstitutionVerifier();
-
-export default substitutionVerifier;

package/src/verify/frameGivenMetaType.js

@@ -1,31 +0,0 @@
-"use strict";
-
-import shim from "../shim";
-
-import { FRAME_META_TYPE_NAME } from "../metaTypeNames";
-
-export default function verifyFrameGivenMetaType(frameNode, metaType, assignments, stated, localContext) {
-  let frameVerifiedGivenMetaType;
-
-  const metaTypeName = metaType.getName();
-
-  switch (metaTypeName) {
-    case FRAME_META_TYPE_NAME: {
-      const { verifyFrame } = shim,
-            frames = [],
-            frameVerified = verifyFrame(frameNode, frames, stated, localContext)
-
-      frameVerifiedGivenMetaType = frameVerified; ///
-
-      break;
-    }
-
-    default: {
-      debugger
-
-      break;
-    }
-  }
-
-  return frameVerifiedGivenMetaType;
-}