occam-verify-cli 1.0.405 → 1.0.414

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=

package/lib/verifier/combinator.js

@@ -1,158 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-var _ontology = /*#__PURE__*/ _interop_require_default(require("../ontology"));
-var _verifier = /*#__PURE__*/ _interop_require_default(require("../verifier"));
-var _query = require("../utilities/query");
-function _assert_this_initialized(self) {
-    if (self === void 0) {
-        throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
-    }
-    return self;
-}
-function _call_super(_this, derived, args) {
-    derived = _get_prototype_of(derived);
-    return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
-}
-function _class_call_check(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _create_class(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _define_property(obj, key, value) {
-    if (key in obj) {
-        Object.defineProperty(obj, key, {
-            value: value,
-            enumerable: true,
-            configurable: true,
-            writable: true
-        });
-    } else {
-        obj[key] = value;
-    }
-    return obj;
-}
-function _get_prototype_of(o) {
-    _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
-        return o.__proto__ || Object.getPrototypeOf(o);
-    };
-    return _get_prototype_of(o);
-}
-function _inherits(subClass, superClass) {
-    if (typeof superClass !== "function" && superClass !== null) {
-        throw new TypeError("Super expression must either be null or a function");
-    }
-    subClass.prototype = Object.create(superClass && superClass.prototype, {
-        constructor: {
-            value: subClass,
-            writable: true,
-            configurable: true
-        }
-    });
-    if (superClass) _set_prototype_of(subClass, superClass);
-}
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-function _possible_constructor_return(self, call) {
-    if (call && (_type_of(call) === "object" || typeof call === "function")) {
-        return call;
-    }
-    return _assert_this_initialized(self);
-}
-function _set_prototype_of(o, p) {
-    _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
-        o.__proto__ = p;
-        return o;
-    };
-    return _set_prototype_of(o, p);
-}
-function _type_of(obj) {
-    "@swc/helpers - typeof";
-    return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
-}
-function _is_native_reflect_construct() {
-    try {
-        var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
-    } catch (_) {}
-    return (_is_native_reflect_construct = function() {
-        return !!result;
-    })();
-}
-var termNodeQuery = (0, _query.nodeQuery)("/term"), typeNodeQuery = (0, _query.nodeQuery)("/type"), statementNodeQuery = (0, _query.nodeQuery)("/statement");
-var CombinatorVerifier = /*#__PURE__*/ function(Verifier) {
-    _inherits(CombinatorVerifier, Verifier);
-    function CombinatorVerifier() {
-        _class_call_check(this, CombinatorVerifier);
-        return _call_super(this, CombinatorVerifier, arguments);
-    }
-    _create_class(CombinatorVerifier, [
-        {
-            key: "verifyStatement",
-            value: function verifyStatement(statementNode, context) {
-                var statementVerifiesAsCombinator;
-                var nonTerminalNode = statementNode, childNodes = nonTerminalNode.getChildNodes(), childNodesVerify = this.verifyChildNodes(childNodes, context);
-                statementVerifiesAsCombinator = childNodesVerify; ///
-                return statementVerifiesAsCombinator;
-            }
-        }
-    ]);
-    return CombinatorVerifier;
-}(_verifier.default);
-_define_property(CombinatorVerifier, "maps", [
-    {
-        nodeQuery: statementNodeQuery,
-        verify: function(statementNode, context) {
-            var Statement = _ontology.default.Statement, statement = Statement.fromStatementNode(statementNode, context), assignments = null, stated = false, statementVerifies = statement.verify(assignments, stated, context);
-            return statementVerifies;
-        }
-    },
-    {
-        nodeQuery: termNodeQuery,
-        verify: function(termNode, context) {
-            var Term = _ontology.default.Term, term = Term.fromTermNode(termNode, context), termVerifies = term.verify(context, function() {
-                var verifiesAhead = true;
-                return verifiesAhead;
-            });
-            return termVerifies;
-        }
-    },
-    {
-        nodeQuery: typeNodeQuery,
-        verify: function(typeNode, context) {
-            var typeVerifies = false;
-            var nominalTypeName = typeNode.getNominalTypeName(), typePresent = context.isTypePresentByNominalTypeName(nominalTypeName);
-            if (typePresent) {
-                typeVerifies = true;
-            }
-            return typeVerifies;
-        }
-    }
-]);
-var combinatorVerifier = new CombinatorVerifier();
-var _default = combinatorVerifier;
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy92ZXJpZmllci9jb21iaW5hdG9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgb250b2xvZ3kgZnJvbSBcIi4uL29udG9sb2d5XCI7XG5pbXBvcnQgVmVyaWZpZXIgZnJvbSBcIi4uL3ZlcmlmaWVyXCI7XG5cbmltcG9ydCB7IG5vZGVRdWVyeSB9IGZyb20gXCIuLi91dGlsaXRpZXMvcXVlcnlcIjtcblxuY29uc3QgdGVybU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90ZXJtXCIpLFxuICAgICAgdHlwZU5vZGVRdWVyeSA9IG5vZGVRdWVyeShcIi90eXBlXCIpLFxuICAgICAgc3RhdGVtZW50Tm9kZVF1ZXJ5ID0gbm9kZVF1ZXJ5KFwiL3N0YXRlbWVudFwiKTtcblxuY2xhc3MgQ29tYmluYXRvclZlcmlmaWVyIGV4dGVuZHMgVmVyaWZpZXIge1xuICB2ZXJpZnlTdGF0ZW1lbnQoc3RhdGVtZW50Tm9kZSwgY29udGV4dCkge1xuICAgIGxldCBzdGF0ZW1lbnRWZXJpZmllc0FzQ29tYmluYXRvcjtcblxuICAgIGNvbnN0IG5vblRlcm1pbmFsTm9kZSA9IHN0YXRlbWVudE5vZGUsIC8vL1xuICAgICAgICAgIGNoaWxkTm9kZXMgPSBub25UZXJtaW5hbE5vZGUuZ2V0Q2hpbGROb2RlcygpLFxuICAgICAgICAgIGNoaWxkTm9kZXNWZXJpZnkgPSB0aGlzLnZlcmlmeUNoaWxkTm9kZXMoY2hpbGROb2RlcywgY29udGV4dCk7XG5cbiAgICBzdGF0ZW1lbnRWZXJpZmllc0FzQ29tYmluYXRvciA9IGNoaWxkTm9kZXNWZXJpZnk7ICAvLy9cblxuICAgIHJldHVybiBzdGF0ZW1lbnRWZXJpZmllc0FzQ29tYmluYXRvcjtcbiAgfVxuXG4gIHN0YXRpYyBtYXBzID0gW1xuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogc3RhdGVtZW50Tm9kZVF1ZXJ5LFxuICAgICAgdmVyaWZ5OiAoc3RhdGVtZW50Tm9kZSwgY29udGV4dCkgPT4ge1xuICAgICAgICBjb25zdCB7IFN0YXRlbWVudCB9ID0gb250b2xvZ3ksXG4gICAgICAgICAgICAgIHN0YXRlbWVudCA9IFN0YXRlbWVudC5mcm9tU3RhdGVtZW50Tm9kZShzdGF0ZW1lbnROb2RlLCBjb250ZXh0KSxcbiAgICAgICAgICAgICAgYXNzaWdubWVudHMgPSBudWxsLFxuICAgICAgICAgICAgICBzdGF0ZWQgPSBmYWxzZSxcbiAgICAgICAgICAgICAgc3RhdGVtZW50VmVyaWZpZXMgPSBzdGF0ZW1lbnQudmVyaWZ5KGFzc2lnbm1lbnRzLCBzdGF0ZWQsIGNvbnRleHQpO1xuXG4gICAgICAgIHJldHVybiBzdGF0ZW1lbnRWZXJpZmllcztcbiAgICAgIH1cbiAgICB9LFxuICAgIHtcbiAgICAgIG5vZGVRdWVyeTogdGVybU5vZGVRdWVyeSxcbiAgICAgIHZlcmlmeTogKHRlcm1Ob2RlLCBjb250ZXh0KSA9PiB7XG4gICAgICAgIGNvbnN0IHsgVGVybSB9ID0gb250b2xvZ3ksXG4gICAgICAgICAgICAgIHRlcm0gPSBUZXJtLmZyb21UZXJtTm9kZSh0ZXJtTm9kZSwgY29udGV4dCksXG4gICAgICAgICAgICAgIHRlcm1WZXJpZmllcyA9IHRlcm0udmVyaWZ5KGNvbnRleHQsICgpID0+IHtcbiAgICAgICAgICAgICAgICBjb25zdCB2ZXJpZmllc0FoZWFkID0gdHJ1ZTtcblxuICAgICAgICAgICAgICAgIHJldHVybiB2ZXJpZmllc0FoZWFkO1xuICAgICAgICAgICAgICB9KTtcblxuICAgICAgICByZXR1cm4gdGVybVZlcmlmaWVzO1xuICAgICAgfVxuICAgIH0sXG4gICAge1xuICAgICAgbm9kZVF1ZXJ5OiB0eXBlTm9kZVF1ZXJ5LFxuICAgICAgdmVyaWZ5OiAodHlwZU5vZGUsIGNvbnRleHQpID0+IHtcbiAgICAgICAgbGV0IHR5cGVWZXJpZmllcyA9IGZhbHNlO1xuXG4gICAgICAgIGNvbnN0IG5vbWluYWxUeXBlTmFtZSA9IHR5cGVOb2RlLmdldE5vbWluYWxUeXBlTmFtZSgpLFxuICAgICAgICAgICAgICB0eXBlUHJlc2VudCA9IGNvbnRleHQuaXNUeXBlUHJlc2VudEJ5Tm9taW5hbFR5cGVOYW1lKG5vbWluYWxUeXBlTmFtZSk7XG5cbiAgICAgICAgaWYgKHR5cGVQcmVzZW50KSB7XG4gICAgICAgICAgdHlwZVZlcmlmaWVzID0gdHJ1ZTtcbiAgICAgICAgfVxuXG4gICAgICAgIHJldHVybiB0eXBlVmVyaWZpZXM7XG4gICAgICB9XG4gICAgfVxuICBdO1xufVxuXG5jb25zdCBjb21iaW5hdG9yVmVyaWZpZXIgPSBuZXcgQ29tYmluYXRvclZlcmlmaWVyKCk7XG5cbmV4cG9ydCBkZWZhdWx0IGNvbWJpbmF0b3JWZXJpZmllcjtcbiJdLCJuYW1lcyI6WyJ0ZXJtTm9kZVF1ZXJ5Iiwibm9kZVF1ZXJ5IiwidHlwZU5vZGVRdWVyeSIsInN0YXRlbWVudE5vZGVRdWVyeSIsIkNvbWJpbmF0b3JWZXJpZmllciIsInZlcmlmeVN0YXRlbWVudCIsInN0YXRlbWVudE5vZGUiLCJjb250ZXh0Iiwic3RhdGVtZW50VmVyaWZpZXNBc0NvbWJpbmF0b3IiLCJub25UZXJtaW5hbE5vZGUiLCJjaGlsZE5vZGVzIiwiZ2V0Q2hpbGROb2RlcyIsImNoaWxkTm9kZXNWZXJpZnkiLCJ2ZXJpZnlDaGlsZE5vZGVzIiwiVmVyaWZpZXIiLCJtYXBzIiwidmVyaWZ5IiwiU3RhdGVtZW50Iiwib250b2xvZ3kiLCJzdGF0ZW1lbnQiLCJmcm9tU3RhdGVtZW50Tm9kZSIsImFzc2lnbm1lbnRzIiwic3RhdGVkIiwic3RhdGVtZW50VmVyaWZpZXMiLCJ0ZXJtTm9kZSIsIlRlcm0iLCJ0ZXJtIiwiZnJvbVRlcm1Ob2RlIiwidGVybVZlcmlmaWVzIiwidmVyaWZpZXNBaGVhZCIsInR5cGVOb2RlIiwidHlwZVZlcmlmaWVzIiwibm9taW5hbFR5cGVOYW1lIiwiZ2V0Tm9taW5hbFR5cGVOYW1lIiwidHlwZVByZXNlbnQiLCJpc1R5cGVQcmVzZW50QnlOb21pbmFsVHlwZU5hbWUiLCJjb21iaW5hdG9yVmVyaWZpZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQXVFQTs7O2VBQUE7OzsrREFyRXFCOytEQUNBO3FCQUVLOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUUxQixJQUFNQSxnQkFBZ0JDLElBQUFBLGdCQUFTLEVBQUMsVUFDMUJDLGdCQUFnQkQsSUFBQUEsZ0JBQVMsRUFBQyxVQUMxQkUscUJBQXFCRixJQUFBQSxnQkFBUyxFQUFDO0FBRXJDLElBQUEsQUFBTUcsbUNBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDSkMsS0FBQUE7bUJBQUFBLFNBQUFBLGdCQUFnQkMsYUFBYSxFQUFFQyxPQUFPO2dCQUNwQyxJQUFJQztnQkFFSixJQUFNQyxrQkFBa0JILGVBQ2xCSSxhQUFhRCxnQkFBZ0JFLGFBQWEsSUFDMUNDLG1CQUFtQixJQUFJLENBQUNDLGdCQUFnQixDQUFDSCxZQUFZSDtnQkFFM0RDLGdDQUFnQ0ksa0JBQW1CLEdBQUc7Z0JBRXRELE9BQU9KO1lBQ1Q7OztXQVhJSjtFQUEyQlUsaUJBQVE7QUFhdkMsaUJBYklWLG9CQWFHVyxRQUFPO0lBQ1o7UUFDRWQsV0FBV0U7UUFDWGEsUUFBUSxTQUFDVixlQUFlQztZQUN0QixJQUFNLEFBQUVVLFlBQWNDLGlCQUFRLENBQXRCRCxXQUNGRSxZQUFZRixVQUFVRyxpQkFBaUIsQ0FBQ2QsZUFBZUMsVUFDdkRjLGNBQWMsTUFDZEMsU0FBUyxPQUNUQyxvQkFBb0JKLFVBQVVILE1BQU0sQ0FBQ0ssYUFBYUMsUUFBUWY7WUFFaEUsT0FBT2dCO1FBQ1Q7SUFDRjtJQUNBO1FBQ0V0QixXQUFXRDtRQUNYZ0IsUUFBUSxTQUFDUSxVQUFVakI7WUFDakIsSUFBTSxBQUFFa0IsT0FBU1AsaUJBQVEsQ0FBakJPLE1BQ0ZDLE9BQU9ELEtBQUtFLFlBQVksQ0FBQ0gsVUFBVWpCLFVBQ25DcUIsZUFBZUYsS0FBS1YsTUFBTSxDQUFDVCxTQUFTO2dCQUNsQyxJQUFNc0IsZ0JBQWdCO2dCQUV0QixPQUFPQTtZQUNUO1lBRU4sT0FBT0Q7UUFDVDtJQUNGO0lBQ0E7UUFDRTNCLFdBQVdDO1FBQ1hjLFFBQVEsU0FBQ2MsVUFBVXZCO1lBQ2pCLElBQUl3QixlQUFlO1lBRW5CLElBQU1DLGtCQUFrQkYsU0FBU0csa0JBQWtCLElBQzdDQyxjQUFjM0IsUUFBUTRCLDhCQUE4QixDQUFDSDtZQUUzRCxJQUFJRSxhQUFhO2dCQUNmSCxlQUFlO1lBQ2pCO1lBRUEsT0FBT0E7UUFDVDtJQUNGO0NBQ0Q7QUFHSCxJQUFNSyxxQkFBcUIsSUFBSWhDO0lBRS9CLFdBQWVnQyJ9