occam-verify-cli 0.0.1065 → 0.0.1066

package/lib/ocmbinator/bracketed.js

@@ -1,157 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return BracketedCombinator;
-    }
-});
-var _shim = /*#__PURE__*/ _interop_require_default(require("../shim"));
-var _combinator = /*#__PURE__*/ _interop_require_default(require("../combinator"));
-var _bracketed = /*#__PURE__*/ _interop_require_wildcard(require("../node/statement/combinator/bracketed"));
-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 _getRequireWildcardCache(nodeInterop) {
-    if (typeof WeakMap !== "function") return null;
-    var cacheBabelInterop = new WeakMap();
-    var cacheNodeInterop = new WeakMap();
-    return (_getRequireWildcardCache = function(nodeInterop) {
-        return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
-    })(nodeInterop);
-}
-function _interop_require_wildcard(obj, nodeInterop) {
-    if (!nodeInterop && obj && obj.__esModule) {
-        return obj;
-    }
-    if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
-        return {
-            default: obj
-        };
-    }
-    var cache = _getRequireWildcardCache(nodeInterop);
-    if (cache && cache.has(obj)) {
-        return cache.get(obj);
-    }
-    var newObj = {
-        __proto__: null
-    };
-    var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
-    for(var key in obj){
-        if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
-            var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
-            if (desc && (desc.get || desc.set)) {
-                Object.defineProperty(newObj, key, desc);
-            } else {
-                newObj[key] = obj[key];
-            }
-        }
-    }
-    newObj.default = obj;
-    if (cache) {
-        cache.set(obj, newObj);
-    }
-    return newObj;
-}
-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 localContext = {
-    nodeAsString: function(node) {
-        var string = _bracketed.bracketedCombinatorStatementString; ///
-        return string;
-    }
-};
-var BracketedCombinator = /*#__PURE__*/ function(Combinator) {
-    _inherits(BracketedCombinator, Combinator);
-    function BracketedCombinator() {
-        _class_call_check(this, BracketedCombinator);
-        return _call_super(this, BracketedCombinator, arguments);
-    }
-    _create_class(BracketedCombinator, null, [
-        {
-            key: "fromNothing",
-            value: function fromNothing() {
-                var Statement = _shim.default.Statement, statementNode = _bracketed.default, statement = Statement.fromStatementNode(statementNode, localContext), bracketedCombinator = new BracketedCombinator(statement);
-                return bracketedCombinator;
-            }
-        }
-    ]);
-    return BracketedCombinator;
-}(_combinator.default);
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9vY21iaW5hdG9yL2JyYWNrZXRlZC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHNoaW0gZnJvbSBcIi4uL3NoaW1cIjtcbmltcG9ydCBDb21iaW5hdG9yIGZyb20gXCIuLi9jb21iaW5hdG9yXCI7XG5pbXBvcnQgYnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudE5vZGUgZnJvbSBcIi4uL25vZGUvc3RhdGVtZW50L2NvbWJpbmF0b3IvYnJhY2tldGVkXCI7XG5cbmltcG9ydCB7IGJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnRTdHJpbmcgfSBmcm9tIFwiLi4vbm9kZS9zdGF0ZW1lbnQvY29tYmluYXRvci9icmFja2V0ZWRcIjtcblxuY29uc3QgbG9jYWxDb250ZXh0ID0ge1xuICBub2RlQXNTdHJpbmc6IChub2RlKSA9PiB7XG4gICAgY29uc3Qgc3RyaW5nID0gYnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudFN0cmluZzsgIC8vL1xuXG4gICAgcmV0dXJuIHN0cmluZztcbiAgfVxufTtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgQnJhY2tldGVkQ29tYmluYXRvciBleHRlbmRzIENvbWJpbmF0b3Ige1xuICBzdGF0aWMgZnJvbU5vdGhpbmcoKSB7XG4gICAgY29uc3QgeyBTdGF0ZW1lbnQgfSA9IHNoaW0sXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IGJyYWNrZXRlZENvbWJpbmF0b3JTdGF0ZW1lbnROb2RlLCAgLy8vXG4gICAgICAgICAgc3RhdGVtZW50ID0gU3RhdGVtZW50LmZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIGxvY2FsQ29udGV4dCksXG4gICAgICAgICAgYnJhY2tldGVkQ29tYmluYXRvciA9IG5ldyBCcmFja2V0ZWRDb21iaW5hdG9yKHN0YXRlbWVudCk7XG5cbiAgICByZXR1cm4gYnJhY2tldGVkQ29tYmluYXRvcjtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkJyYWNrZXRlZENvbWJpbmF0b3IiLCJsb2NhbENvbnRleHQiLCJub2RlQXNTdHJpbmciLCJub2RlIiwic3RyaW5nIiwiYnJhY2tldGVkQ29tYmluYXRvclN0YXRlbWVudFN0cmluZyIsImZyb21Ob3RoaW5nIiwiU3RhdGVtZW50Iiwic2hpbSIsInN0YXRlbWVudE5vZGUiLCJicmFja2V0ZWRDb21iaW5hdG9yU3RhdGVtZW50Tm9kZSIsInN0YXRlbWVudCIsImZyb21TdGF0ZW1lbnROb2RlIiwiYnJhY2tldGVkQ29tYmluYXRvciIsIkNvbWJpbmF0b3IiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBZ0JxQkE7OzsyREFkSjtpRUFDTTtpRUFDc0I7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUk3QyxJQUFNQyxlQUFlO0lBQ25CQyxjQUFjLFNBQUNDO1FBQ2IsSUFBTUMsU0FBU0MsNkNBQWtDLEVBQUcsR0FBRztRQUV2RCxPQUFPRDtJQUNUO0FBQ0Y7QUFFZSxJQUFBLEFBQU1KLG9DQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDWk0sS0FBQUE7bUJBQVAsU0FBT0E7Z0JBQ0wsSUFBTSxBQUFFQyxZQUFjQyxhQUFJLENBQWxCRCxXQUNGRSxnQkFBZ0JDLGtCQUFnQyxFQUNoREMsWUFBWUosVUFBVUssaUJBQWlCLENBQUNILGVBQWVSLGVBQ3ZEWSxzQkFBc0IsSUFMWGIsb0JBS21DVztnQkFFcEQsT0FBT0U7WUFDVDs7O1dBUm1CYjtFQUE0QmMsbUJBQVUifQ==

package/lib/substitution/statement.js

@@ -1,163 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return StatementSubstitution;
-    }
-});
-var _substitution = /*#__PURE__*/ _interop_require_default(require("../substitution"));
-var _substitution1 = /*#__PURE__*/ _interop_require_default(require("../verifier/substitution"));
-var _query = require("../utilities/query");
-var _node = require("../utilities/node");
-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 substitutionNodeQuery = (0, _query.nodeQuery)("/statement/substitution");
-var StatementSubstitution = /*#__PURE__*/ function(Substitution) {
-    _inherits(StatementSubstitution, Substitution);
-    function StatementSubstitution(string, node) {
-        _class_call_check(this, StatementSubstitution);
-        var _this;
-        _this = _call_super(this, StatementSubstitution, [
-            string
-        ]);
-        _this.node = node;
-        return _this;
-    }
-    _create_class(StatementSubstitution, [
-        {
-            key: "getNode",
-            value: function getNode() {
-                return this.node;
-            }
-        },
-        {
-            key: "verify",
-            value: function verify(assignments, stated, localContext) {
-                var verified;
-                var statementSubstitutionString = this.string; ///
-                localContext.trace("Verifying the '".concat(statementSubstitutionString, "' statement substitution..."));
-                var substitutionNode = this.node, substitutionVerified = _substitution1.default.verify(substitutionNode, assignments, stated, localContext);
-                verified = substitutionVerified; ///
-                if (verified) {
-                    localContext.debug("...verified the '".concat(statementSubstitutionString, "' statement substitution."));
-                }
-                return verified;
-            }
-        },
-        {
-            key: "toJSON",
-            value: function toJSON() {
-                var string = this.getString(), json = {
-                    string: string
-                };
-                return json;
-            }
-        }
-    ], [
-        {
-            key: "fromJSON",
-            value: function fromJSON(json, fileContext) {
-                var statementSubstitution = null;
-                if (json !== null) {
-                    var string = json.string, lexer = fileContext.getLexer(), parser = fileContext.getParser(), substitutionString = string, substitutionNode = (0, _node.substitutionNodeFromSubstitutionString)(substitutionString, lexer, parser), node = substitutionNode;
-                    statementSubstitution = new _substitution.default(string, node);
-                }
-                return statementSubstitution;
-            }
-        },
-        {
-            key: "fromStatementNode",
-            value: function fromStatementNode(statementNode, fileContext) {
-                var statementSubstitution = null;
-                var substitutionNode = substitutionNodeQuery(statementNode);
-                if (substitutionNode) {
-                    var node = substitutionNode, string = fileContext.nodeAsString(substitutionNode);
-                    statementSubstitution = new StatementSubstitution(string, node);
-                }
-                return statementSubstitution;
-            }
-        }
-    ]);
-    return StatementSubstitution;
-}(_substitution.default);
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zdWJzdGl0dXRpb24vc3RhdGVtZW50LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgU3Vic3RpdHV0aW9uIGZyb20gXCIuLi9zdWJzdGl0dXRpb25cIjtcbmltcG9ydCBzdWJzdGl0dXRpb25WZXJpZmllciBmcm9tIFwiLi4vdmVyaWZpZXIvc3Vic3RpdHV0aW9uXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcbmltcG9ydCB7IHN1YnN0aXR1dGlvbk5vZGVGcm9tU3Vic3RpdHV0aW9uU3RyaW5nIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9ub2RlXCI7XG5cbmNvbnN0IHN1YnN0aXR1dGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zdGF0ZW1lbnQvc3Vic3RpdHV0aW9uXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTdGF0ZW1lbnRTdWJzdGl0dXRpb24gZXh0ZW5kcyBTdWJzdGl0dXRpb24ge1xuICBjb25zdHJ1Y3RvcihzdHJpbmcsIG5vZGUpIHtcbiAgICBzdXBlcihzdHJpbmcpO1xuXG4gICAgdGhpcy5ub2RlID0gbm9kZTtcbiAgfVxuXG4gIGdldE5vZGUoKSB7XG4gICAgcmV0dXJuIHRoaXMubm9kZTtcbiAgfVxuXG4gIHZlcmlmeShhc3NpZ25tZW50cywgc3RhdGVkLCBsb2NhbENvbnRleHQpIHtcbiAgICBsZXQgdmVyaWZpZWQ7XG5cbiAgICBjb25zdCBzdGF0ZW1lbnRTdWJzdGl0dXRpb25TdHJpbmcgPSB0aGlzLnN0cmluZzsgIC8vL1xuXG4gICAgbG9jYWxDb250ZXh0LnRyYWNlKGBWZXJpZnlpbmcgdGhlICcke3N0YXRlbWVudFN1YnN0aXR1dGlvblN0cmluZ30nIHN0YXRlbWVudCBzdWJzdGl0dXRpb24uLi5gKTtcblxuICAgIGNvbnN0IHN1YnN0aXR1dGlvbk5vZGUgPSB0aGlzLm5vZGUsIC8vL1xuICAgICAgICAgIHN1YnN0aXR1dGlvblZlcmlmaWVkID0gc3Vic3RpdHV0aW9uVmVyaWZpZXIudmVyaWZ5KHN1YnN0aXR1dGlvbk5vZGUsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGxvY2FsQ29udGV4dCk7XG5cbiAgICB2ZXJpZmllZCA9IHN1YnN0aXR1dGlvblZlcmlmaWVkOyAgLy8vXG5cbiAgICBpZiAodmVyaWZpZWQpIHtcbiAgICAgIGxvY2FsQ29udGV4dC5kZWJ1ZyhgLi4udmVyaWZpZWQgdGhlICcke3N0YXRlbWVudFN1YnN0aXR1dGlvblN0cmluZ30nIHN0YXRlbWVudCBzdWJzdGl0dXRpb24uYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZlcmlmaWVkO1xuICB9XG5cbiAgdG9KU09OKCkge1xuICAgIGNvbnN0IHN0cmluZyA9IHRoaXMuZ2V0U3RyaW5nKCksXG4gICAgICAgICAganNvbiA9IHtcbiAgICAgICAgICAgIHN0cmluZ1xuICAgICAgICAgIH07XG5cbiAgICByZXR1cm4ganNvbjtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tSlNPTihqc29uLCBmaWxlQ29udGV4dCkge1xuICAgIGxldCBzdGF0ZW1lbnRTdWJzdGl0dXRpb24gPSBudWxsO1xuXG4gICAgaWYgKGpzb24gIT09IG51bGwpIHtcbiAgICAgIGNvbnN0IHsgc3RyaW5nIH0gPSBqc29uLFxuICAgICAgICAgICAgbGV4ZXIgPSBmaWxlQ29udGV4dC5nZXRMZXhlcigpLFxuICAgICAgICAgICAgcGFyc2VyID0gZmlsZUNvbnRleHQuZ2V0UGFyc2VyKCksXG4gICAgICAgICAgICBzdWJzdGl0dXRpb25TdHJpbmcgPSBzdHJpbmcsICAvLy9cbiAgICAgICAgICAgIHN1YnN0aXR1dGlvbk5vZGUgPSBzdWJzdGl0dXRpb25Ob2RlRnJvbVN1YnN0aXR1dGlvblN0cmluZyhzdWJzdGl0dXRpb25TdHJpbmcsIGxleGVyLCBwYXJzZXIpLFxuICAgICAgICAgICAgbm9kZSA9IHN1YnN0aXR1dGlvbk5vZGU7XG5cbiAgICAgIHN0YXRlbWVudFN1YnN0aXR1dGlvbiA9IG5ldyBTdWJzdGl0dXRpb24oc3RyaW5nLCBub2RlKTtcbiAgICB9XG5cbiAgICByZXR1cm4gc3RhdGVtZW50U3Vic3RpdHV0aW9uO1xuICB9XG5cbiAgc3RhdGljIGZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIGZpbGVDb250ZXh0KSB7XG4gICAgbGV0IHN0YXRlbWVudFN1YnN0aXR1dGlvbiA9IG51bGw7XG5cbiAgICBjb25zdCBzdWJzdGl0dXRpb25Ob2RlID0gc3Vic3RpdHV0aW9uTm9kZVF1ZXJ5KHN0YXRlbWVudE5vZGUpO1xuXG4gICAgaWYgKHN1YnN0aXR1dGlvbk5vZGUpIHtcbiAgICAgIGNvbnN0IG5vZGUgPSBzdWJzdGl0dXRpb25Ob2RlLCAgLy8vXG4gICAgICAgICAgICBzdHJpbmcgPSBmaWxlQ29udGV4dC5ub2RlQXNTdHJpbmcoc3Vic3RpdHV0aW9uTm9kZSk7XG5cbiAgICAgIHN0YXRlbWVudFN1YnN0aXR1dGlvbiA9IG5ldyBTdGF0ZW1lbnRTdWJzdGl0dXRpb24oc3RyaW5nLCBub2RlKTtcbiAgICB9XG5cbiAgICByZXR1cm4gc3RhdGVtZW50U3Vic3RpdHV0aW9uO1xuICB9XG59XG4iXSwibmFtZXMiOlsiU3RhdGVtZW50U3Vic3RpdHV0aW9uIiwic3Vic3RpdHV0aW9uTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5Iiwic3RyaW5nIiwibm9kZSIsImdldE5vZGUiLCJ2ZXJpZnkiLCJhc3NpZ25tZW50cyIsInN0YXRlZCIsImxvY2FsQ29udGV4dCIsInZlcmlmaWVkIiwic3RhdGVtZW50U3Vic3RpdHV0aW9uU3RyaW5nIiwidHJhY2UiLCJzdWJzdGl0dXRpb25Ob2RlIiwic3Vic3RpdHV0aW9uVmVyaWZpZWQiLCJzdWJzdGl0dXRpb25WZXJpZmllciIsImRlYnVnIiwidG9KU09OIiwiZ2V0U3RyaW5nIiwianNvbiIsImZyb21KU09OIiwiZmlsZUNvbnRleHQiLCJzdGF0ZW1lbnRTdWJzdGl0dXRpb24iLCJsZXhlciIsImdldExleGVyIiwicGFyc2VyIiwiZ2V0UGFyc2VyIiwic3Vic3RpdHV0aW9uU3RyaW5nIiwic3Vic3RpdHV0aW9uTm9kZUZyb21TdWJzdGl0dXRpb25TdHJpbmciLCJTdWJzdGl0dXRpb24iLCJmcm9tU3RhdGVtZW50Tm9kZSIsInN0YXRlbWVudE5vZGUiLCJub2RlQXNTdHJpbmciXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBVXFCQTs7O21FQVJJO29FQUNRO3FCQUVQO29CQUM2Qjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUV2RCxJQUFNQyx3QkFBd0JDLElBQUFBLGdCQUFTLEVBQUM7QUFFekIsSUFBQSxBQUFNRixzQ0FBTjtjQUFNQTthQUFBQSxzQkFDUEcsTUFBTSxFQUFFQyxJQUFJO2dDQURMSjs7Z0JBRWpCLGtCQUZpQkE7WUFFWEc7O1FBRU4sTUFBS0MsSUFBSSxHQUFHQTs7O2tCQUpLSjs7WUFPbkJLLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0QsSUFBSTtZQUNsQjs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQSxPQUFPQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsWUFBWTtnQkFDdEMsSUFBSUM7Z0JBRUosSUFBTUMsOEJBQThCLElBQUksQ0FBQ1IsTUFBTSxFQUFHLEdBQUc7Z0JBRXJETSxhQUFhRyxLQUFLLENBQUMsQUFBQyxrQkFBNkMsT0FBNUJELDZCQUE0QjtnQkFFakUsSUFBTUUsbUJBQW1CLElBQUksQ0FBQ1QsSUFBSSxFQUM1QlUsdUJBQXVCQyxzQkFBb0IsQ0FBQ1QsTUFBTSxDQUFDTyxrQkFBa0JOLGFBQWFDLFFBQVFDO2dCQUVoR0MsV0FBV0ksc0JBQXVCLEdBQUc7Z0JBRXJDLElBQUlKLFVBQVU7b0JBQ1pELGFBQWFPLEtBQUssQ0FBQyxBQUFDLG9CQUErQyxPQUE1QkwsNkJBQTRCO2dCQUNyRTtnQkFFQSxPQUFPRDtZQUNUOzs7WUFFQU8sS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1kLFNBQVMsSUFBSSxDQUFDZSxTQUFTLElBQ3ZCQyxPQUFPO29CQUNMaEIsUUFBQUE7Z0JBQ0Y7Z0JBRU4sT0FBT2dCO1lBQ1Q7Ozs7WUFFT0MsS0FBQUE7bUJBQVAsU0FBT0EsU0FBU0QsSUFBSSxFQUFFRSxXQUFXO2dCQUMvQixJQUFJQyx3QkFBd0I7Z0JBRTVCLElBQUlILFNBQVMsTUFBTTtvQkFDakIsSUFBTSxBQUFFaEIsU0FBV2dCLEtBQVhoQixRQUNGb0IsUUFBUUYsWUFBWUcsUUFBUSxJQUM1QkMsU0FBU0osWUFBWUssU0FBUyxJQUM5QkMscUJBQXFCeEIsUUFDckJVLG1CQUFtQmUsSUFBQUEsNENBQXNDLEVBQUNELG9CQUFvQkosT0FBT0UsU0FDckZyQixPQUFPUztvQkFFYlMsd0JBQXdCLElBQUlPLHFCQUFZLENBQUMxQixRQUFRQztnQkFDbkQ7Z0JBRUEsT0FBT2tCO1lBQ1Q7OztZQUVPUSxLQUFBQTttQkFBUCxTQUFPQSxrQkFBa0JDLGFBQWEsRUFBRVYsV0FBVztnQkFDakQsSUFBSUMsd0JBQXdCO2dCQUU1QixJQUFNVCxtQkFBbUJaLHNCQUFzQjhCO2dCQUUvQyxJQUFJbEIsa0JBQWtCO29CQUNwQixJQUFNVCxPQUFPUyxrQkFDUFYsU0FBU2tCLFlBQVlXLFlBQVksQ0FBQ25CO29CQUV4Q1Msd0JBQXdCLElBakVUdEIsc0JBaUVtQ0csUUFBUUM7Z0JBQzVEO2dCQUVBLE9BQU9rQjtZQUNUOzs7V0FyRW1CdEI7RUFBOEI2QixxQkFBWSJ9

package/lib/verifier/substitution.js

@@ -1,161 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _shim = /*#__PURE__*/ _interop_require_default(require("../shim"));
-var _verifier = /*#__PURE__*/ _interop_require_default(require("../verifier"));
-var _query = require("../utilities/query");
-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 _define_property(obj, key, value) {
-    if (key in obj) {
-        Object.defineProperty(obj, key, {
-            value: value,
-            enumerable: true,
-            configurable: true,
-            writable: true
-        });
-    } else {
-        obj[key] = value;
-    }
-    return obj;
-}
-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 termNodeQuery = (0, _query.nodeQuery)("/term"), frameNodeQuery = (0, _query.nodeQuery)("/frame"), variableNodeQuery = (0, _query.nodeQuery)("/variable"), metavariableNodeQuery = (0, _query.nodeQuery)("/metavariable");
-var SubstitutionVerifier = /*#__PURE__*/ function(Verifier) {
-    _inherits(SubstitutionVerifier, Verifier);
-    function SubstitutionVerifier() {
-        _class_call_check(this, SubstitutionVerifier);
-        return _call_super(this, SubstitutionVerifier, arguments);
-    }
-    _create_class(SubstitutionVerifier, [
-        {
-            key: "verify",
-            value: function verify(substitutionNode, assignments, stated, localContext) {
-                var substitutionVerified;
-                var nonTerminalNode = substitutionNode, nonTerminalNodeVerified = this.verifyNonTerminalNode(nonTerminalNode, assignments, stated, localContext);
-                substitutionVerified = nonTerminalNodeVerified; ///
-                return substitutionVerified;
-            }
-        }
-    ]);
-    return SubstitutionVerifier;
-}(_verifier.default);
-_define_property(SubstitutionVerifier, "maps", [
-    {
-        nodeQuery: metavariableNodeQuery,
-        verify: function(metavariableNode, assignments, stated, localContext) {
-            var Metavariable = _shim.default.Metavariable, metavariable = Metavariable.fromMetavariableNode(metavariableNode, localContext), metavariableVerified = metavariable.verify(localContext);
-            return metavariableVerified;
-        }
-    },
-    {
-        nodeQuery: variableNodeQuery,
-        verify: function(variableNode, assignments, stated, localContext) {
-            var Variable = _shim.default.Variable, variable = Variable.fromVariableNode(variableNode, localContext), variableVerified = variable.verify(localContext);
-            return variableVerified;
-        }
-    },
-    {
-        nodeQuery: frameNodeQuery,
-        verify: function(frameNode, assignments, stated, localContext) {
-            var Frame = _shim.default.Frame, frame = Frame.fromFrameNode(frameNode, localContext), frameVerified = frame.verify(localContext);
-            return frameVerified;
-        }
-    },
-    {
-        nodeQuery: termNodeQuery,
-        verify: function(termNode, assignments, stated, localContext) {
-            var Term = _shim.default.Term, term = Term.fromTermNode(termNode, localContext), termVerified = term.verify(localContext, function() {
-                var verifiedAhead = true;
-                return verifiedAhead;
-            });
-            return termVerified;
-        }
-    }
-]);
-var substitutionVerifier = new SubstitutionVerifier();
-var _default = substitutionVerifier;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9zdWJzdGl0dXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBzaGltIGZyb20gXCIuLi9zaGltXCI7XG5pbXBvcnQgVmVyaWZpZXIgZnJvbSBcIi4uL3ZlcmlmaWVyXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90ZXJtXCIpLFxuICAgICAgZnJhbWVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvZnJhbWVcIiksXG4gICAgICB2YXJpYWJsZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi92YXJpYWJsZVwiKSxcbiAgICAgIG1ldGF2YXJpYWJsZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9tZXRhdmFyaWFibGVcIik7XG5cbmNsYXNzIFN1YnN0aXR1dGlvblZlcmlmaWVyIGV4dGVuZHMgVmVyaWZpZXIge1xuICB2ZXJpZnkoc3Vic3RpdHV0aW9uTm9kZSwgYXNzaWdubWVudHMsIHN0YXRlZCwgbG9jYWxDb250ZXh0KSB7XG4gICAgbGV0IHN1YnN0aXR1dGlvblZlcmlmaWVkO1xuXG4gICAgY29uc3Qgbm9uVGVybWluYWxOb2RlID0gc3Vic3RpdHV0aW9uTm9kZSwgLy8vXG4gICAgICAgICAgbm9uVGVybWluYWxOb2RlVmVyaWZpZWQgPSB0aGlzLnZlcmlmeU5vblRlcm1pbmFsTm9kZShub25UZXJtaW5hbE5vZGUsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGxvY2FsQ29udGV4dCk7XG5cbiAgICBzdWJzdGl0dXRpb25WZXJpZmllZCA9IG5vblRlcm1pbmFsTm9kZVZlcmlmaWVkOyAgLy8vXG5cbiAgICByZXR1cm4gc3Vic3RpdHV0aW9uVmVyaWZpZWQ7XG4gIH1cblxuICBzdGF0aWMgbWFwcyA9IFtcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IG1ldGF2YXJpYWJsZU5vZGVRdWVyeSxcbiAgICAgIHZlcmlmeTogKG1ldGF2YXJpYWJsZU5vZGUsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGxvY2FsQ29udGV4dCkgPT4ge1xuICAgICAgICBjb25zdCB7IE1ldGF2YXJpYWJsZSB9ID0gc2hpbSxcbiAgICAgICAgICAgICAgbWV0YXZhcmlhYmxlID0gTWV0YXZhcmlhYmxlLmZyb21NZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUsIGxvY2FsQ29udGV4dCksXG4gICAgICAgICAgICAgIG1ldGF2YXJpYWJsZVZlcmlmaWVkID0gbWV0YXZhcmlhYmxlLnZlcmlmeShsb2NhbENvbnRleHQpO1xuXG4gICAgICAgIHJldHVybiBtZXRhdmFyaWFibGVWZXJpZmllZDtcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogdmFyaWFibGVOb2RlUXVlcnksXG4gICAgICB2ZXJpZnk6ICh2YXJpYWJsZU5vZGUsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGxvY2FsQ29udGV4dCkgPT4ge1xuICAgICAgICBjb25zdCB7IFZhcmlhYmxlIH0gPSBzaGltLFxuICAgICAgICAgICAgICB2YXJpYWJsZSA9IFZhcmlhYmxlLmZyb21WYXJpYWJsZU5vZGUodmFyaWFibGVOb2RlLCBsb2NhbENvbnRleHQpLFxuICAgICAgICAgICAgICB2YXJpYWJsZVZlcmlmaWVkID0gdmFyaWFibGUudmVyaWZ5KGxvY2FsQ29udGV4dCk7XG5cbiAgICAgICAgcmV0dXJuIHZhcmlhYmxlVmVyaWZpZWQ7XG4gICAgICB9XG4gICAgfSxcbiAgICB7XG4gICAgICBub2RlUXVlcnk6IGZyYW1lTm9kZVF1ZXJ5LFxuICAgICAgdmVyaWZ5OiAoZnJhbWVOb2RlLCBhc3NpZ25tZW50cywgc3RhdGVkLCBsb2NhbENvbnRleHQpID0+IHtcbiAgICAgICAgY29uc3QgeyBGcmFtZSB9ID0gc2hpbSxcbiAgICAgICAgICAgICAgZnJhbWUgPSBGcmFtZS5mcm9tRnJhbWVOb2RlKGZyYW1lTm9kZSwgbG9jYWxDb250ZXh0KSxcbiAgICAgICAgICAgICAgZnJhbWVWZXJpZmllZCA9IGZyYW1lLnZlcmlmeShsb2NhbENvbnRleHQpO1xuXG4gICAgICAgIHJldHVybiBmcmFtZVZlcmlmaWVkO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB0ZXJtTm9kZVF1ZXJ5LFxuICAgICAgdmVyaWZ5OiAodGVybU5vZGUsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGxvY2FsQ29udGV4dCkgPT4ge1xuICAgICAgICBjb25zdCB7IFRlcm0gfSA9IHNoaW0sXG4gICAgICAgICAgICAgIHRlcm0gPSBUZXJtLmZyb21UZXJtTm9kZSh0ZXJtTm9kZSwgbG9jYWxDb250ZXh0KSxcbiAgICAgICAgICAgICAgdGVybVZlcmlmaWVkID0gdGVybS52ZXJpZnkobG9jYWxDb250ZXh0LCAoKSA9PiB7XG4gICAgICAgICAgICAgICAgY29uc3QgdmVyaWZpZWRBaGVhZCA9IHRydWU7XG5cbiAgICAgICAgICAgICAgICByZXR1cm4gdmVyaWZpZWRBaGVhZDtcbiAgICAgICAgICAgICAgfSk7XG5cbiAgICAgICAgcmV0dXJuIHRlcm1WZXJpZmllZDtcbiAgICAgIH1cbiAgICB9XG4gIF07XG59XG5cbmNvbnN0IHN1YnN0aXR1dGlvblZlcmlmaWVyID0gbmV3IFN1YnN0aXR1dGlvblZlcmlmaWVyKCk7XG5cbmV4cG9ydCBkZWZhdWx0IHN1YnN0aXR1dGlvblZlcmlmaWVyO1xuIl0sIm5hbWVzIjpbInRlcm1Ob2RlUXVlcnkiLCJub2RlUXVlcnkiLCJmcmFtZU5vZGVRdWVyeSIsInZhcmlhYmxlTm9kZVF1ZXJ5IiwibWV0YXZhcmlhYmxlTm9kZVF1ZXJ5IiwiU3Vic3RpdHV0aW9uVmVyaWZpZXIiLCJ2ZXJpZnkiLCJzdWJzdGl0dXRpb25Ob2RlIiwiYXNzaWdubWVudHMiLCJzdGF0ZWQiLCJsb2NhbENvbnRleHQiLCJzdWJzdGl0dXRpb25WZXJpZmllZCIsIm5vblRlcm1pbmFsTm9kZSIsIm5vblRlcm1pbmFsTm9kZVZlcmlmaWVkIiwidmVyaWZ5Tm9uVGVybWluYWxOb2RlIiwiVmVyaWZpZXIiLCJtYXBzIiwibWV0YXZhcmlhYmxlTm9kZSIsIk1ldGF2YXJpYWJsZSIsInNoaW0iLCJtZXRhdmFyaWFibGUiLCJmcm9tTWV0YXZhcmlhYmxlTm9kZSIsIm1ldGF2YXJpYWJsZVZlcmlmaWVkIiwidmFyaWFibGVOb2RlIiwiVmFyaWFibGUiLCJ2YXJpYWJsZSIsImZyb21WYXJpYWJsZU5vZGUiLCJ2YXJpYWJsZVZlcmlmaWVkIiwiZnJhbWVOb2RlIiwiRnJhbWUiLCJmcmFtZSIsImZyb21GcmFtZU5vZGUiLCJmcmFtZVZlcmlmaWVkIiwidGVybU5vZGUiLCJUZXJtIiwidGVybSIsImZyb21UZXJtTm9kZSIsInRlcm1WZXJpZmllZCIsInZlcmlmaWVkQWhlYWQiLCJzdWJzdGl0dXRpb25WZXJpZmllciJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBMEVBOzs7ZUFBQTs7OzJEQXhFaUI7K0RBQ0k7cUJBRUs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRTFCLElBQU1BLGdCQUFnQkMsSUFBQUEsZ0JBQVMsRUFBQyxVQUMxQkMsaUJBQWlCRCxJQUFBQSxnQkFBUyxFQUFDLFdBQzNCRSxvQkFBb0JGLElBQUFBLGdCQUFTLEVBQUMsY0FDOUJHLHdCQUF3QkgsSUFBQUEsZ0JBQVMsRUFBQztBQUV4QyxJQUFBLEFBQU1JLHFDQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtpQ0FBQUE7O2tCQUFBQTs7WUFDSkMsS0FBQUE7bUJBQUFBLFNBQUFBLE9BQU9DLGdCQUFnQixFQUFFQyxXQUFXLEVBQUVDLE1BQU0sRUFBRUMsWUFBWTtnQkFDeEQsSUFBSUM7Z0JBRUosSUFBTUMsa0JBQWtCTCxrQkFDbEJNLDBCQUEwQixJQUFJLENBQUNDLHFCQUFxQixDQUFDRixpQkFBaUJKLGFBQWFDLFFBQVFDO2dCQUVqR0MsdUJBQXVCRSx5QkFBMEIsR0FBRztnQkFFcEQsT0FBT0Y7WUFDVDs7O1dBVklOO0VBQTZCVSxpQkFBUTtBQVl6QyxpQkFaSVYsc0JBWUdXLFFBQU87SUFDWjtRQUNFZixXQUFXRztRQUNYRSxRQUFRLFNBQUNXLGtCQUFrQlQsYUFBYUMsUUFBUUM7WUFDOUMsSUFBTSxBQUFFUSxlQUFpQkMsYUFBSSxDQUFyQkQsY0FDRkUsZUFBZUYsYUFBYUcsb0JBQW9CLENBQUNKLGtCQUFrQlAsZUFDbkVZLHVCQUF1QkYsYUFBYWQsTUFBTSxDQUFDSTtZQUVqRCxPQUFPWTtRQUNUO0lBQ0Y7SUFDQTtRQUNFckIsV0FBV0U7UUFDWEcsUUFBUSxTQUFDaUIsY0FBY2YsYUFBYUMsUUFBUUM7WUFDMUMsSUFBTSxBQUFFYyxXQUFhTCxhQUFJLENBQWpCSyxVQUNGQyxXQUFXRCxTQUFTRSxnQkFBZ0IsQ0FBQ0gsY0FBY2IsZUFDbkRpQixtQkFBbUJGLFNBQVNuQixNQUFNLENBQUNJO1lBRXpDLE9BQU9pQjtRQUNUO0lBQ0Y7SUFDQTtRQUNFMUIsV0FBV0M7UUFDWEksUUFBUSxTQUFDc0IsV0FBV3BCLGFBQWFDLFFBQVFDO1lBQ3ZDLElBQU0sQUFBRW1CLFFBQVVWLGFBQUksQ0FBZFUsT0FDRkMsUUFBUUQsTUFBTUUsYUFBYSxDQUFDSCxXQUFXbEIsZUFDdkNzQixnQkFBZ0JGLE1BQU14QixNQUFNLENBQUNJO1lBRW5DLE9BQU9zQjtRQUNUO0lBQ0Y7SUFDQTtRQUNFL0IsV0FBV0Q7UUFDWE0sUUFBUSxTQUFDMkIsVUFBVXpCLGFBQWFDLFFBQVFDO1lBQ3RDLElBQU0sQUFBRXdCLE9BQVNmLGFBQUksQ0FBYmUsTUFDRkMsT0FBT0QsS0FBS0UsWUFBWSxDQUFDSCxVQUFVdkIsZUFDbkMyQixlQUFlRixLQUFLN0IsTUFBTSxDQUFDSSxjQUFjO2dCQUN2QyxJQUFNNEIsZ0JBQWdCO2dCQUV0QixPQUFPQTtZQUNUO1lBRU4sT0FBT0Q7UUFDVDtJQUNGO0NBQ0Q7QUFHSCxJQUFNRSx1QkFBdUIsSUFBSWxDO0lBRWpDLFdBQWVrQyJ9

package/src/node/statement/bracketed.js

@@ -1,9 +0,0 @@
-"use strict";
-
-import { statementNodeFromStatementString } from "../../utilities/node";
-
-const bracketedStatementString = "(n=m)";
-
-const bracketedStatementNode = statementNodeFromStatementString(bracketedStatementString);
-
-export default bracketedStatementNode;

package/src/node/statement/combinator/bracketed.js

@@ -1,10 +0,0 @@
-"use strict";
-
-import { STATEMENT_META_TYPE_NAME } from "../../../metaTypeNames";
-import { statementNodeFromStatementString } from "../../../utilities/node";
-
-export const bracketedCombinatorStatementString = `(${STATEMENT_META_TYPE_NAME})`;
-
-const bracketedCombinatorStatementNode = statementNodeFromStatementString(bracketedCombinatorStatementString)
-
-export default bracketedCombinatorStatementNode;

package/src/node/term/bracketed.js

@@ -1,9 +0,0 @@
-"use strict";
-
-import { termNodeFromTermString } from "../../utilities/node";
-
-const bracketedTermString = "(n)";
-
-const bracketedTermNode = termNodeFromTermString(bracketedTermString);
-
-export default bracketedTermNode;

package/src/node/term/constructor/bracketed.js

@@ -1,10 +0,0 @@
-"use strict";
-
-import { OBJECT_TYPE_NAME } from "../../../typeNames";
-import { termNodeFromTermString } from "../../../utilities/node";
-
-export const bracketedConstructorTermString = `(${OBJECT_TYPE_NAME})`;
-
-const bracketedConstructorTermNode = termNodeFromTermString(bracketedConstructorTermString)
-
-export default bracketedConstructorTermNode;

package/src/ocmbinator/bracketed.js

@@ -1,26 +0,0 @@
-"use strict";
-
-import shim from "../shim";
-import Combinator from "../combinator";
-import bracketedCombinatorStatementNode from "../node/statement/combinator/bracketed";
-
-import { bracketedCombinatorStatementString } from "../node/statement/combinator/bracketed";
-
-const localContext = {
-  nodeAsString: (node) => {
-    const string = bracketedCombinatorStatementString;  ///
-
-    return string;
-  }
-};
-
-export default class BracketedCombinator extends Combinator {
-  static fromNothing() {
-    const { Statement } = shim,
-          statementNode = bracketedCombinatorStatementNode,  ///
-          statement = Statement.fromStatementNode(statementNode, localContext),
-          bracketedCombinator = new BracketedCombinator(statement);
-
-    return bracketedCombinator;
-  }
-}

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;
-  }
-}