occam-verify-cli 0.0.1092 → 0.0.1094

package/lib/substitution/termForVariable.js

@@ -1,203 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return TermForVariableSubstitution;
-    }
-});
-var _shim = /*#__PURE__*/ _interop_require_default(require("../shim"));
-var _substitution = /*#__PURE__*/ _interop_require_default(require("../substitution"));
-var _query = require("../utilities/query");
-var _brackets = require("../utilities/brackets");
-var _node = require("../utilities/node");
-var _tokens = require("../utilities/tokens");
-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 termNodeQuery = (0, _query.nodeQuery)("/substitution/term[0]"), variableNodeQuery = (0, _query.nodeQuery)("/substitution/term[1]/variable!"), substitutionNodeQuery = (0, _query.nodeQuery)("/statement/substitution");
-var TermForVariableSubstitution = /*#__PURE__*/ function(Substitution) {
-    _inherits(TermForVariableSubstitution, Substitution);
-    function TermForVariableSubstitution(string, node, tokens, term, variable) {
-        _class_call_check(this, TermForVariableSubstitution);
-        var _this;
-        _this = _call_super(this, TermForVariableSubstitution, [
-            string,
-            node,
-            tokens
-        ]);
-        _this.term = term;
-        _this.variable = variable;
-        return _this;
-    }
-    _create_class(TermForVariableSubstitution, [
-        {
-            key: "getTerm",
-            value: function getTerm() {
-                return this.term;
-            }
-        },
-        {
-            key: "getVariable",
-            value: function getVariable() {
-                return this.variable;
-            }
-        },
-        {
-            key: "isEqualTo",
-            value: function isEqualTo(substitution) {
-                var equalTo = false;
-                var term = substitution.getTerm(), variable = substitution.getVariable();
-                if (term !== null && variable !== null) {
-                    var termNode = term.getNode(), variableNode = variable.getNode(), termNodeMatches = this.matchTermNode(termNode), variableNodeMatches = this.matchVariableNode(variableNode);
-                    equalTo = termNodeMatches && variableNodeMatches;
-                }
-                return equalTo;
-            }
-        },
-        {
-            key: "matchTermNode",
-            value: function matchTermNode(termNode) {
-                termNode = (0, _brackets.stripBracketsFromTermNode)(termNode); ///
-                var termNodeMatches = this.term.matchTermNode(termNode);
-                return termNodeMatches;
-            }
-        },
-        {
-            key: "matchVariableName",
-            value: function matchVariableName(variableName) {
-                var variableNameMatches;
-                var variableNameA = variableName; ///
-                variableName = this.variable.getName();
-                var variableNameB = variableName; ///
-                variableNameMatches = variableNameA === variableNameB;
-                return variableNameMatches;
-            }
-        },
-        {
-            key: "unifyWithEquivalence",
-            value: function unifyWithEquivalence(equivalence, substitutions, generalContext, specificContext) {
-                var unifiedWithEquivalence;
-                var termNode = this.term.getNode(), equivalenceMatchesTermNode = equivalence.matchTermNode(termNode);
-                if (equivalenceMatchesTermNode) {
-                    var variableNode = this.variable.getNode(), equivalenceMatchesVariableNode = equivalence.matchVariableNode(variableNode);
-                    if (equivalenceMatchesVariableNode) {
-                        unifiedWithEquivalence = true;
-                    }
-                }
-                return unifiedWithEquivalence;
-            }
-        }
-    ], [
-        {
-            key: "fromStatementNode",
-            value: function fromStatementNode(statementNode, context) {
-                var termForVariableSubstitution = null;
-                var substitutionNode = substitutionNodeQuery(statementNode);
-                if (substitutionNode !== null) {
-                    var termNode = termNodeQuery(substitutionNode), variableNode = variableNodeQuery(substitutionNode);
-                    if (termNode !== null && variableNode !== null) {
-                        var Term = _shim.default.Term, Variable = _shim.default.Variable, term = Term.fromTermNode(termNode, context), variable = Variable.fromVariableNode(variableNode, context), node = substitutionNode, tokens = context.nodeAsTokens(node), string = stringFromTermAndVariable(term, variable);
-                        termForVariableSubstitution = new TermForVariableSubstitution(string, node, tokens, term, variable);
-                    }
-                }
-                return termForVariableSubstitution;
-            }
-        },
-        {
-            key: "fromTernAndVariable",
-            value: function fromTernAndVariable(term, variable, context) {
-                var termNode = term.getNode();
-                termNode = (0, _brackets.stripBracketsFromTermNode)(termNode); ///
-                var Term = _shim.default.Term;
-                term = Term.fromTermNode(termNode, context);
-                var lexer = context.getLexer(), parser = context.getParser(), string = stringFromTermAndVariable(term, variable), substitutionString = string, unqualifiedStatementString = (0, _node.unqualifiedStatementStringFromSubstitutionString)(substitutionString), unqualifiedStatementTokens = (0, _tokens.unqualifiedStatementTokensFromUnqualifiedStatementString)(unqualifiedStatementString, lexer), unqualifiedStatementNode = (0, _node.unqualifiedStatementNodeFromUnqualifiedStatementTokens)(unqualifiedStatementTokens, parser), substitutionNode = (0, _node.substitutionNodeFromUnqualifiedStatementNode)(unqualifiedStatementNode), substitutionTokens = (0, _tokens.substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode)(unqualifiedStatementTokens, substitutionNode), node = substitutionNode, tokens = substitutionTokens, termForVariableSubstitution = new TermForVariableSubstitution(string, node, tokens, term, variable);
-                return termForVariableSubstitution;
-            }
-        }
-    ]);
-    return TermForVariableSubstitution;
-}(_substitution.default);
-function stringFromTermAndVariable(term, variable) {
-    var termString = term.getString(), variableString = variable.getString(), string = "[".concat(termString, " for ").concat(variableString, "]");
-    return string;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zdWJzdGl0dXRpb24vdGVybUZvclZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgc2hpbSBmcm9tIFwiLi4vc2hpbVwiO1xuaW1wb3J0IFN1YnN0aXR1dGlvbiBmcm9tIFwiLi4vc3Vic3RpdHV0aW9uXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcbmltcG9ydCB7IHN0cmlwQnJhY2tldHNGcm9tVGVybU5vZGUgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL2JyYWNrZXRzXCI7XG5pbXBvcnQgeyBzdWJzdGl0dXRpb25Ob2RlRnJvbVVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZSxcbiAgICAgICAgIHVucXVhbGlmaWVkU3RhdGVtZW50U3RyaW5nRnJvbVN1YnN0aXR1dGlvblN0cmluZyxcbiAgICAgICAgIHVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZUZyb21VbnF1YWxpZmllZFN0YXRlbWVudFRva2VucyB9IGZyb20gXCIuLi91dGlsaXRpZXMvbm9kZVwiO1xuaW1wb3J0IHsgdW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnNGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnRTdHJpbmcsXG4gICAgICAgICBzdWJzdGl0dXRpb25Ub2tlbnNGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnNBbmRTdWJzdGl0dXRpb25Ob2RlIH0gZnJvbSBcIi4uL3V0aWxpdGllcy90b2tlbnNcIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zdWJzdGl0dXRpb24vdGVybVswXVwiKSxcbiAgICAgIHZhcmlhYmxlTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3N1YnN0aXR1dGlvbi90ZXJtWzFdL3ZhcmlhYmxlIVwiKSxcbiAgICAgIHN1YnN0aXR1dGlvbk5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi9zdGF0ZW1lbnQvc3Vic3RpdHV0aW9uXCIpO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUZXJtRm9yVmFyaWFibGVTdWJzdGl0dXRpb24gZXh0ZW5kcyBTdWJzdGl0dXRpb24ge1xuICBjb25zdHJ1Y3RvcihzdHJpbmcsIG5vZGUsIHRva2VucywgdGVybSwgdmFyaWFibGUpIHtcbiAgICBzdXBlcihzdHJpbmcsIG5vZGUsIHRva2Vucyk7XG5cbiAgICB0aGlzLnRlcm0gPSB0ZXJtO1xuICAgIHRoaXMudmFyaWFibGUgPSB2YXJpYWJsZTtcbiAgfVxuXG4gIGdldFRlcm0oKSB7XG4gICAgcmV0dXJuIHRoaXMudGVybTtcbiAgfVxuXG4gIGdldFZhcmlhYmxlKCkge1xuICAgIHJldHVybiB0aGlzLnZhcmlhYmxlO1xuICB9XG5cbiAgaXNFcXVhbFRvKHN1YnN0aXR1dGlvbikge1xuICAgIGxldCBlcXVhbFRvID0gZmFsc2U7XG5cbiAgICBjb25zdCB0ZXJtID0gc3Vic3RpdHV0aW9uLmdldFRlcm0oKSxcbiAgICAgICAgICB2YXJpYWJsZSA9IHN1YnN0aXR1dGlvbi5nZXRWYXJpYWJsZSgpO1xuXG4gICAgaWYgKCh0ZXJtICE9PSBudWxsKSAmJiAodmFyaWFibGUgIT09IG51bGwpKSB7XG4gICAgICBjb25zdCB0ZXJtTm9kZSA9IHRlcm0uZ2V0Tm9kZSgpLFxuICAgICAgICAgICAgdmFyaWFibGVOb2RlID0gdmFyaWFibGUuZ2V0Tm9kZSgpLFxuICAgICAgICAgICAgdGVybU5vZGVNYXRjaGVzID0gdGhpcy5tYXRjaFRlcm1Ob2RlKHRlcm1Ob2RlKSxcbiAgICAgICAgICAgIHZhcmlhYmxlTm9kZU1hdGNoZXMgPSB0aGlzLm1hdGNoVmFyaWFibGVOb2RlKHZhcmlhYmxlTm9kZSk7XG5cbiAgICAgIGVxdWFsVG8gPSAodGVybU5vZGVNYXRjaGVzICYmIHZhcmlhYmxlTm9kZU1hdGNoZXMpO1xuICAgIH1cblxuICAgIHJldHVybiBlcXVhbFRvO1xuICB9XG5cbiAgbWF0Y2hUZXJtTm9kZSh0ZXJtTm9kZSkge1xuICAgIHRlcm1Ob2RlID0gc3RyaXBCcmFja2V0c0Zyb21UZXJtTm9kZSh0ZXJtTm9kZSk7IC8vL1xuXG4gICAgY29uc3QgdGVybU5vZGVNYXRjaGVzID0gdGhpcy50ZXJtLm1hdGNoVGVybU5vZGUodGVybU5vZGUpO1xuXG4gICAgcmV0dXJuIHRlcm1Ob2RlTWF0Y2hlcztcbiAgfVxuXG4gIG1hdGNoVmFyaWFibGVOYW1lKHZhcmlhYmxlTmFtZSkge1xuICAgIGxldCB2YXJpYWJsZU5hbWVNYXRjaGVzO1xuXG4gICAgY29uc3QgdmFyaWFibGVOYW1lQSA9IHZhcmlhYmxlTmFtZTsgLy8vXG5cbiAgICB2YXJpYWJsZU5hbWUgPSB0aGlzLnZhcmlhYmxlLmdldE5hbWUoKTtcblxuICAgIGNvbnN0IHZhcmlhYmxlTmFtZUIgPSB2YXJpYWJsZU5hbWU7IC8vL1xuXG4gICAgdmFyaWFibGVOYW1lTWF0Y2hlcyA9ICh2YXJpYWJsZU5hbWVBID09PSB2YXJpYWJsZU5hbWVCKTtcblxuICAgIHJldHVybiB2YXJpYWJsZU5hbWVNYXRjaGVzO1xuICB9XG5cbiAgdW5pZnlXaXRoRXF1aXZhbGVuY2UoZXF1aXZhbGVuY2UsIHN1YnN0aXR1dGlvbnMsIGdlbmVyYWxDb250ZXh0LCBzcGVjaWZpY0NvbnRleHQpIHtcbiAgICBsZXQgdW5pZmllZFdpdGhFcXVpdmFsZW5jZTtcblxuICAgIGNvbnN0IHRlcm1Ob2RlID0gdGhpcy50ZXJtLmdldE5vZGUoKSxcbiAgICAgICAgICBlcXVpdmFsZW5jZU1hdGNoZXNUZXJtTm9kZSA9IGVxdWl2YWxlbmNlLm1hdGNoVGVybU5vZGUodGVybU5vZGUpO1xuXG4gICAgaWYgKGVxdWl2YWxlbmNlTWF0Y2hlc1Rlcm1Ob2RlKSB7XG4gICAgICBjb25zdCB2YXJpYWJsZU5vZGUgPSB0aGlzLnZhcmlhYmxlLmdldE5vZGUoKSxcbiAgICAgICAgICAgIGVxdWl2YWxlbmNlTWF0Y2hlc1ZhcmlhYmxlTm9kZSA9IGVxdWl2YWxlbmNlLm1hdGNoVmFyaWFibGVOb2RlKHZhcmlhYmxlTm9kZSk7XG5cbiAgICAgIGlmIChlcXVpdmFsZW5jZU1hdGNoZXNWYXJpYWJsZU5vZGUpIHtcbiAgICAgICAgICB1bmlmaWVkV2l0aEVxdWl2YWxlbmNlID0gdHJ1ZTtcbiAgICAgICAgfVxuICAgIH1cblxuICAgIHJldHVybiB1bmlmaWVkV2l0aEVxdWl2YWxlbmNlO1xuICB9XG5cbiAgc3RhdGljIGZyb21TdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIGNvbnRleHQpIHtcbiAgICBsZXQgdGVybUZvclZhcmlhYmxlU3Vic3RpdHV0aW9uID0gbnVsbDtcblxuICAgIGNvbnN0IHN1YnN0aXR1dGlvbk5vZGUgPSBzdWJzdGl0dXRpb25Ob2RlUXVlcnkoc3RhdGVtZW50Tm9kZSk7XG5cbiAgICBpZiAoc3Vic3RpdHV0aW9uTm9kZSAhPT0gbnVsbCkge1xuICAgICAgY29uc3QgdGVybU5vZGUgPSB0ZXJtTm9kZVF1ZXJ5KHN1YnN0aXR1dGlvbk5vZGUpLFxuICAgICAgICAgICAgdmFyaWFibGVOb2RlID0gdmFyaWFibGVOb2RlUXVlcnkoc3Vic3RpdHV0aW9uTm9kZSk7XG5cbiAgICAgIGlmICgodGVybU5vZGUgIT09IG51bGwpICYmICh2YXJpYWJsZU5vZGUgIT09IG51bGwpKSB7XG4gICAgICAgIGNvbnN0IHsgVGVybSwgVmFyaWFibGUgfSA9IHNoaW0sXG4gICAgICAgICAgICAgIHRlcm0gPSBUZXJtLmZyb21UZXJtTm9kZSh0ZXJtTm9kZSwgY29udGV4dCksXG4gICAgICAgICAgICAgIHZhcmlhYmxlID0gVmFyaWFibGUuZnJvbVZhcmlhYmxlTm9kZSh2YXJpYWJsZU5vZGUsIGNvbnRleHQpLFxuICAgICAgICAgICAgICBub2RlID0gc3Vic3RpdHV0aW9uTm9kZSwgIC8vL1xuICAgICAgICAgICAgICB0b2tlbnMgPSBjb250ZXh0Lm5vZGVBc1Rva2Vucyhub2RlKSxcbiAgICAgICAgICAgICAgc3RyaW5nID0gc3RyaW5nRnJvbVRlcm1BbmRWYXJpYWJsZSh0ZXJtLCB2YXJpYWJsZSk7XG5cbiAgICAgICAgdGVybUZvclZhcmlhYmxlU3Vic3RpdHV0aW9uID0gbmV3IFRlcm1Gb3JWYXJpYWJsZVN1YnN0aXR1dGlvbihzdHJpbmcsIG5vZGUsIHRva2VucywgdGVybSwgdmFyaWFibGUpO1xuICAgICAgfVxuICAgIH1cblxuICAgIHJldHVybiB0ZXJtRm9yVmFyaWFibGVTdWJzdGl0dXRpb247XG4gIH1cblxuICBzdGF0aWMgZnJvbVRlcm5BbmRWYXJpYWJsZSh0ZXJtLCB2YXJpYWJsZSwgY29udGV4dCkge1xuICAgIGxldCB0ZXJtTm9kZSA9IHRlcm0uZ2V0Tm9kZSgpO1xuXG4gICAgdGVybU5vZGUgPSBzdHJpcEJyYWNrZXRzRnJvbVRlcm1Ob2RlKHRlcm1Ob2RlKTsgLy8vXG5cbiAgICBjb25zdCB7IFRlcm0gfSA9IHNoaW07XG5cbiAgICB0ZXJtID0gVGVybS5mcm9tVGVybU5vZGUodGVybU5vZGUsIGNvbnRleHQpO1xuXG4gICAgY29uc3QgbGV4ZXIgPSBjb250ZXh0LmdldExleGVyKCksXG4gICAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgICBzdHJpbmcgPSBzdHJpbmdGcm9tVGVybUFuZFZhcmlhYmxlKHRlcm0sIHZhcmlhYmxlKSxcbiAgICAgICAgICBzdWJzdGl0dXRpb25TdHJpbmcgPSBzdHJpbmcsICAvLy9cbiAgICAgICAgICB1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZyA9IHVucXVhbGlmaWVkU3RhdGVtZW50U3RyaW5nRnJvbVN1YnN0aXR1dGlvblN0cmluZyhzdWJzdGl0dXRpb25TdHJpbmcpLFxuICAgICAgICAgIHVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zID0gdW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnNGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnRTdHJpbmcodW5xdWFsaWZpZWRTdGF0ZW1lbnRTdHJpbmcsIGxleGVyKSxcbiAgICAgICAgICB1bnF1YWxpZmllZFN0YXRlbWVudE5vZGUgPSB1bnF1YWxpZmllZFN0YXRlbWVudE5vZGVGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnModW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnMsIHBhcnNlciksXG4gICAgICAgICAgc3Vic3RpdHV0aW9uTm9kZSA9IHN1YnN0aXR1dGlvbk5vZGVGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnROb2RlKHVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZSksXG4gICAgICAgICAgc3Vic3RpdHV0aW9uVG9rZW5zID0gc3Vic3RpdHV0aW9uVG9rZW5zRnJvbVVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zQW5kU3Vic3RpdHV0aW9uTm9kZSh1bnF1YWxpZmllZFN0YXRlbWVudFRva2Vucywgc3Vic3RpdHV0aW9uTm9kZSksXG4gICAgICAgICAgbm9kZSA9IHN1YnN0aXR1dGlvbk5vZGUsICAvL1xuICAgICAgICAgIHRva2VucyA9IHN1YnN0aXR1dGlvblRva2VucywgIC8vL1xuICAgICAgICAgIHRlcm1Gb3JWYXJpYWJsZVN1YnN0aXR1dGlvbiA9IG5ldyBUZXJtRm9yVmFyaWFibGVTdWJzdGl0dXRpb24oc3RyaW5nLCBub2RlLCB0b2tlbnMsIHRlcm0sIHZhcmlhYmxlKTtcblxuICAgIHJldHVybiB0ZXJtRm9yVmFyaWFibGVTdWJzdGl0dXRpb247XG4gIH1cbn1cblxuZnVuY3Rpb24gc3RyaW5nRnJvbVRlcm1BbmRWYXJpYWJsZSh0ZXJtLCB2YXJpYWJsZSkge1xuICBjb25zdCB0ZXJtU3RyaW5nID0gdGVybS5nZXRTdHJpbmcoKSxcbiAgICAgICAgdmFyaWFibGVTdHJpbmcgPSB2YXJpYWJsZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgc3RyaW5nID0gYFske3Rlcm1TdHJpbmd9IGZvciAke3ZhcmlhYmxlU3RyaW5nfV1gO1xuXG4gIHJldHVybiBzdHJpbmc7XG59XG4iXSwibmFtZXMiOlsiVGVybUZvclZhcmlhYmxlU3Vic3RpdHV0aW9uIiwidGVybU5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsInZhcmlhYmxlTm9kZVF1ZXJ5Iiwic3Vic3RpdHV0aW9uTm9kZVF1ZXJ5Iiwic3RyaW5nIiwibm9kZSIsInRva2VucyIsInRlcm0iLCJ2YXJpYWJsZSIsImdldFRlcm0iLCJnZXRWYXJpYWJsZSIsImlzRXF1YWxUbyIsInN1YnN0aXR1dGlvbiIsImVxdWFsVG8iLCJ0ZXJtTm9kZSIsImdldE5vZGUiLCJ2YXJpYWJsZU5vZGUiLCJ0ZXJtTm9kZU1hdGNoZXMiLCJtYXRjaFRlcm1Ob2RlIiwidmFyaWFibGVOb2RlTWF0Y2hlcyIsIm1hdGNoVmFyaWFibGVOb2RlIiwic3RyaXBCcmFja2V0c0Zyb21UZXJtTm9kZSIsIm1hdGNoVmFyaWFibGVOYW1lIiwidmFyaWFibGVOYW1lIiwidmFyaWFibGVOYW1lTWF0Y2hlcyIsInZhcmlhYmxlTmFtZUEiLCJnZXROYW1lIiwidmFyaWFibGVOYW1lQiIsInVuaWZ5V2l0aEVxdWl2YWxlbmNlIiwiZXF1aXZhbGVuY2UiLCJzdWJzdGl0dXRpb25zIiwiZ2VuZXJhbENvbnRleHQiLCJzcGVjaWZpY0NvbnRleHQiLCJ1bmlmaWVkV2l0aEVxdWl2YWxlbmNlIiwiZXF1aXZhbGVuY2VNYXRjaGVzVGVybU5vZGUiLCJlcXVpdmFsZW5jZU1hdGNoZXNWYXJpYWJsZU5vZGUiLCJmcm9tU3RhdGVtZW50Tm9kZSIsInN0YXRlbWVudE5vZGUiLCJjb250ZXh0IiwidGVybUZvclZhcmlhYmxlU3Vic3RpdHV0aW9uIiwic3Vic3RpdHV0aW9uTm9kZSIsIlRlcm0iLCJzaGltIiwiVmFyaWFibGUiLCJmcm9tVGVybU5vZGUiLCJmcm9tVmFyaWFibGVOb2RlIiwibm9kZUFzVG9rZW5zIiwic3RyaW5nRnJvbVRlcm1BbmRWYXJpYWJsZSIsImZyb21UZXJuQW5kVmFyaWFibGUiLCJsZXhlciIsImdldExleGVyIiwicGFyc2VyIiwiZ2V0UGFyc2VyIiwic3Vic3RpdHV0aW9uU3RyaW5nIiwidW5xdWFsaWZpZWRTdGF0ZW1lbnRTdHJpbmciLCJ1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZ0Zyb21TdWJzdGl0dXRpb25TdHJpbmciLCJ1bnF1YWxpZmllZFN0YXRlbWVudFRva2VucyIsInVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zRnJvbVVucXVhbGlmaWVkU3RhdGVtZW50U3RyaW5nIiwidW5xdWFsaWZpZWRTdGF0ZW1lbnROb2RlIiwidW5xdWFsaWZpZWRTdGF0ZW1lbnROb2RlRnJvbVVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zIiwic3Vic3RpdHV0aW9uTm9kZUZyb21VbnF1YWxpZmllZFN0YXRlbWVudE5vZGUiLCJzdWJzdGl0dXRpb25Ub2tlbnMiLCJzdWJzdGl0dXRpb25Ub2tlbnNGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnNBbmRTdWJzdGl0dXRpb25Ob2RlIiwiU3Vic3RpdHV0aW9uIiwidGVybVN0cmluZyIsImdldFN0cmluZyIsInZhcmlhYmxlU3RyaW5nIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQWlCcUJBOzs7MkRBZko7bUVBQ1E7cUJBRUM7d0JBQ2dCO29CQUc2QjtzQkFFYTs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVwRixJQUFNQyxnQkFBZ0JDLElBQUFBLGdCQUFTLEVBQUMsMEJBQzFCQyxvQkFBb0JELElBQUFBLGdCQUFTLEVBQUMsb0NBQzlCRSx3QkFBd0JGLElBQUFBLGdCQUFTLEVBQUM7QUFFekIsSUFBQSxBQUFNRiw0Q0FBTjtjQUFNQTthQUFBQSw0QkFDUEssTUFBTSxFQUFFQyxJQUFJLEVBQUVDLE1BQU0sRUFBRUMsSUFBSSxFQUFFQyxRQUFRO2dDQUQ3QlQ7O2dCQUVqQixrQkFGaUJBO1lBRVhLO1lBQVFDO1lBQU1DOztRQUVwQixNQUFLQyxJQUFJLEdBQUdBO1FBQ1osTUFBS0MsUUFBUSxHQUFHQTs7O2tCQUxDVDs7WUFRbkJVLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0YsSUFBSTtZQUNsQjs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0YsUUFBUTtZQUN0Qjs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQSxVQUFVQyxZQUFZO2dCQUNwQixJQUFJQyxVQUFVO2dCQUVkLElBQU1OLE9BQU9LLGFBQWFILE9BQU8sSUFDM0JELFdBQVdJLGFBQWFGLFdBQVc7Z0JBRXpDLElBQUksQUFBQ0gsU0FBUyxRQUFVQyxhQUFhLE1BQU87b0JBQzFDLElBQU1NLFdBQVdQLEtBQUtRLE9BQU8sSUFDdkJDLGVBQWVSLFNBQVNPLE9BQU8sSUFDL0JFLGtCQUFrQixJQUFJLENBQUNDLGFBQWEsQ0FBQ0osV0FDckNLLHNCQUFzQixJQUFJLENBQUNDLGlCQUFpQixDQUFDSjtvQkFFbkRILFVBQVdJLG1CQUFtQkU7Z0JBQ2hDO2dCQUVBLE9BQU9OO1lBQ1Q7OztZQUVBSyxLQUFBQTttQkFBQUEsU0FBQUEsY0FBY0osUUFBUTtnQkFDcEJBLFdBQVdPLElBQUFBLG1DQUF5QixFQUFDUCxXQUFXLEdBQUc7Z0JBRW5ELElBQU1HLGtCQUFrQixJQUFJLENBQUNWLElBQUksQ0FBQ1csYUFBYSxDQUFDSjtnQkFFaEQsT0FBT0c7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQSxrQkFBa0JDLFlBQVk7Z0JBQzVCLElBQUlDO2dCQUVKLElBQU1DLGdCQUFnQkYsY0FBYyxHQUFHO2dCQUV2Q0EsZUFBZSxJQUFJLENBQUNmLFFBQVEsQ0FBQ2tCLE9BQU87Z0JBRXBDLElBQU1DLGdCQUFnQkosY0FBYyxHQUFHO2dCQUV2Q0Msc0JBQXVCQyxrQkFBa0JFO2dCQUV6QyxPQUFPSDtZQUNUOzs7WUFFQUksS0FBQUE7bUJBQUFBLFNBQUFBLHFCQUFxQkMsV0FBVyxFQUFFQyxhQUFhLEVBQUVDLGNBQWMsRUFBRUMsZUFBZTtnQkFDOUUsSUFBSUM7Z0JBRUosSUFBTW5CLFdBQVcsSUFBSSxDQUFDUCxJQUFJLENBQUNRLE9BQU8sSUFDNUJtQiw2QkFBNkJMLFlBQVlYLGFBQWEsQ0FBQ0o7Z0JBRTdELElBQUlvQiw0QkFBNEI7b0JBQzlCLElBQU1sQixlQUFlLElBQUksQ0FBQ1IsUUFBUSxDQUFDTyxPQUFPLElBQ3BDb0IsaUNBQWlDTixZQUFZVCxpQkFBaUIsQ0FBQ0o7b0JBRXJFLElBQUltQixnQ0FBZ0M7d0JBQ2hDRix5QkFBeUI7b0JBQzNCO2dCQUNKO2dCQUVBLE9BQU9BO1lBQ1Q7Ozs7WUFFT0csS0FBQUE7bUJBQVAsU0FBT0Esa0JBQWtCQyxhQUFhLEVBQUVDLE9BQU87Z0JBQzdDLElBQUlDLDhCQUE4QjtnQkFFbEMsSUFBTUMsbUJBQW1CckMsc0JBQXNCa0M7Z0JBRS9DLElBQUlHLHFCQUFxQixNQUFNO29CQUM3QixJQUFNMUIsV0FBV2QsY0FBY3dDLG1CQUN6QnhCLGVBQWVkLGtCQUFrQnNDO29CQUV2QyxJQUFJLEFBQUMxQixhQUFhLFFBQVVFLGlCQUFpQixNQUFPO3dCQUNsRCxJQUFReUIsT0FBbUJDLGFBQUksQ0FBdkJELE1BQU1FLFdBQWFELGFBQUksQ0FBakJDLFVBQ1JwQyxPQUFPa0MsS0FBS0csWUFBWSxDQUFDOUIsVUFBVXdCLFVBQ25DOUIsV0FBV21DLFNBQVNFLGdCQUFnQixDQUFDN0IsY0FBY3NCLFVBQ25EakMsT0FBT21DLGtCQUNQbEMsU0FBU2dDLFFBQVFRLFlBQVksQ0FBQ3pDLE9BQzlCRCxTQUFTMkMsMEJBQTBCeEMsTUFBTUM7d0JBRS9DK0IsOEJBQThCLElBM0ZqQnhDLDRCQTJGaURLLFFBQVFDLE1BQU1DLFFBQVFDLE1BQU1DO29CQUM1RjtnQkFDRjtnQkFFQSxPQUFPK0I7WUFDVDs7O1lBRU9TLEtBQUFBO21CQUFQLFNBQU9BLG9CQUFvQnpDLElBQUksRUFBRUMsUUFBUSxFQUFFOEIsT0FBTztnQkFDaEQsSUFBSXhCLFdBQVdQLEtBQUtRLE9BQU87Z0JBRTNCRCxXQUFXTyxJQUFBQSxtQ0FBeUIsRUFBQ1AsV0FBVyxHQUFHO2dCQUVuRCxJQUFNLEFBQUUyQixPQUFTQyxhQUFJLENBQWJEO2dCQUVSbEMsT0FBT2tDLEtBQUtHLFlBQVksQ0FBQzlCLFVBQVV3QjtnQkFFbkMsSUFBTVcsUUFBUVgsUUFBUVksUUFBUSxJQUN4QkMsU0FBU2IsUUFBUWMsU0FBUyxJQUMxQmhELFNBQVMyQywwQkFBMEJ4QyxNQUFNQyxXQUN6QzZDLHFCQUFxQmpELFFBQ3JCa0QsNkJBQTZCQyxJQUFBQSxzREFBZ0QsRUFBQ0YscUJBQzlFRyw2QkFBNkJDLElBQUFBLGdFQUF3RCxFQUFDSCw0QkFBNEJMLFFBQ2xIUywyQkFBMkJDLElBQUFBLDREQUFzRCxFQUFDSCw0QkFBNEJMLFNBQzlHWCxtQkFBbUJvQixJQUFBQSxrREFBNEMsRUFBQ0YsMkJBQ2hFRyxxQkFBcUJDLElBQUFBLDJFQUFtRSxFQUFDTiw0QkFBNEJoQixtQkFDckhuQyxPQUFPbUMsa0JBQ1BsQyxTQUFTdUQsb0JBQ1R0Qiw4QkFBOEIsSUF0SG5CeEMsNEJBc0htREssUUFBUUMsTUFBTUMsUUFBUUMsTUFBTUM7Z0JBRWhHLE9BQU8rQjtZQUNUOzs7V0F6SG1CeEM7RUFBb0NnRSxxQkFBWTtBQTRIckUsU0FBU2hCLDBCQUEwQnhDLElBQUksRUFBRUMsUUFBUTtJQUMvQyxJQUFNd0QsYUFBYXpELEtBQUswRCxTQUFTLElBQzNCQyxpQkFBaUIxRCxTQUFTeUQsU0FBUyxJQUNuQzdELFNBQVMsQUFBQyxJQUFxQjhELE9BQWxCRixZQUFXLFNBQXNCLE9BQWZFLGdCQUFlO0lBRXBELE9BQU85RDtBQUNUIn0=

package/lib/utilities/node.js

@@ -1,113 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    constructorDeclarationNodeFromConstructorDeclarationTokens: function() {
-        return constructorDeclarationNodeFromConstructorDeclarationTokens;
-    },
-    constructorDeclarationStringFromTermString: function() {
-        return constructorDeclarationStringFromTermString;
-    },
-    metavariableNodeFromMetavariableString: function() {
-        return metavariableNodeFromMetavariableString;
-    },
-    metavariableNodeFromMetavariableTokens: function() {
-        return metavariableNodeFromMetavariableTokens;
-    },
-    statementNodeFromUnqualifiedStatementNode: function() {
-        return statementNodeFromUnqualifiedStatementNode;
-    },
-    substitutionNodeFromUnqualifiedStatementNode: function() {
-        return substitutionNodeFromUnqualifiedStatementNode;
-    },
-    termNodeFromConstructorDeclarationNode: function() {
-        return termNodeFromConstructorDeclarationNode;
-    },
-    termNodeFromTermString: function() {
-        return termNodeFromTermString;
-    },
-    unqualifiedStatementNodeFromUnqualifiedStatementTokens: function() {
-        return unqualifiedStatementNodeFromUnqualifiedStatementTokens;
-    },
-    unqualifiedStatementStringFromStatementString: function() {
-        return unqualifiedStatementStringFromStatementString;
-    },
-    unqualifiedStatementStringFromSubstitutionString: function() {
-        return unqualifiedStatementStringFromSubstitutionString;
-    },
-    variableNodeFromVariableString: function() {
-        return variableNodeFromVariableString;
-    },
-    variableNodeFromVariableTokens: function() {
-        return variableNodeFromVariableTokens;
-    }
-});
-var _query = require("../utilities/query");
-var _ruleNames = require("../ruleNames");
-var _tokens = require("../utilities/tokens");
-var termNodeQuery = (0, _query.nodeQuery)("/constructorDeclaration/term"), statementNodeQuery = (0, _query.nodeQuery)("/unqualifiedStatement/statement"), substitutionNodeQuery = (0, _query.nodeQuery)("/unqualifiedStatement/statement/substitution");
-function termNodeFromTermString(termString, lexer, parser) {
-    var constructorDeclarationString = constructorDeclarationStringFromTermString(termString), constructorDeclarationTokens = (0, _tokens.constructorDeclarationTokensFromConstructorDeclarationString)(constructorDeclarationString, lexer), constructorDeclarationNode = constructorDeclarationNodeFromConstructorDeclarationTokens(constructorDeclarationTokens, parser), termNode = termNodeFromConstructorDeclarationNode(constructorDeclarationNode);
-    return termNode;
-}
-function variableNodeFromVariableString(variableString, lexer, parser) {
-    var variableTokens = (0, _tokens.variableTokensFromVariableString)(variableString, lexer), variableNode = variableNodeFromVariableTokens(variableTokens, parser);
-    return variableNode;
-}
-function metavariableNodeFromMetavariableString(metavariableString, lexer, parser) {
-    var metavariableTokens = (0, _tokens.metavariableTokensFromMetavariableString)(metavariableString, lexer), metavariableNode = metavariableNodeFromMetavariableTokens(metavariableTokens, parser);
-    return metavariableNode;
-}
-function constructorDeclarationStringFromTermString(termString) {
-    var constructorDeclarationString = "Constructor ".concat(termString, "\n");
-    return constructorDeclarationString;
-}
-function unqualifiedStatementStringFromStatementString(statementString) {
-    var unqualifiedStatementString = "".concat(statementString, "\n");
-    return unqualifiedStatementString;
-}
-function unqualifiedStatementStringFromSubstitutionString(substitutionString) {
-    var unqualifiedStatementString = "a ".concat(substitutionString, "\n"); ///
-    return unqualifiedStatementString;
-}
-function termNodeFromConstructorDeclarationNode(constructorDeclarationNode) {
-    var termNode = termNodeQuery(constructorDeclarationNode, constructorDeclarationNode);
-    return termNode;
-}
-function statementNodeFromUnqualifiedStatementNode(unqualifiedStatementNode) {
-    var statementNode = statementNodeQuery(unqualifiedStatementNode);
-    return statementNode;
-}
-function substitutionNodeFromUnqualifiedStatementNode(unqualifiedStatementNode) {
-    var substitutionNode = substitutionNodeQuery(unqualifiedStatementNode);
-    return substitutionNode;
-}
-function variableNodeFromVariableTokens(variableTokens, parser) {
-    var ruleName = _ruleNames.VARIABLE_RULE_NAME, variableNode = nodeFromTokensRuleNameAndParser(variableTokens, ruleName, parser);
-    return variableNode;
-}
-function metavariableNodeFromMetavariableTokens(metavariableTokens, parser) {
-    var ruleName = _ruleNames.METAVARIABLE_RULE_NAME, metavariableNode = nodeFromTokensRuleNameAndParser(metavariableTokens, ruleName, parser);
-    return metavariableNode;
-}
-function unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser) {
-    var tokens = unqualifiedStatementTokens, ruleName = _ruleNames.UNQUALIFIED_STATEMENT_RULE_NAME, unqualifiedStatementNode = nodeFromTokensRuleNameAndParser(tokens, ruleName, parser);
-    return unqualifiedStatementNode;
-}
-function constructorDeclarationNodeFromConstructorDeclarationTokens(constructorDeclarationTokens, parser) {
-    var tokens = constructorDeclarationTokens, ruleName = _ruleNames.CONSTRUCTOR_DECLARATION_RULE_NAME, constructorDeclarationNode = nodeFromTokensRuleNameAndParser(tokens, ruleName, parser);
-    return constructorDeclarationNode;
-}
-function nodeFromTokensRuleNameAndParser(tokens, ruleName, parser) {
-    var ruleMap = parser.getRuleMap(), rule = ruleMap[ruleName], node = parser.parse(tokens, rule);
-    return node;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbm9kZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgbm9kZVF1ZXJ5IH0gZnJvbSBcIi4uL3V0aWxpdGllcy9xdWVyeVwiO1xuaW1wb3J0IHsgVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgIFVOUVVBTElGSUVEX1NUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5pbXBvcnQgeyB2YXJpYWJsZVRva2Vuc0Zyb21WYXJpYWJsZVN0cmluZyxcbiAgICAgICAgIG1ldGF2YXJpYWJsZVRva2Vuc0Zyb21NZXRhdmFyaWFibGVTdHJpbmcsXG4gICAgICAgICBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zRnJvbUNvbnN0cnVjdG9yRGVjbGFyYXRpb25TdHJpbmcgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3Rva2Vuc1wiO1xuXG5jb25zdCB0ZXJtTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2NvbnN0cnVjdG9yRGVjbGFyYXRpb24vdGVybVwiKSxcbiAgICAgIHN0YXRlbWVudE5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi91bnF1YWxpZmllZFN0YXRlbWVudC9zdGF0ZW1lbnRcIiksXG4gICAgICBzdWJzdGl0dXRpb25Ob2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvdW5xdWFsaWZpZWRTdGF0ZW1lbnQvc3RhdGVtZW50L3N1YnN0aXR1dGlvblwiKTtcblxuZXhwb3J0IGZ1bmN0aW9uIHRlcm1Ob2RlRnJvbVRlcm1TdHJpbmcodGVybVN0cmluZywgbGV4ZXIsIHBhcnNlcikge1xuICBjb25zdCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uU3RyaW5nID0gY29uc3RydWN0b3JEZWNsYXJhdGlvblN0cmluZ0Zyb21UZXJtU3RyaW5nKHRlcm1TdHJpbmcpLFxuICAgICAgICBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zID0gY29uc3RydWN0b3JEZWNsYXJhdGlvblRva2Vuc0Zyb21Db25zdHJ1Y3RvckRlY2xhcmF0aW9uU3RyaW5nKGNvbnN0cnVjdG9yRGVjbGFyYXRpb25TdHJpbmcsIGxleGVyKSxcbiAgICAgICAgY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUgPSBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZUZyb21Db25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zKGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ub2tlbnMsIHBhcnNlciksXG4gICAgICAgIHRlcm1Ob2RlID0gdGVybU5vZGVGcm9tQ29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUoY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUpO1xuXG4gIHJldHVybiB0ZXJtTm9kZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHZhcmlhYmxlTm9kZUZyb21WYXJpYWJsZVN0cmluZyh2YXJpYWJsZVN0cmluZywgbGV4ZXIsIHBhcnNlcikge1xuICBjb25zdCB2YXJpYWJsZVRva2VucyA9IHZhcmlhYmxlVG9rZW5zRnJvbVZhcmlhYmxlU3RyaW5nKHZhcmlhYmxlU3RyaW5nLCBsZXhlciksXG4gICAgICAgIHZhcmlhYmxlTm9kZSA9IHZhcmlhYmxlTm9kZUZyb21WYXJpYWJsZVRva2Vucyh2YXJpYWJsZVRva2VucywgcGFyc2VyKTtcblxuICByZXR1cm4gdmFyaWFibGVOb2RlO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gbWV0YXZhcmlhYmxlTm9kZUZyb21NZXRhdmFyaWFibGVTdHJpbmcobWV0YXZhcmlhYmxlU3RyaW5nLCBsZXhlciwgcGFyc2VyKSB7XG4gIGNvbnN0IG1ldGF2YXJpYWJsZVRva2VucyA9IG1ldGF2YXJpYWJsZVRva2Vuc0Zyb21NZXRhdmFyaWFibGVTdHJpbmcobWV0YXZhcmlhYmxlU3RyaW5nLCBsZXhlciksXG4gICAgICAgIG1ldGF2YXJpYWJsZU5vZGUgPSBtZXRhdmFyaWFibGVOb2RlRnJvbU1ldGF2YXJpYWJsZVRva2VucyhtZXRhdmFyaWFibGVUb2tlbnMsIHBhcnNlcik7XG5cbiAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uU3RyaW5nRnJvbVRlcm1TdHJpbmcodGVybVN0cmluZykge1xuICBjb25zdCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uU3RyaW5nID0gYENvbnN0cnVjdG9yICR7dGVybVN0cmluZ31cbmA7XG5cbiAgcmV0dXJuIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25TdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZ0Zyb21TdGF0ZW1lbnRTdHJpbmcoc3RhdGVtZW50U3RyaW5nKSB7XG4gIGNvbnN0IHVucXVhbGlmaWVkU3RhdGVtZW50U3RyaW5nID0gYCR7c3RhdGVtZW50U3RyaW5nfVxuYDtcblxuICByZXR1cm4gdW5xdWFsaWZpZWRTdGF0ZW1lbnRTdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZ0Zyb21TdWJzdGl0dXRpb25TdHJpbmcoc3Vic3RpdHV0aW9uU3RyaW5nKSB7XG4gIGNvbnN0IHVucXVhbGlmaWVkU3RhdGVtZW50U3RyaW5nID0gYGEgJHtzdWJzdGl0dXRpb25TdHJpbmd9XG5gOyAgLy8vXG5cbiAgcmV0dXJuIHVucXVhbGlmaWVkU3RhdGVtZW50U3RyaW5nO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdGVybU5vZGVGcm9tQ29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUoY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGUpIHtcbiAgY29uc3QgdGVybU5vZGUgPSB0ZXJtTm9kZVF1ZXJ5KGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ob2RlLCBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSk7XG5cbiAgcmV0dXJuIHRlcm1Ob2RlO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gc3RhdGVtZW50Tm9kZUZyb21VbnF1YWxpZmllZFN0YXRlbWVudE5vZGUodW5xdWFsaWZpZWRTdGF0ZW1lbnROb2RlKSB7XG4gIGNvbnN0IHN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlUXVlcnkodW5xdWFsaWZpZWRTdGF0ZW1lbnROb2RlKTtcblxuICByZXR1cm4gc3RhdGVtZW50Tm9kZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1YnN0aXR1dGlvbk5vZGVGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnROb2RlKHVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZSkge1xuICBjb25zdCBzdWJzdGl0dXRpb25Ob2RlID0gc3Vic3RpdHV0aW9uTm9kZVF1ZXJ5KHVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZSk7XG5cbiAgcmV0dXJuIHN1YnN0aXR1dGlvbk5vZGU7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB2YXJpYWJsZU5vZGVGcm9tVmFyaWFibGVUb2tlbnModmFyaWFibGVUb2tlbnMsIHBhcnNlcikge1xuICBjb25zdCBydWxlTmFtZSA9IFZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgdmFyaWFibGVOb2RlID0gbm9kZUZyb21Ub2tlbnNSdWxlTmFtZUFuZFBhcnNlcih2YXJpYWJsZVRva2VucywgcnVsZU5hbWUsIHBhcnNlcik7XG5cbiAgcmV0dXJuIHZhcmlhYmxlTm9kZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIG1ldGF2YXJpYWJsZU5vZGVGcm9tTWV0YXZhcmlhYmxlVG9rZW5zKG1ldGF2YXJpYWJsZVRva2VucywgcGFyc2VyKSB7XG4gIGNvbnN0IHJ1bGVOYW1lID0gTUVUQVZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgbWV0YXZhcmlhYmxlTm9kZSA9IG5vZGVGcm9tVG9rZW5zUnVsZU5hbWVBbmRQYXJzZXIobWV0YXZhcmlhYmxlVG9rZW5zLCBydWxlTmFtZSwgcGFyc2VyKTtcblxuICByZXR1cm4gbWV0YXZhcmlhYmxlTm9kZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZUZyb21VbnF1YWxpZmllZFN0YXRlbWVudFRva2Vucyh1bnF1YWxpZmllZFN0YXRlbWVudFRva2VucywgcGFyc2VyKSB7XG4gIGNvbnN0IHRva2VucyA9IHVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zLCAgLy8vXG4gICAgICAgIHJ1bGVOYW1lID0gVU5RVUFMSUZJRURfU1RBVEVNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgdW5xdWFsaWZpZWRTdGF0ZW1lbnROb2RlID0gbm9kZUZyb21Ub2tlbnNSdWxlTmFtZUFuZFBhcnNlcih0b2tlbnMsIHJ1bGVOYW1lLCBwYXJzZXIpO1xuXG4gIHJldHVybiB1bnF1YWxpZmllZFN0YXRlbWVudE5vZGU7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZUZyb21Db25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zKGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ub2tlbnMsIHBhcnNlcikge1xuICBjb25zdCB0b2tlbnMgPSBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zLCAgLy8vXG4gICAgICAgIHJ1bGVOYW1lID0gQ09OU1RSVUNUT1JfREVDTEFSQVRJT05fUlVMRV9OQU1FLFxuICAgICAgICBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSA9IG5vZGVGcm9tVG9rZW5zUnVsZU5hbWVBbmRQYXJzZXIodG9rZW5zLCBydWxlTmFtZSwgcGFyc2VyKTtcblxuICByZXR1cm4gY29uc3RydWN0b3JEZWNsYXJhdGlvbk5vZGU7XG59XG5cbmZ1bmN0aW9uIG5vZGVGcm9tVG9rZW5zUnVsZU5hbWVBbmRQYXJzZXIodG9rZW5zLCBydWxlTmFtZSwgcGFyc2VyKSB7XG4gIGNvbnN0IHJ1bGVNYXAgPSBwYXJzZXIuZ2V0UnVsZU1hcCgpLFxuICAgICAgICBydWxlID0gcnVsZU1hcFtydWxlTmFtZV0sXG4gICAgICAgIG5vZGUgPSBwYXJzZXIucGFyc2UodG9rZW5zLCBydWxlKTtcblxuICByZXR1cm4gbm9kZTtcbn1cbiJdLCJuYW1lcyI6WyJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZUZyb21Db25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvblN0cmluZ0Zyb21UZXJtU3RyaW5nIiwibWV0YXZhcmlhYmxlTm9kZUZyb21NZXRhdmFyaWFibGVTdHJpbmciLCJtZXRhdmFyaWFibGVOb2RlRnJvbU1ldGF2YXJpYWJsZVRva2VucyIsInN0YXRlbWVudE5vZGVGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnROb2RlIiwic3Vic3RpdHV0aW9uTm9kZUZyb21VbnF1YWxpZmllZFN0YXRlbWVudE5vZGUiLCJ0ZXJtTm9kZUZyb21Db25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSIsInRlcm1Ob2RlRnJvbVRlcm1TdHJpbmciLCJ1bnF1YWxpZmllZFN0YXRlbWVudE5vZGVGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnMiLCJ1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZ0Zyb21TdGF0ZW1lbnRTdHJpbmciLCJ1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZ0Zyb21TdWJzdGl0dXRpb25TdHJpbmciLCJ2YXJpYWJsZU5vZGVGcm9tVmFyaWFibGVTdHJpbmciLCJ2YXJpYWJsZU5vZGVGcm9tVmFyaWFibGVUb2tlbnMiLCJ0ZXJtTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5Iiwic3RhdGVtZW50Tm9kZVF1ZXJ5Iiwic3Vic3RpdHV0aW9uTm9kZVF1ZXJ5IiwidGVybVN0cmluZyIsImxleGVyIiwicGFyc2VyIiwiY29uc3RydWN0b3JEZWNsYXJhdGlvblN0cmluZyIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ub2tlbnMiLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zRnJvbUNvbnN0cnVjdG9yRGVjbGFyYXRpb25TdHJpbmciLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uTm9kZSIsInRlcm1Ob2RlIiwidmFyaWFibGVTdHJpbmciLCJ2YXJpYWJsZVRva2VucyIsInZhcmlhYmxlVG9rZW5zRnJvbVZhcmlhYmxlU3RyaW5nIiwidmFyaWFibGVOb2RlIiwibWV0YXZhcmlhYmxlU3RyaW5nIiwibWV0YXZhcmlhYmxlVG9rZW5zIiwibWV0YXZhcmlhYmxlVG9rZW5zRnJvbU1ldGF2YXJpYWJsZVN0cmluZyIsIm1ldGF2YXJpYWJsZU5vZGUiLCJzdGF0ZW1lbnRTdHJpbmciLCJ1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZyIsInN1YnN0aXR1dGlvblN0cmluZyIsInVucXVhbGlmaWVkU3RhdGVtZW50Tm9kZSIsInN0YXRlbWVudE5vZGUiLCJzdWJzdGl0dXRpb25Ob2RlIiwicnVsZU5hbWUiLCJWQVJJQUJMRV9SVUxFX05BTUUiLCJub2RlRnJvbVRva2Vuc1J1bGVOYW1lQW5kUGFyc2VyIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsInVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zIiwidG9rZW5zIiwiVU5RVUFMSUZJRURfU1RBVEVNRU5UX1JVTEVfTkFNRSIsIkNPTlNUUlVDVE9SX0RFQ0xBUkFUSU9OX1JVTEVfTkFNRSIsInJ1bGVNYXAiLCJnZXRSdWxlTWFwIiwicnVsZSIsIm5vZGUiLCJwYXJzZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBbUdnQkEsMERBQTBEO2VBQTFEQTs7SUE3REFDLDBDQUEwQztlQUExQ0E7O0lBUEFDLHNDQUFzQztlQUF0Q0E7O0lBcURBQyxzQ0FBc0M7ZUFBdENBOztJQW5CQUMseUNBQXlDO2VBQXpDQTs7SUFNQUMsNENBQTRDO2VBQTVDQTs7SUFaQUMsc0NBQXNDO2VBQXRDQTs7SUE1Q0FDLHNCQUFzQjtlQUF0QkE7O0lBNEVBQyxzREFBc0Q7ZUFBdERBOztJQTlDQUMsNkNBQTZDO2VBQTdDQTs7SUFPQUMsZ0RBQWdEO2VBQWhEQTs7SUE1QkFDLDhCQUE4QjtlQUE5QkE7O0lBcURBQyw4QkFBOEI7ZUFBOUJBOzs7cUJBM0VVO3lCQUl3QjtzQkFHMkI7QUFFN0UsSUFBTUMsZ0JBQWdCQyxJQUFBQSxnQkFBUyxFQUFDLGlDQUMxQkMscUJBQXFCRCxJQUFBQSxnQkFBUyxFQUFDLG9DQUMvQkUsd0JBQXdCRixJQUFBQSxnQkFBUyxFQUFDO0FBRWpDLFNBQVNQLHVCQUF1QlUsVUFBVSxFQUFFQyxLQUFLLEVBQUVDLE1BQU07SUFDOUQsSUFBTUMsK0JBQStCbkIsMkNBQTJDZ0IsYUFDMUVJLCtCQUErQkMsSUFBQUEsb0VBQTRELEVBQUNGLDhCQUE4QkYsUUFDMUhLLDZCQUE2QnZCLDJEQUEyRHFCLDhCQUE4QkYsU0FDdEhLLFdBQVdsQix1Q0FBdUNpQjtJQUV4RCxPQUFPQztBQUNUO0FBRU8sU0FBU2IsK0JBQStCYyxjQUFjLEVBQUVQLEtBQUssRUFBRUMsTUFBTTtJQUMxRSxJQUFNTyxpQkFBaUJDLElBQUFBLHdDQUFnQyxFQUFDRixnQkFBZ0JQLFFBQ2xFVSxlQUFlaEIsK0JBQStCYyxnQkFBZ0JQO0lBRXBFLE9BQU9TO0FBQ1Q7QUFFTyxTQUFTMUIsdUNBQXVDMkIsa0JBQWtCLEVBQUVYLEtBQUssRUFBRUMsTUFBTTtJQUN0RixJQUFNVyxxQkFBcUJDLElBQUFBLGdEQUF3QyxFQUFDRixvQkFBb0JYLFFBQ2xGYyxtQkFBbUI3Qix1Q0FBdUMyQixvQkFBb0JYO0lBRXBGLE9BQU9hO0FBQ1Q7QUFFTyxTQUFTL0IsMkNBQTJDZ0IsVUFBVTtJQUNuRSxJQUFNRywrQkFBK0IsQUFBQyxlQUF5QixPQUFYSCxZQUFXO0lBRy9ELE9BQU9HO0FBQ1Q7QUFFTyxTQUFTWCw4Q0FBOEN3QixlQUFlO0lBQzNFLElBQU1DLDZCQUE2QixBQUFDLEdBQWtCLE9BQWhCRCxpQkFBZ0I7SUFHdEQsT0FBT0M7QUFDVDtBQUVPLFNBQVN4QixpREFBaUR5QixrQkFBa0I7SUFDakYsSUFBTUQsNkJBQTZCLEFBQUMsS0FBdUIsT0FBbkJDLG9CQUFtQixPQUN6RCxHQUFHO0lBRUwsT0FBT0Q7QUFDVDtBQUVPLFNBQVM1Qix1Q0FBdUNpQiwwQkFBMEI7SUFDL0UsSUFBTUMsV0FBV1gsY0FBY1UsNEJBQTRCQTtJQUUzRCxPQUFPQztBQUNUO0FBRU8sU0FBU3BCLDBDQUEwQ2dDLHdCQUF3QjtJQUNoRixJQUFNQyxnQkFBZ0J0QixtQkFBbUJxQjtJQUV6QyxPQUFPQztBQUNUO0FBRU8sU0FBU2hDLDZDQUE2QytCLHdCQUF3QjtJQUNuRixJQUFNRSxtQkFBbUJ0QixzQkFBc0JvQjtJQUUvQyxPQUFPRTtBQUNUO0FBRU8sU0FBUzFCLCtCQUErQmMsY0FBYyxFQUFFUCxNQUFNO0lBQ25FLElBQU1vQixXQUFXQyw2QkFBa0IsRUFDN0JaLGVBQWVhLGdDQUFnQ2YsZ0JBQWdCYSxVQUFVcEI7SUFFL0UsT0FBT1M7QUFDVDtBQUVPLFNBQVN6Qix1Q0FBdUMyQixrQkFBa0IsRUFBRVgsTUFBTTtJQUMvRSxJQUFNb0IsV0FBV0csaUNBQXNCLEVBQ2pDVixtQkFBbUJTLGdDQUFnQ1gsb0JBQW9CUyxVQUFVcEI7SUFFdkYsT0FBT2E7QUFDVDtBQUVPLFNBQVN4Qix1REFBdURtQywwQkFBMEIsRUFBRXhCLE1BQU07SUFDdkcsSUFBTXlCLFNBQVNELDRCQUNUSixXQUFXTSwwQ0FBK0IsRUFDMUNULDJCQUEyQkssZ0NBQWdDRyxRQUFRTCxVQUFVcEI7SUFFbkYsT0FBT2lCO0FBQ1Q7QUFFTyxTQUFTcEMsMkRBQTJEcUIsNEJBQTRCLEVBQUVGLE1BQU07SUFDN0csSUFBTXlCLFNBQVN2Qiw4QkFDVGtCLFdBQVdPLDRDQUFpQyxFQUM1Q3ZCLDZCQUE2QmtCLGdDQUFnQ0csUUFBUUwsVUFBVXBCO0lBRXJGLE9BQU9JO0FBQ1Q7QUFFQSxTQUFTa0IsZ0NBQWdDRyxNQUFNLEVBQUVMLFFBQVEsRUFBRXBCLE1BQU07SUFDL0QsSUFBTTRCLFVBQVU1QixPQUFPNkIsVUFBVSxJQUMzQkMsT0FBT0YsT0FBTyxDQUFDUixTQUFTLEVBQ3hCVyxPQUFPL0IsT0FBT2dDLEtBQUssQ0FBQ1AsUUFBUUs7SUFFbEMsT0FBT0M7QUFDVCJ9

package/lib/utilities/tokens.js

@@ -1,69 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: all[name]
-    });
-}
-_export(exports, {
-    constructorDeclarationTokensFromConstructorDeclarationString: function() {
-        return constructorDeclarationTokensFromConstructorDeclarationString;
-    },
-    metavariableTokensFromMetavariableString: function() {
-        return metavariableTokensFromMetavariableString;
-    },
-    statementTokensFromUnqualifiedStatementTokens: function() {
-        return statementTokensFromUnqualifiedStatementTokens;
-    },
-    substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode: function() {
-        return substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode;
-    },
-    termTokensFromConstructorDeclarationTokens: function() {
-        return termTokensFromConstructorDeclarationTokens;
-    },
-    unqualifiedStatementTokensFromUnqualifiedStatementString: function() {
-        return unqualifiedStatementTokensFromUnqualifiedStatementString;
-    },
-    variableTokensFromVariableString: function() {
-        return variableTokensFromVariableString;
-    }
-});
-var _necessary = require("necessary");
-var front = _necessary.arrayUtilities.front;
-function variableTokensFromVariableString(variableString, lexer) {
-    var variableContent = "".concat(variableString), variableTokens = tokensFromContentAndLexer(variableContent, lexer);
-    return variableTokens;
-}
-function metavariableTokensFromMetavariableString(metavariableString, lexer) {
-    var metavariableContent = "".concat(metavariableString), metavariableTokens = tokensFromContentAndLexer(metavariableContent, lexer);
-    return metavariableTokens;
-}
-function unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer) {
-    var content = unqualifiedStatementString, unqualifiedStatementTokens = tokensFromContentAndLexer(content, lexer);
-    return unqualifiedStatementTokens;
-}
-function constructorDeclarationTokensFromConstructorDeclarationString(constructorDeclarationString, lexer) {
-    var content = constructorDeclarationString, constructorDeclarationTokens = tokensFromContentAndLexer(content, lexer);
-    return constructorDeclarationTokens;
-}
-function termTokensFromConstructorDeclarationTokens(constructorDeclarationTokens) {
-    var frontConstructorDeclarationTokens = front(constructorDeclarationTokens), termTokens = frontConstructorDeclarationTokens; ///
-    return termTokens;
-}
-function statementTokensFromUnqualifiedStatementTokens(unqualifiedStatementTokens) {
-    var frontUnqualifiedStatementTokens = front(unqualifiedStatementTokens), statementTokens = frontUnqualifiedStatementTokens; ///
-    return statementTokens;
-}
-function substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode(unqualifiedStatementTokens, substitutionNode) {
-    var lastSignificantTokenIndex = substitutionNode.getLastSignificantTokenIndex(unqualifiedStatementTokens), firstSignificantTokenIndex = substitutionNode.getFirstSignificantTokenIndex(unqualifiedStatementTokens), start = firstSignificantTokenIndex, end = lastSignificantTokenIndex + 1, substitutionTokens = unqualifiedStatementTokens.slice(start, end);
-    return substitutionTokens;
-}
-function tokensFromContentAndLexer(content, lexer) {
-    var tokens = lexer.tokenise(content);
-    return tokens;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdG9rZW5zLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuY29uc3QgeyBmcm9udCB9ID0gYXJyYXlVdGlsaXRpZXM7XG5cbmV4cG9ydCBmdW5jdGlvbiB2YXJpYWJsZVRva2Vuc0Zyb21WYXJpYWJsZVN0cmluZyh2YXJpYWJsZVN0cmluZywgbGV4ZXIpIHtcbiAgY29uc3QgdmFyaWFibGVDb250ZW50ID0gYCR7dmFyaWFibGVTdHJpbmd9YCxcbiAgICAgICAgdmFyaWFibGVUb2tlbnMgPSB0b2tlbnNGcm9tQ29udGVudEFuZExleGVyKHZhcmlhYmxlQ29udGVudCwgbGV4ZXIpO1xuXG4gIHJldHVybiB2YXJpYWJsZVRva2Vucztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIG1ldGF2YXJpYWJsZVRva2Vuc0Zyb21NZXRhdmFyaWFibGVTdHJpbmcobWV0YXZhcmlhYmxlU3RyaW5nLCBsZXhlcikge1xuICBjb25zdCBtZXRhdmFyaWFibGVDb250ZW50ID0gYCR7bWV0YXZhcmlhYmxlU3RyaW5nfWAsXG4gICAgICAgIG1ldGF2YXJpYWJsZVRva2VucyA9IHRva2Vuc0Zyb21Db250ZW50QW5kTGV4ZXIobWV0YXZhcmlhYmxlQ29udGVudCwgbGV4ZXIpO1xuXG4gIHJldHVybiBtZXRhdmFyaWFibGVUb2tlbnM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB1bnF1YWxpZmllZFN0YXRlbWVudFRva2Vuc0Zyb21VbnF1YWxpZmllZFN0YXRlbWVudFN0cmluZyh1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZywgbGV4ZXIpIHtcbiAgY29uc3QgY29udGVudCA9IHVucXVhbGlmaWVkU3RhdGVtZW50U3RyaW5nLCAgLy8vXG4gICAgICAgIHVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zID0gdG9rZW5zRnJvbUNvbnRlbnRBbmRMZXhlcihjb250ZW50LCBsZXhlcik7XG5cbiAgcmV0dXJuIHVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29uc3RydWN0b3JEZWNsYXJhdGlvblRva2Vuc0Zyb21Db25zdHJ1Y3RvckRlY2xhcmF0aW9uU3RyaW5nKGNvbnN0cnVjdG9yRGVjbGFyYXRpb25TdHJpbmcsIGxleGVyKSB7XG4gIGNvbnN0IGNvbnRlbnQgPSBjb25zdHJ1Y3RvckRlY2xhcmF0aW9uU3RyaW5nLCAgLy8vXG4gICAgICAgIGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ub2tlbnMgPSB0b2tlbnNGcm9tQ29udGVudEFuZExleGVyKGNvbnRlbnQsIGxleGVyKTtcblxuICByZXR1cm4gY29uc3RydWN0b3JEZWNsYXJhdGlvblRva2Vucztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHRlcm1Ub2tlbnNGcm9tQ29uc3RydWN0b3JEZWNsYXJhdGlvblRva2Vucyhjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zKSB7XG4gIGNvbnN0IGZyb250Q29uc3RydWN0b3JEZWNsYXJhdGlvblRva2VucyA9IGZyb250KGNvbnN0cnVjdG9yRGVjbGFyYXRpb25Ub2tlbnMpLFxuICAgICAgICB0ZXJtVG9rZW5zID0gZnJvbnRDb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zOyAgLy8vXG5cbiAgcmV0dXJuIHRlcm1Ub2tlbnM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdGF0ZW1lbnRUb2tlbnNGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnModW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnMpIHtcbiAgY29uc3QgZnJvbnRVbnF1YWxpZmllZFN0YXRlbWVudFRva2VucyA9IGZyb250KHVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zKSxcbiAgICAgICAgc3RhdGVtZW50VG9rZW5zID0gZnJvbnRVbnF1YWxpZmllZFN0YXRlbWVudFRva2VuczsgIC8vL1xuXG4gIHJldHVybiBzdGF0ZW1lbnRUb2tlbnM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdWJzdGl0dXRpb25Ub2tlbnNGcm9tVW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnNBbmRTdWJzdGl0dXRpb25Ob2RlKHVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zLCBzdWJzdGl0dXRpb25Ob2RlKSB7XG4gIGNvbnN0IGxhc3RTaWduaWZpY2FudFRva2VuSW5kZXggPSBzdWJzdGl0dXRpb25Ob2RlLmdldExhc3RTaWduaWZpY2FudFRva2VuSW5kZXgodW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnMpLFxuICAgICAgICBmaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCA9IHN1YnN0aXR1dGlvbk5vZGUuZ2V0Rmlyc3RTaWduaWZpY2FudFRva2VuSW5kZXgodW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnMpLFxuICAgICAgICBzdGFydCA9IGZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4LCAvLy9cbiAgICAgICAgZW5kID0gbGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCArIDEsXG4gICAgICAgIHN1YnN0aXR1dGlvblRva2VucyA9IHVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zLnNsaWNlKHN0YXJ0LCBlbmQpO1xuXG4gIHJldHVybiBzdWJzdGl0dXRpb25Ub2tlbnM7XG59XG5cbmZ1bmN0aW9uIHRva2Vuc0Zyb21Db250ZW50QW5kTGV4ZXIoY29udGVudCwgbGV4ZXIpIHtcbiAgY29uc3QgdG9rZW5zID0gbGV4ZXIudG9rZW5pc2UoY29udGVudCk7XG5cbiAgcmV0dXJuIHRva2Vucztcbn1cbiJdLCJuYW1lcyI6WyJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zRnJvbUNvbnN0cnVjdG9yRGVjbGFyYXRpb25TdHJpbmciLCJtZXRhdmFyaWFibGVUb2tlbnNGcm9tTWV0YXZhcmlhYmxlU3RyaW5nIiwic3RhdGVtZW50VG9rZW5zRnJvbVVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zIiwic3Vic3RpdHV0aW9uVG9rZW5zRnJvbVVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zQW5kU3Vic3RpdHV0aW9uTm9kZSIsInRlcm1Ub2tlbnNGcm9tQ29uc3RydWN0b3JEZWNsYXJhdGlvblRva2VucyIsInVucXVhbGlmaWVkU3RhdGVtZW50VG9rZW5zRnJvbVVucXVhbGlmaWVkU3RhdGVtZW50U3RyaW5nIiwidmFyaWFibGVUb2tlbnNGcm9tVmFyaWFibGVTdHJpbmciLCJmcm9udCIsImFycmF5VXRpbGl0aWVzIiwidmFyaWFibGVTdHJpbmciLCJsZXhlciIsInZhcmlhYmxlQ29udGVudCIsInZhcmlhYmxlVG9rZW5zIiwidG9rZW5zRnJvbUNvbnRlbnRBbmRMZXhlciIsIm1ldGF2YXJpYWJsZVN0cmluZyIsIm1ldGF2YXJpYWJsZUNvbnRlbnQiLCJtZXRhdmFyaWFibGVUb2tlbnMiLCJ1bnF1YWxpZmllZFN0YXRlbWVudFN0cmluZyIsImNvbnRlbnQiLCJ1bnF1YWxpZmllZFN0YXRlbWVudFRva2VucyIsImNvbnN0cnVjdG9yRGVjbGFyYXRpb25TdHJpbmciLCJjb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zIiwiZnJvbnRDb25zdHJ1Y3RvckRlY2xhcmF0aW9uVG9rZW5zIiwidGVybVRva2VucyIsImZyb250VW5xdWFsaWZpZWRTdGF0ZW1lbnRUb2tlbnMiLCJzdGF0ZW1lbnRUb2tlbnMiLCJzdWJzdGl0dXRpb25Ob2RlIiwibGFzdFNpZ25pZmljYW50VG9rZW5JbmRleCIsImdldExhc3RTaWduaWZpY2FudFRva2VuSW5kZXgiLCJmaXJzdFNpZ25pZmljYW50VG9rZW5JbmRleCIsImdldEZpcnN0U2lnbmlmaWNhbnRUb2tlbkluZGV4Iiwic3RhcnQiLCJlbmQiLCJzdWJzdGl0dXRpb25Ub2tlbnMiLCJzbGljZSIsInRva2VucyIsInRva2VuaXNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7SUEyQmdCQSw0REFBNEQ7ZUFBNURBOztJQWRBQyx3Q0FBd0M7ZUFBeENBOztJQTRCQUMsNkNBQTZDO2VBQTdDQTs7SUFPQUMsbUVBQW1FO2VBQW5FQTs7SUFkQUMsMENBQTBDO2VBQTFDQTs7SUFkQUMsd0RBQXdEO2VBQXhEQTs7SUFkQUMsZ0NBQWdDO2VBQWhDQTs7O3lCQUplO0FBRS9CLElBQU0sQUFBRUMsUUFBVUMseUJBQWMsQ0FBeEJEO0FBRUQsU0FBU0QsaUNBQWlDRyxjQUFjLEVBQUVDLEtBQUs7SUFDcEUsSUFBTUMsa0JBQWtCLEFBQUMsR0FBaUIsT0FBZkYsaUJBQ3JCRyxpQkFBaUJDLDBCQUEwQkYsaUJBQWlCRDtJQUVsRSxPQUFPRTtBQUNUO0FBRU8sU0FBU1gseUNBQXlDYSxrQkFBa0IsRUFBRUosS0FBSztJQUNoRixJQUFNSyxzQkFBc0IsQUFBQyxHQUFxQixPQUFuQkQscUJBQ3pCRSxxQkFBcUJILDBCQUEwQkUscUJBQXFCTDtJQUUxRSxPQUFPTTtBQUNUO0FBRU8sU0FBU1gseURBQXlEWSwwQkFBMEIsRUFBRVAsS0FBSztJQUN4RyxJQUFNUSxVQUFVRCw0QkFDVkUsNkJBQTZCTiwwQkFBMEJLLFNBQVNSO0lBRXRFLE9BQU9TO0FBQ1Q7QUFFTyxTQUFTbkIsNkRBQTZEb0IsNEJBQTRCLEVBQUVWLEtBQUs7SUFDOUcsSUFBTVEsVUFBVUUsOEJBQ1ZDLCtCQUErQlIsMEJBQTBCSyxTQUFTUjtJQUV4RSxPQUFPVztBQUNUO0FBRU8sU0FBU2pCLDJDQUEyQ2lCLDRCQUE0QjtJQUNyRixJQUFNQyxvQ0FBb0NmLE1BQU1jLCtCQUMxQ0UsYUFBYUQsbUNBQW9DLEdBQUc7SUFFMUQsT0FBT0M7QUFDVDtBQUVPLFNBQVNyQiw4Q0FBOENpQiwwQkFBMEI7SUFDdEYsSUFBTUssa0NBQWtDakIsTUFBTVksNkJBQ3hDTSxrQkFBa0JELGlDQUFrQyxHQUFHO0lBRTdELE9BQU9DO0FBQ1Q7QUFFTyxTQUFTdEIsb0VBQW9FZ0IsMEJBQTBCLEVBQUVPLGdCQUFnQjtJQUM5SCxJQUFNQyw0QkFBNEJELGlCQUFpQkUsNEJBQTRCLENBQUNULDZCQUMxRVUsNkJBQTZCSCxpQkFBaUJJLDZCQUE2QixDQUFDWCw2QkFDNUVZLFFBQVFGLDRCQUNSRyxNQUFNTCw0QkFBNEIsR0FDbENNLHFCQUFxQmQsMkJBQTJCZSxLQUFLLENBQUNILE9BQU9DO0lBRW5FLE9BQU9DO0FBQ1Q7QUFFQSxTQUFTcEIsMEJBQTBCSyxPQUFPLEVBQUVSLEtBQUs7SUFDL0MsSUFBTXlCLFNBQVN6QixNQUFNMEIsUUFBUSxDQUFDbEI7SUFFOUIsT0FBT2lCO0FBQ1QifQ==

package/src/ruleNames.js

@@ -1,6 +0,0 @@
-"use strict";
-
-export const VARIABLE_RULE_NAME = "variable";
-export const METAVARIABLE_RULE_NAME = "metavariable";
-export const UNQUALIFIED_STATEMENT_RULE_NAME = "unqualifiedStatement";
-export const CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";

package/src/utilities/node.js

@@ -1,114 +0,0 @@
-"use strict";
-
-import { nodeQuery } from "../utilities/query";
-import { VARIABLE_RULE_NAME,
-         METAVARIABLE_RULE_NAME,
-         UNQUALIFIED_STATEMENT_RULE_NAME,
-         CONSTRUCTOR_DECLARATION_RULE_NAME } from "../ruleNames";
-import { variableTokensFromVariableString,
-         metavariableTokensFromMetavariableString,
-         constructorDeclarationTokensFromConstructorDeclarationString } from "../utilities/tokens";
-
-const termNodeQuery = nodeQuery("/constructorDeclaration/term"),
-      statementNodeQuery = nodeQuery("/unqualifiedStatement/statement"),
-      substitutionNodeQuery = nodeQuery("/unqualifiedStatement/statement/substitution");
-
-export function termNodeFromTermString(termString, lexer, parser) {
-  const constructorDeclarationString = constructorDeclarationStringFromTermString(termString),
-        constructorDeclarationTokens = constructorDeclarationTokensFromConstructorDeclarationString(constructorDeclarationString, lexer),
-        constructorDeclarationNode = constructorDeclarationNodeFromConstructorDeclarationTokens(constructorDeclarationTokens, parser),
-        termNode = termNodeFromConstructorDeclarationNode(constructorDeclarationNode);
-
-  return termNode;
-}
-
-export function variableNodeFromVariableString(variableString, lexer, parser) {
-  const variableTokens = variableTokensFromVariableString(variableString, lexer),
-        variableNode = variableNodeFromVariableTokens(variableTokens, parser);
-
-  return variableNode;
-}
-
-export function metavariableNodeFromMetavariableString(metavariableString, lexer, parser) {
-  const metavariableTokens = metavariableTokensFromMetavariableString(metavariableString, lexer),
-        metavariableNode = metavariableNodeFromMetavariableTokens(metavariableTokens, parser);
-
-  return metavariableNode;
-}
-
-export function constructorDeclarationStringFromTermString(termString) {
-  const constructorDeclarationString = `Constructor ${termString}
-`;
-
-  return constructorDeclarationString;
-}
-
-export function unqualifiedStatementStringFromStatementString(statementString) {
-  const unqualifiedStatementString = `${statementString}
-`;
-
-  return unqualifiedStatementString;
-}
-
-export function unqualifiedStatementStringFromSubstitutionString(substitutionString) {
-  const unqualifiedStatementString = `a ${substitutionString}
-`;  ///
-
-  return unqualifiedStatementString;
-}
-
-export function termNodeFromConstructorDeclarationNode(constructorDeclarationNode) {
-  const termNode = termNodeQuery(constructorDeclarationNode, constructorDeclarationNode);
-
-  return termNode;
-}
-
-export function statementNodeFromUnqualifiedStatementNode(unqualifiedStatementNode) {
-  const statementNode = statementNodeQuery(unqualifiedStatementNode);
-
-  return statementNode;
-}
-
-export function substitutionNodeFromUnqualifiedStatementNode(unqualifiedStatementNode) {
-  const substitutionNode = substitutionNodeQuery(unqualifiedStatementNode);
-
-  return substitutionNode;
-}
-
-export function variableNodeFromVariableTokens(variableTokens, parser) {
-  const ruleName = VARIABLE_RULE_NAME,
-        variableNode = nodeFromTokensRuleNameAndParser(variableTokens, ruleName, parser);
-
-  return variableNode;
-}
-
-export function metavariableNodeFromMetavariableTokens(metavariableTokens, parser) {
-  const ruleName = METAVARIABLE_RULE_NAME,
-        metavariableNode = nodeFromTokensRuleNameAndParser(metavariableTokens, ruleName, parser);
-
-  return metavariableNode;
-}
-
-export function unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser) {
-  const tokens = unqualifiedStatementTokens,  ///
-        ruleName = UNQUALIFIED_STATEMENT_RULE_NAME,
-        unqualifiedStatementNode = nodeFromTokensRuleNameAndParser(tokens, ruleName, parser);
-
-  return unqualifiedStatementNode;
-}
-
-export function constructorDeclarationNodeFromConstructorDeclarationTokens(constructorDeclarationTokens, parser) {
-  const tokens = constructorDeclarationTokens,  ///
-        ruleName = CONSTRUCTOR_DECLARATION_RULE_NAME,
-        constructorDeclarationNode = nodeFromTokensRuleNameAndParser(tokens, ruleName, parser);
-
-  return constructorDeclarationNode;
-}
-
-function nodeFromTokensRuleNameAndParser(tokens, ruleName, parser) {
-  const ruleMap = parser.getRuleMap(),
-        rule = ruleMap[ruleName],
-        node = parser.parse(tokens, rule);
-
-  return node;
-}

package/src/utilities/tokens.js

@@ -1,63 +0,0 @@
-"use strict";
-
-import { arrayUtilities } from "necessary";
-
-const { front } = arrayUtilities;
-
-export function variableTokensFromVariableString(variableString, lexer) {
-  const variableContent = `${variableString}`,
-        variableTokens = tokensFromContentAndLexer(variableContent, lexer);
-
-  return variableTokens;
-}
-
-export function metavariableTokensFromMetavariableString(metavariableString, lexer) {
-  const metavariableContent = `${metavariableString}`,
-        metavariableTokens = tokensFromContentAndLexer(metavariableContent, lexer);
-
-  return metavariableTokens;
-}
-
-export function unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer) {
-  const content = unqualifiedStatementString,  ///
-        unqualifiedStatementTokens = tokensFromContentAndLexer(content, lexer);
-
-  return unqualifiedStatementTokens;
-}
-
-export function constructorDeclarationTokensFromConstructorDeclarationString(constructorDeclarationString, lexer) {
-  const content = constructorDeclarationString,  ///
-        constructorDeclarationTokens = tokensFromContentAndLexer(content, lexer);
-
-  return constructorDeclarationTokens;
-}
-
-export function termTokensFromConstructorDeclarationTokens(constructorDeclarationTokens) {
-  const frontConstructorDeclarationTokens = front(constructorDeclarationTokens),
-        termTokens = frontConstructorDeclarationTokens;  ///
-
-  return termTokens;
-}
-
-export function statementTokensFromUnqualifiedStatementTokens(unqualifiedStatementTokens) {
-  const frontUnqualifiedStatementTokens = front(unqualifiedStatementTokens),
-        statementTokens = frontUnqualifiedStatementTokens;  ///
-
-  return statementTokens;
-}
-
-export function substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode(unqualifiedStatementTokens, substitutionNode) {
-  const lastSignificantTokenIndex = substitutionNode.getLastSignificantTokenIndex(unqualifiedStatementTokens),
-        firstSignificantTokenIndex = substitutionNode.getFirstSignificantTokenIndex(unqualifiedStatementTokens),
-        start = firstSignificantTokenIndex, ///
-        end = lastSignificantTokenIndex + 1,
-        substitutionTokens = unqualifiedStatementTokens.slice(start, end);
-
-  return substitutionTokens;
-}
-
-function tokensFromContentAndLexer(content, lexer) {
-  const tokens = lexer.tokenise(content);
-
-  return tokens;
-}