occam-verify-cli 1.0.405 → 1.0.415

package/lib/unifier.js

@@ -1,241 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return Unifier;
-    }
-});
-var _query = require("./utilities/query");
-var _arguments = require("./utilities/arguments");
-var _unifier = require("./utilities/unifier");
-function _array_like_to_array(arr, len) {
-    if (len == null || len > arr.length) len = arr.length;
-    for(var i = 0, arr2 = new Array(len); i < len; i++)arr2[i] = arr[i];
-    return arr2;
-}
-function _array_without_holes(arr) {
-    if (Array.isArray(arr)) return _array_like_to_array(arr);
-}
-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 _iterable_to_array(iter) {
-    if (typeof Symbol !== "undefined" && iter[Symbol.iterator] != null || iter["@@iterator"] != null) return Array.from(iter);
-}
-function _non_iterable_spread() {
-    throw new TypeError("Invalid attempt to spread non-iterable instance.\\nIn order to be iterable, non-array objects must have a [Symbol.iterator]() method.");
-}
-function _to_consumable_array(arr) {
-    return _array_without_holes(arr) || _iterable_to_array(arr) || _unsupported_iterable_to_array(arr) || _non_iterable_spread();
-}
-function _unsupported_iterable_to_array(o, minLen) {
-    if (!o) return;
-    if (typeof o === "string") return _array_like_to_array(o, minLen);
-    var n = Object.prototype.toString.call(o).slice(8, -1);
-    if (n === "Object" && o.constructor) n = o.constructor.name;
-    if (n === "Map" || n === "Set") return Array.from(n);
-    if (n === "Arguments" || /^(?:Ui|I)nt(?:8|16|32)(?:Clamped)?Array$/.test(n)) return _array_like_to_array(o, minLen);
-}
-var nonTerminalNodeQuery = (0, _query.nodeQuery)("/*");
-var Unifier = /*#__PURE__*/ function() {
-    function Unifier() {
-        _class_call_check(this, Unifier);
-    }
-    _create_class(Unifier, [
-        {
-            key: "unify",
-            value: function unify(generalNode, specificNode) {
-                for(var _len = arguments.length, remainingArguments = new Array(_len > 2 ? _len - 2 : 0), _key = 2; _key < _len; _key++){
-                    remainingArguments[_key - 2] = arguments[_key];
-                }
-                var unifies;
-                var nodeUnifies = this.unifyNode.apply(this, [
-                    generalNode,
-                    specificNode
-                ].concat(_to_consumable_array(remainingArguments)));
-                unifies = nodeUnifies; ///
-                return unifies;
-            }
-        },
-        {
-            key: "unifyNode",
-            value: function unifyNode(generalNode, specificNode) {
-                for(var _len = arguments.length, remainingArguments = new Array(_len > 2 ? _len - 2 : 0), _key = 2; _key < _len; _key++){
-                    remainingArguments[_key - 2] = arguments[_key];
-                }
-                var nodeUnifies = false;
-                var generalNodeTerminalNode = generalNode.isTerminalNode(), specificNodeTerminalNode = specificNode.isTerminalNode(), generalNodeNonTerminalNode = generalNode.isNonTerminalNode(), specificNodeNonTerminalNode = specificNode.isNonTerminalNode();
-                if (false) {
-                ///
-                } else if (generalNodeTerminalNode && specificNodeTerminalNode) {
-                    var generalTerminalNode = generalNode, specificTerminalNode = specificNode, terminalNodeUnifies = this.unifyTerminalNode.apply(this, [
-                        generalTerminalNode,
-                        specificTerminalNode
-                    ].concat(_to_consumable_array(remainingArguments)));
-                    nodeUnifies = terminalNodeUnifies; ///
-                } else if (generalNodeNonTerminalNode && specificNodeNonTerminalNode) {
-                    var generalNonTerminalNode = generalNode, specificNonTerminalNode = specificNode, nonTerminalNodeUnifies = this.unifyNonTerminalNode.apply(this, [
-                        generalNonTerminalNode,
-                        specificNonTerminalNode
-                    ].concat(_to_consumable_array(remainingArguments)));
-                    nodeUnifies = nonTerminalNodeUnifies; ///
-                }
-                return nodeUnifies;
-            }
-        },
-        {
-            key: "unifyChildNodes",
-            value: function unifyChildNodes(generalChildNodes, specificChildNodes) {
-                var _this = this;
-                for(var _len = arguments.length, remainingArguments = new Array(_len > 2 ? _len - 2 : 0), _key = 2; _key < _len; _key++){
-                    remainingArguments[_key - 2] = arguments[_key];
-                }
-                var childNodesUnify = false;
-                var generalChildNodesLength = generalChildNodes.length, specificChildNodesLength = specificChildNodes.length;
-                if (generalChildNodesLength === specificChildNodesLength) {
-                    var specificTerminalNodeMap = (0, _unifier.terminalNodeMapFromNodes)(specificChildNodes), generalTerminalNodeMap = (0, _unifier.terminalNodeMapFromNodes)(generalChildNodes), terminalNodeMapsEqual = (0, _unifier.areTerminalNodeMapsEqual)(generalTerminalNodeMap, specificTerminalNodeMap);
-                    if (terminalNodeMapsEqual) {
-                        var lastRemainingArgumentFunction = (0, _arguments.isLastRemainingArgumentFunction)(remainingArguments);
-                        if (lastRemainingArgumentFunction) {
-                            var index = 0, childNodesUnifyAhead = this.unifyChildNodesAhead.apply(this, [
-                                index,
-                                generalChildNodes,
-                                specificChildNodes
-                            ].concat(_to_consumable_array(remainingArguments)));
-                            childNodesUnify = childNodesUnifyAhead; ///
-                        } else {
-                            childNodesUnify = generalChildNodes.every(function(generalChildNode, index) {
-                                var specificChildNode = specificChildNodes[index], specificNode = specificChildNode, generalNode = generalChildNode, nodeUnifies = _this.unifyNode.apply(_this, [
-                                    generalNode,
-                                    specificNode
-                                ].concat(_to_consumable_array(remainingArguments)));
-                                if (nodeUnifies) {
-                                    return true;
-                                }
-                            });
-                        }
-                    }
-                }
-                return childNodesUnify;
-            }
-        },
-        {
-            key: "unifyTerminalNode",
-            value: function unifyTerminalNode(generalTerminalNode, specificTerminalNode) {
-                for(var _len = arguments.length, remainingArguments = new Array(_len > 2 ? _len - 2 : 0), _key = 2; _key < _len; _key++){
-                    remainingArguments[_key - 2] = arguments[_key];
-                }
-                var terminalNodeUnifies;
-                var lastRemainingArgumentFunction = (0, _arguments.isLastRemainingArgumentFunction)(remainingArguments);
-                if (lastRemainingArgumentFunction) {
-                    var unifyAhead = remainingArguments.pop(), unifiesAhead = unifyAhead();
-                    terminalNodeUnifies = unifiesAhead; ///
-                    remainingArguments.push(unifiesAhead);
-                } else {
-                    terminalNodeUnifies = true;
-                }
-                return terminalNodeUnifies;
-            }
-        },
-        {
-            key: "unifyNonTerminalNode",
-            value: function unifyNonTerminalNode(generalNonTerminalNode, specificNonTerminalNode) {
-                for(var _len = arguments.length, remainingArguments = new Array(_len > 2 ? _len - 2 : 0), _key = 2; _key < _len; _key++){
-                    remainingArguments[_key - 2] = arguments[_key];
-                }
-                var _this = this;
-                var nonTerminalNodeUnifies;
-                var maps = this.constructor.maps;
-                maps = _to_consumable_array(maps).concat([
-                    {
-                        generalNodeQuery: nonTerminalNodeQuery,
-                        specificNodeQuery: nonTerminalNodeQuery,
-                        unify: function(generalNode, specificNode) {
-                            for(var _len = arguments.length, remainingArguments = new Array(_len > 2 ? _len - 2 : 0), _key = 2; _key < _len; _key++){
-                                remainingArguments[_key - 2] = arguments[_key];
-                            }
-                            var nonTerminalNodeUnifies;
-                            var generalNonTerminalNodeRuleName = generalNonTerminalNode.getRuleName(), specificNonTerminalNodeRuleName = specificNonTerminalNode.getRuleName(); ///
-                            if (generalNonTerminalNodeRuleName === specificNonTerminalNodeRuleName) {
-                                var generalNonTerminalNodeChildNodes = generalNonTerminalNode.getChildNodes(), specificNonTerminalNodeChildNode = specificNonTerminalNode.getChildNodes(), generalChildNodes = generalNonTerminalNodeChildNodes, specificChildNodes = specificNonTerminalNodeChildNode, childNodesUnify = _this.unifyChildNodes.apply(_this, [
-                                    generalChildNodes,
-                                    specificChildNodes
-                                ].concat(_to_consumable_array(remainingArguments)));
-                                nonTerminalNodeUnifies = childNodesUnify; ///
-                            }
-                            return nonTerminalNodeUnifies;
-                        }
-                    }
-                ]);
-                var nodeUnifies = false;
-                maps.some(function(map) {
-                    var generalNodeQuery = map.generalNodeQuery, specificNodeQuery = map.specificNodeQuery, unify = map.unify;
-                    var generalNode = generalNodeQuery(generalNonTerminalNode), specificNode = specificNodeQuery(specificNonTerminalNode); ///
-                    if (generalNode !== null && specificNode !== null) {
-                        nodeUnifies = unify.apply(void 0, [
-                            generalNode,
-                            specificNode
-                        ].concat(_to_consumable_array(remainingArguments)));
-                        return true;
-                    }
-                });
-                nonTerminalNodeUnifies = nodeUnifies; ///
-                return nonTerminalNodeUnifies;
-            }
-        },
-        {
-            key: "unifyChildNodesAhead",
-            value: function unifyChildNodesAhead(index, generalChildNodes, specificChildNodes) {
-                var _this = this;
-                for(var _len = arguments.length, remainingArguments = new Array(_len > 3 ? _len - 3 : 0), _key = 3; _key < _len; _key++){
-                    remainingArguments[_key - 3] = arguments[_key];
-                }
-                var childNodesUnify;
-                var unifyAhead = remainingArguments.pop(), generalChildNodesLength = generalChildNodes.length;
-                if (index === generalChildNodesLength) {
-                    var unifiesAhead = unifyAhead();
-                    childNodesUnify = unifiesAhead; ///
-                } else {
-                    var generalChildNode = generalChildNodes[index], specificChildNode = specificChildNodes[index], generalNode = generalChildNode, specificNode = specificChildNode, nodeUnifies = this.unifyNode.apply(this, [
-                        generalNode,
-                        specificNode
-                    ].concat(_to_consumable_array(remainingArguments), [
-                        function() {
-                            remainingArguments.push(unifyAhead); ///
-                            var aheadIndex = index + 1, childNodesUnifyAhead = _this.unifyChildNodesAhead.apply(_this, [
-                                aheadIndex,
-                                generalChildNodes,
-                                specificChildNodes
-                            ].concat(_to_consumable_array(remainingArguments)));
-                            return childNodesUnifyAhead;
-                        }
-                    ]));
-                    childNodesUnify = nodeUnifies; ///
-                }
-                return childNodesUnify;
-            }
-        }
-    ]);
-    return Unifier;
-}();
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy91bmlmaWVyLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi91dGlsaXRpZXMvcXVlcnlcIjtcbmltcG9ydCB7IGlzTGFzdFJlbWFpbmluZ0FyZ3VtZW50RnVuY3Rpb24gfSBmcm9tIFwiLi91dGlsaXRpZXMvYXJndW1lbnRzXCI7XG5pbXBvcnQgeyB0ZXJtaW5hbE5vZGVNYXBGcm9tTm9kZXMsIGFyZVRlcm1pbmFsTm9kZU1hcHNFcXVhbCB9IGZyb20gXCIuL3V0aWxpdGllcy91bmlmaWVyXCI7XG5cbmNvbnN0IG5vblRlcm1pbmFsTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiLypcIik7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFVuaWZpZXIge1xuICB1bmlmeShnZW5lcmFsTm9kZSwgc3BlY2lmaWNOb2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpIHtcbiAgICBsZXQgdW5pZmllcztcblxuICAgIGNvbnN0IG5vZGVVbmlmaWVzID0gdGhpcy51bmlmeU5vZGUoZ2VuZXJhbE5vZGUsIHNwZWNpZmljTm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKTtcblxuICAgIHVuaWZpZXMgPSBub2RlVW5pZmllczsgIC8vL1xuXG4gICAgcmV0dXJuIHVuaWZpZXM7XG4gIH1cblxuICB1bmlmeU5vZGUoZ2VuZXJhbE5vZGUsIHNwZWNpZmljTm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gICAgbGV0IG5vZGVVbmlmaWVzID0gZmFsc2U7XG5cbiAgICBjb25zdCBnZW5lcmFsTm9kZVRlcm1pbmFsTm9kZSA9IGdlbmVyYWxOb2RlLmlzVGVybWluYWxOb2RlKCksXG4gICAgICAgICAgc3BlY2lmaWNOb2RlVGVybWluYWxOb2RlID0gc3BlY2lmaWNOb2RlLmlzVGVybWluYWxOb2RlKCksXG4gICAgICAgICAgZ2VuZXJhbE5vZGVOb25UZXJtaW5hbE5vZGUgPSBnZW5lcmFsTm9kZS5pc05vblRlcm1pbmFsTm9kZSgpLFxuICAgICAgICAgIHNwZWNpZmljTm9kZU5vblRlcm1pbmFsTm9kZSA9IHNwZWNpZmljTm9kZS5pc05vblRlcm1pbmFsTm9kZSgpO1xuXG4gICAgaWYgKGZhbHNlKSB7XG4gICAgICAvLy9cbiAgICB9IGVsc2UgaWYgKGdlbmVyYWxOb2RlVGVybWluYWxOb2RlICYmIHNwZWNpZmljTm9kZVRlcm1pbmFsTm9kZSkge1xuICAgICAgY29uc3QgZ2VuZXJhbFRlcm1pbmFsTm9kZSA9IGdlbmVyYWxOb2RlLCAgLy8vXG4gICAgICAgICAgICBzcGVjaWZpY1Rlcm1pbmFsTm9kZSA9IHNwZWNpZmljTm9kZSwgIC8vL1xuICAgICAgICAgICAgdGVybWluYWxOb2RlVW5pZmllcyA9IHRoaXMudW5pZnlUZXJtaW5hbE5vZGUoZ2VuZXJhbFRlcm1pbmFsTm9kZSwgc3BlY2lmaWNUZXJtaW5hbE5vZGUsIC4uLnJlbWFpbmluZ0FyZ3VtZW50cyk7XG5cbiAgICAgIG5vZGVVbmlmaWVzID0gdGVybWluYWxOb2RlVW5pZmllczsgIC8vL1xuICAgIH0gZWxzZSBpZiAoZ2VuZXJhbE5vZGVOb25UZXJtaW5hbE5vZGUgJiYgc3BlY2lmaWNOb2RlTm9uVGVybWluYWxOb2RlKSB7XG4gICAgICBjb25zdCBnZW5lcmFsTm9uVGVybWluYWxOb2RlID0gZ2VuZXJhbE5vZGUsICAvLy9cbiAgICAgICAgICAgIHNwZWNpZmljTm9uVGVybWluYWxOb2RlID0gc3BlY2lmaWNOb2RlLCAvLy9cbiAgICAgICAgICAgIG5vblRlcm1pbmFsTm9kZVVuaWZpZXMgPSB0aGlzLnVuaWZ5Tm9uVGVybWluYWxOb2RlKGdlbmVyYWxOb25UZXJtaW5hbE5vZGUsIHNwZWNpZmljTm9uVGVybWluYWxOb2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpO1xuXG4gICAgICBub2RlVW5pZmllcyA9IG5vblRlcm1pbmFsTm9kZVVuaWZpZXM7IC8vL1xuICAgIH1cblxuICAgIHJldHVybiBub2RlVW5pZmllcztcbiAgfVxuXG4gIHVuaWZ5Q2hpbGROb2RlcyhnZW5lcmFsQ2hpbGROb2Rlcywgc3BlY2lmaWNDaGlsZE5vZGVzLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpIHtcbiAgICBsZXQgY2hpbGROb2Rlc1VuaWZ5ID0gZmFsc2U7XG5cbiAgICBjb25zdCBnZW5lcmFsQ2hpbGROb2Rlc0xlbmd0aCA9IGdlbmVyYWxDaGlsZE5vZGVzLmxlbmd0aCxcbiAgICAgICAgICBzcGVjaWZpY0NoaWxkTm9kZXNMZW5ndGggPSBzcGVjaWZpY0NoaWxkTm9kZXMubGVuZ3RoO1xuXG4gICAgaWYgKGdlbmVyYWxDaGlsZE5vZGVzTGVuZ3RoID09PSBzcGVjaWZpY0NoaWxkTm9kZXNMZW5ndGgpIHtcbiAgICAgIGNvbnN0IHNwZWNpZmljVGVybWluYWxOb2RlTWFwID0gdGVybWluYWxOb2RlTWFwRnJvbU5vZGVzKHNwZWNpZmljQ2hpbGROb2RlcyksXG4gICAgICAgICAgICBnZW5lcmFsVGVybWluYWxOb2RlTWFwID0gdGVybWluYWxOb2RlTWFwRnJvbU5vZGVzKGdlbmVyYWxDaGlsZE5vZGVzKSxcbiAgICAgICAgICAgIHRlcm1pbmFsTm9kZU1hcHNFcXVhbCA9IGFyZVRlcm1pbmFsTm9kZU1hcHNFcXVhbChnZW5lcmFsVGVybWluYWxOb2RlTWFwLCBzcGVjaWZpY1Rlcm1pbmFsTm9kZU1hcCk7XG5cbiAgICAgIGlmICh0ZXJtaW5hbE5vZGVNYXBzRXF1YWwpIHtcbiAgICAgICAgY29uc3QgbGFzdFJlbWFpbmluZ0FyZ3VtZW50RnVuY3Rpb24gPSBpc0xhc3RSZW1haW5pbmdBcmd1bWVudEZ1bmN0aW9uKHJlbWFpbmluZ0FyZ3VtZW50cyk7XG5cbiAgICAgICAgaWYgKGxhc3RSZW1haW5pbmdBcmd1bWVudEZ1bmN0aW9uKSB7XG4gICAgICAgICAgY29uc3QgaW5kZXggPSAwLFxuICAgICAgICAgICAgICAgIGNoaWxkTm9kZXNVbmlmeUFoZWFkID0gdGhpcy51bmlmeUNoaWxkTm9kZXNBaGVhZChpbmRleCwgZ2VuZXJhbENoaWxkTm9kZXMsIHNwZWNpZmljQ2hpbGROb2RlcywuLi5yZW1haW5pbmdBcmd1bWVudHMpO1xuXG4gICAgICAgICAgY2hpbGROb2Rlc1VuaWZ5ID0gY2hpbGROb2Rlc1VuaWZ5QWhlYWQ7IC8vL1xuICAgICAgICB9IGVsc2Uge1xuICAgICAgICAgIGNoaWxkTm9kZXNVbmlmeSA9IGdlbmVyYWxDaGlsZE5vZGVzLmV2ZXJ5KChnZW5lcmFsQ2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgICAgICAgY29uc3Qgc3BlY2lmaWNDaGlsZE5vZGUgPSBzcGVjaWZpY0NoaWxkTm9kZXNbaW5kZXhdLFxuICAgICAgICAgICAgICAgICAgc3BlY2lmaWNOb2RlID0gc3BlY2lmaWNDaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgICAgICAgZ2VuZXJhbE5vZGUgPSBnZW5lcmFsQ2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgICAgIG5vZGVVbmlmaWVzID0gdGhpcy51bmlmeU5vZGUoZ2VuZXJhbE5vZGUsIHNwZWNpZmljTm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKTtcblxuICAgICAgICAgICAgaWYgKG5vZGVVbmlmaWVzKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pO1xuICAgICAgICB9XG4gICAgICB9XG4gICAgfVxuXG4gICAgcmV0dXJuIGNoaWxkTm9kZXNVbmlmeTtcbiAgfVxuXG4gIHVuaWZ5VGVybWluYWxOb2RlKGdlbmVyYWxUZXJtaW5hbE5vZGUsIHNwZWNpZmljVGVybWluYWxOb2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpIHsgLy8vXG4gICAgbGV0IHRlcm1pbmFsTm9kZVVuaWZpZXM7XG5cbiAgICBjb25zdCBsYXN0UmVtYWluaW5nQXJndW1lbnRGdW5jdGlvbiA9IGlzTGFzdFJlbWFpbmluZ0FyZ3VtZW50RnVuY3Rpb24ocmVtYWluaW5nQXJndW1lbnRzKTtcblxuICAgIGlmIChsYXN0UmVtYWluaW5nQXJndW1lbnRGdW5jdGlvbikge1xuICAgICAgY29uc3QgdW5pZnlBaGVhZCA9IHJlbWFpbmluZ0FyZ3VtZW50cy5wb3AoKSxcbiAgICAgICAgICAgIHVuaWZpZXNBaGVhZCA9IHVuaWZ5QWhlYWQoKTtcblxuICAgICAgdGVybWluYWxOb2RlVW5pZmllcyA9IHVuaWZpZXNBaGVhZDsgIC8vL1xuXG4gICAgICByZW1haW5pbmdBcmd1bWVudHMucHVzaCh1bmlmaWVzQWhlYWQpO1xuICAgIH0gZWxzZSB7XG4gICAgICB0ZXJtaW5hbE5vZGVVbmlmaWVzID0gdHJ1ZTtcbiAgICB9XG5cbiAgICByZXR1cm4gdGVybWluYWxOb2RlVW5pZmllcztcbiAgfVxuXG4gIHVuaWZ5Tm9uVGVybWluYWxOb2RlKGdlbmVyYWxOb25UZXJtaW5hbE5vZGUsIHNwZWNpZmljTm9uVGVybWluYWxOb2RlLCAuLi5yZW1haW5pbmdBcmd1bWVudHMpIHtcbiAgICBsZXQgbm9uVGVybWluYWxOb2RlVW5pZmllcztcblxuICAgIGxldCB7IG1hcHMgfSA9IHRoaXMuY29uc3RydWN0b3I7XG5cbiAgICBtYXBzID0gWyAvLy9cbiAgICAgIC4uLm1hcHMsXG4gICAgICB7XG4gICAgICAgIGdlbmVyYWxOb2RlUXVlcnk6IG5vblRlcm1pbmFsTm9kZVF1ZXJ5LFxuICAgICAgICBzcGVjaWZpY05vZGVRdWVyeTogbm9uVGVybWluYWxOb2RlUXVlcnksXG4gICAgICAgIHVuaWZ5OiAoZ2VuZXJhbE5vZGUsIHNwZWNpZmljTm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzKSA9PiB7XG4gICAgICAgICAgbGV0IG5vblRlcm1pbmFsTm9kZVVuaWZpZXM7XG5cbiAgICAgICAgICBjb25zdCBnZW5lcmFsTm9uVGVybWluYWxOb2RlUnVsZU5hbWUgPSBnZW5lcmFsTm9uVGVybWluYWxOb2RlLmdldFJ1bGVOYW1lKCksIC8vL1xuICAgICAgICAgICAgICAgIHNwZWNpZmljTm9uVGVybWluYWxOb2RlUnVsZU5hbWUgPSBzcGVjaWZpY05vblRlcm1pbmFsTm9kZS5nZXRSdWxlTmFtZSgpOyAvLy9cblxuICAgICAgICAgIGlmIChnZW5lcmFsTm9uVGVybWluYWxOb2RlUnVsZU5hbWUgPT09IHNwZWNpZmljTm9uVGVybWluYWxOb2RlUnVsZU5hbWUpIHtcbiAgICAgICAgICAgIGNvbnN0IGdlbmVyYWxOb25UZXJtaW5hbE5vZGVDaGlsZE5vZGVzID0gZ2VuZXJhbE5vblRlcm1pbmFsTm9kZS5nZXRDaGlsZE5vZGVzKCksXG4gICAgICAgICAgICAgICAgICBzcGVjaWZpY05vblRlcm1pbmFsTm9kZUNoaWxkTm9kZSA9IHNwZWNpZmljTm9uVGVybWluYWxOb2RlLmdldENoaWxkTm9kZXMoKSxcbiAgICAgICAgICAgICAgICAgIGdlbmVyYWxDaGlsZE5vZGVzID0gZ2VuZXJhbE5vblRlcm1pbmFsTm9kZUNoaWxkTm9kZXMsIC8vL1xuICAgICAgICAgICAgICAgICAgc3BlY2lmaWNDaGlsZE5vZGVzID0gc3BlY2lmaWNOb25UZXJtaW5hbE5vZGVDaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgICAgICAgY2hpbGROb2Rlc1VuaWZ5ID0gdGhpcy51bmlmeUNoaWxkTm9kZXMoZ2VuZXJhbENoaWxkTm9kZXMsIHNwZWNpZmljQ2hpbGROb2RlcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKTtcblxuICAgICAgICAgICAgbm9uVGVybWluYWxOb2RlVW5pZmllcyA9IGNoaWxkTm9kZXNVbmlmeTsgLy8vXG4gICAgICAgICAgfVxuXG4gICAgICAgICAgcmV0dXJuIG5vblRlcm1pbmFsTm9kZVVuaWZpZXM7XG4gICAgICAgIH1cbiAgICAgIH1cbiAgICBdXG5cbiAgICBsZXQgbm9kZVVuaWZpZXMgPSBmYWxzZTtcblxuICAgIG1hcHMuc29tZSgobWFwKSA9PiB7XG4gICAgICBjb25zdCB7IGdlbmVyYWxOb2RlUXVlcnksIHNwZWNpZmljTm9kZVF1ZXJ5LCB1bmlmeSB9ID0gbWFwO1xuXG4gICAgICBjb25zdCBnZW5lcmFsTm9kZSA9IGdlbmVyYWxOb2RlUXVlcnkoZ2VuZXJhbE5vblRlcm1pbmFsTm9kZSksICAvLy9cbiAgICAgICAgICAgIHNwZWNpZmljTm9kZSA9IHNwZWNpZmljTm9kZVF1ZXJ5KHNwZWNpZmljTm9uVGVybWluYWxOb2RlKTsgIC8vL1xuXG4gICAgICBpZiAoKGdlbmVyYWxOb2RlICE9PSBudWxsKSAmJiAoc3BlY2lmaWNOb2RlICE9PSBudWxsKSkge1xuICAgICAgICBub2RlVW5pZmllcyA9IHVuaWZ5KGdlbmVyYWxOb2RlLCBzcGVjaWZpY05vZGUsIC4uLnJlbWFpbmluZ0FyZ3VtZW50cyk7XG5cbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICBub25UZXJtaW5hbE5vZGVVbmlmaWVzID0gbm9kZVVuaWZpZXM7IC8vL1xuXG4gICAgcmV0dXJuIG5vblRlcm1pbmFsTm9kZVVuaWZpZXM7XG4gIH1cblxuICB1bmlmeUNoaWxkTm9kZXNBaGVhZChpbmRleCwgZ2VuZXJhbENoaWxkTm9kZXMsIHNwZWNpZmljQ2hpbGROb2RlcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKSB7XG4gICAgbGV0IGNoaWxkTm9kZXNVbmlmeTtcblxuICAgIGNvbnN0IHVuaWZ5QWhlYWQgPSByZW1haW5pbmdBcmd1bWVudHMucG9wKCksIC8vL1xuICAgICAgICAgIGdlbmVyYWxDaGlsZE5vZGVzTGVuZ3RoID0gZ2VuZXJhbENoaWxkTm9kZXMubGVuZ3RoO1xuXG4gICAgaWYgKGluZGV4ID09PSBnZW5lcmFsQ2hpbGROb2Rlc0xlbmd0aCkge1xuICAgICAgY29uc3QgdW5pZmllc0FoZWFkID0gdW5pZnlBaGVhZCgpO1xuXG4gICAgICBjaGlsZE5vZGVzVW5pZnkgPSB1bmlmaWVzQWhlYWQ7IC8vL1xuICAgIH0gZWxzZSB7XG4gICAgICBjb25zdCBnZW5lcmFsQ2hpbGROb2RlID0gZ2VuZXJhbENoaWxkTm9kZXNbaW5kZXhdLFxuICAgICAgICAgICAgc3BlY2lmaWNDaGlsZE5vZGUgPSBzcGVjaWZpY0NoaWxkTm9kZXNbaW5kZXhdLFxuICAgICAgICAgICAgZ2VuZXJhbE5vZGUgPSBnZW5lcmFsQ2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgIHNwZWNpZmljTm9kZSA9IHNwZWNpZmljQ2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgIG5vZGVVbmlmaWVzID0gdGhpcy51bmlmeU5vZGUoZ2VuZXJhbE5vZGUsIHNwZWNpZmljTm9kZSwgLi4ucmVtYWluaW5nQXJndW1lbnRzLCAoKSA9PiB7XG4gICAgICAgICAgICAgIHJlbWFpbmluZ0FyZ3VtZW50cy5wdXNoKHVuaWZ5QWhlYWQpOyAvLy9cblxuICAgICAgICAgICAgICBjb25zdCBhaGVhZEluZGV4ID0gaW5kZXggKyAxLFxuICAgICAgICAgICAgICAgICAgICBjaGlsZE5vZGVzVW5pZnlBaGVhZCA9IHRoaXMudW5pZnlDaGlsZE5vZGVzQWhlYWQoYWhlYWRJbmRleCwgZ2VuZXJhbENoaWxkTm9kZXMsIHNwZWNpZmljQ2hpbGROb2RlcywgLi4ucmVtYWluaW5nQXJndW1lbnRzKTtcblxuICAgICAgICAgICAgICByZXR1cm4gY2hpbGROb2Rlc1VuaWZ5QWhlYWQ7XG4gICAgICAgICAgICB9KTtcblxuICAgICAgY2hpbGROb2Rlc1VuaWZ5ID0gbm9kZVVuaWZpZXM7ICAvLy9cbiAgICB9XG5cbiAgICByZXR1cm4gY2hpbGROb2Rlc1VuaWZ5O1xuICB9XG59XG4iXSwibmFtZXMiOlsiVW5pZmllciIsIm5vblRlcm1pbmFsTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwidW5pZnkiLCJnZW5lcmFsTm9kZSIsInNwZWNpZmljTm9kZSIsInJlbWFpbmluZ0FyZ3VtZW50cyIsInVuaWZpZXMiLCJub2RlVW5pZmllcyIsInVuaWZ5Tm9kZSIsImdlbmVyYWxOb2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJzcGVjaWZpY05vZGVUZXJtaW5hbE5vZGUiLCJnZW5lcmFsTm9kZU5vblRlcm1pbmFsTm9kZSIsImlzTm9uVGVybWluYWxOb2RlIiwic3BlY2lmaWNOb2RlTm9uVGVybWluYWxOb2RlIiwiZ2VuZXJhbFRlcm1pbmFsTm9kZSIsInNwZWNpZmljVGVybWluYWxOb2RlIiwidGVybWluYWxOb2RlVW5pZmllcyIsInVuaWZ5VGVybWluYWxOb2RlIiwiZ2VuZXJhbE5vblRlcm1pbmFsTm9kZSIsInNwZWNpZmljTm9uVGVybWluYWxOb2RlIiwibm9uVGVybWluYWxOb2RlVW5pZmllcyIsInVuaWZ5Tm9uVGVybWluYWxOb2RlIiwidW5pZnlDaGlsZE5vZGVzIiwiZ2VuZXJhbENoaWxkTm9kZXMiLCJzcGVjaWZpY0NoaWxkTm9kZXMiLCJjaGlsZE5vZGVzVW5pZnkiLCJnZW5lcmFsQ2hpbGROb2Rlc0xlbmd0aCIsImxlbmd0aCIsInNwZWNpZmljQ2hpbGROb2Rlc0xlbmd0aCIsInNwZWNpZmljVGVybWluYWxOb2RlTWFwIiwidGVybWluYWxOb2RlTWFwRnJvbU5vZGVzIiwiZ2VuZXJhbFRlcm1pbmFsTm9kZU1hcCIsInRlcm1pbmFsTm9kZU1hcHNFcXVhbCIsImFyZVRlcm1pbmFsTm9kZU1hcHNFcXVhbCIsImxhc3RSZW1haW5pbmdBcmd1bWVudEZ1bmN0aW9uIiwiaXNMYXN0UmVtYWluaW5nQXJndW1lbnRGdW5jdGlvbiIsImluZGV4IiwiY2hpbGROb2Rlc1VuaWZ5QWhlYWQiLCJ1bmlmeUNoaWxkTm9kZXNBaGVhZCIsImV2ZXJ5IiwiZ2VuZXJhbENoaWxkTm9kZSIsInNwZWNpZmljQ2hpbGROb2RlIiwidW5pZnlBaGVhZCIsInBvcCIsInVuaWZpZXNBaGVhZCIsInB1c2giLCJtYXBzIiwiZ2VuZXJhbE5vZGVRdWVyeSIsInNwZWNpZmljTm9kZVF1ZXJ5IiwiZ2VuZXJhbE5vblRlcm1pbmFsTm9kZVJ1bGVOYW1lIiwiZ2V0UnVsZU5hbWUiLCJzcGVjaWZpY05vblRlcm1pbmFsTm9kZVJ1bGVOYW1lIiwiZ2VuZXJhbE5vblRlcm1pbmFsTm9kZUNoaWxkTm9kZXMiLCJnZXRDaGlsZE5vZGVzIiwic3BlY2lmaWNOb25UZXJtaW5hbE5vZGVDaGlsZE5vZGUiLCJzb21lIiwibWFwIiwiYWhlYWRJbmRleCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFRcUJBOzs7cUJBTks7eUJBQ3NCO3VCQUNtQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRW5FLElBQU1DLHVCQUF1QkMsSUFBQUEsZ0JBQVMsRUFBQztBQUV4QixJQUFBLEFBQU1GLHdCQUFOO2FBQU1BO2dDQUFBQTs7a0JBQUFBOztZQUNuQkcsS0FBQUE7bUJBQUFBLFNBQUFBLE1BQU1DLFdBQVcsRUFBRUMsWUFBWTtnQkFBRSxJQUFBLElBQUEsT0FBQSxVQUFBLFFBQUEsQUFBR0MscUJBQUgsVUFBQSxPQUFBLElBQUEsT0FBQSxRQUFBLE9BQUEsR0FBQSxPQUFBLE1BQUE7b0JBQUdBLG1CQUFILE9BQUEsS0FBQSxTQUFBLENBQUEsS0FBcUI7O2dCQUNwRCxJQUFJQztnQkFFSixJQUFNQyxjQUFjLElBQUksQ0FBQ0MsU0FBUyxPQUFkLElBQUksRUFBSjtvQkFBZUw7b0JBQWFDO2lCQUFvQyxDQUFoRSxPQUEwQyxxQkFBR0M7Z0JBRWpFQyxVQUFVQyxhQUFjLEdBQUc7Z0JBRTNCLE9BQU9EO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUEsVUFBVUwsV0FBVyxFQUFFQyxZQUFZO2dCQUFFLElBQUEsSUFBQSxPQUFBLFVBQUEsUUFBQSxBQUFHQyxxQkFBSCxVQUFBLE9BQUEsSUFBQSxPQUFBLFFBQUEsT0FBQSxHQUFBLE9BQUEsTUFBQTtvQkFBR0EsbUJBQUgsT0FBQSxLQUFBLFNBQUEsQ0FBQSxLQUFxQjs7Z0JBQ3hELElBQUlFLGNBQWM7Z0JBRWxCLElBQU1FLDBCQUEwQk4sWUFBWU8sY0FBYyxJQUNwREMsMkJBQTJCUCxhQUFhTSxjQUFjLElBQ3RERSw2QkFBNkJULFlBQVlVLGlCQUFpQixJQUMxREMsOEJBQThCVixhQUFhUyxpQkFBaUI7Z0JBRWxFLElBQUksT0FBTztnQkFDVCxHQUFHO2dCQUNMLE9BQU8sSUFBSUosMkJBQTJCRSwwQkFBMEI7b0JBQzlELElBQU1JLHNCQUFzQlosYUFDdEJhLHVCQUF1QlosY0FDdkJhLHNCQUFzQixJQUFJLENBQUNDLGlCQUFpQixPQUF0QixJQUFJLEVBQUo7d0JBQXVCSDt3QkFBcUJDO3FCQUE0QyxDQUF4RixPQUFrRSxxQkFBR1g7b0JBRWpHRSxjQUFjVSxxQkFBc0IsR0FBRztnQkFDekMsT0FBTyxJQUFJTCw4QkFBOEJFLDZCQUE2QjtvQkFDcEUsSUFBTUsseUJBQXlCaEIsYUFDekJpQiwwQkFBMEJoQixjQUMxQmlCLHlCQUF5QixJQUFJLENBQUNDLG9CQUFvQixPQUF6QixJQUFJLEVBQUo7d0JBQTBCSDt3QkFBd0JDO3FCQUErQyxDQUFqRyxPQUEyRSxxQkFBR2Y7b0JBRTdHRSxjQUFjYyx3QkFBd0IsR0FBRztnQkFDM0M7Z0JBRUEsT0FBT2Q7WUFDVDs7O1lBRUFnQixLQUFBQTttQkFBQUEsU0FBQUEsZ0JBQWdCQyxpQkFBaUIsRUFBRUMsa0JBQWtCOztnQkFBRSxJQUFBLElBQUEsT0FBQSxVQUFBLFFBQUEsQUFBR3BCLHFCQUFILFVBQUEsT0FBQSxJQUFBLE9BQUEsUUFBQSxPQUFBLEdBQUEsT0FBQSxNQUFBO29CQUFHQSxtQkFBSCxPQUFBLEtBQUEsU0FBQSxDQUFBLEtBQXFCOztnQkFDMUUsSUFBSXFCLGtCQUFrQjtnQkFFdEIsSUFBTUMsMEJBQTBCSCxrQkFBa0JJLE1BQU0sRUFDbERDLDJCQUEyQkosbUJBQW1CRyxNQUFNO2dCQUUxRCxJQUFJRCw0QkFBNEJFLDBCQUEwQjtvQkFDeEQsSUFBTUMsMEJBQTBCQyxJQUFBQSxpQ0FBd0IsRUFBQ04scUJBQ25ETyx5QkFBeUJELElBQUFBLGlDQUF3QixFQUFDUCxvQkFDbERTLHdCQUF3QkMsSUFBQUEsaUNBQXdCLEVBQUNGLHdCQUF3QkY7b0JBRS9FLElBQUlHLHVCQUF1Qjt3QkFDekIsSUFBTUUsZ0NBQWdDQyxJQUFBQSwwQ0FBK0IsRUFBQy9CO3dCQUV0RSxJQUFJOEIsK0JBQStCOzRCQUNqQyxJQUFNRSxRQUFRLEdBQ1JDLHVCQUF1QixJQUFJLENBQUNDLG9CQUFvQixPQUF6QixJQUFJLEVBQUo7Z0NBQTBCRjtnQ0FBT2I7Z0NBQW1CQzs2QkFBeUMsQ0FBN0YsT0FBdUUscUJBQUdwQjs0QkFFdkdxQixrQkFBa0JZLHNCQUFzQixHQUFHO3dCQUM3QyxPQUFPOzRCQUNMWixrQkFBa0JGLGtCQUFrQmdCLEtBQUssQ0FBQyxTQUFDQyxrQkFBa0JKO2dDQUMzRCxJQUFNSyxvQkFBb0JqQixrQkFBa0IsQ0FBQ1ksTUFBTSxFQUM3Q2pDLGVBQWVzQyxtQkFDZnZDLGNBQWNzQyxrQkFDZGxDLGNBQWMsTUFBS0MsU0FBUyxjQUFkO29DQUFlTDtvQ0FBYUM7aUNBQW9DLENBQWhFLE9BQTBDLHFCQUFHQztnQ0FFakUsSUFBSUUsYUFBYTtvQ0FDZixPQUFPO2dDQUNUOzRCQUNGO3dCQUNGO29CQUNGO2dCQUNGO2dCQUVBLE9BQU9tQjtZQUNUOzs7WUFFQVIsS0FBQUE7bUJBQUFBLFNBQUFBLGtCQUFrQkgsbUJBQW1CLEVBQUVDLG9CQUFvQjtnQkFBRSxJQUFBLElBQUEsT0FBQSxVQUFBLFFBQUEsQUFBR1gscUJBQUgsVUFBQSxPQUFBLElBQUEsT0FBQSxRQUFBLE9BQUEsR0FBQSxPQUFBLE1BQUE7b0JBQUdBLG1CQUFILE9BQUEsS0FBQSxTQUFBLENBQUEsS0FBcUI7O2dCQUNoRixJQUFJWTtnQkFFSixJQUFNa0IsZ0NBQWdDQyxJQUFBQSwwQ0FBK0IsRUFBQy9CO2dCQUV0RSxJQUFJOEIsK0JBQStCO29CQUNqQyxJQUFNUSxhQUFhdEMsbUJBQW1CdUMsR0FBRyxJQUNuQ0MsZUFBZUY7b0JBRXJCMUIsc0JBQXNCNEIsY0FBZSxHQUFHO29CQUV4Q3hDLG1CQUFtQnlDLElBQUksQ0FBQ0Q7Z0JBQzFCLE9BQU87b0JBQ0w1QixzQkFBc0I7Z0JBQ3hCO2dCQUVBLE9BQU9BO1lBQ1Q7OztZQUVBSyxLQUFBQTttQkFBQUEsU0FBQUEscUJBQXFCSCxzQkFBc0IsRUFBRUMsdUJBQXVCO2dCQUFFLElBQUEsSUFBQSxPQUFBLFVBQUEsUUFBQSxBQUFHZixxQkFBSCxVQUFBLE9BQUEsSUFBQSxPQUFBLFFBQUEsT0FBQSxHQUFBLE9BQUEsTUFBQTtvQkFBR0EsbUJBQUgsT0FBQSxLQUFBLFNBQUEsQ0FBQSxLQUFxQjs7O2dCQUN6RixJQUFJZ0I7Z0JBRUosSUFBSSxBQUFFMEIsT0FBUyxJQUFJLENBQUMsV0FBVyxDQUF6QkE7Z0JBRU5BLE9BQU8sQUFDTCxxQkFBR0EsYUFERTtvQkFFTDt3QkFDRUMsa0JBQWtCaEQ7d0JBQ2xCaUQsbUJBQW1CakQ7d0JBQ25CRSxPQUFPLFNBQUNDLGFBQWFDOzZEQUFpQkM7Z0NBQUFBOzs0QkFDcEMsSUFBSWdCOzRCQUVKLElBQU02QixpQ0FBaUMvQix1QkFBdUJnQyxXQUFXLElBQ25FQyxrQ0FBa0NoQyx3QkFBd0IrQixXQUFXLElBQUksR0FBRzs0QkFFbEYsSUFBSUQsbUNBQW1DRSxpQ0FBaUM7Z0NBQ3RFLElBQU1DLG1DQUFtQ2xDLHVCQUF1Qm1DLGFBQWEsSUFDdkVDLG1DQUFtQ25DLHdCQUF3QmtDLGFBQWEsSUFDeEU5QixvQkFBb0I2QixrQ0FDcEI1QixxQkFBcUI4QixrQ0FDckI3QixrQkFBa0IsTUFBS0gsZUFBZSxjQUFwQjtvQ0FBcUJDO29DQUFtQkM7aUNBQTBDLENBQWxGLE9BQTRELHFCQUFHcEI7Z0NBRXZGZ0IseUJBQXlCSyxpQkFBaUIsR0FBRzs0QkFDL0M7NEJBRUEsT0FBT0w7d0JBQ1Q7b0JBQ0Y7aUJBQ0Q7Z0JBRUQsSUFBSWQsY0FBYztnQkFFbEJ3QyxLQUFLUyxJQUFJLENBQUMsU0FBQ0M7b0JBQ1QsSUFBUVQsbUJBQStDUyxJQUEvQ1Qsa0JBQWtCQyxvQkFBNkJRLElBQTdCUixtQkFBbUIvQyxRQUFVdUQsSUFBVnZEO29CQUU3QyxJQUFNQyxjQUFjNkMsaUJBQWlCN0IseUJBQy9CZixlQUFlNkMsa0JBQWtCN0IsMEJBQTJCLEdBQUc7b0JBRXJFLElBQUksQUFBQ2pCLGdCQUFnQixRQUFVQyxpQkFBaUIsTUFBTzt3QkFDckRHLGNBQWNMLFlBQUFBLEtBQUFBLEdBQUFBOzRCQUFNQzs0QkFBYUM7eUJBQW9DLENBQXZERixPQUFpQyxxQkFBR0c7d0JBRWxELE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUFnQix5QkFBeUJkLGFBQWEsR0FBRztnQkFFekMsT0FBT2M7WUFDVDs7O1lBRUFrQixLQUFBQTttQkFBQUEsU0FBQUEscUJBQXFCRixLQUFLLEVBQUViLGlCQUFpQixFQUFFQyxrQkFBa0I7O2dCQUFFLElBQUEsSUFBQSxPQUFBLFVBQUEsUUFBQSxBQUFHcEIscUJBQUgsVUFBQSxPQUFBLElBQUEsT0FBQSxRQUFBLE9BQUEsR0FBQSxPQUFBLE1BQUE7b0JBQUdBLG1CQUFILE9BQUEsS0FBQSxTQUFBLENBQUEsS0FBcUI7O2dCQUN0RixJQUFJcUI7Z0JBRUosSUFBTWlCLGFBQWF0QyxtQkFBbUJ1QyxHQUFHLElBQ25DakIsMEJBQTBCSCxrQkFBa0JJLE1BQU07Z0JBRXhELElBQUlTLFVBQVVWLHlCQUF5QjtvQkFDckMsSUFBTWtCLGVBQWVGO29CQUVyQmpCLGtCQUFrQm1CLGNBQWMsR0FBRztnQkFDckMsT0FBTztvQkFDTCxJQUFNSixtQkFBbUJqQixpQkFBaUIsQ0FBQ2EsTUFBTSxFQUMzQ0ssb0JBQW9CakIsa0JBQWtCLENBQUNZLE1BQU0sRUFDN0NsQyxjQUFjc0Msa0JBQ2RyQyxlQUFlc0MsbUJBQ2ZuQyxjQUFjLElBQUksQ0FBQ0MsU0FBUyxPQUFkLElBQUksRUFBSjt3QkFBZUw7d0JBQWFDO3FCQU94QyxDQVBZLE9BQTBDLHFCQUFHQyxxQkFBN0M7d0JBQWlFOzRCQUM3RUEsbUJBQW1CeUMsSUFBSSxDQUFDSCxhQUFhLEdBQUc7NEJBRXhDLElBQU1lLGFBQWFyQixRQUFRLEdBQ3JCQyx1QkFBdUIsTUFBS0Msb0JBQW9CLGNBQXpCO2dDQUEwQm1CO2dDQUFZbEM7Z0NBQW1CQzs2QkFBMEMsQ0FBbkcsT0FBNkUscUJBQUdwQjs0QkFFN0csT0FBT2lDO3dCQUNUO3FCQUFFO29CQUVSWixrQkFBa0JuQixhQUFjLEdBQUc7Z0JBQ3JDO2dCQUVBLE9BQU9tQjtZQUNUOzs7V0E3S21CM0IifQ==

package/lib/utilities/arguments.js

@@ -1,28 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "isLastRemainingArgumentFunction", {
-    enumerable: true,
-    get: function() {
-        return isLastRemainingArgumentFunction;
-    }
-});
-var _necessary = require("necessary");
-var _constants = require("../constants");
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-var last = _necessary.arrayUtilities.last;
-function isLastRemainingArgumentFunction(remainingArguments) {
-    var lastRemainingArgumentFunction = false;
-    var remainingArgumentsLength = remainingArguments.length;
-    if (remainingArgumentsLength > 0) {
-        var lastRemainingArgument = last(remainingArguments);
-        lastRemainingArgumentFunction = (typeof lastRemainingArgument === "undefined" ? "undefined" : _type_of(lastRemainingArgument)) === _constants.FUNCTION;
-    }
-    return lastRemainingArgumentFunction;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvYXJndW1lbnRzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcblxuaW1wb3J0IHsgRlVOQ1RJT04gfSBmcm9tIFwiLi4vY29uc3RhbnRzXCI7XG5cbmNvbnN0IHsgbGFzdCB9ID0gYXJyYXlVdGlsaXRpZXM7XG5cbmV4cG9ydCBmdW5jdGlvbiBpc0xhc3RSZW1haW5pbmdBcmd1bWVudEZ1bmN0aW9uKHJlbWFpbmluZ0FyZ3VtZW50cykge1xuICBsZXQgbGFzdFJlbWFpbmluZ0FyZ3VtZW50RnVuY3Rpb24gPSBmYWxzZTtcblxuICBjb25zdCByZW1haW5pbmdBcmd1bWVudHNMZW5ndGggPSByZW1haW5pbmdBcmd1bWVudHMubGVuZ3RoO1xuXG4gIGlmIChyZW1haW5pbmdBcmd1bWVudHNMZW5ndGggPiAwKSB7XG4gICAgY29uc3QgbGFzdFJlbWFpbmluZ0FyZ3VtZW50ID0gbGFzdChyZW1haW5pbmdBcmd1bWVudHMpO1xuXG4gICAgbGFzdFJlbWFpbmluZ0FyZ3VtZW50RnVuY3Rpb24gPSAodHlwZW9mIGxhc3RSZW1haW5pbmdBcmd1bWVudCA9PT0gRlVOQ1RJT04pO1xuICB9XG5cbiAgcmV0dXJuIGxhc3RSZW1haW5pbmdBcmd1bWVudEZ1bmN0aW9uO1xufVxuIl0sIm5hbWVzIjpbImlzTGFzdFJlbWFpbmluZ0FyZ3VtZW50RnVuY3Rpb24iLCJsYXN0IiwiYXJyYXlVdGlsaXRpZXMiLCJyZW1haW5pbmdBcmd1bWVudHMiLCJsYXN0UmVtYWluaW5nQXJndW1lbnRGdW5jdGlvbiIsInJlbWFpbmluZ0FyZ3VtZW50c0xlbmd0aCIsImxlbmd0aCIsImxhc3RSZW1haW5pbmdBcmd1bWVudCIsIkZVTkNUSU9OIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFRZ0JBOzs7ZUFBQUE7Ozt5QkFOZTt5QkFFTjs7Ozs7QUFFekIsSUFBTSxBQUFFQyxPQUFTQyx5QkFBYyxDQUF2QkQ7QUFFRCxTQUFTRCxnQ0FBZ0NHLGtCQUFrQjtJQUNoRSxJQUFJQyxnQ0FBZ0M7SUFFcEMsSUFBTUMsMkJBQTJCRixtQkFBbUJHLE1BQU07SUFFMUQsSUFBSUQsMkJBQTJCLEdBQUc7UUFDaEMsSUFBTUUsd0JBQXdCTixLQUFLRTtRQUVuQ0MsZ0NBQWlDLENBQUEsT0FBT0csc0RBQVAsU0FBT0Esc0JBQW9CLE1BQU1DLG1CQUFRO0lBQzVFO0lBRUEsT0FBT0o7QUFDVCJ9

package/lib/utilities/frame.js

@@ -1,18 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "frameMetavariableNameFromFrameNode", {
-    enumerable: true,
-    get: function() {
-        return frameMetavariableNameFromFrameNode;
-    }
-});
-var _query = require("../utilities/query");
-var frameMetavariableNameNodeQuery = (0, _query.nodeQuery)("/frame/assumption!/metavariable!/@name!");
-function frameMetavariableNameFromFrameNode(frmaeNode) {
-    var frameMetavariableNameTerminalNode = frameMetavariableNameNodeQuery(frmaeNode), frameMetavariableNameTerminalNodeContent = frameMetavariableNameTerminalNode.getContent(), frameMetavariableName = frameMetavariableNameTerminalNodeContent; ///
-    return frameMetavariableName;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvZnJhbWUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgZnJhbWVNZXRhdmFyaWFibGVOYW1lTm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL2ZyYW1lL2Fzc3VtcHRpb24hL21ldGF2YXJpYWJsZSEvQG5hbWUhXCIpO1xuXG5leHBvcnQgZnVuY3Rpb24gZnJhbWVNZXRhdmFyaWFibGVOYW1lRnJvbUZyYW1lTm9kZShmcm1hZU5vZGUpIHtcbiAgY29uc3QgZnJhbWVNZXRhdmFyaWFibGVOYW1lVGVybWluYWxOb2RlID0gZnJhbWVNZXRhdmFyaWFibGVOYW1lTm9kZVF1ZXJ5KGZybWFlTm9kZSksXG4gICAgICAgIGZyYW1lTWV0YXZhcmlhYmxlTmFtZVRlcm1pbmFsTm9kZUNvbnRlbnQgPSBmcmFtZU1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpLFxuICAgICAgICBmcmFtZU1ldGF2YXJpYWJsZU5hbWUgPSBmcmFtZU1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGVDb250ZW50OyAvLy9cblxuICByZXR1cm4gZnJhbWVNZXRhdmFyaWFibGVOYW1lO1xufVxuIl0sIm5hbWVzIjpbImZyYW1lTWV0YXZhcmlhYmxlTmFtZUZyb21GcmFtZU5vZGUiLCJmcmFtZU1ldGF2YXJpYWJsZU5hbWVOb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJmcm1hZU5vZGUiLCJmcmFtZU1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGUiLCJmcmFtZU1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGVDb250ZW50IiwiZ2V0Q29udGVudCIsImZyYW1lTWV0YXZhcmlhYmxlTmFtZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTWdCQTs7O2VBQUFBOzs7cUJBSlU7QUFFMUIsSUFBTUMsaUNBQWlDQyxJQUFBQSxnQkFBUyxFQUFDO0FBRTFDLFNBQVNGLG1DQUFtQ0csU0FBUztJQUMxRCxJQUFNQyxvQ0FBb0NILCtCQUErQkUsWUFDbkVFLDJDQUEyQ0Qsa0NBQWtDRSxVQUFVLElBQ3ZGQyx3QkFBd0JGLDBDQUEwQyxHQUFHO0lBRTNFLE9BQU9FO0FBQ1QifQ==

package/lib/utilities/metavariable.js

@@ -1,18 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "metavariableNameFromMetavariableNode", {
-    enumerable: true,
-    get: function() {
-        return metavariableNameFromMetavariableNode;
-    }
-});
-var _query = require("../utilities/query");
-var metavariableNameNodeQuery = (0, _query.nodeQuery)("/metavariable/@name!");
-function metavariableNameFromMetavariableNode(metavariableNode) {
-    var metavariableNameTerminalNode = metavariableNameNodeQuery(metavariableNode), metavariableNameTerminalNodeContent = metavariableNameTerminalNode.getContent(), metavariableName = metavariableNameTerminalNodeContent; ///
-    return metavariableName;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvbWV0YXZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IG1ldGF2YXJpYWJsZU5hbWVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvbWV0YXZhcmlhYmxlL0BuYW1lIVwiKTtcblxuZXhwb3J0IGZ1bmN0aW9uIG1ldGF2YXJpYWJsZU5hbWVGcm9tTWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlKSB7XG4gIGNvbnN0IG1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGUgPSBtZXRhdmFyaWFibGVOYW1lTm9kZVF1ZXJ5KG1ldGF2YXJpYWJsZU5vZGUpLFxuICAgICAgICBtZXRhdmFyaWFibGVOYW1lVGVybWluYWxOb2RlQ29udGVudCA9IG1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpLFxuICAgICAgICBtZXRhdmFyaWFibGVOYW1lID0gbWV0YXZhcmlhYmxlTmFtZVRlcm1pbmFsTm9kZUNvbnRlbnQ7IC8vL1xuXG4gIHJldHVybiBtZXRhdmFyaWFibGVOYW1lO1xufVxuIl0sIm5hbWVzIjpbIm1ldGF2YXJpYWJsZU5hbWVGcm9tTWV0YXZhcmlhYmxlTm9kZSIsIm1ldGF2YXJpYWJsZU5hbWVOb2RlUXVlcnkiLCJub2RlUXVlcnkiLCJtZXRhdmFyaWFibGVOb2RlIiwibWV0YXZhcmlhYmxlTmFtZVRlcm1pbmFsTm9kZSIsIm1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGVDb250ZW50IiwiZ2V0Q29udGVudCIsIm1ldGF2YXJpYWJsZU5hbWUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1nQkE7OztlQUFBQTs7O3FCQUpVO0FBRTFCLElBQU1DLDRCQUE0QkMsSUFBQUEsZ0JBQVMsRUFBQztBQUVyQyxTQUFTRixxQ0FBcUNHLGdCQUFnQjtJQUNuRSxJQUFNQywrQkFBK0JILDBCQUEwQkUsbUJBQ3pERSxzQ0FBc0NELDZCQUE2QkUsVUFBVSxJQUM3RUMsbUJBQW1CRixxQ0FBcUMsR0FBRztJQUVqRSxPQUFPRTtBQUNUIn0=

package/lib/utilities/statement.js

@@ -1,18 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "statementMetavariableNameFromFrameNode", {
-    enumerable: true,
-    get: function() {
-        return statementMetavariableNameFromFrameNode;
-    }
-});
-var _query = require("../utilities/query");
-var statementMetavariableNameNodeQuery = (0, _query.nodeQuery)("/statement/metavariable!/@name!");
-function statementMetavariableNameFromFrameNode(frmaeNode) {
-    var statementMetavariableNameTerminalNode = statementMetavariableNameNodeQuery(frmaeNode), statementMetavariableNameTerminalNodeContent = statementMetavariableNameTerminalNode.getContent(), statementMetavariableName = statementMetavariableNameTerminalNodeContent; ///
-    return statementMetavariableName;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3RhdGVtZW50LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBub2RlUXVlcnkgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3F1ZXJ5XCI7XG5cbmNvbnN0IHN0YXRlbWVudE1ldGF2YXJpYWJsZU5hbWVOb2RlUXVlcnkgPSBub2RlUXVlcnkoXCIvc3RhdGVtZW50L21ldGF2YXJpYWJsZSEvQG5hbWUhXCIpO1xuXG5leHBvcnQgZnVuY3Rpb24gc3RhdGVtZW50TWV0YXZhcmlhYmxlTmFtZUZyb21GcmFtZU5vZGUoZnJtYWVOb2RlKSB7XG4gIGNvbnN0IHN0YXRlbWVudE1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGUgPSBzdGF0ZW1lbnRNZXRhdmFyaWFibGVOYW1lTm9kZVF1ZXJ5KGZybWFlTm9kZSksXG4gICAgICAgIHN0YXRlbWVudE1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGVDb250ZW50ID0gc3RhdGVtZW50TWV0YXZhcmlhYmxlTmFtZVRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCksXG4gICAgICAgIHN0YXRlbWVudE1ldGF2YXJpYWJsZU5hbWUgPSBzdGF0ZW1lbnRNZXRhdmFyaWFibGVOYW1lVGVybWluYWxOb2RlQ29udGVudDsgLy8vXG5cbiAgcmV0dXJuIHN0YXRlbWVudE1ldGF2YXJpYWJsZU5hbWU7XG59XG4iXSwibmFtZXMiOlsic3RhdGVtZW50TWV0YXZhcmlhYmxlTmFtZUZyb21GcmFtZU5vZGUiLCJzdGF0ZW1lbnRNZXRhdmFyaWFibGVOYW1lTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwiZnJtYWVOb2RlIiwic3RhdGVtZW50TWV0YXZhcmlhYmxlTmFtZVRlcm1pbmFsTm9kZSIsInN0YXRlbWVudE1ldGF2YXJpYWJsZU5hbWVUZXJtaW5hbE5vZGVDb250ZW50IiwiZ2V0Q29udGVudCIsInN0YXRlbWVudE1ldGF2YXJpYWJsZU5hbWUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1nQkE7OztlQUFBQTs7O3FCQUpVO0FBRTFCLElBQU1DLHFDQUFxQ0MsSUFBQUEsZ0JBQVMsRUFBQztBQUU5QyxTQUFTRix1Q0FBdUNHLFNBQVM7SUFDOUQsSUFBTUMsd0NBQXdDSCxtQ0FBbUNFLFlBQzNFRSwrQ0FBK0NELHNDQUFzQ0UsVUFBVSxJQUMvRkMsNEJBQTRCRiw4Q0FBOEMsR0FBRztJQUVuRixPQUFPRTtBQUNUIn0=

package/lib/utilities/unification.js

@@ -1,109 +0,0 @@
-"use string";
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-function _export(target, all) {
-    for(var name in all)Object.defineProperty(target, name, {
-        enumerable: true,
-        get: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get unifyMetavariable () {
-        return unifyMetavariable;
-    },
-    get unifyMetavariableIntrinsically () {
-        return unifyMetavariableIntrinsically;
-    },
-    get unifyStatement () {
-        return unifyStatement;
-    },
-    get unifyStatementIntrinsically () {
-        return unifyStatementIntrinsically;
-    },
-    get unifyStatementWithCombinator () {
-        return unifyStatementWithCombinator;
-    },
-    get unifySubstitution () {
-        return unifySubstitution;
-    },
-    get unifyTermWithConstructor () {
-        return unifyTermWithConstructor;
-    }
-});
-var _temporary = /*#__PURE__*/ _interop_require_default(require("../context/temporary"));
-var _metaLevel = /*#__PURE__*/ _interop_require_default(require("../unifier/metaLevel"));
-var _metavariable = /*#__PURE__*/ _interop_require_default(require("../unifier/metavariable"));
-var _intrinsicLevel = /*#__PURE__*/ _interop_require_default(require("../unifier/intrinsicLevel"));
-var _termWithConstructor = /*#__PURE__*/ _interop_require_default(require("../unifier/termWithConstructor"));
-var _statementWithCombinator = /*#__PURE__*/ _interop_require_default(require("../unifier/statementWithCombinator"));
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function unifyStatement(generalStatement, specificStatement, substitutions, generalContext, specificContext) {
-    var statementUnifies = false;
-    var generalStatementNode = generalStatement.getNode(), specificStatementNode = specificStatement.getNode(), generalNonTerminalNode = generalStatementNode, specificNonTerminalNode = specificStatementNode, unifiesAtMetaLevel = _metaLevel.default.unify(generalNonTerminalNode, specificNonTerminalNode, substitutions, generalContext, specificContext);
-    if (unifiesAtMetaLevel) {
-        statementUnifies = true;
-    }
-    return statementUnifies;
-}
-function unifySubstitution(generalSubstitution, specificSubstitution, substitutions, generalContext, specificContext) {
-    var substitutionUnifies = false;
-    var generalSubstitutionNode = generalSubstitution.getNode(), specificSubstitutionNode = specificSubstitution.getNode(), generalNonTerminalNode = generalSubstitutionNode, specificNonTerminalNode = specificSubstitutionNode, unifiesAtMetaLevel = _metaLevel.default.unify(generalNonTerminalNode, specificNonTerminalNode, substitutions, generalContext, specificContext);
-    if (unifiesAtMetaLevel) {
-        substitutionUnifies = true;
-    }
-    return substitutionUnifies;
-}
-function unifyMetavariable(generalMetavariable, specificMetavariable, generalContext, specificContext) {
-    var metavariableUnifies;
-    var generalMetavariableNode = generalMetavariable.getNode(), specificMetavariableNode = specificMetavariable.getNode(), generalMetavariableTokens = generalMetavariable.getTokens(), specificMetavariableTokens = specificMetavariable.getTokens();
-    generalContext = contextFromTokens(generalMetavariableTokens, generalContext); ///
-    specificContext = contextFromTokens(specificMetavariableTokens, specificContext); ///
-    metavariableUnifies = _metavariable.default.unify(generalMetavariableNode, specificMetavariableNode, generalContext, specificContext);
-    return metavariableUnifies;
-}
-function unifyTermWithConstructor(term, constructor, context) {
-    var termUnifiesWithConstructor;
-    var termNode = term.getNode(), constructorTerm = constructor.getTerm(), constructorTermNode = constructorTerm.getNode();
-    termUnifiesWithConstructor = _termWithConstructor.default.unify(constructorTermNode, termNode, context);
-    return termUnifiesWithConstructor;
-}
-function unifyStatementIntrinsically(generalStatement, specificStatement, substitutions, generalContext, specificContext) {
-    var metavariableUnifiesIntrinsically;
-    var generalStatementNode = generalStatement.getNode(), specificStatementNode = specificStatement.getNode(), generalStatementTokens = generalStatement.getTokens(), specificStatementTokens = specificStatement.getTokens();
-    generalContext = contextFromTokens(generalStatementTokens, generalContext); ///
-    specificContext = contextFromTokens(specificStatementTokens, specificContext); ///
-    var generalNonTerminalNode = generalStatementNode, specificNonTerminalNode = specificStatementNode; ///
-    metavariableUnifiesIntrinsically = _intrinsicLevel.default.unify(generalNonTerminalNode, specificNonTerminalNode, substitutions, generalContext, specificContext);
-    return metavariableUnifiesIntrinsically;
-}
-function unifyStatementWithCombinator(statement, combinator, assignments, stated, context) {
-    var statementUnifiesWithCombinator;
-    var statementNode = statement.getNode(), combinatorStatement = combinator.getStatement(), combinatorStatementNode = combinatorStatement.getNode(), combinatorStatementTokens = combinatorStatement.getTokens();
-    var specificContext = context; ///
-    context = contextFromTokens(combinatorStatementTokens, context); ///
-    var generalContext = context; ///
-    statementUnifiesWithCombinator = _statementWithCombinator.default.unify(combinatorStatementNode, statementNode, assignments, stated, generalContext, specificContext);
-    return statementUnifiesWithCombinator;
-}
-function unifyMetavariableIntrinsically(generalMetavariable, specificMetavariable, substitutions, generalContext, specificContext) {
-    var metavariableUnifiesIntrinsically;
-    var generalMetavariableNode = generalMetavariable.getNode(), specificMetavariableNode = specificMetavariable.getNode(), generalMetavariableTokens = generalMetavariable.getTokens(), specificMetavariableTokens = specificMetavariable.getTokens();
-    generalContext = contextFromTokens(generalMetavariableTokens, generalContext); ///
-    specificContext = contextFromTokens(specificMetavariableTokens, specificContext); ///
-    var generalNonTerminalNode = generalMetavariableNode, specificNonTerminalNode = specificMetavariableNode; ///
-    metavariableUnifiesIntrinsically = _intrinsicLevel.default.unify(generalNonTerminalNode, specificNonTerminalNode, substitutions, generalContext, specificContext);
-    return metavariableUnifiesIntrinsically;
-}
-function contextFromTokens(tokens, context) {
-    var temporaryContext = _temporary.default.fromContextAndTokens(context, tokens);
-    context = temporaryContext; ///
-    return context;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdW5pZmljYXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaW5nXCI7XG5cbmltcG9ydCBUZW1wb3JhcnlDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0L3RlbXBvcmFyeVwiO1xuaW1wb3J0IG1ldGFMZXZlbFVuaWZpZXIgZnJvbSBcIi4uL3VuaWZpZXIvbWV0YUxldmVsXCI7XG5pbXBvcnQgbWV0YXZhcmlhYmxlVW5pZmllciBmcm9tIFwiLi4vdW5pZmllci9tZXRhdmFyaWFibGVcIjtcbmltcG9ydCBpbnRyaW5zaWNMZXZlbFVuaWZpZXIgZnJvbSBcIi4uL3VuaWZpZXIvaW50cmluc2ljTGV2ZWxcIjtcbmltcG9ydCB0ZXJtV2l0aENvbnN0cnVjdG9yVW5pZmllciBmcm9tIFwiLi4vdW5pZmllci90ZXJtV2l0aENvbnN0cnVjdG9yXCI7XG5pbXBvcnQgc3RhdGVtZW50V2l0aENvbWJpbmF0b3JVbmlmaWVyIGZyb20gXCIuLi91bmlmaWVyL3N0YXRlbWVudFdpdGhDb21iaW5hdG9yXCI7XG5cbmV4cG9ydCBmdW5jdGlvbiB1bmlmeVN0YXRlbWVudChnZW5lcmFsU3RhdGVtZW50LCBzcGVjaWZpY1N0YXRlbWVudCwgc3Vic3RpdHV0aW9ucywgZ2VuZXJhbENvbnRleHQsIHNwZWNpZmljQ29udGV4dCkge1xuICBsZXQgc3RhdGVtZW50VW5pZmllcyA9IGZhbHNlO1xuXG4gIGNvbnN0IGdlbmVyYWxTdGF0ZW1lbnROb2RlID0gZ2VuZXJhbFN0YXRlbWVudC5nZXROb2RlKCksXG4gICAgICAgIHNwZWNpZmljU3RhdGVtZW50Tm9kZSA9IHNwZWNpZmljU3RhdGVtZW50LmdldE5vZGUoKSxcbiAgICAgICAgZ2VuZXJhbE5vblRlcm1pbmFsTm9kZSA9IGdlbmVyYWxTdGF0ZW1lbnROb2RlLCAvLy9cbiAgICAgICAgc3BlY2lmaWNOb25UZXJtaW5hbE5vZGUgPSBzcGVjaWZpY1N0YXRlbWVudE5vZGUsICAvLy9cbiAgICAgICAgdW5pZmllc0F0TWV0YUxldmVsID0gbWV0YUxldmVsVW5pZmllci51bmlmeShnZW5lcmFsTm9uVGVybWluYWxOb2RlLCBzcGVjaWZpY05vblRlcm1pbmFsTm9kZSwgc3Vic3RpdHV0aW9ucywgZ2VuZXJhbENvbnRleHQsIHNwZWNpZmljQ29udGV4dCk7XG5cbiAgaWYgKHVuaWZpZXNBdE1ldGFMZXZlbCkge1xuICAgIHN0YXRlbWVudFVuaWZpZXMgPSB0cnVlO1xuICB9XG5cbiAgcmV0dXJuIHN0YXRlbWVudFVuaWZpZXM7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB1bmlmeVN1YnN0aXR1dGlvbihnZW5lcmFsU3Vic3RpdHV0aW9uLCBzcGVjaWZpY1N1YnN0aXR1dGlvbiwgc3Vic3RpdHV0aW9ucywgZ2VuZXJhbENvbnRleHQsIHNwZWNpZmljQ29udGV4dCkge1xuICBsZXQgc3Vic3RpdHV0aW9uVW5pZmllcyA9IGZhbHNlO1xuXG4gIGNvbnN0IGdlbmVyYWxTdWJzdGl0dXRpb25Ob2RlID0gZ2VuZXJhbFN1YnN0aXR1dGlvbi5nZXROb2RlKCksXG4gICAgICAgIHNwZWNpZmljU3Vic3RpdHV0aW9uTm9kZSA9IHNwZWNpZmljU3Vic3RpdHV0aW9uLmdldE5vZGUoKSxcbiAgICAgICAgZ2VuZXJhbE5vblRlcm1pbmFsTm9kZSA9IGdlbmVyYWxTdWJzdGl0dXRpb25Ob2RlLCAvLy9cbiAgICAgICAgc3BlY2lmaWNOb25UZXJtaW5hbE5vZGUgPSBzcGVjaWZpY1N1YnN0aXR1dGlvbk5vZGUsXG4gICAgICAgIHVuaWZpZXNBdE1ldGFMZXZlbCA9IG1ldGFMZXZlbFVuaWZpZXIudW5pZnkoZ2VuZXJhbE5vblRlcm1pbmFsTm9kZSwgc3BlY2lmaWNOb25UZXJtaW5hbE5vZGUsIHN1YnN0aXR1dGlvbnMsIGdlbmVyYWxDb250ZXh0LCBzcGVjaWZpY0NvbnRleHQpO1xuXG4gIGlmICh1bmlmaWVzQXRNZXRhTGV2ZWwpIHtcbiAgICBzdWJzdGl0dXRpb25VbmlmaWVzID0gdHJ1ZTtcbiAgfVxuXG4gIHJldHVybiBzdWJzdGl0dXRpb25VbmlmaWVzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdW5pZnlNZXRhdmFyaWFibGUoZ2VuZXJhbE1ldGF2YXJpYWJsZSwgc3BlY2lmaWNNZXRhdmFyaWFibGUsIGdlbmVyYWxDb250ZXh0LCBzcGVjaWZpY0NvbnRleHQpIHtcbiAgbGV0IG1ldGF2YXJpYWJsZVVuaWZpZXM7XG5cbiAgY29uc3QgZ2VuZXJhbE1ldGF2YXJpYWJsZU5vZGUgPSBnZW5lcmFsTWV0YXZhcmlhYmxlLmdldE5vZGUoKSxcbiAgICAgICAgc3BlY2lmaWNNZXRhdmFyaWFibGVOb2RlID0gc3BlY2lmaWNNZXRhdmFyaWFibGUuZ2V0Tm9kZSgpLFxuICAgICAgICBnZW5lcmFsTWV0YXZhcmlhYmxlVG9rZW5zID0gZ2VuZXJhbE1ldGF2YXJpYWJsZS5nZXRUb2tlbnMoKSxcbiAgICAgICAgc3BlY2lmaWNNZXRhdmFyaWFibGVUb2tlbnMgPSBzcGVjaWZpY01ldGF2YXJpYWJsZS5nZXRUb2tlbnMoKTtcblxuICBnZW5lcmFsQ29udGV4dCA9IGNvbnRleHRGcm9tVG9rZW5zKGdlbmVyYWxNZXRhdmFyaWFibGVUb2tlbnMsIGdlbmVyYWxDb250ZXh0KTsgLy8vXG5cbiAgc3BlY2lmaWNDb250ZXh0ID0gY29udGV4dEZyb21Ub2tlbnMoc3BlY2lmaWNNZXRhdmFyaWFibGVUb2tlbnMsIHNwZWNpZmljQ29udGV4dCk7IC8vL1xuXG4gIG1ldGF2YXJpYWJsZVVuaWZpZXMgPSBtZXRhdmFyaWFibGVVbmlmaWVyLnVuaWZ5KGdlbmVyYWxNZXRhdmFyaWFibGVOb2RlLCBzcGVjaWZpY01ldGF2YXJpYWJsZU5vZGUsIGdlbmVyYWxDb250ZXh0LCBzcGVjaWZpY0NvbnRleHQpO1xuXG4gIHJldHVybiBtZXRhdmFyaWFibGVVbmlmaWVzO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdW5pZnlUZXJtV2l0aENvbnN0cnVjdG9yKHRlcm0sIGNvbnN0cnVjdG9yLCBjb250ZXh0KSB7XG4gIGxldCB0ZXJtVW5pZmllc1dpdGhDb25zdHJ1Y3RvcjtcblxuICBjb25zdCB0ZXJtTm9kZSA9IHRlcm0uZ2V0Tm9kZSgpLFxuICAgICAgICBjb25zdHJ1Y3RvclRlcm0gPSBjb25zdHJ1Y3Rvci5nZXRUZXJtKCksXG4gICAgICAgIGNvbnN0cnVjdG9yVGVybU5vZGUgPSBjb25zdHJ1Y3RvclRlcm0uZ2V0Tm9kZSgpO1xuXG4gIHRlcm1VbmlmaWVzV2l0aENvbnN0cnVjdG9yID0gdGVybVdpdGhDb25zdHJ1Y3RvclVuaWZpZXIudW5pZnkoY29uc3RydWN0b3JUZXJtTm9kZSwgdGVybU5vZGUsIGNvbnRleHQpO1xuXG4gIHJldHVybiB0ZXJtVW5pZmllc1dpdGhDb25zdHJ1Y3Rvcjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHVuaWZ5U3RhdGVtZW50SW50cmluc2ljYWxseShnZW5lcmFsU3RhdGVtZW50LCBzcGVjaWZpY1N0YXRlbWVudCwgc3Vic3RpdHV0aW9ucywgZ2VuZXJhbENvbnRleHQsIHNwZWNpZmljQ29udGV4dCkge1xuICBsZXQgbWV0YXZhcmlhYmxlVW5pZmllc0ludHJpbnNpY2FsbHk7XG5cbiAgY29uc3QgZ2VuZXJhbFN0YXRlbWVudE5vZGUgPSBnZW5lcmFsU3RhdGVtZW50LmdldE5vZGUoKSxcbiAgICAgICAgc3BlY2lmaWNTdGF0ZW1lbnROb2RlID0gc3BlY2lmaWNTdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICBnZW5lcmFsU3RhdGVtZW50VG9rZW5zID0gZ2VuZXJhbFN0YXRlbWVudC5nZXRUb2tlbnMoKSxcbiAgICAgICAgc3BlY2lmaWNTdGF0ZW1lbnRUb2tlbnMgPSBzcGVjaWZpY1N0YXRlbWVudC5nZXRUb2tlbnMoKTtcblxuICBnZW5lcmFsQ29udGV4dCA9IGNvbnRleHRGcm9tVG9rZW5zKGdlbmVyYWxTdGF0ZW1lbnRUb2tlbnMsIGdlbmVyYWxDb250ZXh0KTsgLy8vXG5cbiAgc3BlY2lmaWNDb250ZXh0ID0gY29udGV4dEZyb21Ub2tlbnMoc3BlY2lmaWNTdGF0ZW1lbnRUb2tlbnMsIHNwZWNpZmljQ29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IGdlbmVyYWxOb25UZXJtaW5hbE5vZGUgPSBnZW5lcmFsU3RhdGVtZW50Tm9kZSwgLy8vXG4gICAgICAgIHNwZWNpZmljTm9uVGVybWluYWxOb2RlID0gc3BlY2lmaWNTdGF0ZW1lbnROb2RlOyAvLy9cblxuICBtZXRhdmFyaWFibGVVbmlmaWVzSW50cmluc2ljYWxseSA9IGludHJpbnNpY0xldmVsVW5pZmllci51bmlmeShnZW5lcmFsTm9uVGVybWluYWxOb2RlLCBzcGVjaWZpY05vblRlcm1pbmFsTm9kZSwgc3Vic3RpdHV0aW9ucywgZ2VuZXJhbENvbnRleHQsIHNwZWNpZmljQ29udGV4dCk7XG5cbiAgcmV0dXJuIG1ldGF2YXJpYWJsZVVuaWZpZXNJbnRyaW5zaWNhbGx5O1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdW5pZnlTdGF0ZW1lbnRXaXRoQ29tYmluYXRvcihzdGF0ZW1lbnQsIGNvbWJpbmF0b3IsIGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpIHtcbiAgbGV0IHN0YXRlbWVudFVuaWZpZXNXaXRoQ29tYmluYXRvcjtcblxuICBjb25zdCBzdGF0ZW1lbnROb2RlID0gc3RhdGVtZW50LmdldE5vZGUoKSxcbiAgICAgICAgY29tYmluYXRvclN0YXRlbWVudCA9IGNvbWJpbmF0b3IuZ2V0U3RhdGVtZW50KCksXG4gICAgICAgIGNvbWJpbmF0b3JTdGF0ZW1lbnROb2RlID0gY29tYmluYXRvclN0YXRlbWVudC5nZXROb2RlKCksXG4gICAgICAgIGNvbWJpbmF0b3JTdGF0ZW1lbnRUb2tlbnMgPSBjb21iaW5hdG9yU3RhdGVtZW50LmdldFRva2VucygpO1xuXG4gIGNvbnN0IHNwZWNpZmljQ29udGV4dCA9IGNvbnRleHQ7ICAvLy9cblxuICBjb250ZXh0ID0gY29udGV4dEZyb21Ub2tlbnMoY29tYmluYXRvclN0YXRlbWVudFRva2VucywgY29udGV4dCk7ICAvLy9cblxuICBjb25zdCBnZW5lcmFsQ29udGV4dCA9IGNvbnRleHQ7IC8vL1xuXG4gIHN0YXRlbWVudFVuaWZpZXNXaXRoQ29tYmluYXRvciA9IHN0YXRlbWVudFdpdGhDb21iaW5hdG9yVW5pZmllci51bmlmeShjb21iaW5hdG9yU3RhdGVtZW50Tm9kZSwgc3RhdGVtZW50Tm9kZSwgYXNzaWdubWVudHMsIHN0YXRlZCwgZ2VuZXJhbENvbnRleHQsIHNwZWNpZmljQ29udGV4dCk7XG5cbiAgcmV0dXJuIHN0YXRlbWVudFVuaWZpZXNXaXRoQ29tYmluYXRvcjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHVuaWZ5TWV0YXZhcmlhYmxlSW50cmluc2ljYWxseShnZW5lcmFsTWV0YXZhcmlhYmxlLCBzcGVjaWZpY01ldGF2YXJpYWJsZSwgc3Vic3RpdHV0aW9ucywgZ2VuZXJhbENvbnRleHQsIHNwZWNpZmljQ29udGV4dCkge1xuICBsZXQgbWV0YXZhcmlhYmxlVW5pZmllc0ludHJpbnNpY2FsbHk7XG5cbiAgY29uc3QgZ2VuZXJhbE1ldGF2YXJpYWJsZU5vZGUgPSBnZW5lcmFsTWV0YXZhcmlhYmxlLmdldE5vZGUoKSxcbiAgICAgICAgc3BlY2lmaWNNZXRhdmFyaWFibGVOb2RlID0gc3BlY2lmaWNNZXRhdmFyaWFibGUuZ2V0Tm9kZSgpLFxuICAgICAgICBnZW5lcmFsTWV0YXZhcmlhYmxlVG9rZW5zID0gZ2VuZXJhbE1ldGF2YXJpYWJsZS5nZXRUb2tlbnMoKSxcbiAgICAgICAgc3BlY2lmaWNNZXRhdmFyaWFibGVUb2tlbnMgPSBzcGVjaWZpY01ldGF2YXJpYWJsZS5nZXRUb2tlbnMoKTtcblxuICBnZW5lcmFsQ29udGV4dCA9IGNvbnRleHRGcm9tVG9rZW5zKGdlbmVyYWxNZXRhdmFyaWFibGVUb2tlbnMsIGdlbmVyYWxDb250ZXh0KTsgLy8vXG5cbiAgc3BlY2lmaWNDb250ZXh0ID0gY29udGV4dEZyb21Ub2tlbnMoc3BlY2lmaWNNZXRhdmFyaWFibGVUb2tlbnMsIHNwZWNpZmljQ29udGV4dCk7IC8vL1xuXG4gIGNvbnN0IGdlbmVyYWxOb25UZXJtaW5hbE5vZGUgPSBnZW5lcmFsTWV0YXZhcmlhYmxlTm9kZSwgLy8vXG4gICAgICAgIHNwZWNpZmljTm9uVGVybWluYWxOb2RlID0gc3BlY2lmaWNNZXRhdmFyaWFibGVOb2RlOyAvLy9cblxuICBtZXRhdmFyaWFibGVVbmlmaWVzSW50cmluc2ljYWxseSA9IGludHJpbnNpY0xldmVsVW5pZmllci51bmlmeShnZW5lcmFsTm9uVGVybWluYWxOb2RlLCBzcGVjaWZpY05vblRlcm1pbmFsTm9kZSwgc3Vic3RpdHV0aW9ucywgZ2VuZXJhbENvbnRleHQsIHNwZWNpZmljQ29udGV4dCk7XG5cbiAgcmV0dXJuIG1ldGF2YXJpYWJsZVVuaWZpZXNJbnRyaW5zaWNhbGx5O1xufVxuXG5mdW5jdGlvbiBjb250ZXh0RnJvbVRva2Vucyh0b2tlbnMsIGNvbnRleHQpIHtcbiAgY29uc3QgdGVtcG9yYXJ5Q29udGV4dCA9IFRlbXBvcmFyeUNvbnRleHQuZnJvbUNvbnRleHRBbmRUb2tlbnMoY29udGV4dCwgdG9rZW5zKTtcblxuICBjb250ZXh0ID0gdGVtcG9yYXJ5Q29udGV4dDsgIC8vL1xuXG4gIHJldHVybiBjb250ZXh0O1xufVxuIl0sIm5hbWVzIjpbInVuaWZ5TWV0YXZhcmlhYmxlIiwidW5pZnlNZXRhdmFyaWFibGVJbnRyaW5zaWNhbGx5IiwidW5pZnlTdGF0ZW1lbnQiLCJ1bmlmeVN0YXRlbWVudEludHJpbnNpY2FsbHkiLCJ1bmlmeVN0YXRlbWVudFdpdGhDb21iaW5hdG9yIiwidW5pZnlTdWJzdGl0dXRpb24iLCJ1bmlmeVRlcm1XaXRoQ29uc3RydWN0b3IiLCJnZW5lcmFsU3RhdGVtZW50Iiwic3BlY2lmaWNTdGF0ZW1lbnQiLCJzdWJzdGl0dXRpb25zIiwiZ2VuZXJhbENvbnRleHQiLCJzcGVjaWZpY0NvbnRleHQiLCJzdGF0ZW1lbnRVbmlmaWVzIiwiZ2VuZXJhbFN0YXRlbWVudE5vZGUiLCJnZXROb2RlIiwic3BlY2lmaWNTdGF0ZW1lbnROb2RlIiwiZ2VuZXJhbE5vblRlcm1pbmFsTm9kZSIsInNwZWNpZmljTm9uVGVybWluYWxOb2RlIiwidW5pZmllc0F0TWV0YUxldmVsIiwibWV0YUxldmVsVW5pZmllciIsInVuaWZ5IiwiZ2VuZXJhbFN1YnN0aXR1dGlvbiIsInNwZWNpZmljU3Vic3RpdHV0aW9uIiwic3Vic3RpdHV0aW9uVW5pZmllcyIsImdlbmVyYWxTdWJzdGl0dXRpb25Ob2RlIiwic3BlY2lmaWNTdWJzdGl0dXRpb25Ob2RlIiwiZ2VuZXJhbE1ldGF2YXJpYWJsZSIsInNwZWNpZmljTWV0YXZhcmlhYmxlIiwibWV0YXZhcmlhYmxlVW5pZmllcyIsImdlbmVyYWxNZXRhdmFyaWFibGVOb2RlIiwic3BlY2lmaWNNZXRhdmFyaWFibGVOb2RlIiwiZ2VuZXJhbE1ldGF2YXJpYWJsZVRva2VucyIsImdldFRva2VucyIsInNwZWNpZmljTWV0YXZhcmlhYmxlVG9rZW5zIiwiY29udGV4dEZyb21Ub2tlbnMiLCJtZXRhdmFyaWFibGVVbmlmaWVyIiwidGVybSIsImNvbnN0cnVjdG9yIiwiY29udGV4dCIsInRlcm1VbmlmaWVzV2l0aENvbnN0cnVjdG9yIiwidGVybU5vZGUiLCJjb25zdHJ1Y3RvclRlcm0iLCJnZXRUZXJtIiwiY29uc3RydWN0b3JUZXJtTm9kZSIsInRlcm1XaXRoQ29uc3RydWN0b3JVbmlmaWVyIiwibWV0YXZhcmlhYmxlVW5pZmllc0ludHJpbnNpY2FsbHkiLCJnZW5lcmFsU3RhdGVtZW50VG9rZW5zIiwic3BlY2lmaWNTdGF0ZW1lbnRUb2tlbnMiLCJpbnRyaW5zaWNMZXZlbFVuaWZpZXIiLCJzdGF0ZW1lbnQiLCJjb21iaW5hdG9yIiwiYXNzaWdubWVudHMiLCJzdGF0ZWQiLCJzdGF0ZW1lbnRVbmlmaWVzV2l0aENvbWJpbmF0b3IiLCJzdGF0ZW1lbnROb2RlIiwiY29tYmluYXRvclN0YXRlbWVudCIsImdldFN0YXRlbWVudCIsImNvbWJpbmF0b3JTdGF0ZW1lbnROb2RlIiwiY29tYmluYXRvclN0YXRlbWVudFRva2VucyIsInN0YXRlbWVudFdpdGhDb21iaW5hdG9yVW5pZmllciIsInRva2VucyIsInRlbXBvcmFyeUNvbnRleHQiLCJUZW1wb3JhcnlDb250ZXh0IiwiZnJvbUNvbnRleHRBbmRUb2tlbnMiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7Ozs7UUF5Q2dCQTtlQUFBQTs7UUFvRUFDO2VBQUFBOztRQXBHQUM7ZUFBQUE7O1FBNkRBQztlQUFBQTs7UUFvQkFDO2VBQUFBOztRQWpFQUM7ZUFBQUE7O1FBaUNBQztlQUFBQTs7O2dFQXhEYTtnRUFDQTttRUFDRztxRUFDRTswRUFDSzs4RUFDSTs7Ozs7O0FBRXBDLFNBQVNKLGVBQWVLLGdCQUFnQixFQUFFQyxpQkFBaUIsRUFBRUMsYUFBYSxFQUFFQyxjQUFjLEVBQUVDLGVBQWU7SUFDaEgsSUFBSUMsbUJBQW1CO0lBRXZCLElBQU1DLHVCQUF1Qk4saUJBQWlCTyxPQUFPLElBQy9DQyx3QkFBd0JQLGtCQUFrQk0sT0FBTyxJQUNqREUseUJBQXlCSCxzQkFDekJJLDBCQUEwQkYsdUJBQzFCRyxxQkFBcUJDLGtCQUFnQixDQUFDQyxLQUFLLENBQUNKLHdCQUF3QkMseUJBQXlCUixlQUFlQyxnQkFBZ0JDO0lBRWxJLElBQUlPLG9CQUFvQjtRQUN0Qk4sbUJBQW1CO0lBQ3JCO0lBRUEsT0FBT0E7QUFDVDtBQUVPLFNBQVNQLGtCQUFrQmdCLG1CQUFtQixFQUFFQyxvQkFBb0IsRUFBRWIsYUFBYSxFQUFFQyxjQUFjLEVBQUVDLGVBQWU7SUFDekgsSUFBSVksc0JBQXNCO0lBRTFCLElBQU1DLDBCQUEwQkgsb0JBQW9CUCxPQUFPLElBQ3JEVywyQkFBMkJILHFCQUFxQlIsT0FBTyxJQUN2REUseUJBQXlCUSx5QkFDekJQLDBCQUEwQlEsMEJBQzFCUCxxQkFBcUJDLGtCQUFnQixDQUFDQyxLQUFLLENBQUNKLHdCQUF3QkMseUJBQXlCUixlQUFlQyxnQkFBZ0JDO0lBRWxJLElBQUlPLG9CQUFvQjtRQUN0Qkssc0JBQXNCO0lBQ3hCO0lBRUEsT0FBT0E7QUFDVDtBQUVPLFNBQVN2QixrQkFBa0IwQixtQkFBbUIsRUFBRUMsb0JBQW9CLEVBQUVqQixjQUFjLEVBQUVDLGVBQWU7SUFDMUcsSUFBSWlCO0lBRUosSUFBTUMsMEJBQTBCSCxvQkFBb0JaLE9BQU8sSUFDckRnQiwyQkFBMkJILHFCQUFxQmIsT0FBTyxJQUN2RGlCLDRCQUE0Qkwsb0JBQW9CTSxTQUFTLElBQ3pEQyw2QkFBNkJOLHFCQUFxQkssU0FBUztJQUVqRXRCLGlCQUFpQndCLGtCQUFrQkgsMkJBQTJCckIsaUJBQWlCLEdBQUc7SUFFbEZDLGtCQUFrQnVCLGtCQUFrQkQsNEJBQTRCdEIsa0JBQWtCLEdBQUc7SUFFckZpQixzQkFBc0JPLHFCQUFtQixDQUFDZixLQUFLLENBQUNTLHlCQUF5QkMsMEJBQTBCcEIsZ0JBQWdCQztJQUVuSCxPQUFPaUI7QUFDVDtBQUVPLFNBQVN0Qix5QkFBeUI4QixJQUFJLEVBQUVDLFdBQVcsRUFBRUMsT0FBTztJQUNqRSxJQUFJQztJQUVKLElBQU1DLFdBQVdKLEtBQUt0QixPQUFPLElBQ3ZCMkIsa0JBQWtCSixZQUFZSyxPQUFPLElBQ3JDQyxzQkFBc0JGLGdCQUFnQjNCLE9BQU87SUFFbkR5Qiw2QkFBNkJLLDRCQUEwQixDQUFDeEIsS0FBSyxDQUFDdUIscUJBQXFCSCxVQUFVRjtJQUU3RixPQUFPQztBQUNUO0FBRU8sU0FBU3BDLDRCQUE0QkksZ0JBQWdCLEVBQUVDLGlCQUFpQixFQUFFQyxhQUFhLEVBQUVDLGNBQWMsRUFBRUMsZUFBZTtJQUM3SCxJQUFJa0M7SUFFSixJQUFNaEMsdUJBQXVCTixpQkFBaUJPLE9BQU8sSUFDL0NDLHdCQUF3QlAsa0JBQWtCTSxPQUFPLElBQ2pEZ0MseUJBQXlCdkMsaUJBQWlCeUIsU0FBUyxJQUNuRGUsMEJBQTBCdkMsa0JBQWtCd0IsU0FBUztJQUUzRHRCLGlCQUFpQndCLGtCQUFrQlksd0JBQXdCcEMsaUJBQWlCLEdBQUc7SUFFL0VDLGtCQUFrQnVCLGtCQUFrQmEseUJBQXlCcEMsa0JBQWtCLEdBQUc7SUFFbEYsSUFBTUsseUJBQXlCSCxzQkFDekJJLDBCQUEwQkYsdUJBQXVCLEdBQUc7SUFFMUQ4QixtQ0FBbUNHLHVCQUFxQixDQUFDNUIsS0FBSyxDQUFDSix3QkFBd0JDLHlCQUF5QlIsZUFBZUMsZ0JBQWdCQztJQUUvSSxPQUFPa0M7QUFDVDtBQUVPLFNBQVN6Qyw2QkFBNkI2QyxTQUFTLEVBQUVDLFVBQVUsRUFBRUMsV0FBVyxFQUFFQyxNQUFNLEVBQUVkLE9BQU87SUFDOUYsSUFBSWU7SUFFSixJQUFNQyxnQkFBZ0JMLFVBQVVuQyxPQUFPLElBQ2pDeUMsc0JBQXNCTCxXQUFXTSxZQUFZLElBQzdDQywwQkFBMEJGLG9CQUFvQnpDLE9BQU8sSUFDckQ0Qyw0QkFBNEJILG9CQUFvQnZCLFNBQVM7SUFFL0QsSUFBTXJCLGtCQUFrQjJCLFNBQVUsR0FBRztJQUVyQ0EsVUFBVUosa0JBQWtCd0IsMkJBQTJCcEIsVUFBVyxHQUFHO0lBRXJFLElBQU01QixpQkFBaUI0QixTQUFTLEdBQUc7SUFFbkNlLGlDQUFpQ00sZ0NBQThCLENBQUN2QyxLQUFLLENBQUNxQyx5QkFBeUJILGVBQWVILGFBQWFDLFFBQVExQyxnQkFBZ0JDO0lBRW5KLE9BQU8wQztBQUNUO0FBRU8sU0FBU3BELCtCQUErQnlCLG1CQUFtQixFQUFFQyxvQkFBb0IsRUFBRWxCLGFBQWEsRUFBRUMsY0FBYyxFQUFFQyxlQUFlO0lBQ3RJLElBQUlrQztJQUVKLElBQU1oQiwwQkFBMEJILG9CQUFvQlosT0FBTyxJQUNyRGdCLDJCQUEyQkgscUJBQXFCYixPQUFPLElBQ3ZEaUIsNEJBQTRCTCxvQkFBb0JNLFNBQVMsSUFDekRDLDZCQUE2Qk4scUJBQXFCSyxTQUFTO0lBRWpFdEIsaUJBQWlCd0Isa0JBQWtCSCwyQkFBMkJyQixpQkFBaUIsR0FBRztJQUVsRkMsa0JBQWtCdUIsa0JBQWtCRCw0QkFBNEJ0QixrQkFBa0IsR0FBRztJQUVyRixJQUFNSyx5QkFBeUJhLHlCQUN6QlosMEJBQTBCYSwwQkFBMEIsR0FBRztJQUU3RGUsbUNBQW1DRyx1QkFBcUIsQ0FBQzVCLEtBQUssQ0FBQ0osd0JBQXdCQyx5QkFBeUJSLGVBQWVDLGdCQUFnQkM7SUFFL0ksT0FBT2tDO0FBQ1Q7QUFFQSxTQUFTWCxrQkFBa0IwQixNQUFNLEVBQUV0QixPQUFPO0lBQ3hDLElBQU11QixtQkFBbUJDLGtCQUFnQixDQUFDQyxvQkFBb0IsQ0FBQ3pCLFNBQVNzQjtJQUV4RXRCLFVBQVV1QixrQkFBbUIsR0FBRztJQUVoQyxPQUFPdkI7QUFDVCJ9

package/lib/utilities/unifier.js

@@ -1,51 +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: Object.getOwnPropertyDescriptor(all, name).get
-    });
-}
-_export(exports, {
-    get areTerminalNodeMapsEqual () {
-        return areTerminalNodeMapsEqual;
-    },
-    get terminalNodeMapFromNodes () {
-        return terminalNodeMapFromNodes;
-    }
-});
-var _necessary = require("necessary");
-var match = _necessary.arrayUtilities.match;
-function terminalNodeMapFromNodes(nodes) {
-    var terminalNodeMap = {};
-    nodes.forEach(function(node, index) {
-        var nodeTerminalNode = node.isTerminalNode();
-        if (nodeTerminalNode) {
-            var terminalNode = node; //
-            terminalNodeMap[index] = terminalNode;
-        }
-    });
-    return terminalNodeMap;
-}
-function areTerminalNodeMapsEqual(generalTerminalNodeMap, specificTerminalNodeMap) {
-    var terminalNodeMapsEqual = false;
-    var generalIndexes = Object.keys(generalTerminalNodeMap), specificIndexes = Object.keys(specificTerminalNodeMap), terminalNodeMapKeysMatch = match(generalIndexes, specificIndexes, function(generalIndex, specificIndex) {
-        if (generalIndex === specificIndex) {
-            return true;
-        }
-    });
-    if (terminalNodeMapKeysMatch) {
-        var generalTerminalNodes = Object.values(generalTerminalNodeMap), specificTerminalNodes = Object.values(specificTerminalNodeMap), terminalNodeMapValuesMatch = match(generalTerminalNodes, specificTerminalNodes, function(generalTerminalNode, specificTerminalNode) {
-            var generalTerminalNodeMatchesSpecificTerminalNode = generalTerminalNode.match(specificTerminalNode);
-            if (generalTerminalNodeMatchesSpecificTerminalNode) {
-                return true;
-            }
-        });
-        terminalNodeMapsEqual = terminalNodeMapValuesMatch; ///
-    }
-    return terminalNodeMapsEqual;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdW5pZmllci5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgYXJyYXlVdGlsaXRpZXMgfSBmcm9tIFwibmVjZXNzYXJ5XCI7XG5cbmNvbnN0IHsgbWF0Y2ggfSA9IGFycmF5VXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gdGVybWluYWxOb2RlTWFwRnJvbU5vZGVzKG5vZGVzKSB7XG4gIGNvbnN0IHRlcm1pbmFsTm9kZU1hcCA9IHt9O1xuXG4gIG5vZGVzLmZvckVhY2goKG5vZGUsIGluZGV4KSA9PiB7XG4gICAgY29uc3Qgbm9kZVRlcm1pbmFsTm9kZSA9IG5vZGUuaXNUZXJtaW5hbE5vZGUoKTtcblxuICAgIGlmIChub2RlVGVybWluYWxOb2RlKSB7XG4gICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBub2RlOyAgLy9cblxuICAgICAgdGVybWluYWxOb2RlTWFwW2luZGV4XSA9IHRlcm1pbmFsTm9kZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiB0ZXJtaW5hbE5vZGVNYXA7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBhcmVUZXJtaW5hbE5vZGVNYXBzRXF1YWwoZ2VuZXJhbFRlcm1pbmFsTm9kZU1hcCwgc3BlY2lmaWNUZXJtaW5hbE5vZGVNYXApIHtcbiAgbGV0IHRlcm1pbmFsTm9kZU1hcHNFcXVhbCA9IGZhbHNlO1xuXG4gIGNvbnN0IGdlbmVyYWxJbmRleGVzID0gT2JqZWN0LmtleXMoZ2VuZXJhbFRlcm1pbmFsTm9kZU1hcCksIC8vL1xuICAgICAgICBzcGVjaWZpY0luZGV4ZXMgPSBPYmplY3Qua2V5cyhzcGVjaWZpY1Rlcm1pbmFsTm9kZU1hcCksIC8vL1xuICAgICAgICB0ZXJtaW5hbE5vZGVNYXBLZXlzTWF0Y2ggPSBtYXRjaChnZW5lcmFsSW5kZXhlcywgc3BlY2lmaWNJbmRleGVzLCAoZ2VuZXJhbEluZGV4LCBzcGVjaWZpY0luZGV4KSA9PiB7XG4gICAgICAgICAgaWYgKGdlbmVyYWxJbmRleCA9PT0gc3BlY2lmaWNJbmRleCkge1xuICAgICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgICAgfVxuICAgICAgICB9KTtcblxuICBpZiAodGVybWluYWxOb2RlTWFwS2V5c01hdGNoKSB7XG4gICAgY29uc3QgZ2VuZXJhbFRlcm1pbmFsTm9kZXMgPSBPYmplY3QudmFsdWVzKGdlbmVyYWxUZXJtaW5hbE5vZGVNYXApLCAvLy9cbiAgICAgICAgICBzcGVjaWZpY1Rlcm1pbmFsTm9kZXMgPSBPYmplY3QudmFsdWVzKHNwZWNpZmljVGVybWluYWxOb2RlTWFwKSwgLy8vXG4gICAgICAgICAgdGVybWluYWxOb2RlTWFwVmFsdWVzTWF0Y2ggPSBtYXRjaChnZW5lcmFsVGVybWluYWxOb2Rlcywgc3BlY2lmaWNUZXJtaW5hbE5vZGVzLCAoZ2VuZXJhbFRlcm1pbmFsTm9kZSwgc3BlY2lmaWNUZXJtaW5hbE5vZGUpID0+IHtcbiAgICAgICAgICAgIGNvbnN0IGdlbmVyYWxUZXJtaW5hbE5vZGVNYXRjaGVzU3BlY2lmaWNUZXJtaW5hbE5vZGUgPSBnZW5lcmFsVGVybWluYWxOb2RlLm1hdGNoKHNwZWNpZmljVGVybWluYWxOb2RlKTtcblxuICAgICAgICAgICAgaWYgKGdlbmVyYWxUZXJtaW5hbE5vZGVNYXRjaGVzU3BlY2lmaWNUZXJtaW5hbE5vZGUpIHtcbiAgICAgICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgICAgICB9XG4gICAgICAgICAgfSk7XG5cbiAgICB0ZXJtaW5hbE5vZGVNYXBzRXF1YWwgPSB0ZXJtaW5hbE5vZGVNYXBWYWx1ZXNNYXRjaDsgLy8vXG4gIH1cblxuICByZXR1cm4gdGVybWluYWxOb2RlTWFwc0VxdWFsO1xufVxuIl0sIm5hbWVzIjpbImFyZVRlcm1pbmFsTm9kZU1hcHNFcXVhbCIsInRlcm1pbmFsTm9kZU1hcEZyb21Ob2RlcyIsIm1hdGNoIiwiYXJyYXlVdGlsaXRpZXMiLCJub2RlcyIsInRlcm1pbmFsTm9kZU1hcCIsImZvckVhY2giLCJub2RlIiwiaW5kZXgiLCJub2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJnZW5lcmFsVGVybWluYWxOb2RlTWFwIiwic3BlY2lmaWNUZXJtaW5hbE5vZGVNYXAiLCJ0ZXJtaW5hbE5vZGVNYXBzRXF1YWwiLCJnZW5lcmFsSW5kZXhlcyIsIk9iamVjdCIsImtleXMiLCJzcGVjaWZpY0luZGV4ZXMiLCJ0ZXJtaW5hbE5vZGVNYXBLZXlzTWF0Y2giLCJnZW5lcmFsSW5kZXgiLCJzcGVjaWZpY0luZGV4IiwiZ2VuZXJhbFRlcm1pbmFsTm9kZXMiLCJ2YWx1ZXMiLCJzcGVjaWZpY1Rlcm1pbmFsTm9kZXMiLCJ0ZXJtaW5hbE5vZGVNYXBWYWx1ZXNNYXRjaCIsImdlbmVyYWxUZXJtaW5hbE5vZGUiLCJzcGVjaWZpY1Rlcm1pbmFsTm9kZSIsImdlbmVyYWxUZXJtaW5hbE5vZGVNYXRjaGVzU3BlY2lmaWNUZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQXNCZ0JBO2VBQUFBOztRQWhCQUM7ZUFBQUE7Ozt5QkFKZTtBQUUvQixJQUFNLEFBQUVDLFFBQVVDLHlCQUFjLENBQXhCRDtBQUVELFNBQVNELHlCQUF5QkcsS0FBSztJQUM1QyxJQUFNQyxrQkFBa0IsQ0FBQztJQUV6QkQsTUFBTUUsT0FBTyxDQUFDLFNBQUNDLE1BQU1DO1FBQ25CLElBQU1DLG1CQUFtQkYsS0FBS0csY0FBYztRQUU1QyxJQUFJRCxrQkFBa0I7WUFDcEIsSUFBTUUsZUFBZUosTUFBTyxFQUFFO1lBRTlCRixlQUFlLENBQUNHLE1BQU0sR0FBR0c7UUFDM0I7SUFDRjtJQUVBLE9BQU9OO0FBQ1Q7QUFFTyxTQUFTTCx5QkFBeUJZLHNCQUFzQixFQUFFQyx1QkFBdUI7SUFDdEYsSUFBSUMsd0JBQXdCO0lBRTVCLElBQU1DLGlCQUFpQkMsT0FBT0MsSUFBSSxDQUFDTCx5QkFDN0JNLGtCQUFrQkYsT0FBT0MsSUFBSSxDQUFDSiwwQkFDOUJNLDJCQUEyQmpCLE1BQU1hLGdCQUFnQkcsaUJBQWlCLFNBQUNFLGNBQWNDO1FBQy9FLElBQUlELGlCQUFpQkMsZUFBZTtZQUNsQyxPQUFPO1FBQ1Q7SUFDRjtJQUVOLElBQUlGLDBCQUEwQjtRQUM1QixJQUFNRyx1QkFBdUJOLE9BQU9PLE1BQU0sQ0FBQ1gseUJBQ3JDWSx3QkFBd0JSLE9BQU9PLE1BQU0sQ0FBQ1YsMEJBQ3RDWSw2QkFBNkJ2QixNQUFNb0Isc0JBQXNCRSx1QkFBdUIsU0FBQ0UscUJBQXFCQztZQUNwRyxJQUFNQyxpREFBaURGLG9CQUFvQnhCLEtBQUssQ0FBQ3lCO1lBRWpGLElBQUlDLGdEQUFnRDtnQkFDbEQsT0FBTztZQUNUO1FBQ0Y7UUFFTmQsd0JBQXdCVyw0QkFBNEIsR0FBRztJQUN6RDtJQUVBLE9BQU9YO0FBQ1QifQ==

package/lib/utilities/variable.js

@@ -1,18 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "termVariableIdentifierFromTermNode", {
-    enumerable: true,
-    get: function() {
-        return termVariableIdentifierFromTermNode;
-    }
-});
-var _query = require("../utilities/query");
-var termVariableIdentifierNodeQuery = (0, _query.nodeQuery)("/term/variable!/@identifier!");
-function termVariableIdentifierFromTermNode(TermNode) {
-    var termVariableIdentifierTerminalNode = termVariableIdentifierNodeQuery(TermNode), termVariableIdentifierTerminalNodeContent = termVariableIdentifierTerminalNode.getContent(), termVariableIdentifier = termVariableIdentifierTerminalNodeContent; ///
-    return termVariableIdentifier;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdmFyaWFibGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdGVybVZhcmlhYmxlSWRlbnRpZmllck5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90ZXJtL3ZhcmlhYmxlIS9AaWRlbnRpZmllciFcIik7XG5cbmV4cG9ydCBmdW5jdGlvbiB0ZXJtVmFyaWFibGVJZGVudGlmaWVyRnJvbVRlcm1Ob2RlKFRlcm1Ob2RlKSB7XG4gIGNvbnN0IHRlcm1WYXJpYWJsZUlkZW50aWZpZXJUZXJtaW5hbE5vZGUgPSB0ZXJtVmFyaWFibGVJZGVudGlmaWVyTm9kZVF1ZXJ5KFRlcm1Ob2RlKSxcbiAgICAgICAgdGVybVZhcmlhYmxlSWRlbnRpZmllclRlcm1pbmFsTm9kZUNvbnRlbnQgPSB0ZXJtVmFyaWFibGVJZGVudGlmaWVyVGVybWluYWxOb2RlLmdldENvbnRlbnQoKSxcbiAgICAgICAgdGVybVZhcmlhYmxlSWRlbnRpZmllciA9IHRlcm1WYXJpYWJsZUlkZW50aWZpZXJUZXJtaW5hbE5vZGVDb250ZW50OyAvLy9cblxuICByZXR1cm4gdGVybVZhcmlhYmxlSWRlbnRpZmllcjtcbn1cbiJdLCJuYW1lcyI6WyJ0ZXJtVmFyaWFibGVJZGVudGlmaWVyRnJvbVRlcm1Ob2RlIiwidGVybVZhcmlhYmxlSWRlbnRpZmllck5vZGVRdWVyeSIsIm5vZGVRdWVyeSIsIlRlcm1Ob2RlIiwidGVybVZhcmlhYmxlSWRlbnRpZmllclRlcm1pbmFsTm9kZSIsInRlcm1WYXJpYWJsZUlkZW50aWZpZXJUZXJtaW5hbE5vZGVDb250ZW50IiwiZ2V0Q29udGVudCIsInRlcm1WYXJpYWJsZUlkZW50aWZpZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1nQkE7OztlQUFBQTs7O3FCQUpVO0FBRTFCLElBQU1DLGtDQUFrQ0MsSUFBQUEsZ0JBQVMsRUFBQztBQUUzQyxTQUFTRixtQ0FBbUNHLFFBQVE7SUFDekQsSUFBTUMscUNBQXFDSCxnQ0FBZ0NFLFdBQ3JFRSw0Q0FBNENELG1DQUFtQ0UsVUFBVSxJQUN6RkMseUJBQXlCRiwyQ0FBMkMsR0FBRztJQUU3RSxPQUFPRTtBQUNUIn0=