occam-verify-cli 1.0.984 → 1.0.986

package/lib/utilities/string.js

@@ -1,231 +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 complexTypeDeclarationStringFromTypeSuperTypesAndProvisional () {
-        return complexTypeDeclarationStringFromTypeSuperTypesAndProvisional;
-    },
-    get equivalenceStringFromTerms () {
-        return equivalenceStringFromTerms;
-    },
-    get frameSubstitutionStringFromFrameAndMetavariable () {
-        return frameSubstitutionStringFromFrameAndMetavariable;
-    },
-    get hypothesesStringFromHypotheses () {
-        return hypothesesStringFromHypotheses;
-    },
-    get labelsStringFromLabels () {
-        return labelsStringFromLabels;
-    },
-    get metaLevelAssumptionStringFromReferenceAndStatement () {
-        return metaLevelAssumptionStringFromReferenceAndStatement;
-    },
-    get parametersStringFromParameters () {
-        return parametersStringFromParameters;
-    },
-    get premisesStringFromPremises () {
-        return premisesStringFromPremises;
-    },
-    get procedureCallStringFromProcedureReferenceAndParameters () {
-        return procedureCallStringFromProcedureReferenceAndParameters;
-    },
-    get provisinalStringFromProvisional () {
-        return provisinalStringFromProvisional;
-    },
-    get provisionallyStringFromProvisional () {
-        return provisionallyStringFromProvisional;
-    },
-    get referenceSubstitutionStringFromReferenceAndMetavariable () {
-        return referenceSubstitutionStringFromReferenceAndMetavariable;
-    },
-    get rulsStringFromLabelsPremisesAndConclusion () {
-        return rulsStringFromLabelsPremisesAndConclusion;
-    },
-    get sectionStringFromHypothesesAndTopLevelAssertion () {
-        return sectionStringFromHypothesesAndTopLevelAssertion;
-    },
-    get signatureStringFromSignature () {
-        return signatureStringFromSignature;
-    },
-    get statementSubstitutionStringFromStatementAndMetavariable () {
-        return statementSubstitutionStringFromStatementAndMetavariable;
-    },
-    get statementSubstitutionStringFromStatementMetavariableAndSubstitution () {
-        return statementSubstitutionStringFromStatementMetavariableAndSubstitution;
-    },
-    get subproofStringFromSuppositionsAndSubDerivation () {
-        return subproofStringFromSuppositionsAndSubDerivation;
-    },
-    get superTypesStringFromSuperTypes () {
-        return superTypesStringFromSuperTypes;
-    },
-    get suppositionsStringFromSuppositions () {
-        return suppositionsStringFromSuppositions;
-    },
-    get termSubstitutionStringFromTermAndVariable () {
-        return termSubstitutionStringFromTermAndVariable;
-    },
-    get termsStringFromTerms () {
-        return termsStringFromTerms;
-    },
-    get topLevelAssertionStringFromLabelsSignatureSuppositionsAndDeduction () {
-        return topLevelAssertionStringFromLabelsSignatureSuppositionsAndDeduction;
-    },
-    get topLevelMetaAssertionStringFromLabelSuppositionsAndDeduction () {
-        return topLevelMetaAssertionStringFromLabelSuppositionsAndDeduction;
-    },
-    get typeStringFromNominalTypeName () {
-        return typeStringFromNominalTypeName;
-    }
-});
-const _type = require("../utilities/type");
-const _constants = require("../constants");
-function termsStringFromTerms(terms) {
-    const termsString = terms.reduce((termsString, term)=>{
-        const termString = term.getString();
-        termsString = termsString !== null ? `${termsString}, ${termString}` : termString;
-        return termsString;
-    }, null);
-    return termsString;
-}
-function labelsStringFromLabels(labels) {
-    const labelsString = labels.reduce((labelsString, label)=>{
-        const labelString = label.getString();
-        labelsString = labelsString === null ? labelString : `${labelsString}, ${labelString}`;
-        return labelsString;
-    }, null);
-    return labelsString;
-}
-function premisesStringFromPremises(premises) {
-    const premisesString = premises.reduce((premisesString, premise)=>{
-        const premiseString = premise.getString();
-        premisesString = premisesString !== null ? `${premisesString}, ${premiseString}` : premiseString; ///
-        return premisesString;
-    }, null);
-    return premisesString;
-}
-function hypothesesStringFromHypotheses(hypotheses) {
-    const hypothesesString = hypotheses.reduce((hypothesesString, hypothesis)=>{
-        const hypothesisString = hypothesis.getString();
-        hypothesesString = hypothesesString !== null ? `${hypothesesString}, ${hypothesisString}` : hypothesisString; ///
-        return hypothesesString;
-    }, null);
-    return hypothesesString;
-}
-function superTypesStringFromSuperTypes(superTypes) {
-    let superTypesString;
-    const baseType = (0, _type.baseTypeFromNothing)();
-    superTypesString = superTypes.reduce((superTypesString, superType)=>{
-        if (superType !== baseType) {
-            const superTypeString = superType.getString();
-            superTypesString = superTypesString === null ? `'${superTypeString}'` : `${superTypesString}, '${superTypeString}'`;
-        }
-        return superTypesString;
-    }, null);
-    superTypesString = superTypesString !== null ? `:${superTypesString}` : _constants.EMPTY_STRING;
-    return superTypesString;
-}
-function parametersStringFromParameters(parameters) {
-    const parametersString = parameters.reduce((parametersString, parameter)=>{
-        const parameterString = parameter.getString();
-        parametersString = parametersString === null ? parameterString : `${parametersString}, ${parameterString}`;
-        return parametersString;
-    }, null);
-    return parametersString;
-}
-function provisinalStringFromProvisional(provisional) {
-    const provisinalString = provisional ? `${_constants.PROVISIONAL} ` : _constants.EMPTY_STRING;
-    return provisinalString;
-}
-function provisionallyStringFromProvisional(provisional) {
-    const provisinallyString = provisional ? ` ${_constants.PROVISIONALLY}` : _constants.EMPTY_STRING;
-    return provisinallyString;
-}
-function suppositionsStringFromSuppositions(suppositions) {
-    const suppositionsString = suppositions.reduce((suppositionsString, supposition)=>{
-        const suppositionString = supposition.getString();
-        suppositionsString = suppositionsString === null ? suppositionString : `${suppositionsString}, ${suppositionString}`;
-        return suppositionsString;
-    }, null);
-    return suppositionsString;
-}
-function equivalenceStringFromTerms(terms) {
-    const termsString = termsStringFromTerms(terms), equivalenceString = `[${termsString}]`;
-    return equivalenceString;
-}
-function signatureStringFromSignature(signature) {
-    const signatureString = signature !== null ? signature.getString() : null;
-    return signatureString;
-}
-function typeStringFromNominalTypeName(nominalTypeName) {
-    const typeString = nominalTypeName; ///
-    return typeString;
-}
-function termSubstitutionStringFromTermAndVariable(term, variable) {
-    const termString = term.getString(), variableString = variable.getString(), termSubstitutionString = `[${termString} for ${variableString}]`;
-    return termSubstitutionString;
-}
-function rulsStringFromLabelsPremisesAndConclusion(labels, premises, conclusion) {
-    let ruleString = _constants.EMPTY_STRING;
-    const conclusionString = conclusion.getString(), premisesString = premisesStringFromPremises(premises), labelsString = labelsStringFromLabels(labels);
-    ruleString = `${ruleString}${labelsString} :: `;
-    ruleString = premisesString !== null ? `${ruleString}[${premisesString}]...${conclusionString}` : `${ruleString}${conclusionString}`;
-    return ruleString;
-}
-function subproofStringFromSuppositionsAndSubDerivation(suppositions, subDerivation) {
-    const lastStep = subDerivation.getLastStep(), suppositionsString = suppositionsStringFromSuppositions(suppositions), lastStepString = lastStep.getString(), subproofString = `[${suppositionsString}]...${lastStepString}`;
-    return subproofString;
-}
-function frameSubstitutionStringFromFrameAndMetavariable(frame, metavariable) {
-    const frameString = frame.getString(), metavariableString = metavariable.getString(), string = `[${frameString} for [${metavariableString}]]`;
-    return string;
-}
-function sectionStringFromHypothesesAndTopLevelAssertion(hypotheses, topLevelAssertion) {
-    const topLevelAssertionString = topLevelAssertion.getString(), hypothesesString = hypothesesStringFromHypotheses(hypotheses), sectionString = `[${hypothesesString}]::: ${topLevelAssertionString}`;
-    return sectionString;
-}
-function metaLevelAssumptionStringFromReferenceAndStatement(reference, statement) {
-    const statementString = statement.getString(), referneceString = reference.getString(), metaLevelAssumptionString = `${referneceString} :: ${statementString}`;
-    return metaLevelAssumptionString;
-}
-function procedureCallStringFromProcedureReferenceAndParameters(procedureReference, parameters) {
-    const procedureReferenceName = procedureReference.getName(), parametersString = parametersStringFromParameters(parameters), procedureCallString = `@${procedureReferenceName}(${parametersString})`;
-    return procedureCallString;
-}
-function statementSubstitutionStringFromStatementAndMetavariable(statement, metavariable) {
-    const statementString = statement.getString(), metavariableString = metavariable.getString(), statementSubstitutionString = `[${statementString} for ${metavariableString}]`;
-    return statementSubstitutionString;
-}
-function referenceSubstitutionStringFromReferenceAndMetavariable(reference, metavariable) {
-    const referenceString = reference.getString(), metavariableString = metavariable.getString(), referenceSubstitutionString = `[${referenceString} for ${metavariableString}]`;
-    return referenceSubstitutionString;
-}
-function complexTypeDeclarationStringFromTypeSuperTypesAndProvisional(type, superTypes, provisional) {
-    const typeString = type.getString(), superTypesString = superTypesStringFromSuperTypes(superTypes), provisionalString = provisinalStringFromProvisional(provisional), complexTypeDeclarationString = `${provisionalString}${typeString}${superTypesString}`;
-    return complexTypeDeclarationString;
-}
-function topLevelMetaAssertionStringFromLabelSuppositionsAndDeduction(label, suppositions, deduction) {
-    const labelString = label.getString(), deductionString = deduction.getString(), suppositionsString = suppositionsStringFromSuppositions(suppositions), topLevelMetaAssertionString = suppositionsString !== null ? `${labelString} :: [${suppositionsString}]...${deductionString}` : `${labelString} :: ${deductionString}`;
-    return topLevelMetaAssertionString;
-}
-function topLevelAssertionStringFromLabelsSignatureSuppositionsAndDeduction(labels, signature, suppositions, deduction) {
-    let topLevelAssertionString = _constants.EMPTY_STRING;
-    const deductionString = deduction.getString(), labelsString = labelsStringFromLabels(labels), signatureString = signatureStringFromSignature(signature), suppositionsString = suppositionsStringFromSuppositions(suppositions);
-    topLevelAssertionString = labelsString !== null ? `${topLevelAssertionString}${labelsString}` : `${topLevelAssertionString}`;
-    topLevelAssertionString = signatureString !== null ? `${topLevelAssertionString}${signatureString}` : `${topLevelAssertionString}`;
-    topLevelAssertionString = suppositionsString !== null ? `${topLevelAssertionString} :: [${suppositionsString}]...${deductionString}` : `${topLevelAssertionString} :: ${deductionString}`;
-    return topLevelAssertionString;
-}
-function statementSubstitutionStringFromStatementMetavariableAndSubstitution(statement, metavariable, substitution) {
-    const statementString = statement.getString(), metavariableString = metavariable.getString(), substitutionString = substitution.getString(), statementSubstitutionString = `[${statementString} for ${metavariableString}${substitutionString}]`;
-    return statementSubstitutionString;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3RyaW5nLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBiYXNlVHlwZUZyb21Ob3RoaW5nIH0gZnJvbSBcIi4uL3V0aWxpdGllcy90eXBlXCI7XG5pbXBvcnQgeyBFTVBUWV9TVFJJTkcsIFBST1ZJU0lPTkFMLCBQUk9WSVNJT05BTExZIH0gZnJvbSBcIi4uL2NvbnN0YW50c1wiO1xuXG5leHBvcnQgZnVuY3Rpb24gdGVybXNTdHJpbmdGcm9tVGVybXModGVybXMpIHtcbiAgY29uc3QgdGVybXNTdHJpbmcgPSB0ZXJtcy5yZWR1Y2UoKHRlcm1zU3RyaW5nLCB0ZXJtKSA9PiB7XG4gICAgY29uc3QgdGVybVN0cmluZyA9IHRlcm0uZ2V0U3RyaW5nKCk7XG5cbiAgICB0ZXJtc1N0cmluZyA9ICh0ZXJtc1N0cmluZyAhPT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgIGAke3Rlcm1zU3RyaW5nfSwgJHt0ZXJtU3RyaW5nfWAgOlxuICAgICAgICAgICAgICAgICAgICAgIHRlcm1TdHJpbmc7XG5cbiAgICByZXR1cm4gdGVybXNTdHJpbmc7XG4gIH0sIG51bGwpO1xuXG4gIHJldHVybiB0ZXJtc1N0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGxhYmVsc1N0cmluZ0Zyb21MYWJlbHMobGFiZWxzKSB7XG4gIGNvbnN0IGxhYmVsc1N0cmluZyA9IGxhYmVscy5yZWR1Y2UoKGxhYmVsc1N0cmluZywgbGFiZWwpID0+IHtcbiAgICBjb25zdCBsYWJlbFN0cmluZyA9IGxhYmVsLmdldFN0cmluZygpO1xuXG4gICAgbGFiZWxzU3RyaW5nID0gKGxhYmVsc1N0cmluZyA9PT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgbGFiZWxTdHJpbmc6IC8vL1xuICAgICAgICAgICAgICAgICAgICAgIGAke2xhYmVsc1N0cmluZ30sICR7bGFiZWxTdHJpbmd9YDtcblxuICAgIHJldHVybiBsYWJlbHNTdHJpbmc7XG4gIH0sIG51bGwpO1xuXG4gIHJldHVybiBsYWJlbHNTdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBwcmVtaXNlc1N0cmluZ0Zyb21QcmVtaXNlcyhwcmVtaXNlcykge1xuICBjb25zdCBwcmVtaXNlc1N0cmluZyA9IHByZW1pc2VzLnJlZHVjZSgocHJlbWlzZXNTdHJpbmcsIHByZW1pc2UpID0+IHtcbiAgICBjb25zdCBwcmVtaXNlU3RyaW5nID0gcHJlbWlzZS5nZXRTdHJpbmcoKTtcblxuICAgIHByZW1pc2VzU3RyaW5nID0gKHByZW1pc2VzU3RyaW5nICE9PSBudWxsKSA/XG4gICAgICAgICAgICAgICAgICAgICAgIGAke3ByZW1pc2VzU3RyaW5nfSwgJHtwcmVtaXNlU3RyaW5nfWAgOlxuICAgICAgICAgICAgICAgICAgICAgICAgIHByZW1pc2VTdHJpbmc7ICAvLy9cblxuICAgIHJldHVybiBwcmVtaXNlc1N0cmluZztcbiAgfSwgbnVsbCk7XG5cbiAgcmV0dXJuIHByZW1pc2VzU3RyaW5nO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gaHlwb3RoZXNlc1N0cmluZ0Zyb21IeXBvdGhlc2VzKGh5cG90aGVzZXMpIHtcbiAgY29uc3QgaHlwb3RoZXNlc1N0cmluZyA9IGh5cG90aGVzZXMucmVkdWNlKChoeXBvdGhlc2VzU3RyaW5nLCBoeXBvdGhlc2lzKSA9PiB7XG4gICAgY29uc3QgaHlwb3RoZXNpc1N0cmluZyA9IGh5cG90aGVzaXMuZ2V0U3RyaW5nKCk7XG5cbiAgICBoeXBvdGhlc2VzU3RyaW5nID0gKGh5cG90aGVzZXNTdHJpbmcgIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgICAgICAgYCR7aHlwb3RoZXNlc1N0cmluZ30sICR7aHlwb3RoZXNpc1N0cmluZ31gIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICBoeXBvdGhlc2lzU3RyaW5nOyAgLy8vXG5cbiAgICByZXR1cm4gaHlwb3RoZXNlc1N0cmluZztcbiAgfSwgbnVsbCk7XG5cbiAgcmV0dXJuIGh5cG90aGVzZXNTdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdXBlclR5cGVzU3RyaW5nRnJvbVN1cGVyVHlwZXMoc3VwZXJUeXBlcykge1xuICBsZXQgc3VwZXJUeXBlc1N0cmluZztcblxuICBjb25zdCBiYXNlVHlwZSA9IGJhc2VUeXBlRnJvbU5vdGhpbmcoKTtcblxuICBzdXBlclR5cGVzU3RyaW5nID0gc3VwZXJUeXBlcy5yZWR1Y2UoKHN1cGVyVHlwZXNTdHJpbmcsIHN1cGVyVHlwZSkgPT4ge1xuICAgIGlmIChzdXBlclR5cGUgIT09IGJhc2VUeXBlKSB7XG4gICAgICBjb25zdCBzdXBlclR5cGVTdHJpbmcgPSBzdXBlclR5cGUuZ2V0U3RyaW5nKCk7XG5cbiAgICAgIHN1cGVyVHlwZXNTdHJpbmcgPSAoc3VwZXJUeXBlc1N0cmluZyA9PT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgICAgICAgYCcke3N1cGVyVHlwZVN0cmluZ30nYCA6XG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICBgJHtzdXBlclR5cGVzU3RyaW5nfSwgJyR7c3VwZXJUeXBlU3RyaW5nfSdgO1xuICAgIH1cblxuICAgIHJldHVybiBzdXBlclR5cGVzU3RyaW5nO1xuICB9LCBudWxsKTtcblxuICBzdXBlclR5cGVzU3RyaW5nID0gKHN1cGVyVHlwZXNTdHJpbmcgIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgICAgYDoke3N1cGVyVHlwZXNTdHJpbmd9YCA6XG4gICAgICAgICAgICAgICAgICAgICAgICAgIEVNUFRZX1NUUklORztcblxuICByZXR1cm4gc3VwZXJUeXBlc1N0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHBhcmFtZXRlcnNTdHJpbmdGcm9tUGFyYW1ldGVycyhwYXJhbWV0ZXJzKSB7XG4gIGNvbnN0IHBhcmFtZXRlcnNTdHJpbmcgPSBwYXJhbWV0ZXJzLnJlZHVjZSgocGFyYW1ldGVyc1N0cmluZywgcGFyYW1ldGVyKSA9PiB7XG4gICAgY29uc3QgcGFyYW1ldGVyU3RyaW5nID0gcGFyYW1ldGVyLmdldFN0cmluZygpO1xuXG4gICAgcGFyYW1ldGVyc1N0cmluZyA9IChwYXJhbWV0ZXJzU3RyaW5nID09PSBudWxsKSA/XG4gICAgICAgICAgICAgICAgICAgICAgICAgcGFyYW1ldGVyU3RyaW5nIDogLy8vXG4gICAgICAgICAgICAgICAgICAgICAgICAgIGAke3BhcmFtZXRlcnNTdHJpbmd9LCAke3BhcmFtZXRlclN0cmluZ31gO1xuXG4gICAgcmV0dXJuIHBhcmFtZXRlcnNTdHJpbmc7XG4gIH0sIG51bGwpO1xuXG4gIHJldHVybiBwYXJhbWV0ZXJzU3RyaW5nO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gcHJvdmlzaW5hbFN0cmluZ0Zyb21Qcm92aXNpb25hbChwcm92aXNpb25hbCkge1xuICBjb25zdCBwcm92aXNpbmFsU3RyaW5nID0gcHJvdmlzaW9uYWwgP1xuICAgICAgICAgICAgICAgICAgICAgICAgICAgIGAke1BST1ZJU0lPTkFMfSBgIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIEVNUFRZX1NUUklORztcblxuICByZXR1cm4gcHJvdmlzaW5hbFN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHByb3Zpc2lvbmFsbHlTdHJpbmdGcm9tUHJvdmlzaW9uYWwocHJvdmlzaW9uYWwpIHtcbiAgY29uc3QgcHJvdmlzaW5hbGx5U3RyaW5nID0gcHJvdmlzaW9uYWwgP1xuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYCAke1BST1ZJU0lPTkFMTFl9YCA6XG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBFTVBUWV9TVFJJTkc7XG5cbiAgcmV0dXJuIHByb3Zpc2luYWxseVN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1cHBvc2l0aW9uc1N0cmluZ0Zyb21TdXBwb3NpdGlvbnMoc3VwcG9zaXRpb25zKSB7XG4gIGNvbnN0IHN1cHBvc2l0aW9uc1N0cmluZyA9IHN1cHBvc2l0aW9ucy5yZWR1Y2UoKHN1cHBvc2l0aW9uc1N0cmluZywgc3VwcG9zaXRpb24pID0+IHtcbiAgICBjb25zdCBzdXBwb3NpdGlvblN0cmluZyA9IHN1cHBvc2l0aW9uLmdldFN0cmluZygpO1xuXG4gICAgc3VwcG9zaXRpb25zU3RyaW5nID0gKHN1cHBvc2l0aW9uc1N0cmluZyA9PT0gbnVsbCkgP1xuICAgICAgc3VwcG9zaXRpb25TdHJpbmc6IC8vL1xuICAgICAgYCR7c3VwcG9zaXRpb25zU3RyaW5nfSwgJHtzdXBwb3NpdGlvblN0cmluZ31gO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uc1N0cmluZztcbiAgfSwgbnVsbCk7XG5cbiAgcmV0dXJuIHN1cHBvc2l0aW9uc1N0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGVxdWl2YWxlbmNlU3RyaW5nRnJvbVRlcm1zKHRlcm1zKSB7XG4gIGNvbnN0IHRlcm1zU3RyaW5nID0gdGVybXNTdHJpbmdGcm9tVGVybXModGVybXMpLFxuICAgICAgICBlcXVpdmFsZW5jZVN0cmluZyA9IGBbJHt0ZXJtc1N0cmluZ31dYDtcblxuICByZXR1cm4gZXF1aXZhbGVuY2VTdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzaWduYXR1cmVTdHJpbmdGcm9tU2lnbmF0dXJlKHNpZ25hdHVyZSkge1xuICBjb25zdCBzaWduYXR1cmVTdHJpbmcgPSAoc2lnbmF0dXJlICE9PSBudWxsKSA/XG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgc2lnbmF0dXJlLmdldFN0cmluZygpIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIG51bGw7XG5cbiAgcmV0dXJuIHNpZ25hdHVyZVN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHR5cGVTdHJpbmdGcm9tTm9taW5hbFR5cGVOYW1lKG5vbWluYWxUeXBlTmFtZSkge1xuICBjb25zdCB0eXBlU3RyaW5nID0gbm9taW5hbFR5cGVOYW1lOyAgLy8vXG5cbiAgcmV0dXJuIHR5cGVTdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB0ZXJtU3Vic3RpdHV0aW9uU3RyaW5nRnJvbVRlcm1BbmRWYXJpYWJsZSh0ZXJtLCB2YXJpYWJsZSkge1xuICBjb25zdCB0ZXJtU3RyaW5nID0gdGVybS5nZXRTdHJpbmcoKSxcbiAgICAgICAgdmFyaWFibGVTdHJpbmcgPSB2YXJpYWJsZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgdGVybVN1YnN0aXR1dGlvblN0cmluZyA9IGBbJHt0ZXJtU3RyaW5nfSBmb3IgJHt2YXJpYWJsZVN0cmluZ31dYDtcblxuICByZXR1cm4gdGVybVN1YnN0aXR1dGlvblN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHJ1bHNTdHJpbmdGcm9tTGFiZWxzUHJlbWlzZXNBbmRDb25jbHVzaW9uKGxhYmVscywgcHJlbWlzZXMsIGNvbmNsdXNpb24pIHtcbiAgbGV0IHJ1bGVTdHJpbmcgPSBFTVBUWV9TVFJJTkc7XG5cbiAgY29uc3QgY29uY2x1c2lvblN0cmluZyA9IGNvbmNsdXNpb24uZ2V0U3RyaW5nKCksXG4gICAgICAgIHByZW1pc2VzU3RyaW5nID0gcHJlbWlzZXNTdHJpbmdGcm9tUHJlbWlzZXMocHJlbWlzZXMpLFxuICAgICAgICBsYWJlbHNTdHJpbmcgPSBsYWJlbHNTdHJpbmdGcm9tTGFiZWxzKGxhYmVscyk7XG5cbiAgcnVsZVN0cmluZyA9IGAke3J1bGVTdHJpbmd9JHtsYWJlbHNTdHJpbmd9IDo6IGA7XG5cbiAgcnVsZVN0cmluZyA9IChwcmVtaXNlc1N0cmluZyAhPT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICBgJHtydWxlU3RyaW5nfVske3ByZW1pc2VzU3RyaW5nfV0uLi4ke2NvbmNsdXNpb25TdHJpbmd9YCA6XG4gICAgICAgICAgICAgICAgICAgYCR7cnVsZVN0cmluZ30ke2NvbmNsdXNpb25TdHJpbmd9YDtcblxuICByZXR1cm4gcnVsZVN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN1YnByb29mU3RyaW5nRnJvbVN1cHBvc2l0aW9uc0FuZFN1YkRlcml2YXRpb24oc3VwcG9zaXRpb25zLCBzdWJEZXJpdmF0aW9uKSB7XG4gIGNvbnN0IGxhc3RTdGVwID0gc3ViRGVyaXZhdGlvbi5nZXRMYXN0U3RlcCgpLFxuICAgICAgICBzdXBwb3NpdGlvbnNTdHJpbmcgPSBzdXBwb3NpdGlvbnNTdHJpbmdGcm9tU3VwcG9zaXRpb25zKHN1cHBvc2l0aW9ucyksXG4gICAgICAgIGxhc3RTdGVwU3RyaW5nID0gbGFzdFN0ZXAuZ2V0U3RyaW5nKCksXG4gICAgICAgIHN1YnByb29mU3RyaW5nID0gYFske3N1cHBvc2l0aW9uc1N0cmluZ31dLi4uJHtsYXN0U3RlcFN0cmluZ31gO1xuXG4gIHJldHVybiBzdWJwcm9vZlN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGZyYW1lU3Vic3RpdHV0aW9uU3RyaW5nRnJvbUZyYW1lQW5kTWV0YXZhcmlhYmxlKGZyYW1lLCBtZXRhdmFyaWFibGUpIHtcbiAgY29uc3QgZnJhbWVTdHJpbmcgPSBmcmFtZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgbWV0YXZhcmlhYmxlU3RyaW5nID0gbWV0YXZhcmlhYmxlLmdldFN0cmluZygpLFxuICAgICAgICBzdHJpbmcgPSBgWyR7ZnJhbWVTdHJpbmd9IGZvciBbJHttZXRhdmFyaWFibGVTdHJpbmd9XV1gO1xuXG4gIHJldHVybiBzdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzZWN0aW9uU3RyaW5nRnJvbUh5cG90aGVzZXNBbmRUb3BMZXZlbEFzc2VydGlvbihoeXBvdGhlc2VzLCB0b3BMZXZlbEFzc2VydGlvbikge1xuICBjb25zdCB0b3BMZXZlbEFzc2VydGlvblN0cmluZyA9IHRvcExldmVsQXNzZXJ0aW9uLmdldFN0cmluZygpLFxuICAgICAgICBoeXBvdGhlc2VzU3RyaW5nID0gaHlwb3RoZXNlc1N0cmluZ0Zyb21IeXBvdGhlc2VzKGh5cG90aGVzZXMpLFxuICAgICAgICBzZWN0aW9uU3RyaW5nID0gYFske2h5cG90aGVzZXNTdHJpbmd9XTo6OiAke3RvcExldmVsQXNzZXJ0aW9uU3RyaW5nfWA7XG5cbiAgcmV0dXJuIHNlY3Rpb25TdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBtZXRhTGV2ZWxBc3N1bXB0aW9uU3RyaW5nRnJvbVJlZmVyZW5jZUFuZFN0YXRlbWVudChyZWZlcmVuY2UsIHN0YXRlbWVudCkge1xuICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCksXG4gICAgICAgIHJlZmVybmVjZVN0cmluZyA9IHJlZmVyZW5jZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgbWV0YUxldmVsQXNzdW1wdGlvblN0cmluZyA9IGAke3JlZmVybmVjZVN0cmluZ30gOjogJHtzdGF0ZW1lbnRTdHJpbmd9YDtcblxuICByZXR1cm4gbWV0YUxldmVsQXNzdW1wdGlvblN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHByb2NlZHVyZUNhbGxTdHJpbmdGcm9tUHJvY2VkdXJlUmVmZXJlbmNlQW5kUGFyYW1ldGVycyhwcm9jZWR1cmVSZWZlcmVuY2UsIHBhcmFtZXRlcnMpIHtcbiAgY29uc3QgcHJvY2VkdXJlUmVmZXJlbmNlTmFtZSA9IHByb2NlZHVyZVJlZmVyZW5jZS5nZXROYW1lKCksXG4gICAgICAgIHBhcmFtZXRlcnNTdHJpbmcgPSBwYXJhbWV0ZXJzU3RyaW5nRnJvbVBhcmFtZXRlcnMocGFyYW1ldGVycyksXG4gICAgICAgIHByb2NlZHVyZUNhbGxTdHJpbmcgPSBgQCR7cHJvY2VkdXJlUmVmZXJlbmNlTmFtZX0oJHtwYXJhbWV0ZXJzU3RyaW5nfSlgO1xuXG4gIHJldHVybiBwcm9jZWR1cmVDYWxsU3RyaW5nO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gc3RhdGVtZW50U3Vic3RpdHV0aW9uU3RyaW5nRnJvbVN0YXRlbWVudEFuZE1ldGF2YXJpYWJsZShzdGF0ZW1lbnQsIG1ldGF2YXJpYWJsZSkge1xuICBjb25zdCBzdGF0ZW1lbnRTdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCksXG4gICAgICAgIG1ldGF2YXJpYWJsZVN0cmluZyA9IG1ldGF2YXJpYWJsZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgc3RhdGVtZW50U3Vic3RpdHV0aW9uU3RyaW5nID0gYFske3N0YXRlbWVudFN0cmluZ30gZm9yICR7bWV0YXZhcmlhYmxlU3RyaW5nfV1gO1xuXG4gIHJldHVybiBzdGF0ZW1lbnRTdWJzdGl0dXRpb25TdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiByZWZlcmVuY2VTdWJzdGl0dXRpb25TdHJpbmdGcm9tUmVmZXJlbmNlQW5kTWV0YXZhcmlhYmxlKHJlZmVyZW5jZSwgbWV0YXZhcmlhYmxlKSB7XG4gIGNvbnN0IHJlZmVyZW5jZVN0cmluZyA9IHJlZmVyZW5jZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgbWV0YXZhcmlhYmxlU3RyaW5nID0gbWV0YXZhcmlhYmxlLmdldFN0cmluZygpLFxuICAgICAgICByZWZlcmVuY2VTdWJzdGl0dXRpb25TdHJpbmcgPSBgWyR7cmVmZXJlbmNlU3RyaW5nfSBmb3IgJHttZXRhdmFyaWFibGVTdHJpbmd9XWA7XG5cbiAgcmV0dXJuIHJlZmVyZW5jZVN1YnN0aXR1dGlvblN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXBsZXhUeXBlRGVjbGFyYXRpb25TdHJpbmdGcm9tVHlwZVN1cGVyVHlwZXNBbmRQcm92aXNpb25hbCh0eXBlLCBzdXBlclR5cGVzLCBwcm92aXNpb25hbCkge1xuICBjb25zdCB0eXBlU3RyaW5nID0gdHlwZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgc3VwZXJUeXBlc1N0cmluZyA9IHN1cGVyVHlwZXNTdHJpbmdGcm9tU3VwZXJUeXBlcyhzdXBlclR5cGVzKSxcbiAgICAgICAgcHJvdmlzaW9uYWxTdHJpbmcgPSBwcm92aXNpbmFsU3RyaW5nRnJvbVByb3Zpc2lvbmFsKHByb3Zpc2lvbmFsKSxcbiAgICAgICAgY29tcGxleFR5cGVEZWNsYXJhdGlvblN0cmluZyA9IGAke3Byb3Zpc2lvbmFsU3RyaW5nfSR7dHlwZVN0cmluZ30ke3N1cGVyVHlwZXNTdHJpbmd9YDtcblxuICByZXR1cm4gY29tcGxleFR5cGVEZWNsYXJhdGlvblN0cmluZztcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHRvcExldmVsTWV0YUFzc2VydGlvblN0cmluZ0Zyb21MYWJlbFN1cHBvc2l0aW9uc0FuZERlZHVjdGlvbihsYWJlbCwgc3VwcG9zaXRpb25zLCBkZWR1Y3Rpb24pIHtcbiAgY29uc3QgbGFiZWxTdHJpbmcgPSBsYWJlbC5nZXRTdHJpbmcoKSxcbiAgICAgICAgZGVkdWN0aW9uU3RyaW5nID0gZGVkdWN0aW9uLmdldFN0cmluZygpLFxuICAgICAgICBzdXBwb3NpdGlvbnNTdHJpbmcgPSBzdXBwb3NpdGlvbnNTdHJpbmdGcm9tU3VwcG9zaXRpb25zKHN1cHBvc2l0aW9ucyksXG4gICAgICAgIHRvcExldmVsTWV0YUFzc2VydGlvblN0cmluZyA9IChzdXBwb3NpdGlvbnNTdHJpbmcgIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGAke2xhYmVsU3RyaW5nfSA6OiBbJHtzdXBwb3NpdGlvbnNTdHJpbmd9XS4uLiR7ZGVkdWN0aW9uU3RyaW5nfWAgOlxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBgJHtsYWJlbFN0cmluZ30gOjogJHtkZWR1Y3Rpb25TdHJpbmd9YDtcblxuICByZXR1cm4gdG9wTGV2ZWxNZXRhQXNzZXJ0aW9uU3RyaW5nO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gdG9wTGV2ZWxBc3NlcnRpb25TdHJpbmdGcm9tTGFiZWxzU2lnbmF0dXJlU3VwcG9zaXRpb25zQW5kRGVkdWN0aW9uKGxhYmVscywgc2lnbmF0dXJlLCBzdXBwb3NpdGlvbnMsIGRlZHVjdGlvbikge1xuICBsZXQgdG9wTGV2ZWxBc3NlcnRpb25TdHJpbmcgPSBFTVBUWV9TVFJJTkc7XG5cbiAgY29uc3QgZGVkdWN0aW9uU3RyaW5nID0gZGVkdWN0aW9uLmdldFN0cmluZygpLFxuICAgICAgICBsYWJlbHNTdHJpbmcgPSBsYWJlbHNTdHJpbmdGcm9tTGFiZWxzKGxhYmVscyksXG4gICAgICAgIHNpZ25hdHVyZVN0cmluZyA9IHNpZ25hdHVyZVN0cmluZ0Zyb21TaWduYXR1cmUoc2lnbmF0dXJlKSxcbiAgICAgICAgc3VwcG9zaXRpb25zU3RyaW5nID0gc3VwcG9zaXRpb25zU3RyaW5nRnJvbVN1cHBvc2l0aW9ucyhzdXBwb3NpdGlvbnMpO1xuXG4gIHRvcExldmVsQXNzZXJ0aW9uU3RyaW5nID0gKGxhYmVsc1N0cmluZyAhPT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgICAgICAgICBgJHt0b3BMZXZlbEFzc2VydGlvblN0cmluZ30ke2xhYmVsc1N0cmluZ31gIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBgJHt0b3BMZXZlbEFzc2VydGlvblN0cmluZ31gO1xuICB0b3BMZXZlbEFzc2VydGlvblN0cmluZyA9IChzaWduYXR1cmVTdHJpbmcgIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYCR7dG9wTGV2ZWxBc3NlcnRpb25TdHJpbmd9JHtzaWduYXR1cmVTdHJpbmd9YCA6XG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgYCR7dG9wTGV2ZWxBc3NlcnRpb25TdHJpbmd9YDtcblxuXG4gIHRvcExldmVsQXNzZXJ0aW9uU3RyaW5nID0gKHN1cHBvc2l0aW9uc1N0cmluZyAhPT0gbnVsbCkgP1xuICAgICAgICAgICAgICAgICAgICAgICAgICAgICBgJHt0b3BMZXZlbEFzc2VydGlvblN0cmluZ30gOjogWyR7c3VwcG9zaXRpb25zU3RyaW5nfV0uLi4ke2RlZHVjdGlvblN0cmluZ31gIDpcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBgJHt0b3BMZXZlbEFzc2VydGlvblN0cmluZ30gOjogJHtkZWR1Y3Rpb25TdHJpbmd9YDtcblxuICByZXR1cm4gdG9wTGV2ZWxBc3NlcnRpb25TdHJpbmc7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBzdGF0ZW1lbnRTdWJzdGl0dXRpb25TdHJpbmdGcm9tU3RhdGVtZW50TWV0YXZhcmlhYmxlQW5kU3Vic3RpdHV0aW9uKHN0YXRlbWVudCwgbWV0YXZhcmlhYmxlLCBzdWJzdGl0dXRpb24pIHtcbiAgY29uc3Qgc3RhdGVtZW50U3RyaW5nID0gc3RhdGVtZW50LmdldFN0cmluZygpLFxuICAgICAgICBtZXRhdmFyaWFibGVTdHJpbmcgPSBtZXRhdmFyaWFibGUuZ2V0U3RyaW5nKCksXG4gICAgICAgIHN1YnN0aXR1dGlvblN0cmluZyA9IHN1YnN0aXR1dGlvbi5nZXRTdHJpbmcoKSxcbiAgICAgICAgc3RhdGVtZW50U3Vic3RpdHV0aW9uU3RyaW5nID0gYFske3N0YXRlbWVudFN0cmluZ30gZm9yICR7bWV0YXZhcmlhYmxlU3RyaW5nfSR7c3Vic3RpdHV0aW9uU3RyaW5nfV1gO1xuXG4gIHJldHVybiBzdGF0ZW1lbnRTdWJzdGl0dXRpb25TdHJpbmc7XG59XG4iXSwibmFtZXMiOlsiY29tcGxleFR5cGVEZWNsYXJhdGlvblN0cmluZ0Zyb21UeXBlU3VwZXJUeXBlc0FuZFByb3Zpc2lvbmFsIiwiZXF1aXZhbGVuY2VTdHJpbmdGcm9tVGVybXMiLCJmcmFtZVN1YnN0aXR1dGlvblN0cmluZ0Zyb21GcmFtZUFuZE1ldGF2YXJpYWJsZSIsImh5cG90aGVzZXNTdHJpbmdGcm9tSHlwb3RoZXNlcyIsImxhYmVsc1N0cmluZ0Zyb21MYWJlbHMiLCJtZXRhTGV2ZWxBc3N1bXB0aW9uU3RyaW5nRnJvbVJlZmVyZW5jZUFuZFN0YXRlbWVudCIsInBhcmFtZXRlcnNTdHJpbmdGcm9tUGFyYW1ldGVycyIsInByZW1pc2VzU3RyaW5nRnJvbVByZW1pc2VzIiwicHJvY2VkdXJlQ2FsbFN0cmluZ0Zyb21Qcm9jZWR1cmVSZWZlcmVuY2VBbmRQYXJhbWV0ZXJzIiwicHJvdmlzaW5hbFN0cmluZ0Zyb21Qcm92aXNpb25hbCIsInByb3Zpc2lvbmFsbHlTdHJpbmdGcm9tUHJvdmlzaW9uYWwiLCJyZWZlcmVuY2VTdWJzdGl0dXRpb25TdHJpbmdGcm9tUmVmZXJlbmNlQW5kTWV0YXZhcmlhYmxlIiwicnVsc1N0cmluZ0Zyb21MYWJlbHNQcmVtaXNlc0FuZENvbmNsdXNpb24iLCJzZWN0aW9uU3RyaW5nRnJvbUh5cG90aGVzZXNBbmRUb3BMZXZlbEFzc2VydGlvbiIsInNpZ25hdHVyZVN0cmluZ0Zyb21TaWduYXR1cmUiLCJzdGF0ZW1lbnRTdWJzdGl0dXRpb25TdHJpbmdGcm9tU3RhdGVtZW50QW5kTWV0YXZhcmlhYmxlIiwic3RhdGVtZW50U3Vic3RpdHV0aW9uU3RyaW5nRnJvbVN0YXRlbWVudE1ldGF2YXJpYWJsZUFuZFN1YnN0aXR1dGlvbiIsInN1YnByb29mU3RyaW5nRnJvbVN1cHBvc2l0aW9uc0FuZFN1YkRlcml2YXRpb24iLCJzdXBlclR5cGVzU3RyaW5nRnJvbVN1cGVyVHlwZXMiLCJzdXBwb3NpdGlvbnNTdHJpbmdGcm9tU3VwcG9zaXRpb25zIiwidGVybVN1YnN0aXR1dGlvblN0cmluZ0Zyb21UZXJtQW5kVmFyaWFibGUiLCJ0ZXJtc1N0cmluZ0Zyb21UZXJtcyIsInRvcExldmVsQXNzZXJ0aW9uU3RyaW5nRnJvbUxhYmVsc1NpZ25hdHVyZVN1cHBvc2l0aW9uc0FuZERlZHVjdGlvbiIsInRvcExldmVsTWV0YUFzc2VydGlvblN0cmluZ0Zyb21MYWJlbFN1cHBvc2l0aW9uc0FuZERlZHVjdGlvbiIsInR5cGVTdHJpbmdGcm9tTm9taW5hbFR5cGVOYW1lIiwidGVybXMiLCJ0ZXJtc1N0cmluZyIsInJlZHVjZSIsInRlcm0iLCJ0ZXJtU3RyaW5nIiwiZ2V0U3RyaW5nIiwibGFiZWxzIiwibGFiZWxzU3RyaW5nIiwibGFiZWwiLCJsYWJlbFN0cmluZyIsInByZW1pc2VzIiwicHJlbWlzZXNTdHJpbmciLCJwcmVtaXNlIiwicHJlbWlzZVN0cmluZyIsImh5cG90aGVzZXMiLCJoeXBvdGhlc2VzU3RyaW5nIiwiaHlwb3RoZXNpcyIsImh5cG90aGVzaXNTdHJpbmciLCJzdXBlclR5cGVzIiwic3VwZXJUeXBlc1N0cmluZyIsImJhc2VUeXBlIiwiYmFzZVR5cGVGcm9tTm90aGluZyIsInN1cGVyVHlwZSIsInN1cGVyVHlwZVN0cmluZyIsIkVNUFRZX1NUUklORyIsInBhcmFtZXRlcnMiLCJwYXJhbWV0ZXJzU3RyaW5nIiwicGFyYW1ldGVyIiwicGFyYW1ldGVyU3RyaW5nIiwicHJvdmlzaW9uYWwiLCJwcm92aXNpbmFsU3RyaW5nIiwiUFJPVklTSU9OQUwiLCJwcm92aXNpbmFsbHlTdHJpbmciLCJQUk9WSVNJT05BTExZIiwic3VwcG9zaXRpb25zIiwic3VwcG9zaXRpb25zU3RyaW5nIiwic3VwcG9zaXRpb24iLCJzdXBwb3NpdGlvblN0cmluZyIsImVxdWl2YWxlbmNlU3RyaW5nIiwic2lnbmF0dXJlIiwic2lnbmF0dXJlU3RyaW5nIiwibm9taW5hbFR5cGVOYW1lIiwidHlwZVN0cmluZyIsInZhcmlhYmxlIiwidmFyaWFibGVTdHJpbmciLCJ0ZXJtU3Vic3RpdHV0aW9uU3RyaW5nIiwiY29uY2x1c2lvbiIsInJ1bGVTdHJpbmciLCJjb25jbHVzaW9uU3RyaW5nIiwic3ViRGVyaXZhdGlvbiIsImxhc3RTdGVwIiwiZ2V0TGFzdFN0ZXAiLCJsYXN0U3RlcFN0cmluZyIsInN1YnByb29mU3RyaW5nIiwiZnJhbWUiLCJtZXRhdmFyaWFibGUiLCJmcmFtZVN0cmluZyIsIm1ldGF2YXJpYWJsZVN0cmluZyIsInN0cmluZyIsInRvcExldmVsQXNzZXJ0aW9uIiwidG9wTGV2ZWxBc3NlcnRpb25TdHJpbmciLCJzZWN0aW9uU3RyaW5nIiwicmVmZXJlbmNlIiwic3RhdGVtZW50Iiwic3RhdGVtZW50U3RyaW5nIiwicmVmZXJuZWNlU3RyaW5nIiwibWV0YUxldmVsQXNzdW1wdGlvblN0cmluZyIsInByb2NlZHVyZVJlZmVyZW5jZSIsInByb2NlZHVyZVJlZmVyZW5jZU5hbWUiLCJnZXROYW1lIiwicHJvY2VkdXJlQ2FsbFN0cmluZyIsInN0YXRlbWVudFN1YnN0aXR1dGlvblN0cmluZyIsInJlZmVyZW5jZVN0cmluZyIsInJlZmVyZW5jZVN1YnN0aXR1dGlvblN0cmluZyIsInR5cGUiLCJwcm92aXNpb25hbFN0cmluZyIsImNvbXBsZXhUeXBlRGVjbGFyYXRpb25TdHJpbmciLCJkZWR1Y3Rpb24iLCJkZWR1Y3Rpb25TdHJpbmciLCJ0b3BMZXZlbE1ldGFBc3NlcnRpb25TdHJpbmciLCJzdWJzdGl0dXRpb24iLCJzdWJzdGl0dXRpb25TdHJpbmciXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7Ozs7OztRQXVPZ0JBO2VBQUFBOztRQXRHQUM7ZUFBQUE7O1FBc0RBQztlQUFBQTs7UUF4SUFDO2VBQUFBOztRQTVCQUM7ZUFBQUE7O1FBb0xBQztlQUFBQTs7UUFsSEFDO2VBQUFBOztRQXBEQUM7ZUFBQUE7O1FBOEtBQztlQUFBQTs7UUE1R0FDO2VBQUFBOztRQVFBQztlQUFBQTs7UUFvSEFDO2VBQUFBOztRQWpFQUM7ZUFBQUE7O1FBaUNBQztlQUFBQTs7UUF2REFDO2VBQUFBOztRQStFQUM7ZUFBQUE7O1FBMkRBQztlQUFBQTs7UUFwR0FDO2VBQUFBOztRQWpIQUM7ZUFBQUE7O1FBc0RBQztlQUFBQTs7UUFtQ0FDO2VBQUFBOztRQWpKQUM7ZUFBQUE7O1FBc1BBQztlQUFBQTs7UUFYQUM7ZUFBQUE7O1FBaEdBQztlQUFBQTs7O3NCQTlJb0I7MkJBQ3FCO0FBRWxELFNBQVNILHFCQUFxQkksS0FBSztJQUN4QyxNQUFNQyxjQUFjRCxNQUFNRSxNQUFNLENBQUMsQ0FBQ0QsYUFBYUU7UUFDN0MsTUFBTUMsYUFBYUQsS0FBS0UsU0FBUztRQUVqQ0osY0FBYyxBQUFDQSxnQkFBZ0IsT0FDaEIsR0FBR0EsWUFBWSxFQUFFLEVBQUVHLFlBQVksR0FDNUJBO1FBRWxCLE9BQU9IO0lBQ1QsR0FBRztJQUVILE9BQU9BO0FBQ1Q7QUFFTyxTQUFTdEIsdUJBQXVCMkIsTUFBTTtJQUMzQyxNQUFNQyxlQUFlRCxPQUFPSixNQUFNLENBQUMsQ0FBQ0ssY0FBY0M7UUFDaEQsTUFBTUMsY0FBY0QsTUFBTUgsU0FBUztRQUVuQ0UsZUFBZSxBQUFDQSxpQkFBaUIsT0FDaEJFLGNBQ0MsR0FBR0YsYUFBYSxFQUFFLEVBQUVFLGFBQWE7UUFFbkQsT0FBT0Y7SUFDVCxHQUFHO0lBRUgsT0FBT0E7QUFDVDtBQUVPLFNBQVN6QiwyQkFBMkI0QixRQUFRO0lBQ2pELE1BQU1DLGlCQUFpQkQsU0FBU1IsTUFBTSxDQUFDLENBQUNTLGdCQUFnQkM7UUFDdEQsTUFBTUMsZ0JBQWdCRCxRQUFRUCxTQUFTO1FBRXZDTSxpQkFBaUIsQUFBQ0EsbUJBQW1CLE9BQ2xCLEdBQUdBLGVBQWUsRUFBRSxFQUFFRSxlQUFlLEdBQ25DQSxlQUFnQixHQUFHO1FBRXhDLE9BQU9GO0lBQ1QsR0FBRztJQUVILE9BQU9BO0FBQ1Q7QUFFTyxTQUFTakMsK0JBQStCb0MsVUFBVTtJQUN2RCxNQUFNQyxtQkFBbUJELFdBQVdaLE1BQU0sQ0FBQyxDQUFDYSxrQkFBa0JDO1FBQzVELE1BQU1DLG1CQUFtQkQsV0FBV1gsU0FBUztRQUU3Q1UsbUJBQW1CLEFBQUNBLHFCQUFxQixPQUNuQixHQUFHQSxpQkFBaUIsRUFBRSxFQUFFRSxrQkFBa0IsR0FDeENBLGtCQUFtQixHQUFHO1FBRTlDLE9BQU9GO0lBQ1QsR0FBRztJQUVILE9BQU9BO0FBQ1Q7QUFFTyxTQUFTdEIsK0JBQStCeUIsVUFBVTtJQUN2RCxJQUFJQztJQUVKLE1BQU1DLFdBQVdDLElBQUFBLHlCQUFtQjtJQUVwQ0YsbUJBQW1CRCxXQUFXaEIsTUFBTSxDQUFDLENBQUNpQixrQkFBa0JHO1FBQ3RELElBQUlBLGNBQWNGLFVBQVU7WUFDMUIsTUFBTUcsa0JBQWtCRCxVQUFVakIsU0FBUztZQUUzQ2MsbUJBQW1CLEFBQUNBLHFCQUFxQixPQUNwQixDQUFDLENBQUMsRUFBRUksZ0JBQWdCLENBQUMsQ0FBQyxHQUNuQixHQUFHSixpQkFBaUIsR0FBRyxFQUFFSSxnQkFBZ0IsQ0FBQyxDQUFDO1FBQ3JFO1FBRUEsT0FBT0o7SUFDVCxHQUFHO0lBRUhBLG1CQUFtQixBQUFDQSxxQkFBcUIsT0FDcEIsQ0FBQyxDQUFDLEVBQUVBLGtCQUFrQixHQUNuQkssdUJBQVk7SUFFcEMsT0FBT0w7QUFDVDtBQUVPLFNBQVN0QywrQkFBK0I0QyxVQUFVO0lBQ3ZELE1BQU1DLG1CQUFtQkQsV0FBV3ZCLE1BQU0sQ0FBQyxDQUFDd0Isa0JBQWtCQztRQUM1RCxNQUFNQyxrQkFBa0JELFVBQVV0QixTQUFTO1FBRTNDcUIsbUJBQW1CLEFBQUNBLHFCQUFxQixPQUNwQkUsa0JBQ0MsR0FBR0YsaUJBQWlCLEVBQUUsRUFBRUUsaUJBQWlCO1FBRS9ELE9BQU9GO0lBQ1QsR0FBRztJQUVILE9BQU9BO0FBQ1Q7QUFFTyxTQUFTMUMsZ0NBQWdDNkMsV0FBVztJQUN6RCxNQUFNQyxtQkFBbUJELGNBQ0MsR0FBR0Usc0JBQVcsQ0FBQyxDQUFDLENBQUMsR0FDZlAsdUJBQVk7SUFFeEMsT0FBT007QUFDVDtBQUVPLFNBQVM3QyxtQ0FBbUM0QyxXQUFXO0lBQzVELE1BQU1HLHFCQUFxQkgsY0FDQyxDQUFDLENBQUMsRUFBRUksd0JBQWEsRUFBRSxHQUNoQlQsdUJBQVk7SUFFM0MsT0FBT1E7QUFDVDtBQUVPLFNBQVN0QyxtQ0FBbUN3QyxZQUFZO0lBQzdELE1BQU1DLHFCQUFxQkQsYUFBYWhDLE1BQU0sQ0FBQyxDQUFDaUMsb0JBQW9CQztRQUNsRSxNQUFNQyxvQkFBb0JELFlBQVkvQixTQUFTO1FBRS9DOEIscUJBQXFCLEFBQUNBLHVCQUF1QixPQUMzQ0Usb0JBQ0EsR0FBR0YsbUJBQW1CLEVBQUUsRUFBRUUsbUJBQW1CO1FBRS9DLE9BQU9GO0lBQ1QsR0FBRztJQUVILE9BQU9BO0FBQ1Q7QUFFTyxTQUFTM0QsMkJBQTJCd0IsS0FBSztJQUM5QyxNQUFNQyxjQUFjTCxxQkFBcUJJLFFBQ25Dc0Msb0JBQW9CLENBQUMsQ0FBQyxFQUFFckMsWUFBWSxDQUFDLENBQUM7SUFFNUMsT0FBT3FDO0FBQ1Q7QUFFTyxTQUFTakQsNkJBQTZCa0QsU0FBUztJQUNwRCxNQUFNQyxrQkFBa0IsQUFBQ0QsY0FBYyxPQUNiQSxVQUFVbEMsU0FBUyxLQUNqQjtJQUU1QixPQUFPbUM7QUFDVDtBQUVPLFNBQVN6Qyw4QkFBOEIwQyxlQUFlO0lBQzNELE1BQU1DLGFBQWFELGlCQUFrQixHQUFHO0lBRXhDLE9BQU9DO0FBQ1Q7QUFFTyxTQUFTL0MsMENBQTBDUSxJQUFJLEVBQUV3QyxRQUFRO0lBQ3RFLE1BQU12QyxhQUFhRCxLQUFLRSxTQUFTLElBQzNCdUMsaUJBQWlCRCxTQUFTdEMsU0FBUyxJQUNuQ3dDLHlCQUF5QixDQUFDLENBQUMsRUFBRXpDLFdBQVcsS0FBSyxFQUFFd0MsZUFBZSxDQUFDLENBQUM7SUFFdEUsT0FBT0M7QUFDVDtBQUVPLFNBQVMxRCwwQ0FBMENtQixNQUFNLEVBQUVJLFFBQVEsRUFBRW9DLFVBQVU7SUFDcEYsSUFBSUMsYUFBYXZCLHVCQUFZO0lBRTdCLE1BQU13QixtQkFBbUJGLFdBQVd6QyxTQUFTLElBQ3ZDTSxpQkFBaUI3QiwyQkFBMkI0QixXQUM1Q0gsZUFBZTVCLHVCQUF1QjJCO0lBRTVDeUMsYUFBYSxHQUFHQSxhQUFheEMsYUFBYSxJQUFJLENBQUM7SUFFL0N3QyxhQUFhLEFBQUNwQyxtQkFBbUIsT0FDbEIsR0FBR29DLFdBQVcsQ0FBQyxFQUFFcEMsZUFBZSxJQUFJLEVBQUVxQyxrQkFBa0IsR0FDdEQsR0FBR0QsYUFBYUMsa0JBQWtCO0lBRW5ELE9BQU9EO0FBQ1Q7QUFFTyxTQUFTdkQsK0NBQStDMEMsWUFBWSxFQUFFZSxhQUFhO0lBQ3hGLE1BQU1DLFdBQVdELGNBQWNFLFdBQVcsSUFDcENoQixxQkFBcUJ6QyxtQ0FBbUN3QyxlQUN4RGtCLGlCQUFpQkYsU0FBUzdDLFNBQVMsSUFDbkNnRCxpQkFBaUIsQ0FBQyxDQUFDLEVBQUVsQixtQkFBbUIsSUFBSSxFQUFFaUIsZ0JBQWdCO0lBRXBFLE9BQU9DO0FBQ1Q7QUFFTyxTQUFTNUUsZ0RBQWdENkUsS0FBSyxFQUFFQyxZQUFZO0lBQ2pGLE1BQU1DLGNBQWNGLE1BQU1qRCxTQUFTLElBQzdCb0QscUJBQXFCRixhQUFhbEQsU0FBUyxJQUMzQ3FELFNBQVMsQ0FBQyxDQUFDLEVBQUVGLFlBQVksTUFBTSxFQUFFQyxtQkFBbUIsRUFBRSxDQUFDO0lBRTdELE9BQU9DO0FBQ1Q7QUFFTyxTQUFTdEUsZ0RBQWdEMEIsVUFBVSxFQUFFNkMsaUJBQWlCO0lBQzNGLE1BQU1DLDBCQUEwQkQsa0JBQWtCdEQsU0FBUyxJQUNyRFUsbUJBQW1CckMsK0JBQStCb0MsYUFDbEQrQyxnQkFBZ0IsQ0FBQyxDQUFDLEVBQUU5QyxpQkFBaUIsS0FBSyxFQUFFNkMseUJBQXlCO0lBRTNFLE9BQU9DO0FBQ1Q7QUFFTyxTQUFTakYsbURBQW1Ea0YsU0FBUyxFQUFFQyxTQUFTO0lBQ3JGLE1BQU1DLGtCQUFrQkQsVUFBVTFELFNBQVMsSUFDckM0RCxrQkFBa0JILFVBQVV6RCxTQUFTLElBQ3JDNkQsNEJBQTRCLEdBQUdELGdCQUFnQixJQUFJLEVBQUVELGlCQUFpQjtJQUU1RSxPQUFPRTtBQUNUO0FBRU8sU0FBU25GLHVEQUF1RG9GLGtCQUFrQixFQUFFMUMsVUFBVTtJQUNuRyxNQUFNMkMseUJBQXlCRCxtQkFBbUJFLE9BQU8sSUFDbkQzQyxtQkFBbUI3QywrQkFBK0I0QyxhQUNsRDZDLHNCQUFzQixDQUFDLENBQUMsRUFBRUYsdUJBQXVCLENBQUMsRUFBRTFDLGlCQUFpQixDQUFDLENBQUM7SUFFN0UsT0FBTzRDO0FBQ1Q7QUFFTyxTQUFTaEYsd0RBQXdEeUUsU0FBUyxFQUFFUixZQUFZO0lBQzdGLE1BQU1TLGtCQUFrQkQsVUFBVTFELFNBQVMsSUFDckNvRCxxQkFBcUJGLGFBQWFsRCxTQUFTLElBQzNDa0UsOEJBQThCLENBQUMsQ0FBQyxFQUFFUCxnQkFBZ0IsS0FBSyxFQUFFUCxtQkFBbUIsQ0FBQyxDQUFDO0lBRXBGLE9BQU9jO0FBQ1Q7QUFFTyxTQUFTckYsd0RBQXdENEUsU0FBUyxFQUFFUCxZQUFZO0lBQzdGLE1BQU1pQixrQkFBa0JWLFVBQVV6RCxTQUFTLElBQ3JDb0QscUJBQXFCRixhQUFhbEQsU0FBUyxJQUMzQ29FLDhCQUE4QixDQUFDLENBQUMsRUFBRUQsZ0JBQWdCLEtBQUssRUFBRWYsbUJBQW1CLENBQUMsQ0FBQztJQUVwRixPQUFPZ0I7QUFDVDtBQUVPLFNBQVNsRyw2REFBNkRtRyxJQUFJLEVBQUV4RCxVQUFVLEVBQUVXLFdBQVc7SUFDeEcsTUFBTWEsYUFBYWdDLEtBQUtyRSxTQUFTLElBQzNCYyxtQkFBbUIxQiwrQkFBK0J5QixhQUNsRHlELG9CQUFvQjNGLGdDQUFnQzZDLGNBQ3BEK0MsK0JBQStCLEdBQUdELG9CQUFvQmpDLGFBQWF2QixrQkFBa0I7SUFFM0YsT0FBT3lEO0FBQ1Q7QUFFTyxTQUFTOUUsNkRBQTZEVSxLQUFLLEVBQUUwQixZQUFZLEVBQUUyQyxTQUFTO0lBQ3pHLE1BQU1wRSxjQUFjRCxNQUFNSCxTQUFTLElBQzdCeUUsa0JBQWtCRCxVQUFVeEUsU0FBUyxJQUNyQzhCLHFCQUFxQnpDLG1DQUFtQ3dDLGVBQ3hENkMsOEJBQThCLEFBQUM1Qyx1QkFBdUIsT0FDdkIsR0FBRzFCLFlBQVksS0FBSyxFQUFFMEIsbUJBQW1CLElBQUksRUFBRTJDLGlCQUFpQixHQUM5RCxHQUFHckUsWUFBWSxJQUFJLEVBQUVxRSxpQkFBaUI7SUFFN0UsT0FBT0M7QUFDVDtBQUVPLFNBQVNsRixtRUFBbUVTLE1BQU0sRUFBRWlDLFNBQVMsRUFBRUwsWUFBWSxFQUFFMkMsU0FBUztJQUMzSCxJQUFJakIsMEJBQTBCcEMsdUJBQVk7SUFFMUMsTUFBTXNELGtCQUFrQkQsVUFBVXhFLFNBQVMsSUFDckNFLGVBQWU1Qix1QkFBdUIyQixTQUN0Q2tDLGtCQUFrQm5ELDZCQUE2QmtELFlBQy9DSixxQkFBcUJ6QyxtQ0FBbUN3QztJQUU5RDBCLDBCQUEwQixBQUFDckQsaUJBQWlCLE9BQ2pCLEdBQUdxRCwwQkFBMEJyRCxjQUFjLEdBQ3pDLEdBQUdxRCx5QkFBeUI7SUFDekRBLDBCQUEwQixBQUFDcEIsb0JBQW9CLE9BQ3BCLEdBQUdvQiwwQkFBMEJwQixpQkFBaUIsR0FDNUMsR0FBR29CLHlCQUF5QjtJQUd6REEsMEJBQTBCLEFBQUN6Qix1QkFBdUIsT0FDdkIsR0FBR3lCLHdCQUF3QixLQUFLLEVBQUV6QixtQkFBbUIsSUFBSSxFQUFFMkMsaUJBQWlCLEdBQzFFLEdBQUdsQix3QkFBd0IsSUFBSSxFQUFFa0IsaUJBQWlCO0lBRS9FLE9BQU9sQjtBQUNUO0FBRU8sU0FBU3JFLG9FQUFvRXdFLFNBQVMsRUFBRVIsWUFBWSxFQUFFeUIsWUFBWTtJQUN2SCxNQUFNaEIsa0JBQWtCRCxVQUFVMUQsU0FBUyxJQUNyQ29ELHFCQUFxQkYsYUFBYWxELFNBQVMsSUFDM0M0RSxxQkFBcUJELGFBQWEzRSxTQUFTLElBQzNDa0UsOEJBQThCLENBQUMsQ0FBQyxFQUFFUCxnQkFBZ0IsS0FBSyxFQUFFUCxxQkFBcUJ3QixtQkFBbUIsQ0FBQyxDQUFDO0lBRXpHLE9BQU9WO0FBQ1QifQ==

package/lib/utilities/substitutions.js

@@ -1,86 +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 frameFromFrameAndSubstitutions () {
-        return frameFromFrameAndSubstitutions;
-    },
-    get metavariableNodesFromDerivedSubstitutions () {
-        return metavariableNodesFromDerivedSubstitutions;
-    },
-    get statementFromStatementAndSubstitutions () {
-        return statementFromStatementAndSubstitutions;
-    },
-    get termFromTermAndSubstitutions () {
-        return termFromTermAndSubstitutions;
-    }
-});
-const _necessary = require("necessary");
-const { compress } = _necessary.arrayUtilities;
-function termFromTermAndSubstitutions(term, context) {
-    if (term !== null) {
-        const termNode = term.getNode(), termSingular = term.isSingular();
-        term = null; ///
-        if (termSingular) {
-            const variableNode = termNode.getVariableNode(), derivedSubstitution = context.findDerivedSubstitutionByVariableNode(variableNode);
-            if (derivedSubstitution !== null) {
-                const replacementTerm = derivedSubstitution.getReplacementTerm();
-                term = replacementTerm; ///
-            }
-        }
-    }
-    return term;
-}
-function frameFromFrameAndSubstitutions(frame, context) {
-    if (frame !== null) {
-        const frameNode = frame.getNode(), frameSingular = frame.isSingular();
-        frame = null; ///
-        if (frameSingular) {
-            const metavariableNode = frameNode.getMetavariableNode(), derivedSubstitution = context.findDerivedSubstitutionByMetavariableNode(metavariableNode);
-            if (derivedSubstitution !== null) {
-                const replacementFrame = derivedSubstitution.getReplacementFrame();
-                frame = replacementFrame; ///
-            }
-        }
-    }
-    return frame;
-}
-function statementFromStatementAndSubstitutions(statement, context) {
-    if (statement !== null) {
-        const statementNode = statement.getNode(), statementSingular = statement.isSingular();
-        statement = null; ///
-        if (statementSingular) {
-            const metavariableNode = statementNode.getMetavariableNode(), derivedSubstitution = context.findDerivedSubstitutionByMetavariableNode(metavariableNode);
-            if (derivedSubstitution !== null) {
-                const replacementStatement = derivedSubstitution.getReplacementStatement();
-                statement = replacementStatement; ///
-            }
-        }
-    }
-    return statement;
-}
-function metavariableNodesFromDerivedSubstitutions(derivedSubstitutions) {
-    const metavariableNodes = [];
-    derivedSubstitutions.forEach((derivedSubstitution)=>{
-        const metavariableNode = derivedSubstitution.getMetavariableNode();
-        if (metavariableNode !== null) {
-            metavariableNodes.push(metavariableNode);
-        }
-    });
-    compress(metavariableNodes, (metavariableNodeA, metavariableNodeB)=>{
-        const metavariableNodeAMatchesetavariableNodeB = metavariableNodeA.match(metavariableNodeB);
-        if (!metavariableNodeAMatchesetavariableNodeB) {
-            return true;
-        }
-    });
-    return metavariableNodes;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3Vic3RpdHV0aW9ucy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgYXJyYXlVdGlsaXRpZXMgfSBmcm9tIFwibmVjZXNzYXJ5XCI7XG5cbmNvbnN0IHsgY29tcHJlc3MgfSA9IGFycmF5VXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gdGVybUZyb21UZXJtQW5kU3Vic3RpdHV0aW9ucyh0ZXJtLCBjb250ZXh0KSB7XG4gIGlmICh0ZXJtICE9PSBudWxsKSB7XG4gICAgY29uc3QgdGVybU5vZGUgPSB0ZXJtLmdldE5vZGUoKSxcbiAgICAgICAgICB0ZXJtU2luZ3VsYXIgPSB0ZXJtLmlzU2luZ3VsYXIoKTtcblxuICAgIHRlcm0gPSBudWxsOyAgLy8vXG5cbiAgICBpZiAodGVybVNpbmd1bGFyKSB7XG4gICAgICBjb25zdCB2YXJpYWJsZU5vZGUgPSB0ZXJtTm9kZS5nZXRWYXJpYWJsZU5vZGUoKSxcbiAgICAgICAgICAgIGRlcml2ZWRTdWJzdGl0dXRpb24gPSBjb250ZXh0LmZpbmREZXJpdmVkU3Vic3RpdHV0aW9uQnlWYXJpYWJsZU5vZGUodmFyaWFibGVOb2RlKTtcblxuICAgICAgaWYgKGRlcml2ZWRTdWJzdGl0dXRpb24gIT09IG51bGwpIHtcbiAgICAgICAgY29uc3QgcmVwbGFjZW1lbnRUZXJtID0gZGVyaXZlZFN1YnN0aXR1dGlvbi5nZXRSZXBsYWNlbWVudFRlcm0oKTtcblxuICAgICAgICB0ZXJtID0gcmVwbGFjZW1lbnRUZXJtOyAvLy9cbiAgICAgIH1cbiAgICB9XG4gIH1cblxuICByZXR1cm4gdGVybTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGZyYW1lRnJvbUZyYW1lQW5kU3Vic3RpdHV0aW9ucyhmcmFtZSwgY29udGV4dCkge1xuICBpZiAoZnJhbWUgIT09IG51bGwpIHtcbiAgICBjb25zdCBmcmFtZU5vZGUgPSBmcmFtZS5nZXROb2RlKCksXG4gICAgICAgICAgZnJhbWVTaW5ndWxhciA9IGZyYW1lLmlzU2luZ3VsYXIoKTtcblxuICAgIGZyYW1lID0gbnVsbDsgIC8vL1xuXG4gICAgaWYgKGZyYW1lU2luZ3VsYXIpIHtcbiAgICAgIGNvbnN0IG1ldGF2YXJpYWJsZU5vZGUgPSBmcmFtZU5vZGUuZ2V0TWV0YXZhcmlhYmxlTm9kZSgpLFxuICAgICAgICAgICAgZGVyaXZlZFN1YnN0aXR1dGlvbiA9IGNvbnRleHQuZmluZERlcml2ZWRTdWJzdGl0dXRpb25CeU1ldGF2YXJpYWJsZU5vZGUobWV0YXZhcmlhYmxlTm9kZSk7XG5cbiAgICAgIGlmIChkZXJpdmVkU3Vic3RpdHV0aW9uICE9PSBudWxsKSB7XG4gICAgICAgIGNvbnN0IHJlcGxhY2VtZW50RnJhbWUgPSBkZXJpdmVkU3Vic3RpdHV0aW9uLmdldFJlcGxhY2VtZW50RnJhbWUoKTtcblxuICAgICAgICBmcmFtZSA9IHJlcGxhY2VtZW50RnJhbWU7IC8vL1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIHJldHVybiBmcmFtZTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIHN0YXRlbWVudEZyb21TdGF0ZW1lbnRBbmRTdWJzdGl0dXRpb25zKHN0YXRlbWVudCwgY29udGV4dCkge1xuICBpZiAoc3RhdGVtZW50ICE9PSBudWxsKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50Tm9kZSA9IHN0YXRlbWVudC5nZXROb2RlKCksXG4gICAgICAgICAgc3RhdGVtZW50U2luZ3VsYXIgPSBzdGF0ZW1lbnQuaXNTaW5ndWxhcigpO1xuXG4gICAgc3RhdGVtZW50ID0gbnVsbDsgIC8vL1xuXG4gICAgaWYgKHN0YXRlbWVudFNpbmd1bGFyKSB7XG4gICAgICBjb25zdCBtZXRhdmFyaWFibGVOb2RlID0gc3RhdGVtZW50Tm9kZS5nZXRNZXRhdmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgICBkZXJpdmVkU3Vic3RpdHV0aW9uID0gY29udGV4dC5maW5kRGVyaXZlZFN1YnN0aXR1dGlvbkJ5TWV0YXZhcmlhYmxlTm9kZShtZXRhdmFyaWFibGVOb2RlKTtcblxuICAgICAgaWYgKGRlcml2ZWRTdWJzdGl0dXRpb24gIT09IG51bGwpIHtcbiAgICAgICAgY29uc3QgcmVwbGFjZW1lbnRTdGF0ZW1lbnQgPSBkZXJpdmVkU3Vic3RpdHV0aW9uLmdldFJlcGxhY2VtZW50U3RhdGVtZW50KCk7XG5cbiAgICAgICAgc3RhdGVtZW50ID0gcmVwbGFjZW1lbnRTdGF0ZW1lbnQ7IC8vL1xuICAgICAgfVxuICAgIH1cbiAgfVxuXG4gIHJldHVybiBzdGF0ZW1lbnQ7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBtZXRhdmFyaWFibGVOb2Rlc0Zyb21EZXJpdmVkU3Vic3RpdHV0aW9ucyhkZXJpdmVkU3Vic3RpdHV0aW9ucykge1xuICBjb25zdCBtZXRhdmFyaWFibGVOb2RlcyA9IFtdO1xuXG4gIGRlcml2ZWRTdWJzdGl0dXRpb25zLmZvckVhY2goKGRlcml2ZWRTdWJzdGl0dXRpb24pID0+IHtcbiAgICBjb25zdCBtZXRhdmFyaWFibGVOb2RlID0gZGVyaXZlZFN1YnN0aXR1dGlvbi5nZXRNZXRhdmFyaWFibGVOb2RlKCk7XG5cbiAgICBpZiAobWV0YXZhcmlhYmxlTm9kZSAhPT0gbnVsbCkge1xuICAgICAgbWV0YXZhcmlhYmxlTm9kZXMucHVzaChtZXRhdmFyaWFibGVOb2RlKTtcbiAgICB9XG4gIH0pO1xuXG4gIGNvbXByZXNzKG1ldGF2YXJpYWJsZU5vZGVzLCAobWV0YXZhcmlhYmxlTm9kZUEsIG1ldGF2YXJpYWJsZU5vZGVCKSA9PiB7XG4gICAgY29uc3QgbWV0YXZhcmlhYmxlTm9kZUFNYXRjaGVzZXRhdmFyaWFibGVOb2RlQiA9IG1ldGF2YXJpYWJsZU5vZGVBLm1hdGNoKG1ldGF2YXJpYWJsZU5vZGVCKTtcblxuICAgIGlmICghbWV0YXZhcmlhYmxlTm9kZUFNYXRjaGVzZXRhdmFyaWFibGVOb2RlQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcblxuICByZXR1cm4gbWV0YXZhcmlhYmxlTm9kZXM7XG59XG4iXSwibmFtZXMiOlsiZnJhbWVGcm9tRnJhbWVBbmRTdWJzdGl0dXRpb25zIiwibWV0YXZhcmlhYmxlTm9kZXNGcm9tRGVyaXZlZFN1YnN0aXR1dGlvbnMiLCJzdGF0ZW1lbnRGcm9tU3RhdGVtZW50QW5kU3Vic3RpdHV0aW9ucyIsInRlcm1Gcm9tVGVybUFuZFN1YnN0aXR1dGlvbnMiLCJjb21wcmVzcyIsImFycmF5VXRpbGl0aWVzIiwidGVybSIsImNvbnRleHQiLCJ0ZXJtTm9kZSIsImdldE5vZGUiLCJ0ZXJtU2luZ3VsYXIiLCJpc1Npbmd1bGFyIiwidmFyaWFibGVOb2RlIiwiZ2V0VmFyaWFibGVOb2RlIiwiZGVyaXZlZFN1YnN0aXR1dGlvbiIsImZpbmREZXJpdmVkU3Vic3RpdHV0aW9uQnlWYXJpYWJsZU5vZGUiLCJyZXBsYWNlbWVudFRlcm0iLCJnZXRSZXBsYWNlbWVudFRlcm0iLCJmcmFtZSIsImZyYW1lTm9kZSIsImZyYW1lU2luZ3VsYXIiLCJtZXRhdmFyaWFibGVOb2RlIiwiZ2V0TWV0YXZhcmlhYmxlTm9kZSIsImZpbmREZXJpdmVkU3Vic3RpdHV0aW9uQnlNZXRhdmFyaWFibGVOb2RlIiwicmVwbGFjZW1lbnRGcmFtZSIsImdldFJlcGxhY2VtZW50RnJhbWUiLCJzdGF0ZW1lbnQiLCJzdGF0ZW1lbnROb2RlIiwic3RhdGVtZW50U2luZ3VsYXIiLCJyZXBsYWNlbWVudFN0YXRlbWVudCIsImdldFJlcGxhY2VtZW50U3RhdGVtZW50IiwiZGVyaXZlZFN1YnN0aXR1dGlvbnMiLCJtZXRhdmFyaWFibGVOb2RlcyIsImZvckVhY2giLCJwdXNoIiwibWV0YXZhcmlhYmxlTm9kZUEiLCJtZXRhdmFyaWFibGVOb2RlQiIsIm1ldGF2YXJpYWJsZU5vZGVBTWF0Y2hlc2V0YXZhcmlhYmxlTm9kZUIiLCJtYXRjaCJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBNEJnQkE7ZUFBQUE7O1FBNENBQztlQUFBQTs7UUF0QkFDO2VBQUFBOztRQTVDQUM7ZUFBQUE7OzsyQkFKZTtBQUUvQixNQUFNLEVBQUVDLFFBQVEsRUFBRSxHQUFHQyx5QkFBYztBQUU1QixTQUFTRiw2QkFBNkJHLElBQUksRUFBRUMsT0FBTztJQUN4RCxJQUFJRCxTQUFTLE1BQU07UUFDakIsTUFBTUUsV0FBV0YsS0FBS0csT0FBTyxJQUN2QkMsZUFBZUosS0FBS0ssVUFBVTtRQUVwQ0wsT0FBTyxNQUFPLEdBQUc7UUFFakIsSUFBSUksY0FBYztZQUNoQixNQUFNRSxlQUFlSixTQUFTSyxlQUFlLElBQ3ZDQyxzQkFBc0JQLFFBQVFRLHFDQUFxQyxDQUFDSDtZQUUxRSxJQUFJRSx3QkFBd0IsTUFBTTtnQkFDaEMsTUFBTUUsa0JBQWtCRixvQkFBb0JHLGtCQUFrQjtnQkFFOURYLE9BQU9VLGlCQUFpQixHQUFHO1lBQzdCO1FBQ0Y7SUFDRjtJQUVBLE9BQU9WO0FBQ1Q7QUFFTyxTQUFTTiwrQkFBK0JrQixLQUFLLEVBQUVYLE9BQU87SUFDM0QsSUFBSVcsVUFBVSxNQUFNO1FBQ2xCLE1BQU1DLFlBQVlELE1BQU1ULE9BQU8sSUFDekJXLGdCQUFnQkYsTUFBTVAsVUFBVTtRQUV0Q08sUUFBUSxNQUFPLEdBQUc7UUFFbEIsSUFBSUUsZUFBZTtZQUNqQixNQUFNQyxtQkFBbUJGLFVBQVVHLG1CQUFtQixJQUNoRFIsc0JBQXNCUCxRQUFRZ0IseUNBQXlDLENBQUNGO1lBRTlFLElBQUlQLHdCQUF3QixNQUFNO2dCQUNoQyxNQUFNVSxtQkFBbUJWLG9CQUFvQlcsbUJBQW1CO2dCQUVoRVAsUUFBUU0sa0JBQWtCLEdBQUc7WUFDL0I7UUFDRjtJQUNGO0lBRUEsT0FBT047QUFDVDtBQUVPLFNBQVNoQix1Q0FBdUN3QixTQUFTLEVBQUVuQixPQUFPO0lBQ3ZFLElBQUltQixjQUFjLE1BQU07UUFDdEIsTUFBTUMsZ0JBQWdCRCxVQUFVakIsT0FBTyxJQUNqQ21CLG9CQUFvQkYsVUFBVWYsVUFBVTtRQUU5Q2UsWUFBWSxNQUFPLEdBQUc7UUFFdEIsSUFBSUUsbUJBQW1CO1lBQ3JCLE1BQU1QLG1CQUFtQk0sY0FBY0wsbUJBQW1CLElBQ3BEUixzQkFBc0JQLFFBQVFnQix5Q0FBeUMsQ0FBQ0Y7WUFFOUUsSUFBSVAsd0JBQXdCLE1BQU07Z0JBQ2hDLE1BQU1lLHVCQUF1QmYsb0JBQW9CZ0IsdUJBQXVCO2dCQUV4RUosWUFBWUcsc0JBQXNCLEdBQUc7WUFDdkM7UUFDRjtJQUNGO0lBRUEsT0FBT0g7QUFDVDtBQUVPLFNBQVN6QiwwQ0FBMEM4QixvQkFBb0I7SUFDNUUsTUFBTUMsb0JBQW9CLEVBQUU7SUFFNUJELHFCQUFxQkUsT0FBTyxDQUFDLENBQUNuQjtRQUM1QixNQUFNTyxtQkFBbUJQLG9CQUFvQlEsbUJBQW1CO1FBRWhFLElBQUlELHFCQUFxQixNQUFNO1lBQzdCVyxrQkFBa0JFLElBQUksQ0FBQ2I7UUFDekI7SUFDRjtJQUVBakIsU0FBUzRCLG1CQUFtQixDQUFDRyxtQkFBbUJDO1FBQzlDLE1BQU1DLDJDQUEyQ0Ysa0JBQWtCRyxLQUFLLENBQUNGO1FBRXpFLElBQUksQ0FBQ0MsMENBQTBDO1lBQzdDLE9BQU87UUFDVDtJQUNGO0lBRUEsT0FBT0w7QUFDVCJ9

package/lib/utilities/synoptic.js

@@ -1,159 +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 compressAssertions () {
-        return compressAssertions;
-    },
-    get compressAssumptions () {
-        return compressAssumptions;
-    },
-    get compressEqualities () {
-        return compressEqualities;
-    },
-    get compressFrames () {
-        return compressFrames;
-    },
-    get compressJudgements () {
-        return compressJudgements;
-    },
-    get compressMetavariables () {
-        return compressMetavariables;
-    },
-    get compressProperties () {
-        return compressProperties;
-    },
-    get compressPropertyRelations () {
-        return compressPropertyRelations;
-    },
-    get compressReferences () {
-        return compressReferences;
-    },
-    get compressSignatures () {
-        return compressSignatures;
-    },
-    get compressStatements () {
-        return compressStatements;
-    },
-    get compressSubstitutions () {
-        return compressSubstitutions;
-    },
-    get compressTerms () {
-        return compressTerms;
-    }
-});
-const _necessary = require("necessary");
-const { compress } = _necessary.arrayUtilities;
-function compressTerms(terms) {
-    compress(terms, (termA, termB)=>{
-        const termAEqualToTermB = termA.isEqualTo(termB);
-        if (!termAEqualToTermB) {
-            return true;
-        }
-    });
-}
-function compressFrames(frames) {
-    compress(frames, (frameA, frameB)=>{
-        const frameAEqualToFrameB = frameA.isEqualTo(frameB);
-        if (!frameAEqualToFrameB) {
-            return true;
-        }
-    });
-}
-function compressProperties(properties) {
-    compress(properties, (propertyA, propertyB)=>{
-        const propertyAEqualToPropertyB = propertyA.isEqualTo(propertyB);
-        if (!propertyAEqualToPropertyB) {
-            return true;
-        }
-    });
-}
-function compressEqualities(equalities) {
-    compress(equalities, (equalityA, equalityB)=>{
-        const equalityAEqualToEqualityB = equalityA.isEqualTo(equalityB);
-        if (!equalityAEqualToEqualityB) {
-            return true;
-        }
-    });
-}
-function compressJudgements(judgements) {
-    compress(judgements, (judgementA, judgementB)=>{
-        const judgementAEqualToJudgementB = judgementA.isEqualTo(judgementB);
-        if (!judgementAEqualToJudgementB) {
-            return true;
-        }
-    });
-}
-function compressAssertions(assertions) {
-    compress(assertions, (assertionA, assertionB)=>{
-        const assertionAEqualToAssertionB = assertionA.isEqualTo(assertionB);
-        if (!assertionAEqualToAssertionB) {
-            return true;
-        }
-    });
-}
-function compressStatements(statements) {
-    compress(statements, (statementA, statementB)=>{
-        const statementAEqualToStatementB = statementA.isEqualTo(statementB);
-        if (!statementAEqualToStatementB) {
-            return true;
-        }
-    });
-}
-function compressSignatures(signatures) {
-    compress(signatures, (signatureA, signatureB)=>{
-        const signatureAEqualToSignatureB = signatureA.isEqualTo(signatureB);
-        if (!signatureAEqualToSignatureB) {
-            return true;
-        }
-    });
-}
-function compressReferences(references) {
-    compress(references, (referenceA, referenceB)=>{
-        const referenceAEqualToReferenceB = referenceA.isEqualTo(referenceB);
-        if (!referenceAEqualToReferenceB) {
-            return true;
-        }
-    });
-}
-function compressAssumptions(assumptions) {
-    compress(assumptions, (assumptionA, assumptionB)=>{
-        const assumptionAEqualToAssumptionB = assumptionA.isEqualTo(assumptionB);
-        if (!assumptionAEqualToAssumptionB) {
-            return true;
-        }
-    });
-}
-function compressMetavariables(metavariables) {
-    compress(metavariables, (metavariableA, metavariableB)=>{
-        const metavariableAEqualToMetavariableB = metavariableA.isEqualTo(metavariableB);
-        if (!metavariableAEqualToMetavariableB) {
-            return true;
-        }
-    });
-}
-function compressSubstitutions(substitutions) {
-    compress(substitutions, (substitutionA, substitutionB)=>{
-        const substitutionAEqualToSubstitutionB = substitutionA.isEqualTo(substitutionB);
-        if (!substitutionAEqualToSubstitutionB) {
-            return true;
-        }
-    });
-}
-function compressPropertyRelations(propertyRelations) {
-    compress(propertyRelations, (propertyRelationA, propertyRelationB)=>{
-        const propertyRelationAEqualToPropertyRelationB = propertyRelationA.isEqualTo(propertyRelationB);
-        if (!propertyRelationAEqualToPropertyRelationB) {
-            return true;
-        }
-    });
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvc3lub3B0aWMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGFycmF5VXRpbGl0aWVzIH0gZnJvbSBcIm5lY2Vzc2FyeVwiO1xuXG5jb25zdCB7IGNvbXByZXNzIH0gPSBhcnJheVV0aWxpdGllcztcblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzVGVybXModGVybXMpIHtcbiAgY29tcHJlc3ModGVybXMsICh0ZXJtQSwgdGVybUIpID0+IHtcbiAgICBjb25zdCB0ZXJtQUVxdWFsVG9UZXJtQiA9IHRlcm1BLmlzRXF1YWxUbyh0ZXJtQik7XG5cbiAgICBpZiAoIXRlcm1BRXF1YWxUb1Rlcm1CKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NGcmFtZXMoZnJhbWVzKSB7XG4gIGNvbXByZXNzKGZyYW1lcywgKGZyYW1lQSwgZnJhbWVCKSA9PiB7XG4gICAgY29uc3QgZnJhbWVBRXF1YWxUb0ZyYW1lQiA9IGZyYW1lQS5pc0VxdWFsVG8oZnJhbWVCKTtcblxuICAgIGlmICghZnJhbWVBRXF1YWxUb0ZyYW1lQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIGNvbXByZXNzUHJvcGVydGllcyhwcm9wZXJ0aWVzKSB7XG4gIGNvbXByZXNzKHByb3BlcnRpZXMsIChwcm9wZXJ0eUEsIHByb3BlcnR5QikgPT4ge1xuICAgIGNvbnN0IHByb3BlcnR5QUVxdWFsVG9Qcm9wZXJ0eUIgPSBwcm9wZXJ0eUEuaXNFcXVhbFRvKHByb3BlcnR5Qik7XG5cbiAgICBpZiAoIXByb3BlcnR5QUVxdWFsVG9Qcm9wZXJ0eUIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc0VxdWFsaXRpZXMoZXF1YWxpdGllcykge1xuICBjb21wcmVzcyhlcXVhbGl0aWVzLCAoZXF1YWxpdHlBLCBlcXVhbGl0eUIpID0+IHtcbiAgICBjb25zdCBlcXVhbGl0eUFFcXVhbFRvRXF1YWxpdHlCID0gZXF1YWxpdHlBLmlzRXF1YWxUbyhlcXVhbGl0eUIpO1xuXG4gICAgaWYgKCFlcXVhbGl0eUFFcXVhbFRvRXF1YWxpdHlCKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NKdWRnZW1lbnRzKGp1ZGdlbWVudHMpIHtcbiAgY29tcHJlc3MoanVkZ2VtZW50cywgKGp1ZGdlbWVudEEsIGp1ZGdlbWVudEIpID0+IHtcbiAgICBjb25zdCBqdWRnZW1lbnRBRXF1YWxUb0p1ZGdlbWVudEIgPSBqdWRnZW1lbnRBLmlzRXF1YWxUbyhqdWRnZW1lbnRCKTtcblxuICAgIGlmICghanVkZ2VtZW50QUVxdWFsVG9KdWRnZW1lbnRCKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NBc3NlcnRpb25zKGFzc2VydGlvbnMpIHtcbiAgY29tcHJlc3MoYXNzZXJ0aW9ucywgKGFzc2VydGlvbkEsIGFzc2VydGlvbkIpID0+IHtcbiAgICBjb25zdCBhc3NlcnRpb25BRXF1YWxUb0Fzc2VydGlvbkIgPSBhc3NlcnRpb25BLmlzRXF1YWxUbyhhc3NlcnRpb25CKTtcblxuICAgIGlmICghYXNzZXJ0aW9uQUVxdWFsVG9Bc3NlcnRpb25CKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NTdGF0ZW1lbnRzKHN0YXRlbWVudHMpIHtcbiAgY29tcHJlc3Moc3RhdGVtZW50cywgKHN0YXRlbWVudEEsIHN0YXRlbWVudEIpID0+IHtcbiAgICBjb25zdCBzdGF0ZW1lbnRBRXF1YWxUb1N0YXRlbWVudEIgPSBzdGF0ZW1lbnRBLmlzRXF1YWxUbyhzdGF0ZW1lbnRCKTtcblxuICAgIGlmICghc3RhdGVtZW50QUVxdWFsVG9TdGF0ZW1lbnRCKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NTaWduYXR1cmVzKHNpZ25hdHVyZXMpIHtcbiAgY29tcHJlc3Moc2lnbmF0dXJlcywgKHNpZ25hdHVyZUEsIHNpZ25hdHVyZUIpID0+IHtcbiAgICBjb25zdCBzaWduYXR1cmVBRXF1YWxUb1NpZ25hdHVyZUIgPSBzaWduYXR1cmVBLmlzRXF1YWxUbyhzaWduYXR1cmVCKTtcblxuICAgIGlmICghc2lnbmF0dXJlQUVxdWFsVG9TaWduYXR1cmVCKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NSZWZlcmVuY2VzKHJlZmVyZW5jZXMpIHtcbiAgY29tcHJlc3MocmVmZXJlbmNlcywgKHJlZmVyZW5jZUEsIHJlZmVyZW5jZUIpID0+IHtcbiAgICBjb25zdCByZWZlcmVuY2VBRXF1YWxUb1JlZmVyZW5jZUIgPSByZWZlcmVuY2VBLmlzRXF1YWxUbyhyZWZlcmVuY2VCKTtcblxuICAgIGlmICghcmVmZXJlbmNlQUVxdWFsVG9SZWZlcmVuY2VCKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xufVxuXG5leHBvcnQgZnVuY3Rpb24gY29tcHJlc3NBc3N1bXB0aW9ucyhhc3N1bXB0aW9ucykge1xuICBjb21wcmVzcyhhc3N1bXB0aW9ucywgKGFzc3VtcHRpb25BLCBhc3N1bXB0aW9uQikgPT4ge1xuICAgIGNvbnN0IGFzc3VtcHRpb25BRXF1YWxUb0Fzc3VtcHRpb25CID0gYXNzdW1wdGlvbkEuaXNFcXVhbFRvKGFzc3VtcHRpb25CKTtcblxuICAgIGlmICghYXNzdW1wdGlvbkFFcXVhbFRvQXNzdW1wdGlvbkIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc01ldGF2YXJpYWJsZXMobWV0YXZhcmlhYmxlcykge1xuICBjb21wcmVzcyhtZXRhdmFyaWFibGVzLCAobWV0YXZhcmlhYmxlQSwgbWV0YXZhcmlhYmxlQikgPT4ge1xuICAgIGNvbnN0IG1ldGF2YXJpYWJsZUFFcXVhbFRvTWV0YXZhcmlhYmxlQiA9IG1ldGF2YXJpYWJsZUEuaXNFcXVhbFRvKG1ldGF2YXJpYWJsZUIpO1xuXG4gICAgaWYgKCFtZXRhdmFyaWFibGVBRXF1YWxUb01ldGF2YXJpYWJsZUIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc1N1YnN0aXR1dGlvbnMoc3Vic3RpdHV0aW9ucykge1xuICBjb21wcmVzcyhzdWJzdGl0dXRpb25zLCAoc3Vic3RpdHV0aW9uQSwgc3Vic3RpdHV0aW9uQikgPT4ge1xuICAgIGNvbnN0IHN1YnN0aXR1dGlvbkFFcXVhbFRvU3Vic3RpdHV0aW9uQiA9IHN1YnN0aXR1dGlvbkEuaXNFcXVhbFRvKHN1YnN0aXR1dGlvbkIpO1xuXG4gICAgaWYgKCFzdWJzdGl0dXRpb25BRXF1YWxUb1N1YnN0aXR1dGlvbkIpIHtcbiAgICAgIHJldHVybiB0cnVlO1xuICAgIH1cbiAgfSk7XG59XG5cbmV4cG9ydCBmdW5jdGlvbiBjb21wcmVzc1Byb3BlcnR5UmVsYXRpb25zKHByb3BlcnR5UmVsYXRpb25zKSB7XG4gIGNvbXByZXNzKHByb3BlcnR5UmVsYXRpb25zLCAocHJvcGVydHlSZWxhdGlvbkEsIHByb3BlcnR5UmVsYXRpb25CKSA9PiB7XG4gICAgY29uc3QgcHJvcGVydHlSZWxhdGlvbkFFcXVhbFRvUHJvcGVydHlSZWxhdGlvbkIgPSBwcm9wZXJ0eVJlbGF0aW9uQS5pc0VxdWFsVG8ocHJvcGVydHlSZWxhdGlvbkIpO1xuXG4gICAgaWYgKCFwcm9wZXJ0eVJlbGF0aW9uQUVxdWFsVG9Qcm9wZXJ0eVJlbGF0aW9uQikge1xuICAgICAgcmV0dXJuIHRydWU7XG4gICAgfVxuICB9KTtcbn1cbiJdLCJuYW1lcyI6WyJjb21wcmVzc0Fzc2VydGlvbnMiLCJjb21wcmVzc0Fzc3VtcHRpb25zIiwiY29tcHJlc3NFcXVhbGl0aWVzIiwiY29tcHJlc3NGcmFtZXMiLCJjb21wcmVzc0p1ZGdlbWVudHMiLCJjb21wcmVzc01ldGF2YXJpYWJsZXMiLCJjb21wcmVzc1Byb3BlcnRpZXMiLCJjb21wcmVzc1Byb3BlcnR5UmVsYXRpb25zIiwiY29tcHJlc3NSZWZlcmVuY2VzIiwiY29tcHJlc3NTaWduYXR1cmVzIiwiY29tcHJlc3NTdGF0ZW1lbnRzIiwiY29tcHJlc3NTdWJzdGl0dXRpb25zIiwiY29tcHJlc3NUZXJtcyIsImNvbXByZXNzIiwiYXJyYXlVdGlsaXRpZXMiLCJ0ZXJtcyIsInRlcm1BIiwidGVybUIiLCJ0ZXJtQUVxdWFsVG9UZXJtQiIsImlzRXF1YWxUbyIsImZyYW1lcyIsImZyYW1lQSIsImZyYW1lQiIsImZyYW1lQUVxdWFsVG9GcmFtZUIiLCJwcm9wZXJ0aWVzIiwicHJvcGVydHlBIiwicHJvcGVydHlCIiwicHJvcGVydHlBRXF1YWxUb1Byb3BlcnR5QiIsImVxdWFsaXRpZXMiLCJlcXVhbGl0eUEiLCJlcXVhbGl0eUIiLCJlcXVhbGl0eUFFcXVhbFRvRXF1YWxpdHlCIiwianVkZ2VtZW50cyIsImp1ZGdlbWVudEEiLCJqdWRnZW1lbnRCIiwianVkZ2VtZW50QUVxdWFsVG9KdWRnZW1lbnRCIiwiYXNzZXJ0aW9ucyIsImFzc2VydGlvbkEiLCJhc3NlcnRpb25CIiwiYXNzZXJ0aW9uQUVxdWFsVG9Bc3NlcnRpb25CIiwic3RhdGVtZW50cyIsInN0YXRlbWVudEEiLCJzdGF0ZW1lbnRCIiwic3RhdGVtZW50QUVxdWFsVG9TdGF0ZW1lbnRCIiwic2lnbmF0dXJlcyIsInNpZ25hdHVyZUEiLCJzaWduYXR1cmVCIiwic2lnbmF0dXJlQUVxdWFsVG9TaWduYXR1cmVCIiwicmVmZXJlbmNlcyIsInJlZmVyZW5jZUEiLCJyZWZlcmVuY2VCIiwicmVmZXJlbmNlQUVxdWFsVG9SZWZlcmVuY2VCIiwiYXNzdW1wdGlvbnMiLCJhc3N1bXB0aW9uQSIsImFzc3VtcHRpb25CIiwiYXNzdW1wdGlvbkFFcXVhbFRvQXNzdW1wdGlvbkIiLCJtZXRhdmFyaWFibGVzIiwibWV0YXZhcmlhYmxlQSIsIm1ldGF2YXJpYWJsZUIiLCJtZXRhdmFyaWFibGVBRXF1YWxUb01ldGF2YXJpYWJsZUIiLCJzdWJzdGl0dXRpb25zIiwic3Vic3RpdHV0aW9uQSIsInN1YnN0aXR1dGlvbkIiLCJzdWJzdGl0dXRpb25BRXF1YWxUb1N1YnN0aXR1dGlvbkIiLCJwcm9wZXJ0eVJlbGF0aW9ucyIsInByb3BlcnR5UmVsYXRpb25BIiwicHJvcGVydHlSZWxhdGlvbkIiLCJwcm9wZXJ0eVJlbGF0aW9uQUVxdWFsVG9Qcm9wZXJ0eVJlbGF0aW9uQiJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBd0RnQkE7ZUFBQUE7O1FBd0NBQztlQUFBQTs7UUE1REFDO2VBQUFBOztRQXBCQUM7ZUFBQUE7O1FBOEJBQztlQUFBQTs7UUE0REFDO2VBQUFBOztRQWhGQUM7ZUFBQUE7O1FBb0dBQztlQUFBQTs7UUF4Q0FDO2VBQUFBOztRQVZBQztlQUFBQTs7UUFWQUM7ZUFBQUE7O1FBa0RBQztlQUFBQTs7UUE5R0FDO2VBQUFBOzs7MkJBSmU7QUFFL0IsTUFBTSxFQUFFQyxRQUFRLEVBQUUsR0FBR0MseUJBQWM7QUFFNUIsU0FBU0YsY0FBY0csS0FBSztJQUNqQ0YsU0FBU0UsT0FBTyxDQUFDQyxPQUFPQztRQUN0QixNQUFNQyxvQkFBb0JGLE1BQU1HLFNBQVMsQ0FBQ0Y7UUFFMUMsSUFBSSxDQUFDQyxtQkFBbUI7WUFDdEIsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVNmLGVBQWVpQixNQUFNO0lBQ25DUCxTQUFTTyxRQUFRLENBQUNDLFFBQVFDO1FBQ3hCLE1BQU1DLHNCQUFzQkYsT0FBT0YsU0FBUyxDQUFDRztRQUU3QyxJQUFJLENBQUNDLHFCQUFxQjtZQUN4QixPQUFPO1FBQ1Q7SUFDRjtBQUNGO0FBRU8sU0FBU2pCLG1CQUFtQmtCLFVBQVU7SUFDM0NYLFNBQVNXLFlBQVksQ0FBQ0MsV0FBV0M7UUFDL0IsTUFBTUMsNEJBQTRCRixVQUFVTixTQUFTLENBQUNPO1FBRXRELElBQUksQ0FBQ0MsMkJBQTJCO1lBQzlCLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTekIsbUJBQW1CMEIsVUFBVTtJQUMzQ2YsU0FBU2UsWUFBWSxDQUFDQyxXQUFXQztRQUMvQixNQUFNQyw0QkFBNEJGLFVBQVVWLFNBQVMsQ0FBQ1c7UUFFdEQsSUFBSSxDQUFDQywyQkFBMkI7WUFDOUIsT0FBTztRQUNUO0lBQ0Y7QUFDRjtBQUVPLFNBQVMzQixtQkFBbUI0QixVQUFVO0lBQzNDbkIsU0FBU21CLFlBQVksQ0FBQ0MsWUFBWUM7UUFDaEMsTUFBTUMsOEJBQThCRixXQUFXZCxTQUFTLENBQUNlO1FBRXpELElBQUksQ0FBQ0MsNkJBQTZCO1lBQ2hDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTbkMsbUJBQW1Cb0MsVUFBVTtJQUMzQ3ZCLFNBQVN1QixZQUFZLENBQUNDLFlBQVlDO1FBQ2hDLE1BQU1DLDhCQUE4QkYsV0FBV2xCLFNBQVMsQ0FBQ21CO1FBRXpELElBQUksQ0FBQ0MsNkJBQTZCO1lBQ2hDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTN0IsbUJBQW1COEIsVUFBVTtJQUMzQzNCLFNBQVMyQixZQUFZLENBQUNDLFlBQVlDO1FBQ2hDLE1BQU1DLDhCQUE4QkYsV0FBV3RCLFNBQVMsQ0FBQ3VCO1FBRXpELElBQUksQ0FBQ0MsNkJBQTZCO1lBQ2hDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTbEMsbUJBQW1CbUMsVUFBVTtJQUMzQy9CLFNBQVMrQixZQUFZLENBQUNDLFlBQVlDO1FBQ2hDLE1BQU1DLDhCQUE4QkYsV0FBVzFCLFNBQVMsQ0FBQzJCO1FBRXpELElBQUksQ0FBQ0MsNkJBQTZCO1lBQ2hDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTdkMsbUJBQW1Cd0MsVUFBVTtJQUMzQ25DLFNBQVNtQyxZQUFZLENBQUNDLFlBQVlDO1FBQ2hDLE1BQU1DLDhCQUE4QkYsV0FBVzlCLFNBQVMsQ0FBQytCO1FBRXpELElBQUksQ0FBQ0MsNkJBQTZCO1lBQ2hDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTbEQsb0JBQW9CbUQsV0FBVztJQUM3Q3ZDLFNBQVN1QyxhQUFhLENBQUNDLGFBQWFDO1FBQ2xDLE1BQU1DLGdDQUFnQ0YsWUFBWWxDLFNBQVMsQ0FBQ21DO1FBRTVELElBQUksQ0FBQ0MsK0JBQStCO1lBQ2xDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTbEQsc0JBQXNCbUQsYUFBYTtJQUNqRDNDLFNBQVMyQyxlQUFlLENBQUNDLGVBQWVDO1FBQ3RDLE1BQU1DLG9DQUFvQ0YsY0FBY3RDLFNBQVMsQ0FBQ3VDO1FBRWxFLElBQUksQ0FBQ0MsbUNBQW1DO1lBQ3RDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTaEQsc0JBQXNCaUQsYUFBYTtJQUNqRC9DLFNBQVMrQyxlQUFlLENBQUNDLGVBQWVDO1FBQ3RDLE1BQU1DLG9DQUFvQ0YsY0FBYzFDLFNBQVMsQ0FBQzJDO1FBRWxFLElBQUksQ0FBQ0MsbUNBQW1DO1lBQ3RDLE9BQU87UUFDVDtJQUNGO0FBQ0Y7QUFFTyxTQUFTeEQsMEJBQTBCeUQsaUJBQWlCO0lBQ3pEbkQsU0FBU21ELG1CQUFtQixDQUFDQyxtQkFBbUJDO1FBQzlDLE1BQU1DLDRDQUE0Q0Ysa0JBQWtCOUMsU0FBUyxDQUFDK0M7UUFFOUUsSUFBSSxDQUFDQywyQ0FBMkM7WUFDOUMsT0FBTztRQUNUO0lBQ0Y7QUFDRiJ9

package/lib/utilities/type.js

@@ -1,27 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "baseTypeFromNothing", {
-    enumerable: true,
-    get: function() {
-        return baseTypeFromNothing;
-    }
-});
-const _elements = /*#__PURE__*/ _interop_require_default(require("../elements"));
-const _constants = require("../constants");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-let baseType = null;
-function baseTypeFromNothing() {
-    if (baseType === null) {
-        const { Type } = _elements.default, name = _constants.BASE_TYPE_SYMBOL, context = null;
-        baseType = Type.fromName(name, context);
-    }
-    return baseType;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvdHlwZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IGVsZW1lbnRzIGZyb20gXCIuLi9lbGVtZW50c1wiO1xuXG5pbXBvcnQgeyBCQVNFX1RZUEVfU1lNQk9MIH0gZnJvbSBcIi4uL2NvbnN0YW50c1wiO1xuXG5sZXQgYmFzZVR5cGUgPSBudWxsO1xuXG5leHBvcnQgZnVuY3Rpb24gYmFzZVR5cGVGcm9tTm90aGluZygpIHtcbiAgaWYgKGJhc2VUeXBlID09PSBudWxsKSB7XG4gICAgY29uc3QgeyBUeXBlIH0gPSBlbGVtZW50cyxcbiAgICAgICAgICBuYW1lID0gQkFTRV9UWVBFX1NZTUJPTCwgIC8vL1xuICAgICAgICAgIGNvbnRleHQgPSBudWxsO1xuXG4gICAgYmFzZVR5cGUgPSBUeXBlLmZyb21OYW1lKG5hbWUsIGNvbnRleHQpO1xuICB9XG5cbiAgcmV0dXJuIGJhc2VUeXBlO1xufVxuIl0sIm5hbWVzIjpbImJhc2VUeXBlRnJvbU5vdGhpbmciLCJiYXNlVHlwZSIsIlR5cGUiLCJlbGVtZW50cyIsIm5hbWUiLCJCQVNFX1RZUEVfU1lNQk9MIiwiY29udGV4dCIsImZyb21OYW1lIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFRZ0JBOzs7ZUFBQUE7OztpRUFOSzsyQkFFWTs7Ozs7O0FBRWpDLElBQUlDLFdBQVc7QUFFUixTQUFTRDtJQUNkLElBQUlDLGFBQWEsTUFBTTtRQUNyQixNQUFNLEVBQUVDLElBQUksRUFBRSxHQUFHQyxpQkFBUSxFQUNuQkMsT0FBT0MsMkJBQWdCLEVBQ3ZCQyxVQUFVO1FBRWhCTCxXQUFXQyxLQUFLSyxRQUFRLENBQUNILE1BQU1FO0lBQ2pDO0lBRUEsT0FBT0w7QUFDVCJ9

package/src/context/aphasic.js

@@ -1,15 +0,0 @@
-"use strict";
-
-import Context from "../context";
-
-export default class AphasicContext extends Context {
-  addAssignment(assignment) {
-    ///
-  }
-
-  static fromNothing(context) {
-    const aphasicContext = new AphasicContext(context);
-
-    return aphasicContext;
-  }
-}