occam-nominal 1.0.119 → 1.0.121

package/lib/constants.js

@@ -0,0 +1,54 @@
+"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 BASE_TYPE_SYMBOL () {
+        return BASE_TYPE_SYMBOL;
+    },
+    get BRACKETED_STATEMENT_DEPTH () {
+        return BRACKETED_STATEMENT_DEPTH;
+    },
+    get BRACKETED_TERM_DEPTH () {
+        return BRACKETED_TERM_DEPTH;
+    },
+    get EMPTY_STRING () {
+        return EMPTY_STRING;
+    },
+    get MISSING () {
+        return MISSING;
+    },
+    get PROVISIONAL () {
+        return PROVISIONAL;
+    },
+    get PROVISIONALLY () {
+        return PROVISIONALLY;
+    },
+    get S () {
+        return S;
+    },
+    get SINGLE_SPACE () {
+        return SINGLE_SPACE;
+    },
+    get UNDEFINED () {
+        return UNDEFINED;
+    }
+});
+const S = "s";
+const MISSING = "missing";
+const UNDEFINED = "undefined";
+const PROVISIONAL = "Provisional";
+const EMPTY_STRING = "";
+const SINGLE_SPACE = " ";
+const PROVISIONALLY = "provisionally";
+const BASE_TYPE_SYMBOL = "<>";
+const BRACKETED_TERM_DEPTH = 2;
+const BRACKETED_STATEMENT_DEPTH = 2;
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9jb25zdGFudHMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBTID0gXCJzXCI7XG5leHBvcnQgY29uc3QgTUlTU0lORyA9IFwibWlzc2luZ1wiO1xuZXhwb3J0IGNvbnN0IFVOREVGSU5FRCA9IFwidW5kZWZpbmVkXCI7XG5leHBvcnQgY29uc3QgUFJPVklTSU9OQUwgPSBcIlByb3Zpc2lvbmFsXCI7XG5leHBvcnQgY29uc3QgRU1QVFlfU1RSSU5HID0gXCJcIjtcbmV4cG9ydCBjb25zdCBTSU5HTEVfU1BBQ0UgPSBcIiBcIjtcbmV4cG9ydCBjb25zdCBQUk9WSVNJT05BTExZID0gXCJwcm92aXNpb25hbGx5XCI7XG5leHBvcnQgY29uc3QgQkFTRV9UWVBFX1NZTUJPTCA9IFwiPD5cIjtcbmV4cG9ydCBjb25zdCBCUkFDS0VURURfVEVSTV9ERVBUSCA9IDI7XG5leHBvcnQgY29uc3QgQlJBQ0tFVEVEX1NUQVRFTUVOVF9ERVBUSCA9IDI7XG4iXSwibmFtZXMiOlsiQkFTRV9UWVBFX1NZTUJPTCIsIkJSQUNLRVRFRF9TVEFURU1FTlRfREVQVEgiLCJCUkFDS0VURURfVEVSTV9ERVBUSCIsIkVNUFRZX1NUUklORyIsIk1JU1NJTkciLCJQUk9WSVNJT05BTCIsIlBST1ZJU0lPTkFMTFkiLCJTIiwiU0lOR0xFX1NQQUNFIiwiVU5ERUZJTkVEIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7UUFTYUE7ZUFBQUE7O1FBRUFDO2VBQUFBOztRQURBQztlQUFBQTs7UUFKQUM7ZUFBQUE7O1FBSEFDO2VBQUFBOztRQUVBQztlQUFBQTs7UUFHQUM7ZUFBQUE7O1FBTkFDO2VBQUFBOztRQUtBQztlQUFBQTs7UUFIQUM7ZUFBQUE7OztBQUZOLE1BQU1GLElBQUk7QUFDVixNQUFNSCxVQUFVO0FBQ2hCLE1BQU1LLFlBQVk7QUFDbEIsTUFBTUosY0FBYztBQUNwQixNQUFNRixlQUFlO0FBQ3JCLE1BQU1LLGVBQWU7QUFDckIsTUFBTUYsZ0JBQWdCO0FBQ3RCLE1BQU1OLG1CQUFtQjtBQUN6QixNQUFNRSx1QkFBdUI7QUFDN0IsTUFBTUQsNEJBQTRCIn0=

package/lib/context/aphasic.js

@@ -0,0 +1,27 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return AphasicContext;
+    }
+});
+const _context = /*#__PURE__*/ _interop_require_default(require("../context"));
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+class AphasicContext extends _context.default {
+    addAssignment(assignment) {
+    ///
+    }
+    static fromNothing(context) {
+        const aphasicContext = new AphasicContext(context);
+        return aphasicContext;
+    }
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2FwaGFzaWMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0XCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEFwaGFzaWNDb250ZXh0IGV4dGVuZHMgQ29udGV4dCB7XG4gIGFkZEFzc2lnbm1lbnQoYXNzaWdubWVudCkge1xuICAgIC8vL1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKGNvbnRleHQpIHtcbiAgICBjb25zdCBhcGhhc2ljQ29udGV4dCA9IG5ldyBBcGhhc2ljQ29udGV4dChjb250ZXh0KTtcblxuICAgIHJldHVybiBhcGhhc2ljQ29udGV4dDtcbiAgfVxufVxuIl0sIm5hbWVzIjpbIkFwaGFzaWNDb250ZXh0IiwiQ29udGV4dCIsImFkZEFzc2lnbm1lbnQiLCJhc3NpZ25tZW50IiwiZnJvbU5vdGhpbmciLCJjb250ZXh0IiwiYXBoYXNpY0NvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7Z0VBRkQ7Ozs7OztBQUVMLE1BQU1BLHVCQUF1QkMsZ0JBQU87SUFDakRDLGNBQWNDLFVBQVUsRUFBRTtJQUN4QixHQUFHO0lBQ0w7SUFFQSxPQUFPQyxZQUFZQyxPQUFPLEVBQUU7UUFDMUIsTUFBTUMsaUJBQWlCLElBQUlOLGVBQWVLO1FBRTFDLE9BQU9DO0lBQ1Q7QUFDRiJ9

package/lib/context/bounded.js

@@ -0,0 +1,244 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return _default;
+    }
+});
+const _necessary = require("necessary");
+const _context = /*#__PURE__*/ _interop_require_default(require("../context"));
+const _equivalences = require("../utilities/equivalences");
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+const { last, clear, filter } = _necessary.arrayUtilities;
+class BoundedContext extends _context.default {
+    constructor(context, assignments, equivalences, declaredVariables, declaredJudgements, subproofOrProofAssertions, metaLevelAssumptions){
+        super(context);
+        this.assignments = assignments;
+        this.equivalences = equivalences;
+        this.declaredVariables = declaredVariables;
+        this.declaredJudgements = declaredJudgements;
+        this.subproofOrProofAssertions = subproofOrProofAssertions;
+        this.metaLevelAssumptions = metaLevelAssumptions;
+    }
+    getAssignments() {
+        return this.assignments;
+    }
+    getEquivalences() {
+        let equivalences;
+        let context;
+        context = this.getContext();
+        equivalences = context.getEquivalences();
+        context = this; ///
+        equivalences = (0, _equivalences.mergeEquivalences)(this.equivalences, equivalences, context); ///
+        return equivalences;
+    }
+    getDeclaredVariables() {
+        let declaredVariables;
+        const context = this.getContext();
+        declaredVariables = context.getDeclaredVariables();
+        declaredVariables = [
+            ...this.declaredVariables,
+            ...declaredVariables
+        ];
+        return declaredVariables;
+    }
+    getDeclaredJudgements() {
+        let declaredJudgements;
+        const context = this.getContext();
+        declaredJudgements = context.getDeclaredJudgements();
+        declaredJudgements = [
+            ...this.declaredJudgements,
+            ...declaredJudgements
+        ];
+        return declaredJudgements;
+    }
+    getSubproofOrProofAssertions() {
+        let subproofOrProofAssertions;
+        const context = this.getContext();
+        subproofOrProofAssertions = context.getSubproofOrProofAssertions();
+        subproofOrProofAssertions = [
+            ...subproofOrProofAssertions,
+            ...this.subproofOrProofAssertions
+        ];
+        return subproofOrProofAssertions;
+    }
+    getMetaLevelAssumptions() {
+        return this.metaLevelAssumptions;
+    }
+    getProofAssertions() {
+        const subproofOrProofAssertions = this.getSubproofOrProofAssertions(), proofAssertions = subproofOrProofAssertions.filter((subproofOrProofAssertion)=>{
+            const subproofOrProofAssertionproofAssertion = subproofOrProofAssertion.isProofAssertion();
+            if (subproofOrProofAssertionproofAssertion) {
+                return true;
+            }
+        });
+        return proofAssertions;
+    }
+    getLastStep() {
+        let lastStep = null;
+        const proofAssertions = this.getProofAssertions(), proofAssertionsLength = proofAssertions.length;
+        if (proofAssertionsLength > 0) {
+            const lastProofAssertion = last(proofAssertions);
+            lastStep = lastProofAssertion; ///
+        }
+        return lastStep;
+    }
+    isMetaLevel() {
+        let metaLevel;
+        if (this.metaLevelAssumptions !== null) {
+            metaLevel = true;
+        } else {
+            const context = this.getContext();
+            metaLevel = context.isMetaLevel();
+        }
+        return metaLevel;
+    }
+    addEquality(equality) {
+        const context = this, equalityString = equality.getString();
+        context.trace(`Adding the '${equalityString}' equality to the bounded context...`);
+        const equalityRelfexive = equality.isReflexive();
+        if (!equalityRelfexive) {
+            const equivalences = (0, _equivalences.equivalencesFromEquality)(equality, context);
+            this.equivalences = (0, _equivalences.mergeEquivalences)(this.equivalences, equivalences, context);
+            context.debug(`...added the '${equalityString}' equality to the bounded context.`);
+        } else {
+            context.debug(`The reflexive '${equalityString}' equality has not been added to the bounded context.`);
+        }
+    }
+    addAssignment(assignment) {
+        this.assignments.push(assignment);
+    }
+    assignAssignments() {
+        const context = this; ///
+        this.assignments.forEach((assignment)=>{
+            assignment(context);
+        });
+        clear(this.assignments);
+    }
+    addDeclaredVariable(declaredVariable) {
+        const context = this, declaredVariableString = declaredVariable.getString();
+        context.trace(`Adding the '${declaredVariableString}' declared variable to the bounded context...`);
+        this.declaredVariables.push(declaredVariable);
+        context.debug(`...added the '${declaredVariableString}' declared variable to the bounded context.`);
+    }
+    addDeclaredJudgement(declaredJudgement) {
+        const context = this, declaredJudgementString = declaredJudgement.getString();
+        context.trace(`Adding the '${declaredJudgementString}' declared judgement to the bounded context...`);
+        this.declaredJudgements.push(declaredJudgement);
+        context.debug(`...added the '${declaredJudgementString}' declared judgement to the bounded context.`);
+    }
+    addMetaLevelAssumption(metaLevelAssumption) {
+        if (this.metaLevelAssumptions === null) {
+            super.addMetaLevelAssumption(metaLevelAssumption);
+            return;
+        }
+        const context = this, metaLevelAssumptionA = metaLevelAssumption, metaLevelAssumptionString = metaLevelAssumption.getString();
+        context.trace(`Adding the '${metaLevelAssumptionString}' meta-level assumption to the bounded context...`);
+        const metaLevelAssumptionB = this.metaLevelAssumptions.find((metaLevelAssumption)=>{
+            const metaLevelAssumptionB = metaLevelAssumption, metaLevelAssumptionAEqualToAssumptionB = metaLevelAssumptionA.isEqualTo(metaLevelAssumptionB);
+            if (metaLevelAssumptionAEqualToAssumptionB) {
+                return true;
+            }
+        }) || null;
+        if (metaLevelAssumptionB !== null) {
+            context.debug(`The '${metaLevelAssumptionString}' metaLevelAssumption has already been added to the bounded context.`);
+        } else {
+            this.metaLevelAssumptions.push(metaLevelAssumption);
+        }
+        context.debug(`...added the '${metaLevelAssumptionString}' meta-level assumption to the bounded context.`);
+    }
+    addSubproofOrProofAssertion(subproofOrProofAssertion) {
+        const context = this, subproofOrProofAssertionString = subproofOrProofAssertion.getString();
+        context.trace(`Adding the '${subproofOrProofAssertionString}' subproof or proof assertion to the bounded context...`);
+        this.subproofOrProofAssertions.push(subproofOrProofAssertion);
+        context.debug(`...added the '${subproofOrProofAssertionString}' subproof or proof assertion to the bounded context.`);
+    }
+    compareTermAndPropertyRelation(term, propertyRelation) {
+        const context = this, proofAssertions = this.getProofAssertions(), comparesToTermAndPropertyRelation = proofAssertions.some((proofAssertion)=>{
+            const comparesToTermAndPropertyRelation = proofAssertion.compareTermAndPropertyRelation(term, propertyRelation, context);
+            if (comparesToTermAndPropertyRelation) {
+                return true;
+            }
+        });
+        return comparesToTermAndPropertyRelation;
+    }
+    findDeclaredJudgementByMetavariableNode(metavariableNode) {
+        const declaredJudgements = this.getDeclaredJudgements(), declaredJudgement = declaredJudgements.find((declaredJudgement)=>{
+            const metavariableNodeMatches = declaredJudgement.matchMetavariableNode(metavariableNode);
+            if (metavariableNodeMatches) {
+                return true;
+            }
+        }) || null;
+        return declaredJudgement;
+    }
+    findDeclaredJudgementsByMetavariableNode(metavariableNode) {
+        const declaredJudgements = this.getDeclaredJudgements();
+        filter(declaredJudgements, (declaredJudgement)=>{
+            const metavariableNodeMatches = declaredJudgement.matchMetavariableNode(metavariableNode);
+            if (metavariableNodeMatches) {
+                return true;
+            }
+        });
+        return declaredJudgements;
+    }
+    findDeclaredVariableByVariableIdentifier(variableIdentifier) {
+        const declaredVariables = this.getDeclaredVariables(), declaredVariable = declaredVariables.find((declaredVariable)=>{
+            const variableComparesToVariableIdentifier = declaredVariable.compareVariableIdentifier(variableIdentifier);
+            if (variableComparesToVariableIdentifier) {
+                return true;
+            }
+        }) || null;
+        return declaredVariable;
+    }
+    findMetaLevelAssumptionByMetaLevelAssumptionNode(metaLevelAssumptionNode) {
+        let metaLevelAssumption;
+        if (this.metaLevelAssumptions === null) {
+            metaLevelAssumption = super.findMetaLevelAssumptionByMetaLevelAssumptionNode(metaLevelAssumptionNode);
+        } else {
+            metaLevelAssumption = this.metaLevelAssumptions.find((metaLevelAssumption)=>{
+                const metaLevelAssumptionNodeMatches = metaLevelAssumption.matchMetaLevelAssumptionNode(metaLevelAssumptionNode);
+                if (metaLevelAssumptionNodeMatches) {
+                    return true;
+                }
+            }) || null;
+        }
+        return metaLevelAssumption;
+    }
+    isDeclaredJudgementPresentByMetavariableNode(metavariableNode) {
+        const declaredJudgement = this.findDeclaredJudgementByMetavariableNode(metavariableNode), declaredJudgementPresent = declaredJudgement !== null;
+        return declaredJudgementPresent;
+    }
+    isDeclaredVariablePresentByVariableIdentifier(variableIdentifier) {
+        const declaredVariable = this.findDeclaredVariableByVariableIdentifier(variableIdentifier), declaredVariablePresent = declaredVariable !== null;
+        return declaredVariablePresent;
+    }
+    isTermGrounded(term) {
+        const context = this, equivalences = this.getEquivalences(), groundedTerms = [], definedVariables = [];
+        (0, _equivalences.separateGroundedTermsAndDefinedVariables)(equivalences, groundedTerms, definedVariables, context);
+        const termMatchesGroundedTerm = groundedTerms.some((groundedTerm)=>{
+            const groundedTermNode = groundedTerm.getNode(), groundedTermNodeMatches = term.matchTermNode(groundedTermNode);
+            if (groundedTermNodeMatches) {
+                return true;
+            }
+        }), termGrounded = termMatchesGroundedTerm; ///
+        return termGrounded;
+    }
+    static fromNothing(context) {
+        const assignments = [], equivalences = [], declaredVariables = [], declaredJudgements = [], metaLevelAssumptions = null, subproofOrProofAssertions = [], boundedContext = new BoundedContext(context, assignments, equivalences, declaredVariables, declaredJudgements, subproofOrProofAssertions, metaLevelAssumptions);
+        return boundedContext;
+    }
+    static fromMetaLevelAssumptions(metaLevelAssumptions, context) {
+        const assignments = [], equivalences = [], declaredVariables = [], declaredJudgements = [], subproofOrProofAssertions = [], boundedContext = new BoundedContext(context, assignments, equivalences, declaredVariables, declaredJudgements, subproofOrProofAssertions, metaLevelAssumptions);
+        return boundedContext;
+    }
+}
+const _default = BoundedContext;
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2JvdW5kZWQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGFycmF5VXRpbGl0aWVzIH0gZnJvbSBcIm5lY2Vzc2FyeVwiO1xuXG5pbXBvcnQgQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dFwiO1xuXG5pbXBvcnQgeyBtZXJnZUVxdWl2YWxlbmNlcywgZXF1aXZhbGVuY2VzRnJvbUVxdWFsaXR5LCBzZXBhcmF0ZUdyb3VuZGVkVGVybXNBbmREZWZpbmVkVmFyaWFibGVzIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9lcXVpdmFsZW5jZXNcIjtcblxuY29uc3QgeyBsYXN0LCBjbGVhciwgZmlsdGVyIH0gPSBhcnJheVV0aWxpdGllcztcblxuY2xhc3MgQm91bmRlZENvbnRleHQgZXh0ZW5kcyBDb250ZXh0IHtcbiAgY29uc3RydWN0b3IoY29udGV4dCwgYXNzaWdubWVudHMsIGVxdWl2YWxlbmNlcywgZGVjbGFyZWRWYXJpYWJsZXMsIGRlY2xhcmVkSnVkZ2VtZW50cywgc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucywgbWV0YUxldmVsQXNzdW1wdGlvbnMpIHtcbiAgICBzdXBlcihjb250ZXh0KTtcblxuICAgIHRoaXMuYXNzaWdubWVudHMgPSBhc3NpZ25tZW50cztcbiAgICB0aGlzLmVxdWl2YWxlbmNlcyA9IGVxdWl2YWxlbmNlcztcbiAgICB0aGlzLmRlY2xhcmVkVmFyaWFibGVzID0gZGVjbGFyZWRWYXJpYWJsZXM7XG4gICAgdGhpcy5kZWNsYXJlZEp1ZGdlbWVudHMgPSBkZWNsYXJlZEp1ZGdlbWVudHM7XG4gICAgdGhpcy5zdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zID0gc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucztcbiAgICB0aGlzLm1ldGFMZXZlbEFzc3VtcHRpb25zID0gbWV0YUxldmVsQXNzdW1wdGlvbnM7XG4gIH1cblxuICBnZXRBc3NpZ25tZW50cygpIHtcbiAgICByZXR1cm4gdGhpcy5hc3NpZ25tZW50cztcbiAgfVxuXG4gIGdldEVxdWl2YWxlbmNlcygpIHtcbiAgICBsZXQgZXF1aXZhbGVuY2VzO1xuXG4gICAgbGV0IGNvbnRleHQ7XG5cbiAgICBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCk7XG5cbiAgICBlcXVpdmFsZW5jZXMgPSBjb250ZXh0LmdldEVxdWl2YWxlbmNlcygpO1xuXG4gICAgY29udGV4dCA9IHRoaXM7IC8vL1xuXG4gICAgZXF1aXZhbGVuY2VzID0gbWVyZ2VFcXVpdmFsZW5jZXModGhpcy5lcXVpdmFsZW5jZXMsIGVxdWl2YWxlbmNlcywgY29udGV4dCk7ICAvLy9cblxuICAgIHJldHVybiBlcXVpdmFsZW5jZXM7XG4gIH1cblxuICBnZXREZWNsYXJlZFZhcmlhYmxlcygpIHtcbiAgICBsZXQgZGVjbGFyZWRWYXJpYWJsZXM7XG5cbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcy5nZXRDb250ZXh0KCk7XG5cbiAgICBkZWNsYXJlZFZhcmlhYmxlcyA9IGNvbnRleHQuZ2V0RGVjbGFyZWRWYXJpYWJsZXMoKTtcblxuICAgIGRlY2xhcmVkVmFyaWFibGVzID0gW1xuICAgICAgLi4udGhpcy5kZWNsYXJlZFZhcmlhYmxlcyxcbiAgICAgIC4uLmRlY2xhcmVkVmFyaWFibGVzXG4gICAgXTtcblxuICAgIHJldHVybiBkZWNsYXJlZFZhcmlhYmxlcztcbiAgfVxuXG4gIGdldERlY2xhcmVkSnVkZ2VtZW50cygpIHtcbiAgICBsZXQgZGVjbGFyZWRKdWRnZW1lbnRzO1xuXG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpO1xuXG4gICAgZGVjbGFyZWRKdWRnZW1lbnRzID0gY29udGV4dC5nZXREZWNsYXJlZEp1ZGdlbWVudHMoKTtcblxuICAgIGRlY2xhcmVkSnVkZ2VtZW50cyA9IFsgLy8vXG4gICAgICAuLi50aGlzLmRlY2xhcmVkSnVkZ2VtZW50cyxcbiAgICAgIC4uLmRlY2xhcmVkSnVkZ2VtZW50c1xuICAgIF1cblxuICAgIHJldHVybiBkZWNsYXJlZEp1ZGdlbWVudHM7XG4gIH1cblxuICBnZXRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zKCkge1xuICAgIGxldCBzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zO1xuXG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpO1xuXG4gICAgc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyA9IGNvbnRleHQuZ2V0U3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucygpO1xuXG4gICAgc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyA9IFsgIC8vL1xuICAgICAgLi4uc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyxcbiAgICAgIC4uLnRoaXMuc3VicHJvb2ZPclByb29mQXNzZXJ0aW9uc1xuICAgIF07XG5cbiAgICByZXR1cm4gc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucztcbiAgfVxuXG4gIGdldE1ldGFMZXZlbEFzc3VtcHRpb25zKCkge1xuICAgIHJldHVybiB0aGlzLm1ldGFMZXZlbEFzc3VtcHRpb25zO1xuICB9XG5cbiAgZ2V0UHJvb2ZBc3NlcnRpb25zKCkge1xuICAgIGNvbnN0IHN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMgPSB0aGlzLmdldFN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMoKSxcbiAgICAgICAgICBwcm9vZkFzc2VydGlvbnMgPSBzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zLmZpbHRlcigoc3VicHJvb2ZPclByb29mQXNzZXJ0aW9uKSA9PiB7XG4gICAgICAgICAgICBjb25zdCBzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25wcm9vZkFzc2VydGlvbiA9IHN1YnByb29mT3JQcm9vZkFzc2VydGlvbi5pc1Byb29mQXNzZXJ0aW9uKCk7XG5cbiAgICAgICAgICAgIGlmIChzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25wcm9vZkFzc2VydGlvbikge1xuICAgICAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgICAgIH1cbiAgICAgICAgICB9KTtcblxuICAgIHJldHVybiBwcm9vZkFzc2VydGlvbnM7XG4gIH1cblxuICBnZXRMYXN0U3RlcCgpIHtcbiAgICBsZXQgbGFzdFN0ZXAgPSBudWxsO1xuXG4gICAgY29uc3QgcHJvb2ZBc3NlcnRpb25zID0gdGhpcy5nZXRQcm9vZkFzc2VydGlvbnMoKSxcbiAgICAgICAgICBwcm9vZkFzc2VydGlvbnNMZW5ndGggPSBwcm9vZkFzc2VydGlvbnMubGVuZ3RoO1xuXG4gICAgaWYgKHByb29mQXNzZXJ0aW9uc0xlbmd0aCA+IDApIHtcbiAgICAgIGNvbnN0IGxhc3RQcm9vZkFzc2VydGlvbiA9IGxhc3QocHJvb2ZBc3NlcnRpb25zKTtcblxuICAgICAgbGFzdFN0ZXAgPSBsYXN0UHJvb2ZBc3NlcnRpb247ICAvLy9cbiAgICB9XG5cbiAgICByZXR1cm4gbGFzdFN0ZXA7XG4gIH1cblxuICBpc01ldGFMZXZlbCgpIHtcbiAgICBsZXQgbWV0YUxldmVsO1xuXG4gICAgaWYgKHRoaXMubWV0YUxldmVsQXNzdW1wdGlvbnMgIT09IG51bGwpIHtcbiAgICAgIG1ldGFMZXZlbCA9IHRydWU7XG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKTtcblxuICAgICAgbWV0YUxldmVsID0gY29udGV4dC5pc01ldGFMZXZlbCgpO1xuICAgIH1cblxuICAgIHJldHVybiBtZXRhTGV2ZWw7XG4gIH1cblxuICBhZGRFcXVhbGl0eShlcXVhbGl0eSkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLCAvLy9cbiAgICAgICAgICBlcXVhbGl0eVN0cmluZyA9IGVxdWFsaXR5LmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgQWRkaW5nIHRoZSAnJHtlcXVhbGl0eVN0cmluZ30nIGVxdWFsaXR5IHRvIHRoZSBib3VuZGVkIGNvbnRleHQuLi5gKTtcblxuICAgIGNvbnN0IGVxdWFsaXR5UmVsZmV4aXZlID0gZXF1YWxpdHkuaXNSZWZsZXhpdmUoKTtcblxuICAgIGlmICghZXF1YWxpdHlSZWxmZXhpdmUpIHtcbiAgICAgIGNvbnN0IGVxdWl2YWxlbmNlcyA9IGVxdWl2YWxlbmNlc0Zyb21FcXVhbGl0eShlcXVhbGl0eSwgY29udGV4dCk7XG5cbiAgICAgIHRoaXMuZXF1aXZhbGVuY2VzID0gbWVyZ2VFcXVpdmFsZW5jZXModGhpcy5lcXVpdmFsZW5jZXMsIGVxdWl2YWxlbmNlcywgY29udGV4dCk7XG5cbiAgICAgIGNvbnRleHQuZGVidWcoYC4uLmFkZGVkIHRoZSAnJHtlcXVhbGl0eVN0cmluZ30nIGVxdWFsaXR5IHRvIHRoZSBib3VuZGVkIGNvbnRleHQuYCk7XG4gICAgfSBlbHNlIHtcbiAgICAgIGNvbnRleHQuZGVidWcoYFRoZSByZWZsZXhpdmUgJyR7ZXF1YWxpdHlTdHJpbmd9JyBlcXVhbGl0eSBoYXMgbm90IGJlZW4gYWRkZWQgdG8gdGhlIGJvdW5kZWQgY29udGV4dC5gKTtcbiAgICB9XG4gIH1cblxuICBhZGRBc3NpZ25tZW50KGFzc2lnbm1lbnQpIHtcbiAgICB0aGlzLmFzc2lnbm1lbnRzLnB1c2goYXNzaWdubWVudCk7XG4gIH1cblxuICBhc3NpZ25Bc3NpZ25tZW50cygpIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpczsgLy8vXG5cbiAgICB0aGlzLmFzc2lnbm1lbnRzLmZvckVhY2goKGFzc2lnbm1lbnQpID0+IHtcbiAgICAgIGFzc2lnbm1lbnQoY29udGV4dCk7XG4gICAgfSk7XG5cbiAgICBjbGVhcih0aGlzLmFzc2lnbm1lbnRzKTtcbiAgfVxuXG4gIGFkZERlY2xhcmVkVmFyaWFibGUoZGVjbGFyZWRWYXJpYWJsZSkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLCAvLy9cbiAgICAgICAgICBkZWNsYXJlZFZhcmlhYmxlU3RyaW5nID0gZGVjbGFyZWRWYXJpYWJsZS5nZXRTdHJpbmcoKTtcblxuICAgIGNvbnRleHQudHJhY2UoYEFkZGluZyB0aGUgJyR7ZGVjbGFyZWRWYXJpYWJsZVN0cmluZ30nIGRlY2xhcmVkIHZhcmlhYmxlIHRvIHRoZSBib3VuZGVkIGNvbnRleHQuLi5gKTtcblxuICAgIHRoaXMuZGVjbGFyZWRWYXJpYWJsZXMucHVzaChkZWNsYXJlZFZhcmlhYmxlKTtcblxuICAgIGNvbnRleHQuZGVidWcoYC4uLmFkZGVkIHRoZSAnJHtkZWNsYXJlZFZhcmlhYmxlU3RyaW5nfScgZGVjbGFyZWQgdmFyaWFibGUgdG8gdGhlIGJvdW5kZWQgY29udGV4dC5gKTtcbiAgfVxuXG4gIGFkZERlY2xhcmVkSnVkZ2VtZW50KGRlY2xhcmVkSnVkZ2VtZW50KSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMsIC8vL1xuICAgICAgICAgIGRlY2xhcmVkSnVkZ2VtZW50U3RyaW5nID0gZGVjbGFyZWRKdWRnZW1lbnQuZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBBZGRpbmcgdGhlICcke2RlY2xhcmVkSnVkZ2VtZW50U3RyaW5nfScgZGVjbGFyZWQganVkZ2VtZW50IHRvIHRoZSBib3VuZGVkIGNvbnRleHQuLi5gKTtcblxuICAgIHRoaXMuZGVjbGFyZWRKdWRnZW1lbnRzLnB1c2goZGVjbGFyZWRKdWRnZW1lbnQpO1xuXG4gICAgY29udGV4dC5kZWJ1ZyhgLi4uYWRkZWQgdGhlICcke2RlY2xhcmVkSnVkZ2VtZW50U3RyaW5nfScgZGVjbGFyZWQganVkZ2VtZW50IHRvIHRoZSBib3VuZGVkIGNvbnRleHQuYCk7XG4gIH1cblxuICBhZGRNZXRhTGV2ZWxBc3N1bXB0aW9uKG1ldGFMZXZlbEFzc3VtcHRpb24pIHtcbiAgICBpZiAodGhpcy5tZXRhTGV2ZWxBc3N1bXB0aW9ucyA9PT0gbnVsbCkge1xuICAgICAgc3VwZXIuYWRkTWV0YUxldmVsQXNzdW1wdGlvbihtZXRhTGV2ZWxBc3N1bXB0aW9uKTtcblxuICAgICAgcmV0dXJuO1xuICAgIH1cblxuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLCAvLy9cbiAgICAgICAgICBtZXRhTGV2ZWxBc3N1bXB0aW9uQSA9IG1ldGFMZXZlbEFzc3VtcHRpb24sIC8vL1xuICAgICAgICAgIG1ldGFMZXZlbEFzc3VtcHRpb25TdHJpbmcgPSBtZXRhTGV2ZWxBc3N1bXB0aW9uLmdldFN0cmluZygpO1xuXG4gICAgY29udGV4dC50cmFjZShgQWRkaW5nIHRoZSAnJHttZXRhTGV2ZWxBc3N1bXB0aW9uU3RyaW5nfScgbWV0YS1sZXZlbCBhc3N1bXB0aW9uIHRvIHRoZSBib3VuZGVkIGNvbnRleHQuLi5gKTtcblxuICAgIGNvbnN0IG1ldGFMZXZlbEFzc3VtcHRpb25CID0gdGhpcy5tZXRhTGV2ZWxBc3N1bXB0aW9ucy5maW5kKChtZXRhTGV2ZWxBc3N1bXB0aW9uKSA9PiB7XG4gICAgICBjb25zdCBtZXRhTGV2ZWxBc3N1bXB0aW9uQiA9IG1ldGFMZXZlbEFzc3VtcHRpb24sIC8vL1xuICAgICAgICAgICAgbWV0YUxldmVsQXNzdW1wdGlvbkFFcXVhbFRvQXNzdW1wdGlvbkIgPSBtZXRhTGV2ZWxBc3N1bXB0aW9uQS5pc0VxdWFsVG8obWV0YUxldmVsQXNzdW1wdGlvbkIpO1xuXG4gICAgICBpZiAobWV0YUxldmVsQXNzdW1wdGlvbkFFcXVhbFRvQXNzdW1wdGlvbkIpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSkgfHwgbnVsbDtcblxuICAgIGlmIChtZXRhTGV2ZWxBc3N1bXB0aW9uQiAhPT0gbnVsbCkge1xuICAgICAgY29udGV4dC5kZWJ1ZyhgVGhlICcke21ldGFMZXZlbEFzc3VtcHRpb25TdHJpbmd9JyBtZXRhTGV2ZWxBc3N1bXB0aW9uIGhhcyBhbHJlYWR5IGJlZW4gYWRkZWQgdG8gdGhlIGJvdW5kZWQgY29udGV4dC5gKTtcbiAgICB9IGVsc2Uge1xuICAgICAgdGhpcy5tZXRhTGV2ZWxBc3N1bXB0aW9ucy5wdXNoKG1ldGFMZXZlbEFzc3VtcHRpb24pO1xuICAgIH1cblxuICAgIGNvbnRleHQuZGVidWcoYC4uLmFkZGVkIHRoZSAnJHttZXRhTGV2ZWxBc3N1bXB0aW9uU3RyaW5nfScgbWV0YS1sZXZlbCBhc3N1bXB0aW9uIHRvIHRoZSBib3VuZGVkIGNvbnRleHQuYCk7XG4gIH1cblxuICBhZGRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb24oc3VicHJvb2ZPclByb29mQXNzZXJ0aW9uKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMsIC8vL1xuICAgICAgICAgIHN1YnByb29mT3JQcm9vZkFzc2VydGlvblN0cmluZyA9IHN1YnByb29mT3JQcm9vZkFzc2VydGlvbi5nZXRTdHJpbmcoKTtcblxuICAgIGNvbnRleHQudHJhY2UoYEFkZGluZyB0aGUgJyR7c3VicHJvb2ZPclByb29mQXNzZXJ0aW9uU3RyaW5nfScgc3VicHJvb2Ygb3IgcHJvb2YgYXNzZXJ0aW9uIHRvIHRoZSBib3VuZGVkIGNvbnRleHQuLi5gKTtcblxuICAgIHRoaXMuc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucy5wdXNoKHN1YnByb29mT3JQcm9vZkFzc2VydGlvbik7XG5cbiAgICBjb250ZXh0LmRlYnVnKGAuLi5hZGRlZCB0aGUgJyR7c3VicHJvb2ZPclByb29mQXNzZXJ0aW9uU3RyaW5nfScgc3VicHJvb2Ygb3IgcHJvb2YgYXNzZXJ0aW9uIHRvIHRoZSBib3VuZGVkIGNvbnRleHQuYCk7XG4gIH1cblxuICBjb21wYXJlVGVybUFuZFByb3BlcnR5UmVsYXRpb24odGVybSwgcHJvcGVydHlSZWxhdGlvbikge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLCAvLy9cbiAgICAgICAgICBwcm9vZkFzc2VydGlvbnMgPSB0aGlzLmdldFByb29mQXNzZXJ0aW9ucygpLFxuICAgICAgICAgIGNvbXBhcmVzVG9UZXJtQW5kUHJvcGVydHlSZWxhdGlvbiA9IHByb29mQXNzZXJ0aW9ucy5zb21lKChwcm9vZkFzc2VydGlvbikgPT4ge1xuICAgICAgICAgICAgY29uc3QgY29tcGFyZXNUb1Rlcm1BbmRQcm9wZXJ0eVJlbGF0aW9uID0gcHJvb2ZBc3NlcnRpb24uY29tcGFyZVRlcm1BbmRQcm9wZXJ0eVJlbGF0aW9uKHRlcm0sIHByb3BlcnR5UmVsYXRpb24sIGNvbnRleHQpO1xuXG4gICAgICAgICAgICBpZiAoY29tcGFyZXNUb1Rlcm1BbmRQcm9wZXJ0eVJlbGF0aW9uKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pO1xuXG4gICAgcmV0dXJuIGNvbXBhcmVzVG9UZXJtQW5kUHJvcGVydHlSZWxhdGlvbjtcbiAgfVxuXG4gIGZpbmREZWNsYXJlZEp1ZGdlbWVudEJ5TWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlKSB7XG4gICAgY29uc3QgZGVjbGFyZWRKdWRnZW1lbnRzID0gdGhpcy5nZXREZWNsYXJlZEp1ZGdlbWVudHMoKSxcbiAgICAgICAgICBkZWNsYXJlZEp1ZGdlbWVudCA9IGRlY2xhcmVkSnVkZ2VtZW50cy5maW5kKChkZWNsYXJlZEp1ZGdlbWVudCkgPT4ge1xuICAgICAgICAgICAgY29uc3QgbWV0YXZhcmlhYmxlTm9kZU1hdGNoZXMgPSBkZWNsYXJlZEp1ZGdlbWVudC5tYXRjaE1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7XG5cbiAgICAgICAgICAgIGlmIChtZXRhdmFyaWFibGVOb2RlTWF0Y2hlcykge1xuICAgICAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgICAgIH1cbiAgICAgICAgICB9KSB8fCBudWxsO1xuXG4gICAgcmV0dXJuIGRlY2xhcmVkSnVkZ2VtZW50O1xuICB9XG5cbiAgZmluZERlY2xhcmVkSnVkZ2VtZW50c0J5TWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlKSB7XG4gICAgY29uc3QgZGVjbGFyZWRKdWRnZW1lbnRzID0gdGhpcy5nZXREZWNsYXJlZEp1ZGdlbWVudHMoKTtcblxuICAgIGZpbHRlcihkZWNsYXJlZEp1ZGdlbWVudHMsIChkZWNsYXJlZEp1ZGdlbWVudCkgPT4ge1xuICAgICAgY29uc3QgbWV0YXZhcmlhYmxlTm9kZU1hdGNoZXMgPSBkZWNsYXJlZEp1ZGdlbWVudC5tYXRjaE1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7XG5cbiAgICAgIGlmIChtZXRhdmFyaWFibGVOb2RlTWF0Y2hlcykge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBkZWNsYXJlZEp1ZGdlbWVudHM7XG4gIH1cblxuICBmaW5kRGVjbGFyZWRWYXJpYWJsZUJ5VmFyaWFibGVJZGVudGlmaWVyKHZhcmlhYmxlSWRlbnRpZmllcikge1xuICAgIGNvbnN0IGRlY2xhcmVkVmFyaWFibGVzID0gdGhpcy5nZXREZWNsYXJlZFZhcmlhYmxlcygpLFxuICAgICAgICAgIGRlY2xhcmVkVmFyaWFibGUgPSBkZWNsYXJlZFZhcmlhYmxlcy5maW5kKChkZWNsYXJlZFZhcmlhYmxlKSA9PiB7XG4gICAgICAgICAgICBjb25zdCB2YXJpYWJsZUNvbXBhcmVzVG9WYXJpYWJsZUlkZW50aWZpZXIgPSBkZWNsYXJlZFZhcmlhYmxlLmNvbXBhcmVWYXJpYWJsZUlkZW50aWZpZXIodmFyaWFibGVJZGVudGlmaWVyKTtcblxuICAgICAgICAgICAgaWYgKHZhcmlhYmxlQ29tcGFyZXNUb1ZhcmlhYmxlSWRlbnRpZmllcikge1xuICAgICAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgICAgIH1cbiAgICAgICAgICB9KSB8fCBudWxsO1xuXG4gICAgcmV0dXJuIGRlY2xhcmVkVmFyaWFibGU7XG4gIH1cblxuICBmaW5kTWV0YUxldmVsQXNzdW1wdGlvbkJ5TWV0YUxldmVsQXNzdW1wdGlvbk5vZGUobWV0YUxldmVsQXNzdW1wdGlvbk5vZGUpIHtcbiAgICBsZXQgbWV0YUxldmVsQXNzdW1wdGlvbjtcblxuICAgIGlmICh0aGlzLm1ldGFMZXZlbEFzc3VtcHRpb25zID09PSBudWxsKSB7XG4gICAgICBtZXRhTGV2ZWxBc3N1bXB0aW9uID0gc3VwZXIuZmluZE1ldGFMZXZlbEFzc3VtcHRpb25CeU1ldGFMZXZlbEFzc3VtcHRpb25Ob2RlKG1ldGFMZXZlbEFzc3VtcHRpb25Ob2RlKTtcbiAgICB9IGVsc2Uge1xuICAgICAgbWV0YUxldmVsQXNzdW1wdGlvbiA9IHRoaXMubWV0YUxldmVsQXNzdW1wdGlvbnMuZmluZCgobWV0YUxldmVsQXNzdW1wdGlvbikgPT4ge1xuICAgICAgICBjb25zdCBtZXRhTGV2ZWxBc3N1bXB0aW9uTm9kZU1hdGNoZXMgPSBtZXRhTGV2ZWxBc3N1bXB0aW9uLm1hdGNoTWV0YUxldmVsQXNzdW1wdGlvbk5vZGUobWV0YUxldmVsQXNzdW1wdGlvbk5vZGUpO1xuXG4gICAgICAgIGlmIChtZXRhTGV2ZWxBc3N1bXB0aW9uTm9kZU1hdGNoZXMpIHtcbiAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgfVxuICAgICAgfSkgfHwgbnVsbDtcbiAgICB9XG5cbiAgICByZXR1cm4gbWV0YUxldmVsQXNzdW1wdGlvbjtcbiAgfVxuXG4gIGlzRGVjbGFyZWRKdWRnZW1lbnRQcmVzZW50QnlNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUpIHtcbiAgICBjb25zdCBkZWNsYXJlZEp1ZGdlbWVudCA9IHRoaXMuZmluZERlY2xhcmVkSnVkZ2VtZW50QnlNZXRhdmFyaWFibGVOb2RlKG1ldGF2YXJpYWJsZU5vZGUpLFxuICAgICAgICAgIGRlY2xhcmVkSnVkZ2VtZW50UHJlc2VudCA9IChkZWNsYXJlZEp1ZGdlbWVudCAhPT0gbnVsbCk7XG5cbiAgICByZXR1cm4gZGVjbGFyZWRKdWRnZW1lbnRQcmVzZW50O1xuICB9XG5cbiAgaXNEZWNsYXJlZFZhcmlhYmxlUHJlc2VudEJ5VmFyaWFibGVJZGVudGlmaWVyKHZhcmlhYmxlSWRlbnRpZmllcikge1xuICAgIGNvbnN0IGRlY2xhcmVkVmFyaWFibGUgPSB0aGlzLmZpbmREZWNsYXJlZFZhcmlhYmxlQnlWYXJpYWJsZUlkZW50aWZpZXIodmFyaWFibGVJZGVudGlmaWVyKSxcbiAgICAgICAgICBkZWNsYXJlZFZhcmlhYmxlUHJlc2VudCA9IChkZWNsYXJlZFZhcmlhYmxlICE9PSBudWxsKTtcblxuICAgIHJldHVybiBkZWNsYXJlZFZhcmlhYmxlUHJlc2VudDtcbiAgfVxuXG4gIGlzVGVybUdyb3VuZGVkKHRlcm0pIHtcbiAgICBjb25zdCBjb250ZXh0ID0gdGhpcywgLy8vXG4gICAgICAgICAgZXF1aXZhbGVuY2VzID0gdGhpcy5nZXRFcXVpdmFsZW5jZXMoKSxcbiAgICAgICAgICBncm91bmRlZFRlcm1zID0gW10sXG4gICAgICAgICAgZGVmaW5lZFZhcmlhYmxlcyA9IFtdO1xuXG4gICAgc2VwYXJhdGVHcm91bmRlZFRlcm1zQW5kRGVmaW5lZFZhcmlhYmxlcyhlcXVpdmFsZW5jZXMsIGdyb3VuZGVkVGVybXMsIGRlZmluZWRWYXJpYWJsZXMsIGNvbnRleHQpO1xuXG4gICAgY29uc3QgdGVybU1hdGNoZXNHcm91bmRlZFRlcm0gPSBncm91bmRlZFRlcm1zLnNvbWUoKGdyb3VuZGVkVGVybSkgPT4ge1xuICAgICAgICAgICAgY29uc3QgZ3JvdW5kZWRUZXJtTm9kZSA9IGdyb3VuZGVkVGVybS5nZXROb2RlKCksXG4gICAgICAgICAgICAgICAgICBncm91bmRlZFRlcm1Ob2RlTWF0Y2hlcyA9IHRlcm0ubWF0Y2hUZXJtTm9kZShncm91bmRlZFRlcm1Ob2RlKTtcblxuICAgICAgICAgICAgaWYgKGdyb3VuZGVkVGVybU5vZGVNYXRjaGVzKSB7XG4gICAgICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICAgICAgfVxuICAgICAgICAgIH0pLFxuICAgICAgICAgIHRlcm1Hcm91bmRlZCA9IHRlcm1NYXRjaGVzR3JvdW5kZWRUZXJtOyAvLy9cblxuICAgIHJldHVybiB0ZXJtR3JvdW5kZWQ7XG4gIH1cblxuICBzdGF0aWMgZnJvbU5vdGhpbmcoY29udGV4dCkge1xuICAgIGNvbnN0IGFzc2lnbm1lbnRzID0gW10sXG4gICAgICAgICAgZXF1aXZhbGVuY2VzID0gW10sXG4gICAgICAgICAgZGVjbGFyZWRWYXJpYWJsZXMgPSBbXSxcbiAgICAgICAgICBkZWNsYXJlZEp1ZGdlbWVudHMgPSBbXSxcbiAgICAgICAgICBtZXRhTGV2ZWxBc3N1bXB0aW9ucyA9IG51bGwsXG4gICAgICAgICAgc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyA9IFtdLFxuICAgICAgICAgIGJvdW5kZWRDb250ZXh0ID0gbmV3IEJvdW5kZWRDb250ZXh0KGNvbnRleHQsIGFzc2lnbm1lbnRzLCBlcXVpdmFsZW5jZXMsIGRlY2xhcmVkVmFyaWFibGVzLCBkZWNsYXJlZEp1ZGdlbWVudHMsIHN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMsIG1ldGFMZXZlbEFzc3VtcHRpb25zKTtcblxuICAgIHJldHVybiBib3VuZGVkQ29udGV4dDtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tTWV0YUxldmVsQXNzdW1wdGlvbnMobWV0YUxldmVsQXNzdW1wdGlvbnMsIGNvbnRleHQpIHtcbiAgICBjb25zdCBhc3NpZ25tZW50cyA9IFtdLFxuICAgICAgICAgIGVxdWl2YWxlbmNlcyA9IFtdLFxuICAgICAgICAgIGRlY2xhcmVkVmFyaWFibGVzID0gW10sXG4gICAgICAgICAgZGVjbGFyZWRKdWRnZW1lbnRzID0gW10sXG4gICAgICAgICAgc3VicHJvb2ZPclByb29mQXNzZXJ0aW9ucyA9IFtdLFxuICAgICAgICAgIGJvdW5kZWRDb250ZXh0ID0gbmV3IEJvdW5kZWRDb250ZXh0KGNvbnRleHQsIGFzc2lnbm1lbnRzLCBlcXVpdmFsZW5jZXMsIGRlY2xhcmVkVmFyaWFibGVzLCBkZWNsYXJlZEp1ZGdlbWVudHMsIHN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMsIG1ldGFMZXZlbEFzc3VtcHRpb25zKTtcblxuICAgIHJldHVybiBib3VuZGVkQ29udGV4dDtcbiAgfVxufVxuXG5leHBvcnQgZGVmYXVsdCBCb3VuZGVkQ29udGV4dDsiXSwibmFtZXMiOlsibGFzdCIsImNsZWFyIiwiZmlsdGVyIiwiYXJyYXlVdGlsaXRpZXMiLCJCb3VuZGVkQ29udGV4dCIsIkNvbnRleHQiLCJjb250ZXh0IiwiYXNzaWdubWVudHMiLCJlcXVpdmFsZW5jZXMiLCJkZWNsYXJlZFZhcmlhYmxlcyIsImRlY2xhcmVkSnVkZ2VtZW50cyIsInN1YnByb29mT3JQcm9vZkFzc2VydGlvbnMiLCJtZXRhTGV2ZWxBc3N1bXB0aW9ucyIsImdldEFzc2lnbm1lbnRzIiwiZ2V0RXF1aXZhbGVuY2VzIiwiZ2V0Q29udGV4dCIsIm1lcmdlRXF1aXZhbGVuY2VzIiwiZ2V0RGVjbGFyZWRWYXJpYWJsZXMiLCJnZXREZWNsYXJlZEp1ZGdlbWVudHMiLCJnZXRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25zIiwiZ2V0TWV0YUxldmVsQXNzdW1wdGlvbnMiLCJnZXRQcm9vZkFzc2VydGlvbnMiLCJwcm9vZkFzc2VydGlvbnMiLCJzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb24iLCJzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25wcm9vZkFzc2VydGlvbiIsImlzUHJvb2ZBc3NlcnRpb24iLCJnZXRMYXN0U3RlcCIsImxhc3RTdGVwIiwicHJvb2ZBc3NlcnRpb25zTGVuZ3RoIiwibGVuZ3RoIiwibGFzdFByb29mQXNzZXJ0aW9uIiwiaXNNZXRhTGV2ZWwiLCJtZXRhTGV2ZWwiLCJhZGRFcXVhbGl0eSIsImVxdWFsaXR5IiwiZXF1YWxpdHlTdHJpbmciLCJnZXRTdHJpbmciLCJ0cmFjZSIsImVxdWFsaXR5UmVsZmV4aXZlIiwiaXNSZWZsZXhpdmUiLCJlcXVpdmFsZW5jZXNGcm9tRXF1YWxpdHkiLCJkZWJ1ZyIsImFkZEFzc2lnbm1lbnQiLCJhc3NpZ25tZW50IiwicHVzaCIsImFzc2lnbkFzc2lnbm1lbnRzIiwiZm9yRWFjaCIsImFkZERlY2xhcmVkVmFyaWFibGUiLCJkZWNsYXJlZFZhcmlhYmxlIiwiZGVjbGFyZWRWYXJpYWJsZVN0cmluZyIsImFkZERlY2xhcmVkSnVkZ2VtZW50IiwiZGVjbGFyZWRKdWRnZW1lbnQiLCJkZWNsYXJlZEp1ZGdlbWVudFN0cmluZyIsImFkZE1ldGFMZXZlbEFzc3VtcHRpb24iLCJtZXRhTGV2ZWxBc3N1bXB0aW9uIiwibWV0YUxldmVsQXNzdW1wdGlvbkEiLCJtZXRhTGV2ZWxBc3N1bXB0aW9uU3RyaW5nIiwibWV0YUxldmVsQXNzdW1wdGlvbkIiLCJmaW5kIiwibWV0YUxldmVsQXNzdW1wdGlvbkFFcXVhbFRvQXNzdW1wdGlvbkIiLCJpc0VxdWFsVG8iLCJhZGRTdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb24iLCJzdWJwcm9vZk9yUHJvb2ZBc3NlcnRpb25TdHJpbmciLCJjb21wYXJlVGVybUFuZFByb3BlcnR5UmVsYXRpb24iLCJ0ZXJtIiwicHJvcGVydHlSZWxhdGlvbiIsImNvbXBhcmVzVG9UZXJtQW5kUHJvcGVydHlSZWxhdGlvbiIsInNvbWUiLCJwcm9vZkFzc2VydGlvbiIsImZpbmREZWNsYXJlZEp1ZGdlbWVudEJ5TWV0YXZhcmlhYmxlTm9kZSIsIm1ldGF2YXJpYWJsZU5vZGUiLCJtZXRhdmFyaWFibGVOb2RlTWF0Y2hlcyIsIm1hdGNoTWV0YXZhcmlhYmxlTm9kZSIsImZpbmREZWNsYXJlZEp1ZGdlbWVudHNCeU1ldGF2YXJpYWJsZU5vZGUiLCJmaW5kRGVjbGFyZWRWYXJpYWJsZUJ5VmFyaWFibGVJZGVudGlmaWVyIiwidmFyaWFibGVJZGVudGlmaWVyIiwidmFyaWFibGVDb21wYXJlc1RvVmFyaWFibGVJZGVudGlmaWVyIiwiY29tcGFyZVZhcmlhYmxlSWRlbnRpZmllciIsImZpbmRNZXRhTGV2ZWxBc3N1bXB0aW9uQnlNZXRhTGV2ZWxBc3N1bXB0aW9uTm9kZSIsIm1ldGFMZXZlbEFzc3VtcHRpb25Ob2RlIiwibWV0YUxldmVsQXNzdW1wdGlvbk5vZGVNYXRjaGVzIiwibWF0Y2hNZXRhTGV2ZWxBc3N1bXB0aW9uTm9kZSIsImlzRGVjbGFyZWRKdWRnZW1lbnRQcmVzZW50QnlNZXRhdmFyaWFibGVOb2RlIiwiZGVjbGFyZWRKdWRnZW1lbnRQcmVzZW50IiwiaXNEZWNsYXJlZFZhcmlhYmxlUHJlc2VudEJ5VmFyaWFibGVJZGVudGlmaWVyIiwiZGVjbGFyZWRWYXJpYWJsZVByZXNlbnQiLCJpc1Rlcm1Hcm91bmRlZCIsImdyb3VuZGVkVGVybXMiLCJkZWZpbmVkVmFyaWFibGVzIiwic2VwYXJhdGVHcm91bmRlZFRlcm1zQW5kRGVmaW5lZFZhcmlhYmxlcyIsInRlcm1NYXRjaGVzR3JvdW5kZWRUZXJtIiwiZ3JvdW5kZWRUZXJtIiwiZ3JvdW5kZWRUZXJtTm9kZSIsImdldE5vZGUiLCJncm91bmRlZFRlcm1Ob2RlTWF0Y2hlcyIsIm1hdGNoVGVybU5vZGUiLCJ0ZXJtR3JvdW5kZWQiLCJmcm9tTm90aGluZyIsImJvdW5kZWRDb250ZXh0IiwiZnJvbU1ldGFMZXZlbEFzc3VtcHRpb25zIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkF5V0E7OztlQUFBOzs7MkJBdlcrQjtnRUFFWDs4QkFFa0Y7Ozs7OztBQUV0RyxNQUFNLEVBQUVBLElBQUksRUFBRUMsS0FBSyxFQUFFQyxNQUFNLEVBQUUsR0FBR0MseUJBQWM7QUFFOUMsTUFBTUMsdUJBQXVCQyxnQkFBTztJQUNsQyxZQUFZQyxPQUFPLEVBQUVDLFdBQVcsRUFBRUMsWUFBWSxFQUFFQyxpQkFBaUIsRUFBRUMsa0JBQWtCLEVBQUVDLHlCQUF5QixFQUFFQyxvQkFBb0IsQ0FBRTtRQUN0SSxLQUFLLENBQUNOO1FBRU4sSUFBSSxDQUFDQyxXQUFXLEdBQUdBO1FBQ25CLElBQUksQ0FBQ0MsWUFBWSxHQUFHQTtRQUNwQixJQUFJLENBQUNDLGlCQUFpQixHQUFHQTtRQUN6QixJQUFJLENBQUNDLGtCQUFrQixHQUFHQTtRQUMxQixJQUFJLENBQUNDLHlCQUF5QixHQUFHQTtRQUNqQyxJQUFJLENBQUNDLG9CQUFvQixHQUFHQTtJQUM5QjtJQUVBQyxpQkFBaUI7UUFDZixPQUFPLElBQUksQ0FBQ04sV0FBVztJQUN6QjtJQUVBTyxrQkFBa0I7UUFDaEIsSUFBSU47UUFFSixJQUFJRjtRQUVKQSxVQUFVLElBQUksQ0FBQ1MsVUFBVTtRQUV6QlAsZUFBZUYsUUFBUVEsZUFBZTtRQUV0Q1IsVUFBVSxJQUFJLEVBQUUsR0FBRztRQUVuQkUsZUFBZVEsSUFBQUEsK0JBQWlCLEVBQUMsSUFBSSxDQUFDUixZQUFZLEVBQUVBLGNBQWNGLFVBQVcsR0FBRztRQUVoRixPQUFPRTtJQUNUO0lBRUFTLHVCQUF1QjtRQUNyQixJQUFJUjtRQUVKLE1BQU1ILFVBQVUsSUFBSSxDQUFDUyxVQUFVO1FBRS9CTixvQkFBb0JILFFBQVFXLG9CQUFvQjtRQUVoRFIsb0JBQW9CO2VBQ2YsSUFBSSxDQUFDQSxpQkFBaUI7ZUFDdEJBO1NBQ0o7UUFFRCxPQUFPQTtJQUNUO0lBRUFTLHdCQUF3QjtRQUN0QixJQUFJUjtRQUVKLE1BQU1KLFVBQVUsSUFBSSxDQUFDUyxVQUFVO1FBRS9CTCxxQkFBcUJKLFFBQVFZLHFCQUFxQjtRQUVsRFIscUJBQXFCO2VBQ2hCLElBQUksQ0FBQ0Esa0JBQWtCO2VBQ3ZCQTtTQUNKO1FBRUQsT0FBT0E7SUFDVDtJQUVBUywrQkFBK0I7UUFDN0IsSUFBSVI7UUFFSixNQUFNTCxVQUFVLElBQUksQ0FBQ1MsVUFBVTtRQUUvQkosNEJBQTRCTCxRQUFRYSw0QkFBNEI7UUFFaEVSLDRCQUE0QjtlQUN2QkE7ZUFDQSxJQUFJLENBQUNBLHlCQUF5QjtTQUNsQztRQUVELE9BQU9BO0lBQ1Q7SUFFQVMsMEJBQTBCO1FBQ3hCLE9BQU8sSUFBSSxDQUFDUixvQkFBb0I7SUFDbEM7SUFFQVMscUJBQXFCO1FBQ25CLE1BQU1WLDRCQUE0QixJQUFJLENBQUNRLDRCQUE0QixJQUM3REcsa0JBQWtCWCwwQkFBMEJULE1BQU0sQ0FBQyxDQUFDcUI7WUFDbEQsTUFBTUMseUNBQXlDRCx5QkFBeUJFLGdCQUFnQjtZQUV4RixJQUFJRCx3Q0FBd0M7Z0JBQzFDLE9BQU87WUFDVDtRQUNGO1FBRU4sT0FBT0Y7SUFDVDtJQUVBSSxjQUFjO1FBQ1osSUFBSUMsV0FBVztRQUVmLE1BQU1MLGtCQUFrQixJQUFJLENBQUNELGtCQUFrQixJQUN6Q08sd0JBQXdCTixnQkFBZ0JPLE1BQU07UUFFcEQsSUFBSUQsd0JBQXdCLEdBQUc7WUFDN0IsTUFBTUUscUJBQXFCOUIsS0FBS3NCO1lBRWhDSyxXQUFXRyxvQkFBcUIsR0FBRztRQUNyQztRQUVBLE9BQU9IO0lBQ1Q7SUFFQUksY0FBYztRQUNaLElBQUlDO1FBRUosSUFBSSxJQUFJLENBQUNwQixvQkFBb0IsS0FBSyxNQUFNO1lBQ3RDb0IsWUFBWTtRQUNkLE9BQU87WUFDTCxNQUFNMUIsVUFBVSxJQUFJLENBQUNTLFVBQVU7WUFFL0JpQixZQUFZMUIsUUFBUXlCLFdBQVc7UUFDakM7UUFFQSxPQUFPQztJQUNUO0lBRUFDLFlBQVlDLFFBQVEsRUFBRTtRQUNwQixNQUFNNUIsVUFBVSxJQUFJLEVBQ2Q2QixpQkFBaUJELFNBQVNFLFNBQVM7UUFFekM5QixRQUFRK0IsS0FBSyxDQUFDLENBQUMsWUFBWSxFQUFFRixlQUFlLG9DQUFvQyxDQUFDO1FBRWpGLE1BQU1HLG9CQUFvQkosU0FBU0ssV0FBVztRQUU5QyxJQUFJLENBQUNELG1CQUFtQjtZQUN0QixNQUFNOUIsZUFBZWdDLElBQUFBLHNDQUF3QixFQUFDTixVQUFVNUI7WUFFeEQsSUFBSSxDQUFDRSxZQUFZLEdBQUdRLElBQUFBLCtCQUFpQixFQUFDLElBQUksQ0FBQ1IsWUFBWSxFQUFFQSxjQUFjRjtZQUV2RUEsUUFBUW1DLEtBQUssQ0FBQyxDQUFDLGNBQWMsRUFBRU4sZUFBZSxrQ0FBa0MsQ0FBQztRQUNuRixPQUFPO1lBQ0w3QixRQUFRbUMsS0FBSyxDQUFDLENBQUMsZUFBZSxFQUFFTixlQUFlLHFEQUFxRCxDQUFDO1FBQ3ZHO0lBQ0Y7SUFFQU8sY0FBY0MsVUFBVSxFQUFFO1FBQ3hCLElBQUksQ0FBQ3BDLFdBQVcsQ0FBQ3FDLElBQUksQ0FBQ0Q7SUFDeEI7SUFFQUUsb0JBQW9CO1FBQ2xCLE1BQU12QyxVQUFVLElBQUksRUFBRSxHQUFHO1FBRXpCLElBQUksQ0FBQ0MsV0FBVyxDQUFDdUMsT0FBTyxDQUFDLENBQUNIO1lBQ3hCQSxXQUFXckM7UUFDYjtRQUVBTCxNQUFNLElBQUksQ0FBQ00sV0FBVztJQUN4QjtJQUVBd0Msb0JBQW9CQyxnQkFBZ0IsRUFBRTtRQUNwQyxNQUFNMUMsVUFBVSxJQUFJLEVBQ2QyQyx5QkFBeUJELGlCQUFpQlosU0FBUztRQUV6RDlCLFFBQVErQixLQUFLLENBQUMsQ0FBQyxZQUFZLEVBQUVZLHVCQUF1Qiw2Q0FBNkMsQ0FBQztRQUVsRyxJQUFJLENBQUN4QyxpQkFBaUIsQ0FBQ21DLElBQUksQ0FBQ0k7UUFFNUIxQyxRQUFRbUMsS0FBSyxDQUFDLENBQUMsY0FBYyxFQUFFUSx1QkFBdUIsMkNBQTJDLENBQUM7SUFDcEc7SUFFQUMscUJBQXFCQyxpQkFBaUIsRUFBRTtRQUN0QyxNQUFNN0MsVUFBVSxJQUFJLEVBQ2Q4QywwQkFBMEJELGtCQUFrQmYsU0FBUztRQUUzRDlCLFFBQVErQixLQUFLLENBQUMsQ0FBQyxZQUFZLEVBQUVlLHdCQUF3Qiw4Q0FBOEMsQ0FBQztRQUVwRyxJQUFJLENBQUMxQyxrQkFBa0IsQ0FBQ2tDLElBQUksQ0FBQ087UUFFN0I3QyxRQUFRbUMsS0FBSyxDQUFDLENBQUMsY0FBYyxFQUFFVyx3QkFBd0IsNENBQTRDLENBQUM7SUFDdEc7SUFFQUMsdUJBQXVCQyxtQkFBbUIsRUFBRTtRQUMxQyxJQUFJLElBQUksQ0FBQzFDLG9CQUFvQixLQUFLLE1BQU07WUFDdEMsS0FBSyxDQUFDeUMsdUJBQXVCQztZQUU3QjtRQUNGO1FBRUEsTUFBTWhELFVBQVUsSUFBSSxFQUNkaUQsdUJBQXVCRCxxQkFDdkJFLDRCQUE0QkYsb0JBQW9CbEIsU0FBUztRQUUvRDlCLFFBQVErQixLQUFLLENBQUMsQ0FBQyxZQUFZLEVBQUVtQiwwQkFBMEIsaURBQWlELENBQUM7UUFFekcsTUFBTUMsdUJBQXVCLElBQUksQ0FBQzdDLG9CQUFvQixDQUFDOEMsSUFBSSxDQUFDLENBQUNKO1lBQzNELE1BQU1HLHVCQUF1QkgscUJBQ3ZCSyx5Q0FBeUNKLHFCQUFxQkssU0FBUyxDQUFDSDtZQUU5RSxJQUFJRSx3Q0FBd0M7Z0JBQzFDLE9BQU87WUFDVDtRQUNGLE1BQU07UUFFTixJQUFJRix5QkFBeUIsTUFBTTtZQUNqQ25ELFFBQVFtQyxLQUFLLENBQUMsQ0FBQyxLQUFLLEVBQUVlLDBCQUEwQixvRUFBb0UsQ0FBQztRQUN2SCxPQUFPO1lBQ0wsSUFBSSxDQUFDNUMsb0JBQW9CLENBQUNnQyxJQUFJLENBQUNVO1FBQ2pDO1FBRUFoRCxRQUFRbUMsS0FBSyxDQUFDLENBQUMsY0FBYyxFQUFFZSwwQkFBMEIsK0NBQStDLENBQUM7SUFDM0c7SUFFQUssNEJBQTRCdEMsd0JBQXdCLEVBQUU7UUFDcEQsTUFBTWpCLFVBQVUsSUFBSSxFQUNkd0QsaUNBQWlDdkMseUJBQXlCYSxTQUFTO1FBRXpFOUIsUUFBUStCLEtBQUssQ0FBQyxDQUFDLFlBQVksRUFBRXlCLCtCQUErQix1REFBdUQsQ0FBQztRQUVwSCxJQUFJLENBQUNuRCx5QkFBeUIsQ0FBQ2lDLElBQUksQ0FBQ3JCO1FBRXBDakIsUUFBUW1DLEtBQUssQ0FBQyxDQUFDLGNBQWMsRUFBRXFCLCtCQUErQixxREFBcUQsQ0FBQztJQUN0SDtJQUVBQywrQkFBK0JDLElBQUksRUFBRUMsZ0JBQWdCLEVBQUU7UUFDckQsTUFBTTNELFVBQVUsSUFBSSxFQUNkZ0Isa0JBQWtCLElBQUksQ0FBQ0Qsa0JBQWtCLElBQ3pDNkMsb0NBQW9DNUMsZ0JBQWdCNkMsSUFBSSxDQUFDLENBQUNDO1lBQ3hELE1BQU1GLG9DQUFvQ0UsZUFBZUwsOEJBQThCLENBQUNDLE1BQU1DLGtCQUFrQjNEO1lBRWhILElBQUk0RCxtQ0FBbUM7Z0JBQ3JDLE9BQU87WUFDVDtRQUNGO1FBRU4sT0FBT0E7SUFDVDtJQUVBRyx3Q0FBd0NDLGdCQUFnQixFQUFFO1FBQ3hELE1BQU01RCxxQkFBcUIsSUFBSSxDQUFDUSxxQkFBcUIsSUFDL0NpQyxvQkFBb0J6QyxtQkFBbUJnRCxJQUFJLENBQUMsQ0FBQ1A7WUFDM0MsTUFBTW9CLDBCQUEwQnBCLGtCQUFrQnFCLHFCQUFxQixDQUFDRjtZQUV4RSxJQUFJQyx5QkFBeUI7Z0JBQzNCLE9BQU87WUFDVDtRQUNGLE1BQU07UUFFWixPQUFPcEI7SUFDVDtJQUVBc0IseUNBQXlDSCxnQkFBZ0IsRUFBRTtRQUN6RCxNQUFNNUQscUJBQXFCLElBQUksQ0FBQ1EscUJBQXFCO1FBRXJEaEIsT0FBT1Esb0JBQW9CLENBQUN5QztZQUMxQixNQUFNb0IsMEJBQTBCcEIsa0JBQWtCcUIscUJBQXFCLENBQUNGO1lBRXhFLElBQUlDLHlCQUF5QjtnQkFDM0IsT0FBTztZQUNUO1FBQ0Y7UUFFQSxPQUFPN0Q7SUFDVDtJQUVBZ0UseUNBQXlDQyxrQkFBa0IsRUFBRTtRQUMzRCxNQUFNbEUsb0JBQW9CLElBQUksQ0FBQ1Esb0JBQW9CLElBQzdDK0IsbUJBQW1CdkMsa0JBQWtCaUQsSUFBSSxDQUFDLENBQUNWO1lBQ3pDLE1BQU00Qix1Q0FBdUM1QixpQkFBaUI2Qix5QkFBeUIsQ0FBQ0Y7WUFFeEYsSUFBSUMsc0NBQXNDO2dCQUN4QyxPQUFPO1lBQ1Q7UUFDRixNQUFNO1FBRVosT0FBTzVCO0lBQ1Q7SUFFQThCLGlEQUFpREMsdUJBQXVCLEVBQUU7UUFDeEUsSUFBSXpCO1FBRUosSUFBSSxJQUFJLENBQUMxQyxvQkFBb0IsS0FBSyxNQUFNO1lBQ3RDMEMsc0JBQXNCLEtBQUssQ0FBQ3dCLGlEQUFpREM7UUFDL0UsT0FBTztZQUNMekIsc0JBQXNCLElBQUksQ0FBQzFDLG9CQUFvQixDQUFDOEMsSUFBSSxDQUFDLENBQUNKO2dCQUNwRCxNQUFNMEIsaUNBQWlDMUIsb0JBQW9CMkIsNEJBQTRCLENBQUNGO2dCQUV4RixJQUFJQyxnQ0FBZ0M7b0JBQ2xDLE9BQU87Z0JBQ1Q7WUFDRixNQUFNO1FBQ1I7UUFFQSxPQUFPMUI7SUFDVDtJQUVBNEIsNkNBQTZDWixnQkFBZ0IsRUFBRTtRQUM3RCxNQUFNbkIsb0JBQW9CLElBQUksQ0FBQ2tCLHVDQUF1QyxDQUFDQyxtQkFDakVhLDJCQUE0QmhDLHNCQUFzQjtRQUV4RCxPQUFPZ0M7SUFDVDtJQUVBQyw4Q0FBOENULGtCQUFrQixFQUFFO1FBQ2hFLE1BQU0zQixtQkFBbUIsSUFBSSxDQUFDMEIsd0NBQXdDLENBQUNDLHFCQUNqRVUsMEJBQTJCckMscUJBQXFCO1FBRXRELE9BQU9xQztJQUNUO0lBRUFDLGVBQWV0QixJQUFJLEVBQUU7UUFDbkIsTUFBTTFELFVBQVUsSUFBSSxFQUNkRSxlQUFlLElBQUksQ0FBQ00sZUFBZSxJQUNuQ3lFLGdCQUFnQixFQUFFLEVBQ2xCQyxtQkFBbUIsRUFBRTtRQUUzQkMsSUFBQUEsc0RBQXdDLEVBQUNqRixjQUFjK0UsZUFBZUMsa0JBQWtCbEY7UUFFeEYsTUFBTW9GLDBCQUEwQkgsY0FBY3BCLElBQUksQ0FBQyxDQUFDd0I7WUFDNUMsTUFBTUMsbUJBQW1CRCxhQUFhRSxPQUFPLElBQ3ZDQywwQkFBMEI5QixLQUFLK0IsYUFBYSxDQUFDSDtZQUVuRCxJQUFJRSx5QkFBeUI7Z0JBQzNCLE9BQU87WUFDVDtRQUNGLElBQ0FFLGVBQWVOLHlCQUF5QixHQUFHO1FBRWpELE9BQU9NO0lBQ1Q7SUFFQSxPQUFPQyxZQUFZM0YsT0FBTyxFQUFFO1FBQzFCLE1BQU1DLGNBQWMsRUFBRSxFQUNoQkMsZUFBZSxFQUFFLEVBQ2pCQyxvQkFBb0IsRUFBRSxFQUN0QkMscUJBQXFCLEVBQUUsRUFDdkJFLHVCQUF1QixNQUN2QkQsNEJBQTRCLEVBQUUsRUFDOUJ1RixpQkFBaUIsSUFBSTlGLGVBQWVFLFNBQVNDLGFBQWFDLGNBQWNDLG1CQUFtQkMsb0JBQW9CQywyQkFBMkJDO1FBRWhKLE9BQU9zRjtJQUNUO0lBRUEsT0FBT0MseUJBQXlCdkYsb0JBQW9CLEVBQUVOLE9BQU8sRUFBRTtRQUM3RCxNQUFNQyxjQUFjLEVBQUUsRUFDaEJDLGVBQWUsRUFBRSxFQUNqQkMsb0JBQW9CLEVBQUUsRUFDdEJDLHFCQUFxQixFQUFFLEVBQ3ZCQyw0QkFBNEIsRUFBRSxFQUM5QnVGLGlCQUFpQixJQUFJOUYsZUFBZUUsU0FBU0MsYUFBYUMsY0FBY0MsbUJBQW1CQyxvQkFBb0JDLDJCQUEyQkM7UUFFaEosT0FBT3NGO0lBQ1Q7QUFDRjtNQUVBLFdBQWU5RiJ9

package/lib/context/branching.js

@@ -0,0 +1,61 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "default", {
+    enumerable: true,
+    get: function() {
+        return BranchingContext;
+    }
+});
+const _necessary = require("necessary");
+const _context = /*#__PURE__*/ _interop_require_default(require("../context"));
+const _synoptic = require("../utilities/synoptic");
+function _interop_require_default(obj) {
+    return obj && obj.__esModule ? obj : {
+        default: obj
+    };
+}
+const { push } = _necessary.arrayUtilities;
+class BranchingContext extends _context.default {
+    constructor(context, terms){
+        super(context);
+        this.terms = terms;
+    }
+    getTerms(terms = []) {
+        push(terms, this.terms);
+        (0, _synoptic.compressTerms)(terms);
+        return terms;
+    }
+    addTerm(term) {
+        const termA = term, context = this, termString = term.getString();
+        context.trace(`Adding the '${termString}' term to the branching context...`);
+        const termB = this.terms.find((term)=>{
+            const termB = term, termAEqualToTermB = termA.isEqualTo(termB);
+            if (termAEqualToTermB) {
+                return true;
+            }
+        }) || null;
+        if (termB !== null) {
+            context.trace(`The '${termString}' term has already been added to the branching context.`);
+        } else {
+            this.terms.push(term);
+        }
+        context.debug(`...added the '${termString}' term to the branching context.`);
+    }
+    addTerms(terms) {
+        terms.forEach((term)=>{
+            this.addTerm(term);
+        });
+    }
+    commit() {
+        const context = this.getContext();
+        context.addTerms(this.terms);
+    }
+    static fromNothing(context) {
+        const terms = [], branchingContext = new BranchingContext(context, terms);
+        return branchingContext;
+    }
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2JyYW5jaGluZy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgYXJyYXlVdGlsaXRpZXMgfSBmcm9tIFwibmVjZXNzYXJ5XCI7XG5cbmltcG9ydCBDb250ZXh0IGZyb20gXCIuLi9jb250ZXh0XCI7XG5cbmltcG9ydCB7IGNvbXByZXNzVGVybXMgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL3N5bm9wdGljXCI7XG5cbmNvbnN0IHsgcHVzaCB9ID0gYXJyYXlVdGlsaXRpZXM7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEJyYW5jaGluZ0NvbnRleHQgZXh0ZW5kcyBDb250ZXh0IHtcbiAgY29uc3RydWN0b3IoY29udGV4dCwgdGVybXMpIHtcbiAgICBzdXBlcihjb250ZXh0KTtcblxuICAgIHRoaXMudGVybXMgPSB0ZXJtcztcbiAgfVxuXG4gIGdldFRlcm1zKHRlcm1zID0gW10pIHtcbiAgICBwdXNoKHRlcm1zLCB0aGlzLnRlcm1zKTtcblxuICAgIGNvbXByZXNzVGVybXModGVybXMpO1xuXG4gICAgcmV0dXJuIHRlcm1zO1xuICB9XG5cbiAgYWRkVGVybSh0ZXJtKSB7XG4gICAgY29uc3QgdGVybUEgPSB0ZXJtLCAvLy9cbiAgICAgICAgICBjb250ZXh0ID0gdGhpcywgLy8vXG4gICAgICAgICAgdGVybVN0cmluZyA9IHRlcm0uZ2V0U3RyaW5nKCk7XG5cbiAgICBjb250ZXh0LnRyYWNlKGBBZGRpbmcgdGhlICcke3Rlcm1TdHJpbmd9JyB0ZXJtIHRvIHRoZSBicmFuY2hpbmcgY29udGV4dC4uLmApO1xuXG4gICAgY29uc3QgdGVybUIgPSB0aGlzLnRlcm1zLmZpbmQoKHRlcm0pID0+IHtcbiAgICAgIGNvbnN0IHRlcm1CID0gdGVybSwgLy8vXG4gICAgICAgICAgICB0ZXJtQUVxdWFsVG9UZXJtQiA9IHRlcm1BLmlzRXF1YWxUbyh0ZXJtQik7XG5cbiAgICAgIGlmICh0ZXJtQUVxdWFsVG9UZXJtQikge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KSB8fCBudWxsO1xuXG4gICAgaWYgKHRlcm1CICE9PSBudWxsKSB7XG4gICAgICBjb250ZXh0LnRyYWNlKGBUaGUgJyR7dGVybVN0cmluZ30nIHRlcm0gaGFzIGFscmVhZHkgYmVlbiBhZGRlZCB0byB0aGUgYnJhbmNoaW5nIGNvbnRleHQuYCk7XG4gICAgfSBlbHNlIHtcbiAgICAgIHRoaXMudGVybXMucHVzaCh0ZXJtKTtcbiAgICB9XG5cbiAgICBjb250ZXh0LmRlYnVnKGAuLi5hZGRlZCB0aGUgJyR7dGVybVN0cmluZ30nIHRlcm0gdG8gdGhlIGJyYW5jaGluZyBjb250ZXh0LmApO1xuICB9XG5cbiAgYWRkVGVybXModGVybXMpIHtcbiAgICB0ZXJtcy5mb3JFYWNoKCh0ZXJtKSA9PiB7XG4gICAgICB0aGlzLmFkZFRlcm0odGVybSk7XG4gICAgfSk7XG4gIH1cblxuICBjb21taXQoKSB7XG4gICAgY29uc3QgY29udGV4dCA9IHRoaXMuZ2V0Q29udGV4dCgpO1xuXG4gICAgY29udGV4dC5hZGRUZXJtcyh0aGlzLnRlcm1zKTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tTm90aGluZyhjb250ZXh0KSB7XG4gICAgY29uc3QgdGVybXMgPSBbXSxcbiAgICAgICAgICBicmFuY2hpbmdDb250ZXh0ID0gbmV3IEJyYW5jaGluZ0NvbnRleHQoY29udGV4dCwgdGVybXMpO1xuXG4gICAgcmV0dXJuIGJyYW5jaGluZ0NvbnRleHQ7XG4gIH1cbn1cbiJdLCJuYW1lcyI6WyJCcmFuY2hpbmdDb250ZXh0IiwicHVzaCIsImFycmF5VXRpbGl0aWVzIiwiQ29udGV4dCIsImNvbnRleHQiLCJ0ZXJtcyIsImdldFRlcm1zIiwiY29tcHJlc3NUZXJtcyIsImFkZFRlcm0iLCJ0ZXJtIiwidGVybUEiLCJ0ZXJtU3RyaW5nIiwiZ2V0U3RyaW5nIiwidHJhY2UiLCJ0ZXJtQiIsImZpbmQiLCJ0ZXJtQUVxdWFsVG9UZXJtQiIsImlzRXF1YWxUbyIsImRlYnVnIiwiYWRkVGVybXMiLCJmb3JFYWNoIiwiY29tbWl0IiwiZ2V0Q29udGV4dCIsImZyb21Ob3RoaW5nIiwiYnJhbmNoaW5nQ29udGV4dCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBVUE7OztlQUFxQkE7OzsyQkFSVTtnRUFFWDswQkFFVTs7Ozs7O0FBRTlCLE1BQU0sRUFBRUMsSUFBSSxFQUFFLEdBQUdDLHlCQUFjO0FBRWhCLE1BQU1GLHlCQUF5QkcsZ0JBQU87SUFDbkQsWUFBWUMsT0FBTyxFQUFFQyxLQUFLLENBQUU7UUFDMUIsS0FBSyxDQUFDRDtRQUVOLElBQUksQ0FBQ0MsS0FBSyxHQUFHQTtJQUNmO0lBRUFDLFNBQVNELFFBQVEsRUFBRSxFQUFFO1FBQ25CSixLQUFLSSxPQUFPLElBQUksQ0FBQ0EsS0FBSztRQUV0QkUsSUFBQUEsdUJBQWEsRUFBQ0Y7UUFFZCxPQUFPQTtJQUNUO0lBRUFHLFFBQVFDLElBQUksRUFBRTtRQUNaLE1BQU1DLFFBQVFELE1BQ1JMLFVBQVUsSUFBSSxFQUNkTyxhQUFhRixLQUFLRyxTQUFTO1FBRWpDUixRQUFRUyxLQUFLLENBQUMsQ0FBQyxZQUFZLEVBQUVGLFdBQVcsa0NBQWtDLENBQUM7UUFFM0UsTUFBTUcsUUFBUSxJQUFJLENBQUNULEtBQUssQ0FBQ1UsSUFBSSxDQUFDLENBQUNOO1lBQzdCLE1BQU1LLFFBQVFMLE1BQ1JPLG9CQUFvQk4sTUFBTU8sU0FBUyxDQUFDSDtZQUUxQyxJQUFJRSxtQkFBbUI7Z0JBQ3JCLE9BQU87WUFDVDtRQUNGLE1BQU07UUFFTixJQUFJRixVQUFVLE1BQU07WUFDbEJWLFFBQVFTLEtBQUssQ0FBQyxDQUFDLEtBQUssRUFBRUYsV0FBVyx1REFBdUQsQ0FBQztRQUMzRixPQUFPO1lBQ0wsSUFBSSxDQUFDTixLQUFLLENBQUNKLElBQUksQ0FBQ1E7UUFDbEI7UUFFQUwsUUFBUWMsS0FBSyxDQUFDLENBQUMsY0FBYyxFQUFFUCxXQUFXLGdDQUFnQyxDQUFDO0lBQzdFO0lBRUFRLFNBQVNkLEtBQUssRUFBRTtRQUNkQSxNQUFNZSxPQUFPLENBQUMsQ0FBQ1g7WUFDYixJQUFJLENBQUNELE9BQU8sQ0FBQ0M7UUFDZjtJQUNGO0lBRUFZLFNBQVM7UUFDUCxNQUFNakIsVUFBVSxJQUFJLENBQUNrQixVQUFVO1FBRS9CbEIsUUFBUWUsUUFBUSxDQUFDLElBQUksQ0FBQ2QsS0FBSztJQUM3QjtJQUVBLE9BQU9rQixZQUFZbkIsT0FBTyxFQUFFO1FBQzFCLE1BQU1DLFFBQVEsRUFBRSxFQUNWbUIsbUJBQW1CLElBQUl4QixpQkFBaUJJLFNBQVNDO1FBRXZELE9BQU9tQjtJQUNUO0FBQ0YifQ==