occam-verify-cli 1.0.781 → 1.0.785

package/src/element/substitution/metaLevel.js

@@ -1,212 +0,0 @@
-"use strict";
-
-import Substitution from "../substitution";
-
-import { define } from "../../elements";
-import { instantiateMetaLevelSubstitution } from "../../process/instantiate";
-import { metaLevelSubstitutionFromMetaLevelSubstitutionNode } from "../../utilities/element";
-import { metaLevelSubstitutionStringFromStatementAndReference } from "../../utilities/string";
-import { descend, simplify, serialise, unserialise, instantiate } from "../../utilities/context";
-
-export default define(class MetaLevelSubstitution extends Substitution {
-  constructor(context, string, node, targetReference, replacementStatement) {
-    super(context, string, node);
-
-    this.targetReference = targetReference;
-    this.replacementStatement = replacementStatement;
-  }
-
-  getTargetReference() {
-    return this.targetReference;
-  }
-
-  getReplacementStatement() {
-    return this.replacementStatement;
-  }
-
-  getMetaLevelSubstitutionNode() {
-    const node = this.getNode(),
-          metaLevelSubstitutionNode = node; ///
-
-    return metaLevelSubstitutionNode;
-  }
-
-  getTargetNode() {
-    const targetReferenceNode = this.targetReference.getNode(),
-          tergetNode = targetReferenceNode; ///
-
-    return tergetNode;
-  }
-
-  getReplacementNode() {
-    const replacementStatementNode = this.replacementStatement.getNode(),
-          replacementNode = replacementStatementNode; ///
-
-    return replacementNode;
-  }
-
-  matchMetaLevelSubstitutionNode(metaLevelSubstitutionNode) {
-    const node = metaLevelSubstitutionNode, ///
-          nodeMatches = this.matchNode(node),
-          metaLevelSubstitutionNodeMatches = nodeMatches; ///
-
-    return metaLevelSubstitutionNodeMatches;
-  }
-
-  findValidMetaLevelSubstiution(context) {
-    const metaLevelSubstitutionNode = this.getMetaLevelSubstitutionNode(),
-          metaLevelSubstitution = context.findMetaLevelSubstitutionByMetaLevelSubstitutionNode(metaLevelSubstitutionNode),
-          validMetaLevelSubstitution = metaLevelSubstitution;  ///
-
-    return validMetaLevelSubstitution;
-  }
-
-  validate(generalContext, specificContext) {
-    let metaLevelSubstitution = null;
-
-    const context = specificContext,  ///
-          metaLevelSubstitutionString = this.getString();  ///
-
-    context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution...`);
-
-    const validMetaLevelSubstitution = this.findValidMetaLevelSubstiution(context);
-
-    if (validMetaLevelSubstitution) {
-      metaLevelSubstitution = validMetaLevelSubstitution;  ///
-
-      context.debug(`...the '${metaLevelSubstitutionString}' meta-level substitution is already valid.`);
-    } else {
-      let validates = false;
-
-      const targetReferenceValidates = this.validateTargetReference(generalContext, specificContext);
-
-      if (targetReferenceValidates) {
-        const replacementStatementValidates = this.validateReplacementStatement(generalContext, specificContext);
-
-        if (replacementStatementValidates) {
-          validates = true;
-        }
-      }
-
-      if (validates) {
-        metaLevelSubstitution = this; ///
-
-        context.addMetaLevelSubstitution(metaLevelSubstitution);
-
-        context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution.`);
-      }
-    }
-
-    return metaLevelSubstitution;
-  }
-
-  validateTargetReference(generalContext, specificContext) {
-    let targetReferenceValidates = false;
-
-    const context = generalContext, ///
-          targetReferenceString = this.targetReference.getString(),
-          metaLevelSubstitutionString = this.getString();  ///
-
-    context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution's '${targetReferenceString}' target reference...`);
-
-    const targetReference = this.targetReference.validate(context);
-
-    if (targetReference !== null) {
-      targetReferenceValidates = true;
-    }
-
-    if (targetReferenceValidates) {
-      context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution's '${targetReferenceString}' target reference...`);
-    }
-
-    return targetReferenceValidates;
-  }
-
-  validateReplacementStatement(generalContext, specificContext) {
-    let replacementStatementValidates = false;
-
-    const context = this.getContext(),
-          replacementStatementString = this.replacementStatement.getString(),
-          metaLevelSubstitutionString = this.getString();  ///
-
-    context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution's '${replacementStatementString}' replacement statement...`);
-
-    descend((context) => {
-      const replacementStatement = this.replacementStatement.validate(context);
-
-      if (replacementStatement !== null) {
-        replacementStatementValidates = true;
-      }
-    }, context);
-
-    if (replacementStatementValidates) {
-      context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution's '${replacementStatementString}' replacement statement.`);
-    }
-
-    return replacementStatementValidates;
-  }
-
-  toJSON() {
-    const context = this.getContext();
-
-    return serialise((context) => {
-      const string = this.getString(),
-            json = {
-              context,
-              string
-            };
-
-      return json;
-    }, context);
-  }
-
-  static name = "MetaLevelSubstitution";
-
-  static fromJSON(json, context) {
-    let metaLevelSubstitution;
-
-    unserialise((json, context) => {
-      instantiate((context) => {
-        const { string } = json,
-              metaLevelSubstitutionNode = instantiateMetaLevelSubstitution(string, context),
-              node = metaLevelSubstitutionNode, ///
-              targetReference = targetReferenceFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context),
-              replacementStatement = replacementStatementFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context);
-
-        metaLevelSubstitution = new MetaLevelSubstitution(context, string, node, targetReference, replacementStatement);
-      }, context);
-    }, json, context);
-
-    return metaLevelSubstitution;
-  }
-
-  static fromStatementAndReference(statement, reference, context) {
-    let metaLevelSubstitution;
-
-    simplify((context) => {
-      instantiate((context) => {
-        const metaLevelSubstitutionString = metaLevelSubstitutionStringFromStatementAndReference(statement, reference),
-              string = metaLevelSubstitutionString,  ///
-              metaLevelSubstitutionNode = instantiateMetaLevelSubstitution(string, context);
-
-        metaLevelSubstitution = metaLevelSubstitutionFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context);
-      }, context);
-    }, context);
-
-    return metaLevelSubstitution;
-  }
-});
-
-function targetReferenceFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context) {
-  const targetReferenceNode = metaLevelSubstitutionNode.getTargetReferenceNode(),
-        targetReference = context.findReferenceByReferenceNode(targetReferenceNode);
-
-  return targetReference;
-}
-
-function replacementStatementFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context) {
-  const replacementStatementNode = metaLevelSubstitutionNode.getReplacementStatementNode(),
-        replacementStatement = context.findStatementByStatementNode(replacementStatementNode);
-
-  return replacementStatement;
-}

package/src/node/substitution/metaLevel.js

@@ -1,37 +0,0 @@
-"use strict";
-
-import SubstitutionNode from "../../node/substitution";
-
-import { STATEMENT_RULE_NAME, REFERENCE_RULE_NAME } from "../../ruleNames";
-
-export default class MetaLevelSubstitutionNode extends SubstitutionNode {
-  getTargetReferenceNode() {
-    const referenceNode = this.getReferenceNode(),
-          targetReferenceNode = referenceNode; ///
-
-    return targetReferenceNode;
-  }
-
-  getReplacementStatementNode() {
-    const statementNode = this.getStatementNode(),
-          replacementStatementNode = statementNode; ///
-
-    return replacementStatementNode;
-  }
-
-  getReferenceNode() {
-    const ruleName = REFERENCE_RULE_NAME,
-          referenceNode = this.getNodeByRuleName(ruleName);
-
-    return referenceNode;
-  }
-
-  getStatementNode() {
-    const ruleName = STATEMENT_RULE_NAME,
-          statementNode = this.getFirstNodeByRuleName(ruleName);
-
-    return statementNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return SubstitutionNode.fromRuleNameChildNodesOpacityAndPrecedence(MetaLevelSubstitutionNode, ruleName, childNodes, opacity, precedence); }
-}