occam-verify-cli 1.0.301 → 1.0.302

package/lib/node/substitution/reference.js

@@ -1,123 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return ReferenceSubstitutionNode;
-    }
-});
-var _nonTerminal = /*#__PURE__*/ _interop_require_default(require("../../node/nonTerminal"));
-var _ruleNames = require("../../ruleNames");
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var ReferenceSubstitutionNode = /*#__PURE__*/ function(NonTerminalNode) {
-    _inherits(ReferenceSubstitutionNode, NonTerminalNode);
-    function ReferenceSubstitutionNode() {
-        _class_call_check(this, ReferenceSubstitutionNode);
-        return _call_super(this, ReferenceSubstitutionNode, arguments);
-    }
-    _create_class(ReferenceSubstitutionNode, [
-        {
-            key: "getLastReferenceNode",
-            value: function getLastReferenceNode() {
-                var ruleName = _ruleNames.REFERENCE_RULE_NAME, lastReferenceNode = this.getLastNodeByRuleName(ruleName);
-                return lastReferenceNode;
-            }
-        },
-        {
-            key: "getFirstReferenceNode",
-            value: function getFirstReferenceNode() {
-                var ruleName = _ruleNames.REFERENCE_RULE_NAME, firstReferenceNode = this.getFirstNodeByRuleName(ruleName);
-                return firstReferenceNode;
-            }
-        }
-    ], [
-        {
-            key: "fromRuleNameChildNodesOpacityAndPrecedence",
-            value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-                return _nonTerminal.default.fromRuleNameChildNodesOpacityAndPrecedence(ReferenceSubstitutionNode, ruleName, childNodes, opacity, precedence);
-            }
-        }
-    ]);
-    return ReferenceSubstitutionNode;
-}(_nonTerminal.default);
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3N1YnN0aXR1dGlvbi9yZWZlcmVuY2UuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uLy4uL25vZGUvbm9uVGVybWluYWxcIjtcblxuaW1wb3J0IHsgUkVGRVJFTkNFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi8uLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUmVmZXJlbmNlU3Vic3RpdHV0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldExhc3RSZWZlcmVuY2VOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgICBsYXN0UmVmZXJlbmNlTm9kZSA9IHRoaXMuZ2V0TGFzdE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBsYXN0UmVmZXJlbmNlTm9kZTtcbiAgfVxuXG4gIGdldEZpcnN0UmVmZXJlbmNlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFJFRkVSRU5DRV9SVUxFX05BTUUsXG4gICAgICAgICAgZmlyc3RSZWZlcmVuY2VOb2RlID0gdGhpcy5nZXRGaXJzdE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBmaXJzdFJlZmVyZW5jZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFJlZmVyZW5jZVN1YnN0aXR1dGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlJlZmVyZW5jZVN1YnN0aXR1dGlvbk5vZGUiLCJnZXRMYXN0UmVmZXJlbmNlTm9kZSIsInJ1bGVOYW1lIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsImxhc3RSZWZlcmVuY2VOb2RlIiwiZ2V0TGFzdE5vZGVCeVJ1bGVOYW1lIiwiZ2V0Rmlyc3RSZWZlcmVuY2VOb2RlIiwiZmlyc3RSZWZlcmVuY2VOb2RlIiwiZ2V0Rmlyc3ROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFNcUJBOzs7a0VBSk87eUJBRVE7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFckIsSUFBQSxBQUFNQSwwQ0FBTjtjQUFNQTthQUFBQTtnQ0FBQUE7UUFBTixPQUFBLGtCQUFNQTs7a0JBQUFBOztZQUNuQkMsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsb0JBQW9CLElBQUksQ0FBQ0MscUJBQXFCLENBQUNIO2dCQUVyRCxPQUFPRTtZQUNUOzs7WUFFQUUsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1KLFdBQVdDLDhCQUFtQixFQUM5QkkscUJBQXFCLElBQUksQ0FBQ0Msc0JBQXNCLENBQUNOO2dCQUV2RCxPQUFPSztZQUNUOzs7O1lBRU9FLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ1AsUUFBUSxFQUFFUSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxvQkFBZSxDQUFDSiwwQ0FBMEMsQ0FmN0lULDJCQWV5S0UsVUFBVVEsWUFBWUMsU0FBU0M7WUFBYTs7O1dBZnJOWjtFQUFrQ2Esb0JBQWUifQ==

package/src/context/partial/substitution/reference.js

@@ -1,18 +0,0 @@
-"use strict";
-
-import PartialContext from "../../../context/partial";
-
-import { ruleFromBNF } from "../../../context/partial";
-
-const bnf = `
-
-        _ ::= referenceSubstitution... <END_OF_LINE> ;
-            
-      `,
-      rule = ruleFromBNF(bnf);
-
-export default class ReferenceSubstitutionPartialContext extends PartialContext {
-  static rule = rule;
-
-  static fromStringLexerAndParser(string, lexer, parser) { return PartialContext.fromStringLexerAndParser(ReferenceSubstitutionPartialContext, string, lexer, parser); }
-}

package/src/dom/substitution/reference.js

@@ -1,75 +0,0 @@
-"use strict";
-
-import dom from "../../dom";
-import Substitution from "../substitution";
-import ReferenceSubstitutionPartialContext from "../../context/partial/substitution/reference";
-
-import { domAssigned } from "../../dom";
-
-export default domAssigned(class ReferenceSubstitution extends Substitution {
-  constructor(string, node, tokens, reference, metavariable) {
-    super(string, node, tokens);
-
-    this.reference = reference;
-    this.metavariable = metavariable;
-  }
-
-  getReference() {
-    return this.reference;
-  }
-
-  getMetavariable() {
-    return this.metavariable;
-  }
-
-  isReferenceEqualTo(reference) { return this.reference.isEqualTo(reference); }
-
-  isMetavariableEqualTo(metavariable) { return this.metavariable.isEqualTo(metavariable); }
-
-  static fromStatementNode(statementNode, context) {
-    let referenceSubstitution = null;
-
-    const referenceSubstitutionNode = statementNode.getReferenceSubstitutionNode();
-
-    if (referenceSubstitutionNode !== null) {
-      const lastReferenceNode = referenceSubstitutionNode.getLastReferenceNode(),
-            firstReferenceNode = referenceSubstitutionNode.getFirstReferenceNode(),
-            singularMetavariableNode = lastReferenceNode.getSingularMetavariableNode();
-
-      if (singularMetavariableNode !== null) {
-        const { Reference, Metavariable } = dom,
-              referenceNode = firstReferenceNode, ///
-              metavariableNode = singularMetavariableNode,  ///
-              reference = Reference.fromReferenceNode(referenceNode, context),
-              metavariable = Metavariable.fromMetavariableNode(metavariableNode, context),
-              node = referenceSubstitutionNode,  ///
-              tokens = context.nodeAsTokens(node),
-              string = stringFromReferenceAndMetavariable(reference, metavariable);
-
-        referenceSubstitution = new ReferenceSubstitution(string, node, tokens, reference, metavariable);
-      }
-    }
-
-    return referenceSubstitution;
-  }
-
-  static fromReferenceAndMetavariable(reference, metavariable, context) {
-    const string = stringFromReferenceAndMetavariable(reference, metavariable),
-          lexer = context.getLexer(),
-          parser = context.getParser(),
-          referenceSubstitutionPartialContext = ReferenceSubstitutionPartialContext.fromStringLexerAndParser(string, lexer, parser),
-          node = referenceSubstitutionPartialContext.getNode(),
-          tokens = referenceSubstitutionPartialContext.getTokens(),
-          referenceSubstitution = new ReferenceSubstitution(string, node, tokens, reference, metavariable);
-
-    return referenceSubstitution;
-  }
-});
-
-function stringFromReferenceAndMetavariable(reference, metavariable) {
-  const referenceString = reference.getString(),
-        metavariableString = metavariable.getString(),
-        string = `[${referenceString} for ${metavariableString}]`;
-
-  return string;
-}

package/src/node/substitution/reference.js

@@ -1,23 +0,0 @@
-"use strict";
-
-import NonTerminalNode from "../../node/nonTerminal";
-
-import { REFERENCE_RULE_NAME } from "../../ruleNames";
-
-export default class ReferenceSubstitutionNode extends NonTerminalNode {
-  getLastReferenceNode() {
-    const ruleName = REFERENCE_RULE_NAME,
-          lastReferenceNode = this.getLastNodeByRuleName(ruleName);
-
-    return lastReferenceNode;
-  }
-
-  getFirstReferenceNode() {
-    const ruleName = REFERENCE_RULE_NAME,
-          firstReferenceNode = this.getFirstNodeByRuleName(ruleName);
-
-    return firstReferenceNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ReferenceSubstitutionNode, ruleName, childNodes, opacity, precedence); }
-}