occam-verify-cli 1.0.781 → 1.0.787

package/src/utilities/json.js

@@ -703,22 +703,6 @@ export function propertyRelationsFromJSON(json, context) {
   return propertyRelations;
 }
 
-export function metaLevelSubstitutionsFromJSON(json, context) {
-  let { metaLevelSubstitutions } = json;  ///
-
-  const { MetaLevelSubstitution } = elements,
-        metaLevelSubstitutionsJSON = metaLevelSubstitutions; ///
-
-  metaLevelSubstitutions = metaLevelSubstitutionsJSON.map((metaLevelSubstitutionJSON) => {
-    const json = metaLevelSubstitutionJSON,  ///
-          metaLevelSubstitution = MetaLevelSubstitution.fromJSON(json, context);
-
-    return metaLevelSubstitution;
-  });
-
-  return metaLevelSubstitutions;
-}
-
 export function nameToNameJSON(name) {
   const nameJSON = name;  ///
 
@@ -1127,16 +1111,6 @@ export function propertyRelationsToPropertyRelationsJSON(propertyRelations) {
   return propertyRelationsJSON;
 }
 
-export function metaLevelSubstitutionsToMetaLevelSubstitutionsJSON(metaLevelSubstitutions) {
-  const metaLevelSubstitutionsJSON = metaLevelSubstitutions.map((metaLevelSubstitution) => {
-    const metaLevelSubstitutionJSON = metaLevelSubstitution.toJSON();
-
-    return metaLevelSubstitutionJSON;
-  });
-
-  return metaLevelSubstitutionsJSON;
-}
-
 function findTypeByName(name, context) {
   const typeName = name,  ///
         type = context.findTypeByTypeName(typeName);

package/src/utilities/string.js

@@ -117,20 +117,6 @@ export function suppositionsStringFromSuppositions(suppositions) {
   return suppositionsString;
 }
 
-export function metaLevelSubstitutionsStringFromMetaLevelSubstitutions(metaLevelSubstitutions) {
-  const metaLevelSubstitutionsString = metaLevelSubstitutions.reduce((metaLevelSubstitutionsString, metaLevelSubstitution) => {
-    const metaLevelSubstitutionString = metaLevelSubstitution.getString();
-
-    metaLevelSubstitutionsString = (metaLevelSubstitutionsString === null) ?
-                                     metaLevelSubstitutionString: ///
-                                      `${metaLevelSubstitutionsString}, ${metaLevelSubstitutionString}`;
-
-    return metaLevelSubstitutionsString;
-  }, null);
-
-  return metaLevelSubstitutionsString;
-}
-
 export function signatureStringFromTerms(terms) {
   const termsString = termsStringFromTerms(terms),
         signatureString = `[${termsString}]`;
@@ -151,6 +137,14 @@ export function typeStringFromNominalTypeName(nominalTypeName) {
   return typeString;
 }
 
+export function assumptionStringFromStatementAndReference(statement, reference) {
+  const statementString = statement.getString(),
+        referneceString = reference.getString(),
+        assumptionString = `${referneceString} :: ${statementString}`;
+
+  return assumptionString;
+}
+
 export function termSubstitutionStringFromTermAndVariable(term, variable) {
   const termString = term.getString(),
         variableString = variable.getString(),
@@ -198,14 +192,6 @@ export function frameSubstitutionStringFromFrameAndMetavariable(frame, metavaria
   return string;
 }
 
-export function metaLevelSubstitutionStringFromStatementAndReference(statement, reference) {
-  const statementString = statement.getString(),
-        referenceString = reference.getString(),
-        metaLevelSubstitutionString = `[${statementString} for ${referenceString}]`;
-
-  return metaLevelSubstitutionString;
-}
-
 export function procedureCallStringFromProcedureReferenceAndParameters(procedureReference, parameters) {
   const procedureReferenceName = procedureReference.getName(),
         parametersString = parametersStringFromParameters(parameters),

package/src/utilities/unification.js

@@ -55,17 +55,17 @@ async function unifyStatementWithReference(statement, reference, satisfiesAssert
         statementUnifiesWithReference = true;
       }
     } else {
-      const metaLevelSubstitutions = context.hasMetaLevelSubstitutions();
+      const metaLevel = context.isMetaLevel();
 
-      if (metaLevelSubstitutions) {
-        const { MetaLevelSubstitution } = elements,
-              metaLevelSubstitution = MetaLevelSubstitution.fromStatementAndReference(statement, reference, context),
-              generalContext = context, ///
-              specificContext = context;  ///
+      if (metaLevel) {
+        descend((context) => {
+          const { Assumption } = elements,
+                assumption = Assumption.fromStatementAndReference(statement, reference, context);
 
-        metaLevelSubstitution.validate(generalContext, specificContext);
+          assumption.validate(context);
 
-        statementUnifiesWithReference = true;
+          statementUnifiesWithReference = true;
+        }, context);
       }
     }
 

package/lib/element/substitution/metaLevel.js

@@ -1,148 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return _default;
-    }
-});
-const _substitution = /*#__PURE__*/ _interop_require_default(require("../substitution"));
-const _elements = require("../../elements");
-const _instantiate = require("../../process/instantiate");
-const _element = require("../../utilities/element");
-const _string = require("../../utilities/string");
-const _context = require("../../utilities/context");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-const _default = (0, _elements.define)(class MetaLevelSubstitution extends _substitution.default {
-    constructor(context, string, node, targetReference, replacementStatement){
-        super(context, string, node);
-        this.targetReference = targetReference;
-        this.replacementStatement = replacementStatement;
-    }
-    getTargetReference() {
-        return this.targetReference;
-    }
-    getReplacementStatement() {
-        return this.replacementStatement;
-    }
-    getMetaLevelSubstitutionNode() {
-        const node = this.getNode(), metaLevelSubstitutionNode = node; ///
-        return metaLevelSubstitutionNode;
-    }
-    getTargetNode() {
-        const targetReferenceNode = this.targetReference.getNode(), tergetNode = targetReferenceNode; ///
-        return tergetNode;
-    }
-    getReplacementNode() {
-        const replacementStatementNode = this.replacementStatement.getNode(), replacementNode = replacementStatementNode; ///
-        return replacementNode;
-    }
-    matchMetaLevelSubstitutionNode(metaLevelSubstitutionNode) {
-        const node = metaLevelSubstitutionNode, nodeMatches = this.matchNode(node), metaLevelSubstitutionNodeMatches = nodeMatches; ///
-        return metaLevelSubstitutionNodeMatches;
-    }
-    findValidMetaLevelSubstiution(context) {
-        const metaLevelSubstitutionNode = this.getMetaLevelSubstitutionNode(), metaLevelSubstitution = context.findMetaLevelSubstitutionByMetaLevelSubstitutionNode(metaLevelSubstitutionNode), validMetaLevelSubstitution = metaLevelSubstitution; ///
-        return validMetaLevelSubstitution;
-    }
-    validate(generalContext, specificContext) {
-        let metaLevelSubstitution = null;
-        const context = specificContext, metaLevelSubstitutionString = this.getString(); ///
-        context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution...`);
-        const validMetaLevelSubstitution = this.findValidMetaLevelSubstiution(context);
-        if (validMetaLevelSubstitution) {
-            metaLevelSubstitution = validMetaLevelSubstitution; ///
-            context.debug(`...the '${metaLevelSubstitutionString}' meta-level substitution is already valid.`);
-        } else {
-            let validates = false;
-            const targetReferenceValidates = this.validateTargetReference(generalContext, specificContext);
-            if (targetReferenceValidates) {
-                const replacementStatementValidates = this.validateReplacementStatement(generalContext, specificContext);
-                if (replacementStatementValidates) {
-                    validates = true;
-                }
-            }
-            if (validates) {
-                metaLevelSubstitution = this; ///
-                context.addMetaLevelSubstitution(metaLevelSubstitution);
-                context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution.`);
-            }
-        }
-        return metaLevelSubstitution;
-    }
-    validateTargetReference(generalContext, specificContext) {
-        let targetReferenceValidates = false;
-        const context = generalContext, targetReferenceString = this.targetReference.getString(), metaLevelSubstitutionString = this.getString(); ///
-        context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution's '${targetReferenceString}' target reference...`);
-        const targetReference = this.targetReference.validate(context);
-        if (targetReference !== null) {
-            targetReferenceValidates = true;
-        }
-        if (targetReferenceValidates) {
-            context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution's '${targetReferenceString}' target reference...`);
-        }
-        return targetReferenceValidates;
-    }
-    validateReplacementStatement(generalContext, specificContext) {
-        let replacementStatementValidates = false;
-        const context = this.getContext(), replacementStatementString = this.replacementStatement.getString(), metaLevelSubstitutionString = this.getString(); ///
-        context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution's '${replacementStatementString}' replacement statement...`);
-        (0, _context.descend)((context)=>{
-            const replacementStatement = this.replacementStatement.validate(context);
-            if (replacementStatement !== null) {
-                replacementStatementValidates = true;
-            }
-        }, context);
-        if (replacementStatementValidates) {
-            context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution's '${replacementStatementString}' replacement statement.`);
-        }
-        return replacementStatementValidates;
-    }
-    toJSON() {
-        const context = this.getContext();
-        return (0, _context.serialise)((context)=>{
-            const string = this.getString(), json = {
-                context,
-                string
-            };
-            return json;
-        }, context);
-    }
-    static name = "MetaLevelSubstitution";
-    static fromJSON(json, context) {
-        let metaLevelSubstitution;
-        (0, _context.unserialise)((json, context)=>{
-            (0, _context.instantiate)((context)=>{
-                const { string } = json, metaLevelSubstitutionNode = (0, _instantiate.instantiateMetaLevelSubstitution)(string, context), node = metaLevelSubstitutionNode, targetReference = targetReferenceFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context), replacementStatement = replacementStatementFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context);
-                metaLevelSubstitution = new MetaLevelSubstitution(context, string, node, targetReference, replacementStatement);
-            }, context);
-        }, json, context);
-        return metaLevelSubstitution;
-    }
-    static fromStatementAndReference(statement, reference, context) {
-        let metaLevelSubstitution;
-        (0, _context.simplify)((context)=>{
-            (0, _context.instantiate)((context)=>{
-                const metaLevelSubstitutionString = (0, _string.metaLevelSubstitutionStringFromStatementAndReference)(statement, reference), string = metaLevelSubstitutionString, metaLevelSubstitutionNode = (0, _instantiate.instantiateMetaLevelSubstitution)(string, context);
-                metaLevelSubstitution = (0, _element.metaLevelSubstitutionFromMetaLevelSubstitutionNode)(metaLevelSubstitutionNode, context);
-            }, context);
-        }, context);
-        return metaLevelSubstitution;
-    }
-});
-function targetReferenceFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context) {
-    const targetReferenceNode = metaLevelSubstitutionNode.getTargetReferenceNode(), targetReference = context.findReferenceByReferenceNode(targetReferenceNode);
-    return targetReference;
-}
-function replacementStatementFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context) {
-    const replacementStatementNode = metaLevelSubstitutionNode.getReplacementStatementNode(), replacementStatement = context.findStatementByStatementNode(replacementStatementNode);
-    return replacementStatement;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9lbGVtZW50L3N1YnN0aXR1dGlvbi9tZXRhTGV2ZWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBTdWJzdGl0dXRpb24gZnJvbSBcIi4uL3N1YnN0aXR1dGlvblwiO1xuXG5pbXBvcnQgeyBkZWZpbmUgfSBmcm9tIFwiLi4vLi4vZWxlbWVudHNcIjtcbmltcG9ydCB7IGluc3RhbnRpYXRlTWV0YUxldmVsU3Vic3RpdHV0aW9uIH0gZnJvbSBcIi4uLy4uL3Byb2Nlc3MvaW5zdGFudGlhdGVcIjtcbmltcG9ydCB7IG1ldGFMZXZlbFN1YnN0aXR1dGlvbkZyb21NZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlIH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9lbGVtZW50XCI7XG5pbXBvcnQgeyBtZXRhTGV2ZWxTdWJzdGl0dXRpb25TdHJpbmdGcm9tU3RhdGVtZW50QW5kUmVmZXJlbmNlIH0gZnJvbSBcIi4uLy4uL3V0aWxpdGllcy9zdHJpbmdcIjtcbmltcG9ydCB7IGRlc2NlbmQsIHNpbXBsaWZ5LCBzZXJpYWxpc2UsIHVuc2VyaWFsaXNlLCBpbnN0YW50aWF0ZSB9IGZyb20gXCIuLi8uLi91dGlsaXRpZXMvY29udGV4dFwiO1xuXG5leHBvcnQgZGVmYXVsdCBkZWZpbmUoY2xhc3MgTWV0YUxldmVsU3Vic3RpdHV0aW9uIGV4dGVuZHMgU3Vic3RpdHV0aW9uIHtcbiAgY29uc3RydWN0b3IoY29udGV4dCwgc3RyaW5nLCBub2RlLCB0YXJnZXRSZWZlcmVuY2UsIHJlcGxhY2VtZW50U3RhdGVtZW50KSB7XG4gICAgc3VwZXIoY29udGV4dCwgc3RyaW5nLCBub2RlKTtcblxuICAgIHRoaXMudGFyZ2V0UmVmZXJlbmNlID0gdGFyZ2V0UmVmZXJlbmNlO1xuICAgIHRoaXMucmVwbGFjZW1lbnRTdGF0ZW1lbnQgPSByZXBsYWNlbWVudFN0YXRlbWVudDtcbiAgfVxuXG4gIGdldFRhcmdldFJlZmVyZW5jZSgpIHtcbiAgICByZXR1cm4gdGhpcy50YXJnZXRSZWZlcmVuY2U7XG4gIH1cblxuICBnZXRSZXBsYWNlbWVudFN0YXRlbWVudCgpIHtcbiAgICByZXR1cm4gdGhpcy5yZXBsYWNlbWVudFN0YXRlbWVudDtcbiAgfVxuXG4gIGdldE1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUoKSB7XG4gICAgY29uc3Qgbm9kZSA9IHRoaXMuZ2V0Tm9kZSgpLFxuICAgICAgICAgIG1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUgPSBub2RlOyAvLy9cblxuICAgIHJldHVybiBtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlO1xuICB9XG5cbiAgZ2V0VGFyZ2V0Tm9kZSgpIHtcbiAgICBjb25zdCB0YXJnZXRSZWZlcmVuY2VOb2RlID0gdGhpcy50YXJnZXRSZWZlcmVuY2UuZ2V0Tm9kZSgpLFxuICAgICAgICAgIHRlcmdldE5vZGUgPSB0YXJnZXRSZWZlcmVuY2VOb2RlOyAvLy9cblxuICAgIHJldHVybiB0ZXJnZXROb2RlO1xuICB9XG5cbiAgZ2V0UmVwbGFjZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZSA9IHRoaXMucmVwbGFjZW1lbnRTdGF0ZW1lbnQuZ2V0Tm9kZSgpLFxuICAgICAgICAgIHJlcGxhY2VtZW50Tm9kZSA9IHJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZTsgLy8vXG5cbiAgICByZXR1cm4gcmVwbGFjZW1lbnROb2RlO1xuICB9XG5cbiAgbWF0Y2hNZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlKG1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUpIHtcbiAgICBjb25zdCBub2RlID0gbWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZSwgLy8vXG4gICAgICAgICAgbm9kZU1hdGNoZXMgPSB0aGlzLm1hdGNoTm9kZShub2RlKSxcbiAgICAgICAgICBtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlTWF0Y2hlcyA9IG5vZGVNYXRjaGVzOyAvLy9cblxuICAgIHJldHVybiBtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlTWF0Y2hlcztcbiAgfVxuXG4gIGZpbmRWYWxpZE1ldGFMZXZlbFN1YnN0aXV0aW9uKGNvbnRleHQpIHtcbiAgICBjb25zdCBtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlID0gdGhpcy5nZXRNZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlKCksXG4gICAgICAgICAgbWV0YUxldmVsU3Vic3RpdHV0aW9uID0gY29udGV4dC5maW5kTWV0YUxldmVsU3Vic3RpdHV0aW9uQnlNZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlKG1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUpLFxuICAgICAgICAgIHZhbGlkTWV0YUxldmVsU3Vic3RpdHV0aW9uID0gbWV0YUxldmVsU3Vic3RpdHV0aW9uOyAgLy8vXG5cbiAgICByZXR1cm4gdmFsaWRNZXRhTGV2ZWxTdWJzdGl0dXRpb247XG4gIH1cblxuICB2YWxpZGF0ZShnZW5lcmFsQ29udGV4dCwgc3BlY2lmaWNDb250ZXh0KSB7XG4gICAgbGV0IG1ldGFMZXZlbFN1YnN0aXR1dGlvbiA9IG51bGw7XG5cbiAgICBjb25zdCBjb250ZXh0ID0gc3BlY2lmaWNDb250ZXh0LCAgLy8vXG4gICAgICAgICAgbWV0YUxldmVsU3Vic3RpdHV0aW9uU3RyaW5nID0gdGhpcy5nZXRTdHJpbmcoKTsgIC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmFsaWRhdGluZyB0aGUgJyR7bWV0YUxldmVsU3Vic3RpdHV0aW9uU3RyaW5nfScgbWV0YS1sZXZlbCBzdWJzdGl0dXRpb24uLi5gKTtcblxuICAgIGNvbnN0IHZhbGlkTWV0YUxldmVsU3Vic3RpdHV0aW9uID0gdGhpcy5maW5kVmFsaWRNZXRhTGV2ZWxTdWJzdGl1dGlvbihjb250ZXh0KTtcblxuICAgIGlmICh2YWxpZE1ldGFMZXZlbFN1YnN0aXR1dGlvbikge1xuICAgICAgbWV0YUxldmVsU3Vic3RpdHV0aW9uID0gdmFsaWRNZXRhTGV2ZWxTdWJzdGl0dXRpb247ICAvLy9cblxuICAgICAgY29udGV4dC5kZWJ1ZyhgLi4udGhlICcke21ldGFMZXZlbFN1YnN0aXR1dGlvblN0cmluZ30nIG1ldGEtbGV2ZWwgc3Vic3RpdHV0aW9uIGlzIGFscmVhZHkgdmFsaWQuYCk7XG4gICAgfSBlbHNlIHtcbiAgICAgIGxldCB2YWxpZGF0ZXMgPSBmYWxzZTtcblxuICAgICAgY29uc3QgdGFyZ2V0UmVmZXJlbmNlVmFsaWRhdGVzID0gdGhpcy52YWxpZGF0ZVRhcmdldFJlZmVyZW5jZShnZW5lcmFsQ29udGV4dCwgc3BlY2lmaWNDb250ZXh0KTtcblxuICAgICAgaWYgKHRhcmdldFJlZmVyZW5jZVZhbGlkYXRlcykge1xuICAgICAgICBjb25zdCByZXBsYWNlbWVudFN0YXRlbWVudFZhbGlkYXRlcyA9IHRoaXMudmFsaWRhdGVSZXBsYWNlbWVudFN0YXRlbWVudChnZW5lcmFsQ29udGV4dCwgc3BlY2lmaWNDb250ZXh0KTtcblxuICAgICAgICBpZiAocmVwbGFjZW1lbnRTdGF0ZW1lbnRWYWxpZGF0ZXMpIHtcbiAgICAgICAgICB2YWxpZGF0ZXMgPSB0cnVlO1xuICAgICAgICB9XG4gICAgICB9XG5cbiAgICAgIGlmICh2YWxpZGF0ZXMpIHtcbiAgICAgICAgbWV0YUxldmVsU3Vic3RpdHV0aW9uID0gdGhpczsgLy8vXG5cbiAgICAgICAgY29udGV4dC5hZGRNZXRhTGV2ZWxTdWJzdGl0dXRpb24obWV0YUxldmVsU3Vic3RpdHV0aW9uKTtcblxuICAgICAgICBjb250ZXh0LmRlYnVnKGAuLi52YWxpZGF0ZWQgdGhlICcke21ldGFMZXZlbFN1YnN0aXR1dGlvblN0cmluZ30nIG1ldGEtbGV2ZWwgc3Vic3RpdHV0aW9uLmApO1xuICAgICAgfVxuICAgIH1cblxuICAgIHJldHVybiBtZXRhTGV2ZWxTdWJzdGl0dXRpb247XG4gIH1cblxuICB2YWxpZGF0ZVRhcmdldFJlZmVyZW5jZShnZW5lcmFsQ29udGV4dCwgc3BlY2lmaWNDb250ZXh0KSB7XG4gICAgbGV0IHRhcmdldFJlZmVyZW5jZVZhbGlkYXRlcyA9IGZhbHNlO1xuXG4gICAgY29uc3QgY29udGV4dCA9IGdlbmVyYWxDb250ZXh0LCAvLy9cbiAgICAgICAgICB0YXJnZXRSZWZlcmVuY2VTdHJpbmcgPSB0aGlzLnRhcmdldFJlZmVyZW5jZS5nZXRTdHJpbmcoKSxcbiAgICAgICAgICBtZXRhTGV2ZWxTdWJzdGl0dXRpb25TdHJpbmcgPSB0aGlzLmdldFN0cmluZygpOyAgLy8vXG5cbiAgICBjb250ZXh0LnRyYWNlKGBWYWxpZGF0aW5nIHRoZSAnJHttZXRhTGV2ZWxTdWJzdGl0dXRpb25TdHJpbmd9JyBtZXRhLWxldmVsIHN1YnN0aXR1dGlvbidzICcke3RhcmdldFJlZmVyZW5jZVN0cmluZ30nIHRhcmdldCByZWZlcmVuY2UuLi5gKTtcblxuICAgIGNvbnN0IHRhcmdldFJlZmVyZW5jZSA9IHRoaXMudGFyZ2V0UmVmZXJlbmNlLnZhbGlkYXRlKGNvbnRleHQpO1xuXG4gICAgaWYgKHRhcmdldFJlZmVyZW5jZSAhPT0gbnVsbCkge1xuICAgICAgdGFyZ2V0UmVmZXJlbmNlVmFsaWRhdGVzID0gdHJ1ZTtcbiAgICB9XG5cbiAgICBpZiAodGFyZ2V0UmVmZXJlbmNlVmFsaWRhdGVzKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52YWxpZGF0ZWQgdGhlICcke21ldGFMZXZlbFN1YnN0aXR1dGlvblN0cmluZ30nIG1ldGEtbGV2ZWwgc3Vic3RpdHV0aW9uJ3MgJyR7dGFyZ2V0UmVmZXJlbmNlU3RyaW5nfScgdGFyZ2V0IHJlZmVyZW5jZS4uLmApO1xuICAgIH1cblxuICAgIHJldHVybiB0YXJnZXRSZWZlcmVuY2VWYWxpZGF0ZXM7XG4gIH1cblxuICB2YWxpZGF0ZVJlcGxhY2VtZW50U3RhdGVtZW50KGdlbmVyYWxDb250ZXh0LCBzcGVjaWZpY0NvbnRleHQpIHtcbiAgICBsZXQgcmVwbGFjZW1lbnRTdGF0ZW1lbnRWYWxpZGF0ZXMgPSBmYWxzZTtcblxuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKSxcbiAgICAgICAgICByZXBsYWNlbWVudFN0YXRlbWVudFN0cmluZyA9IHRoaXMucmVwbGFjZW1lbnRTdGF0ZW1lbnQuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgbWV0YUxldmVsU3Vic3RpdHV0aW9uU3RyaW5nID0gdGhpcy5nZXRTdHJpbmcoKTsgIC8vL1xuXG4gICAgY29udGV4dC50cmFjZShgVmFsaWRhdGluZyB0aGUgJyR7bWV0YUxldmVsU3Vic3RpdHV0aW9uU3RyaW5nfScgbWV0YS1sZXZlbCBzdWJzdGl0dXRpb24ncyAnJHtyZXBsYWNlbWVudFN0YXRlbWVudFN0cmluZ30nIHJlcGxhY2VtZW50IHN0YXRlbWVudC4uLmApO1xuXG4gICAgZGVzY2VuZCgoY29udGV4dCkgPT4ge1xuICAgICAgY29uc3QgcmVwbGFjZW1lbnRTdGF0ZW1lbnQgPSB0aGlzLnJlcGxhY2VtZW50U3RhdGVtZW50LnZhbGlkYXRlKGNvbnRleHQpO1xuXG4gICAgICBpZiAocmVwbGFjZW1lbnRTdGF0ZW1lbnQgIT09IG51bGwpIHtcbiAgICAgICAgcmVwbGFjZW1lbnRTdGF0ZW1lbnRWYWxpZGF0ZXMgPSB0cnVlO1xuICAgICAgfVxuICAgIH0sIGNvbnRleHQpO1xuXG4gICAgaWYgKHJlcGxhY2VtZW50U3RhdGVtZW50VmFsaWRhdGVzKSB7XG4gICAgICBjb250ZXh0LmRlYnVnKGAuLi52YWxpZGF0ZWQgdGhlICcke21ldGFMZXZlbFN1YnN0aXR1dGlvblN0cmluZ30nIG1ldGEtbGV2ZWwgc3Vic3RpdHV0aW9uJ3MgJyR7cmVwbGFjZW1lbnRTdGF0ZW1lbnRTdHJpbmd9JyByZXBsYWNlbWVudCBzdGF0ZW1lbnQuYCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHJlcGxhY2VtZW50U3RhdGVtZW50VmFsaWRhdGVzO1xuICB9XG5cbiAgdG9KU09OKCkge1xuICAgIGNvbnN0IGNvbnRleHQgPSB0aGlzLmdldENvbnRleHQoKTtcblxuICAgIHJldHVybiBzZXJpYWxpc2UoKGNvbnRleHQpID0+IHtcbiAgICAgIGNvbnN0IHN0cmluZyA9IHRoaXMuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgICBqc29uID0ge1xuICAgICAgICAgICAgICBjb250ZXh0LFxuICAgICAgICAgICAgICBzdHJpbmdcbiAgICAgICAgICAgIH07XG5cbiAgICAgIHJldHVybiBqc29uO1xuICAgIH0sIGNvbnRleHQpO1xuICB9XG5cbiAgc3RhdGljIG5hbWUgPSBcIk1ldGFMZXZlbFN1YnN0aXR1dGlvblwiO1xuXG4gIHN0YXRpYyBmcm9tSlNPTihqc29uLCBjb250ZXh0KSB7XG4gICAgbGV0IG1ldGFMZXZlbFN1YnN0aXR1dGlvbjtcblxuICAgIHVuc2VyaWFsaXNlKChqc29uLCBjb250ZXh0KSA9PiB7XG4gICAgICBpbnN0YW50aWF0ZSgoY29udGV4dCkgPT4ge1xuICAgICAgICBjb25zdCB7IHN0cmluZyB9ID0ganNvbixcbiAgICAgICAgICAgICAgbWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZSA9IGluc3RhbnRpYXRlTWV0YUxldmVsU3Vic3RpdHV0aW9uKHN0cmluZywgY29udGV4dCksXG4gICAgICAgICAgICAgIG5vZGUgPSBtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlLCAvLy9cbiAgICAgICAgICAgICAgdGFyZ2V0UmVmZXJlbmNlID0gdGFyZ2V0UmVmZXJlbmNlRnJvbU1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUobWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZSwgY29udGV4dCksXG4gICAgICAgICAgICAgIHJlcGxhY2VtZW50U3RhdGVtZW50ID0gcmVwbGFjZW1lbnRTdGF0ZW1lbnRGcm9tTWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZShtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlLCBjb250ZXh0KTtcblxuICAgICAgICBtZXRhTGV2ZWxTdWJzdGl0dXRpb24gPSBuZXcgTWV0YUxldmVsU3Vic3RpdHV0aW9uKGNvbnRleHQsIHN0cmluZywgbm9kZSwgdGFyZ2V0UmVmZXJlbmNlLCByZXBsYWNlbWVudFN0YXRlbWVudCk7XG4gICAgICB9LCBjb250ZXh0KTtcbiAgICB9LCBqc29uLCBjb250ZXh0KTtcblxuICAgIHJldHVybiBtZXRhTGV2ZWxTdWJzdGl0dXRpb247XG4gIH1cblxuICBzdGF0aWMgZnJvbVN0YXRlbWVudEFuZFJlZmVyZW5jZShzdGF0ZW1lbnQsIHJlZmVyZW5jZSwgY29udGV4dCkge1xuICAgIGxldCBtZXRhTGV2ZWxTdWJzdGl0dXRpb247XG5cbiAgICBzaW1wbGlmeSgoY29udGV4dCkgPT4ge1xuICAgICAgaW5zdGFudGlhdGUoKGNvbnRleHQpID0+IHtcbiAgICAgICAgY29uc3QgbWV0YUxldmVsU3Vic3RpdHV0aW9uU3RyaW5nID0gbWV0YUxldmVsU3Vic3RpdHV0aW9uU3RyaW5nRnJvbVN0YXRlbWVudEFuZFJlZmVyZW5jZShzdGF0ZW1lbnQsIHJlZmVyZW5jZSksXG4gICAgICAgICAgICAgIHN0cmluZyA9IG1ldGFMZXZlbFN1YnN0aXR1dGlvblN0cmluZywgIC8vL1xuICAgICAgICAgICAgICBtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlID0gaW5zdGFudGlhdGVNZXRhTGV2ZWxTdWJzdGl0dXRpb24oc3RyaW5nLCBjb250ZXh0KTtcblxuICAgICAgICBtZXRhTGV2ZWxTdWJzdGl0dXRpb24gPSBtZXRhTGV2ZWxTdWJzdGl0dXRpb25Gcm9tTWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZShtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlLCBjb250ZXh0KTtcbiAgICAgIH0sIGNvbnRleHQpO1xuICAgIH0sIGNvbnRleHQpO1xuXG4gICAgcmV0dXJuIG1ldGFMZXZlbFN1YnN0aXR1dGlvbjtcbiAgfVxufSk7XG5cbmZ1bmN0aW9uIHRhcmdldFJlZmVyZW5jZUZyb21NZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlKG1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUsIGNvbnRleHQpIHtcbiAgY29uc3QgdGFyZ2V0UmVmZXJlbmNlTm9kZSA9IG1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUuZ2V0VGFyZ2V0UmVmZXJlbmNlTm9kZSgpLFxuICAgICAgICB0YXJnZXRSZWZlcmVuY2UgPSBjb250ZXh0LmZpbmRSZWZlcmVuY2VCeVJlZmVyZW5jZU5vZGUodGFyZ2V0UmVmZXJlbmNlTm9kZSk7XG5cbiAgcmV0dXJuIHRhcmdldFJlZmVyZW5jZTtcbn1cblxuZnVuY3Rpb24gcmVwbGFjZW1lbnRTdGF0ZW1lbnRGcm9tTWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZShtZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlLCBjb250ZXh0KSB7XG4gIGNvbnN0IHJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZSA9IG1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUuZ2V0UmVwbGFjZW1lbnRTdGF0ZW1lbnROb2RlKCksXG4gICAgICAgIHJlcGxhY2VtZW50U3RhdGVtZW50ID0gY29udGV4dC5maW5kU3RhdGVtZW50QnlTdGF0ZW1lbnROb2RlKHJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZSk7XG5cbiAgcmV0dXJuIHJlcGxhY2VtZW50U3RhdGVtZW50O1xufVxuIl0sIm5hbWVzIjpbImRlZmluZSIsIk1ldGFMZXZlbFN1YnN0aXR1dGlvbiIsIlN1YnN0aXR1dGlvbiIsImNvbnRleHQiLCJzdHJpbmciLCJub2RlIiwidGFyZ2V0UmVmZXJlbmNlIiwicmVwbGFjZW1lbnRTdGF0ZW1lbnQiLCJnZXRUYXJnZXRSZWZlcmVuY2UiLCJnZXRSZXBsYWNlbWVudFN0YXRlbWVudCIsImdldE1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUiLCJnZXROb2RlIiwibWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZSIsImdldFRhcmdldE5vZGUiLCJ0YXJnZXRSZWZlcmVuY2VOb2RlIiwidGVyZ2V0Tm9kZSIsImdldFJlcGxhY2VtZW50Tm9kZSIsInJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZSIsInJlcGxhY2VtZW50Tm9kZSIsIm1hdGNoTWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZSIsIm5vZGVNYXRjaGVzIiwibWF0Y2hOb2RlIiwibWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZU1hdGNoZXMiLCJmaW5kVmFsaWRNZXRhTGV2ZWxTdWJzdGl1dGlvbiIsIm1ldGFMZXZlbFN1YnN0aXR1dGlvbiIsImZpbmRNZXRhTGV2ZWxTdWJzdGl0dXRpb25CeU1ldGFMZXZlbFN1YnN0aXR1dGlvbk5vZGUiLCJ2YWxpZE1ldGFMZXZlbFN1YnN0aXR1dGlvbiIsInZhbGlkYXRlIiwiZ2VuZXJhbENvbnRleHQiLCJzcGVjaWZpY0NvbnRleHQiLCJtZXRhTGV2ZWxTdWJzdGl0dXRpb25TdHJpbmciLCJnZXRTdHJpbmciLCJ0cmFjZSIsImRlYnVnIiwidmFsaWRhdGVzIiwidGFyZ2V0UmVmZXJlbmNlVmFsaWRhdGVzIiwidmFsaWRhdGVUYXJnZXRSZWZlcmVuY2UiLCJyZXBsYWNlbWVudFN0YXRlbWVudFZhbGlkYXRlcyIsInZhbGlkYXRlUmVwbGFjZW1lbnRTdGF0ZW1lbnQiLCJhZGRNZXRhTGV2ZWxTdWJzdGl0dXRpb24iLCJ0YXJnZXRSZWZlcmVuY2VTdHJpbmciLCJnZXRDb250ZXh0IiwicmVwbGFjZW1lbnRTdGF0ZW1lbnRTdHJpbmciLCJkZXNjZW5kIiwidG9KU09OIiwic2VyaWFsaXNlIiwianNvbiIsIm5hbWUiLCJmcm9tSlNPTiIsInVuc2VyaWFsaXNlIiwiaW5zdGFudGlhdGUiLCJpbnN0YW50aWF0ZU1ldGFMZXZlbFN1YnN0aXR1dGlvbiIsInRhcmdldFJlZmVyZW5jZUZyb21NZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlIiwicmVwbGFjZW1lbnRTdGF0ZW1lbnRGcm9tTWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZSIsImZyb21TdGF0ZW1lbnRBbmRSZWZlcmVuY2UiLCJzdGF0ZW1lbnQiLCJyZWZlcmVuY2UiLCJzaW1wbGlmeSIsIm1ldGFMZXZlbFN1YnN0aXR1dGlvblN0cmluZ0Zyb21TdGF0ZW1lbnRBbmRSZWZlcmVuY2UiLCJtZXRhTGV2ZWxTdWJzdGl0dXRpb25Gcm9tTWV0YUxldmVsU3Vic3RpdHV0aW9uTm9kZSIsImdldFRhcmdldFJlZmVyZW5jZU5vZGUiLCJmaW5kUmVmZXJlbmNlQnlSZWZlcmVuY2VOb2RlIiwiZ2V0UmVwbGFjZW1lbnRTdGF0ZW1lbnROb2RlIiwiZmluZFN0YXRlbWVudEJ5U3RhdGVtZW50Tm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBVUE7OztlQUFBOzs7cUVBUnlCOzBCQUVGOzZCQUMwQjt5QkFDa0I7d0JBQ0U7eUJBQ0U7Ozs7OztNQUV2RSxXQUFlQSxJQUFBQSxnQkFBTSxFQUFDLE1BQU1DLDhCQUE4QkMscUJBQVk7SUFDcEUsWUFBWUMsT0FBTyxFQUFFQyxNQUFNLEVBQUVDLElBQUksRUFBRUMsZUFBZSxFQUFFQyxvQkFBb0IsQ0FBRTtRQUN4RSxLQUFLLENBQUNKLFNBQVNDLFFBQVFDO1FBRXZCLElBQUksQ0FBQ0MsZUFBZSxHQUFHQTtRQUN2QixJQUFJLENBQUNDLG9CQUFvQixHQUFHQTtJQUM5QjtJQUVBQyxxQkFBcUI7UUFDbkIsT0FBTyxJQUFJLENBQUNGLGVBQWU7SUFDN0I7SUFFQUcsMEJBQTBCO1FBQ3hCLE9BQU8sSUFBSSxDQUFDRixvQkFBb0I7SUFDbEM7SUFFQUcsK0JBQStCO1FBQzdCLE1BQU1MLE9BQU8sSUFBSSxDQUFDTSxPQUFPLElBQ25CQyw0QkFBNEJQLE1BQU0sR0FBRztRQUUzQyxPQUFPTztJQUNUO0lBRUFDLGdCQUFnQjtRQUNkLE1BQU1DLHNCQUFzQixJQUFJLENBQUNSLGVBQWUsQ0FBQ0ssT0FBTyxJQUNsREksYUFBYUQscUJBQXFCLEdBQUc7UUFFM0MsT0FBT0M7SUFDVDtJQUVBQyxxQkFBcUI7UUFDbkIsTUFBTUMsMkJBQTJCLElBQUksQ0FBQ1Ysb0JBQW9CLENBQUNJLE9BQU8sSUFDNURPLGtCQUFrQkQsMEJBQTBCLEdBQUc7UUFFckQsT0FBT0M7SUFDVDtJQUVBQywrQkFBK0JQLHlCQUF5QixFQUFFO1FBQ3hELE1BQU1QLE9BQU9PLDJCQUNQUSxjQUFjLElBQUksQ0FBQ0MsU0FBUyxDQUFDaEIsT0FDN0JpQixtQ0FBbUNGLGFBQWEsR0FBRztRQUV6RCxPQUFPRTtJQUNUO0lBRUFDLDhCQUE4QnBCLE9BQU8sRUFBRTtRQUNyQyxNQUFNUyw0QkFBNEIsSUFBSSxDQUFDRiw0QkFBNEIsSUFDN0RjLHdCQUF3QnJCLFFBQVFzQixvREFBb0QsQ0FBQ2IsNEJBQ3JGYyw2QkFBNkJGLHVCQUF3QixHQUFHO1FBRTlELE9BQU9FO0lBQ1Q7SUFFQUMsU0FBU0MsY0FBYyxFQUFFQyxlQUFlLEVBQUU7UUFDeEMsSUFBSUwsd0JBQXdCO1FBRTVCLE1BQU1yQixVQUFVMEIsaUJBQ1ZDLDhCQUE4QixJQUFJLENBQUNDLFNBQVMsSUFBSyxHQUFHO1FBRTFENUIsUUFBUTZCLEtBQUssQ0FBQyxDQUFDLGdCQUFnQixFQUFFRiw0QkFBNEIsNEJBQTRCLENBQUM7UUFFMUYsTUFBTUosNkJBQTZCLElBQUksQ0FBQ0gsNkJBQTZCLENBQUNwQjtRQUV0RSxJQUFJdUIsNEJBQTRCO1lBQzlCRix3QkFBd0JFLDRCQUE2QixHQUFHO1lBRXhEdkIsUUFBUThCLEtBQUssQ0FBQyxDQUFDLFFBQVEsRUFBRUgsNEJBQTRCLDJDQUEyQyxDQUFDO1FBQ25HLE9BQU87WUFDTCxJQUFJSSxZQUFZO1lBRWhCLE1BQU1DLDJCQUEyQixJQUFJLENBQUNDLHVCQUF1QixDQUFDUixnQkFBZ0JDO1lBRTlFLElBQUlNLDBCQUEwQjtnQkFDNUIsTUFBTUUsZ0NBQWdDLElBQUksQ0FBQ0MsNEJBQTRCLENBQUNWLGdCQUFnQkM7Z0JBRXhGLElBQUlRLCtCQUErQjtvQkFDakNILFlBQVk7Z0JBQ2Q7WUFDRjtZQUVBLElBQUlBLFdBQVc7Z0JBQ2JWLHdCQUF3QixJQUFJLEVBQUUsR0FBRztnQkFFakNyQixRQUFRb0Msd0JBQXdCLENBQUNmO2dCQUVqQ3JCLFFBQVE4QixLQUFLLENBQUMsQ0FBQyxrQkFBa0IsRUFBRUgsNEJBQTRCLDBCQUEwQixDQUFDO1lBQzVGO1FBQ0Y7UUFFQSxPQUFPTjtJQUNUO0lBRUFZLHdCQUF3QlIsY0FBYyxFQUFFQyxlQUFlLEVBQUU7UUFDdkQsSUFBSU0sMkJBQTJCO1FBRS9CLE1BQU1oQyxVQUFVeUIsZ0JBQ1ZZLHdCQUF3QixJQUFJLENBQUNsQyxlQUFlLENBQUN5QixTQUFTLElBQ3RERCw4QkFBOEIsSUFBSSxDQUFDQyxTQUFTLElBQUssR0FBRztRQUUxRDVCLFFBQVE2QixLQUFLLENBQUMsQ0FBQyxnQkFBZ0IsRUFBRUYsNEJBQTRCLDZCQUE2QixFQUFFVSxzQkFBc0IscUJBQXFCLENBQUM7UUFFeEksTUFBTWxDLGtCQUFrQixJQUFJLENBQUNBLGVBQWUsQ0FBQ3FCLFFBQVEsQ0FBQ3hCO1FBRXRELElBQUlHLG9CQUFvQixNQUFNO1lBQzVCNkIsMkJBQTJCO1FBQzdCO1FBRUEsSUFBSUEsMEJBQTBCO1lBQzVCaEMsUUFBUThCLEtBQUssQ0FBQyxDQUFDLGtCQUFrQixFQUFFSCw0QkFBNEIsNkJBQTZCLEVBQUVVLHNCQUFzQixxQkFBcUIsQ0FBQztRQUM1STtRQUVBLE9BQU9MO0lBQ1Q7SUFFQUcsNkJBQTZCVixjQUFjLEVBQUVDLGVBQWUsRUFBRTtRQUM1RCxJQUFJUSxnQ0FBZ0M7UUFFcEMsTUFBTWxDLFVBQVUsSUFBSSxDQUFDc0MsVUFBVSxJQUN6QkMsNkJBQTZCLElBQUksQ0FBQ25DLG9CQUFvQixDQUFDd0IsU0FBUyxJQUNoRUQsOEJBQThCLElBQUksQ0FBQ0MsU0FBUyxJQUFLLEdBQUc7UUFFMUQ1QixRQUFRNkIsS0FBSyxDQUFDLENBQUMsZ0JBQWdCLEVBQUVGLDRCQUE0Qiw2QkFBNkIsRUFBRVksMkJBQTJCLDBCQUEwQixDQUFDO1FBRWxKQyxJQUFBQSxnQkFBTyxFQUFDLENBQUN4QztZQUNQLE1BQU1JLHVCQUF1QixJQUFJLENBQUNBLG9CQUFvQixDQUFDb0IsUUFBUSxDQUFDeEI7WUFFaEUsSUFBSUkseUJBQXlCLE1BQU07Z0JBQ2pDOEIsZ0NBQWdDO1lBQ2xDO1FBQ0YsR0FBR2xDO1FBRUgsSUFBSWtDLCtCQUErQjtZQUNqQ2xDLFFBQVE4QixLQUFLLENBQUMsQ0FBQyxrQkFBa0IsRUFBRUgsNEJBQTRCLDZCQUE2QixFQUFFWSwyQkFBMkIsd0JBQXdCLENBQUM7UUFDcEo7UUFFQSxPQUFPTDtJQUNUO0lBRUFPLFNBQVM7UUFDUCxNQUFNekMsVUFBVSxJQUFJLENBQUNzQyxVQUFVO1FBRS9CLE9BQU9JLElBQUFBLGtCQUFTLEVBQUMsQ0FBQzFDO1lBQ2hCLE1BQU1DLFNBQVMsSUFBSSxDQUFDMkIsU0FBUyxJQUN2QmUsT0FBTztnQkFDTDNDO2dCQUNBQztZQUNGO1lBRU4sT0FBTzBDO1FBQ1QsR0FBRzNDO0lBQ0w7SUFFQSxPQUFPNEMsT0FBTyx3QkFBd0I7SUFFdEMsT0FBT0MsU0FBU0YsSUFBSSxFQUFFM0MsT0FBTyxFQUFFO1FBQzdCLElBQUlxQjtRQUVKeUIsSUFBQUEsb0JBQVcsRUFBQyxDQUFDSCxNQUFNM0M7WUFDakIrQyxJQUFBQSxvQkFBVyxFQUFDLENBQUMvQztnQkFDWCxNQUFNLEVBQUVDLE1BQU0sRUFBRSxHQUFHMEMsTUFDYmxDLDRCQUE0QnVDLElBQUFBLDZDQUFnQyxFQUFDL0MsUUFBUUQsVUFDckVFLE9BQU9PLDJCQUNQTixrQkFBa0I4Qyw2Q0FBNkN4QywyQkFBMkJULFVBQzFGSSx1QkFBdUI4QyxrREFBa0R6QywyQkFBMkJUO2dCQUUxR3FCLHdCQUF3QixJQUFJdkIsc0JBQXNCRSxTQUFTQyxRQUFRQyxNQUFNQyxpQkFBaUJDO1lBQzVGLEdBQUdKO1FBQ0wsR0FBRzJDLE1BQU0zQztRQUVULE9BQU9xQjtJQUNUO0lBRUEsT0FBTzhCLDBCQUEwQkMsU0FBUyxFQUFFQyxTQUFTLEVBQUVyRCxPQUFPLEVBQUU7UUFDOUQsSUFBSXFCO1FBRUppQyxJQUFBQSxpQkFBUSxFQUFDLENBQUN0RDtZQUNSK0MsSUFBQUEsb0JBQVcsRUFBQyxDQUFDL0M7Z0JBQ1gsTUFBTTJCLDhCQUE4QjRCLElBQUFBLDREQUFvRCxFQUFDSCxXQUFXQyxZQUM5RnBELFNBQVMwQiw2QkFDVGxCLDRCQUE0QnVDLElBQUFBLDZDQUFnQyxFQUFDL0MsUUFBUUQ7Z0JBRTNFcUIsd0JBQXdCbUMsSUFBQUEsMkRBQWtELEVBQUMvQywyQkFBMkJUO1lBQ3hHLEdBQUdBO1FBQ0wsR0FBR0E7UUFFSCxPQUFPcUI7SUFDVDtBQUNGO0FBRUEsU0FBUzRCLDZDQUE2Q3hDLHlCQUF5QixFQUFFVCxPQUFPO0lBQ3RGLE1BQU1XLHNCQUFzQkYsMEJBQTBCZ0Qsc0JBQXNCLElBQ3RFdEQsa0JBQWtCSCxRQUFRMEQsNEJBQTRCLENBQUMvQztJQUU3RCxPQUFPUjtBQUNUO0FBRUEsU0FBUytDLGtEQUFrRHpDLHlCQUF5QixFQUFFVCxPQUFPO0lBQzNGLE1BQU1jLDJCQUEyQkwsMEJBQTBCa0QsMkJBQTJCLElBQ2hGdkQsdUJBQXVCSixRQUFRNEQsNEJBQTRCLENBQUM5QztJQUVsRSxPQUFPVjtBQUNUIn0=

package/lib/node/substitution/metaLevel.js

@@ -1,40 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return MetaLevelSubstitutionNode;
-    }
-});
-const _substitution = /*#__PURE__*/ _interop_require_default(require("../../node/substitution"));
-const _ruleNames = require("../../ruleNames");
-function _interop_require_default(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-class MetaLevelSubstitutionNode extends _substitution.default {
-    getTargetReferenceNode() {
-        const referenceNode = this.getReferenceNode(), targetReferenceNode = referenceNode; ///
-        return targetReferenceNode;
-    }
-    getReplacementStatementNode() {
-        const statementNode = this.getStatementNode(), replacementStatementNode = statementNode; ///
-        return replacementStatementNode;
-    }
-    getReferenceNode() {
-        const ruleName = _ruleNames.REFERENCE_RULE_NAME, referenceNode = this.getNodeByRuleName(ruleName);
-        return referenceNode;
-    }
-    getStatementNode() {
-        const ruleName = _ruleNames.STATEMENT_RULE_NAME, statementNode = this.getFirstNodeByRuleName(ruleName);
-        return statementNode;
-    }
-    static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
-        return _substitution.default.fromRuleNameChildNodesOpacityAndPrecedence(MetaLevelSubstitutionNode, ruleName, childNodes, opacity, precedence);
-    }
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9ub2RlL3N1YnN0aXR1dGlvbi9tZXRhTGV2ZWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBTdWJzdGl0dXRpb25Ob2RlIGZyb20gXCIuLi8uLi9ub2RlL3N1YnN0aXR1dGlvblwiO1xuXG5pbXBvcnQgeyBTVEFURU1FTlRfUlVMRV9OQU1FLCBSRUZFUkVOQ0VfUlVMRV9OQU1FIH0gZnJvbSBcIi4uLy4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBNZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlIGV4dGVuZHMgU3Vic3RpdHV0aW9uTm9kZSB7XG4gIGdldFRhcmdldFJlZmVyZW5jZU5vZGUoKSB7XG4gICAgY29uc3QgcmVmZXJlbmNlTm9kZSA9IHRoaXMuZ2V0UmVmZXJlbmNlTm9kZSgpLFxuICAgICAgICAgIHRhcmdldFJlZmVyZW5jZU5vZGUgPSByZWZlcmVuY2VOb2RlOyAvLy9cblxuICAgIHJldHVybiB0YXJnZXRSZWZlcmVuY2VOb2RlO1xuICB9XG5cbiAgZ2V0UmVwbGFjZW1lbnRTdGF0ZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHN0YXRlbWVudE5vZGUgPSB0aGlzLmdldFN0YXRlbWVudE5vZGUoKSxcbiAgICAgICAgICByZXBsYWNlbWVudFN0YXRlbWVudE5vZGUgPSBzdGF0ZW1lbnROb2RlOyAvLy9cblxuICAgIHJldHVybiByZXBsYWNlbWVudFN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBnZXRSZWZlcmVuY2VOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgICByZWZlcmVuY2VOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcmVmZXJlbmNlTm9kZTtcbiAgfVxuXG4gIGdldFN0YXRlbWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHN0YXRlbWVudE5vZGUgPSB0aGlzLmdldEZpcnN0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBTdWJzdGl0dXRpb25Ob2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShNZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJNZXRhTGV2ZWxTdWJzdGl0dXRpb25Ob2RlIiwiU3Vic3RpdHV0aW9uTm9kZSIsImdldFRhcmdldFJlZmVyZW5jZU5vZGUiLCJyZWZlcmVuY2VOb2RlIiwiZ2V0UmVmZXJlbmNlTm9kZSIsInRhcmdldFJlZmVyZW5jZU5vZGUiLCJnZXRSZXBsYWNlbWVudFN0YXRlbWVudE5vZGUiLCJzdGF0ZW1lbnROb2RlIiwiZ2V0U3RhdGVtZW50Tm9kZSIsInJlcGxhY2VtZW50U3RhdGVtZW50Tm9kZSIsInJ1bGVOYW1lIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsImdldEZpcnN0Tm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7cUVBSlE7MkJBRTRCOzs7Ozs7QUFFMUMsTUFBTUEsa0NBQWtDQyxxQkFBZ0I7SUFDckVDLHlCQUF5QjtRQUN2QixNQUFNQyxnQkFBZ0IsSUFBSSxDQUFDQyxnQkFBZ0IsSUFDckNDLHNCQUFzQkYsZUFBZSxHQUFHO1FBRTlDLE9BQU9FO0lBQ1Q7SUFFQUMsOEJBQThCO1FBQzVCLE1BQU1DLGdCQUFnQixJQUFJLENBQUNDLGdCQUFnQixJQUNyQ0MsMkJBQTJCRixlQUFlLEdBQUc7UUFFbkQsT0FBT0U7SUFDVDtJQUVBTCxtQkFBbUI7UUFDakIsTUFBTU0sV0FBV0MsOEJBQW1CLEVBQzlCUixnQkFBZ0IsSUFBSSxDQUFDUyxpQkFBaUIsQ0FBQ0Y7UUFFN0MsT0FBT1A7SUFDVDtJQUVBSyxtQkFBbUI7UUFDakIsTUFBTUUsV0FBV0csOEJBQW1CLEVBQzlCTixnQkFBZ0IsSUFBSSxDQUFDTyxzQkFBc0IsQ0FBQ0o7UUFFbEQsT0FBT0g7SUFDVDtJQUVBLE9BQU9RLDJDQUEyQ0wsUUFBUSxFQUFFTSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT2pCLHFCQUFnQixDQUFDYywwQ0FBMEMsQ0FBQ2YsMkJBQTJCVSxVQUFVTSxZQUFZQyxTQUFTQztJQUFhO0FBQzNPIn0=

package/src/element/substitution/metaLevel.js

@@ -1,212 +0,0 @@
-"use strict";
-
-import Substitution from "../substitution";
-
-import { define } from "../../elements";
-import { instantiateMetaLevelSubstitution } from "../../process/instantiate";
-import { metaLevelSubstitutionFromMetaLevelSubstitutionNode } from "../../utilities/element";
-import { metaLevelSubstitutionStringFromStatementAndReference } from "../../utilities/string";
-import { descend, simplify, serialise, unserialise, instantiate } from "../../utilities/context";
-
-export default define(class MetaLevelSubstitution extends Substitution {
-  constructor(context, string, node, targetReference, replacementStatement) {
-    super(context, string, node);
-
-    this.targetReference = targetReference;
-    this.replacementStatement = replacementStatement;
-  }
-
-  getTargetReference() {
-    return this.targetReference;
-  }
-
-  getReplacementStatement() {
-    return this.replacementStatement;
-  }
-
-  getMetaLevelSubstitutionNode() {
-    const node = this.getNode(),
-          metaLevelSubstitutionNode = node; ///
-
-    return metaLevelSubstitutionNode;
-  }
-
-  getTargetNode() {
-    const targetReferenceNode = this.targetReference.getNode(),
-          tergetNode = targetReferenceNode; ///
-
-    return tergetNode;
-  }
-
-  getReplacementNode() {
-    const replacementStatementNode = this.replacementStatement.getNode(),
-          replacementNode = replacementStatementNode; ///
-
-    return replacementNode;
-  }
-
-  matchMetaLevelSubstitutionNode(metaLevelSubstitutionNode) {
-    const node = metaLevelSubstitutionNode, ///
-          nodeMatches = this.matchNode(node),
-          metaLevelSubstitutionNodeMatches = nodeMatches; ///
-
-    return metaLevelSubstitutionNodeMatches;
-  }
-
-  findValidMetaLevelSubstiution(context) {
-    const metaLevelSubstitutionNode = this.getMetaLevelSubstitutionNode(),
-          metaLevelSubstitution = context.findMetaLevelSubstitutionByMetaLevelSubstitutionNode(metaLevelSubstitutionNode),
-          validMetaLevelSubstitution = metaLevelSubstitution;  ///
-
-    return validMetaLevelSubstitution;
-  }
-
-  validate(generalContext, specificContext) {
-    let metaLevelSubstitution = null;
-
-    const context = specificContext,  ///
-          metaLevelSubstitutionString = this.getString();  ///
-
-    context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution...`);
-
-    const validMetaLevelSubstitution = this.findValidMetaLevelSubstiution(context);
-
-    if (validMetaLevelSubstitution) {
-      metaLevelSubstitution = validMetaLevelSubstitution;  ///
-
-      context.debug(`...the '${metaLevelSubstitutionString}' meta-level substitution is already valid.`);
-    } else {
-      let validates = false;
-
-      const targetReferenceValidates = this.validateTargetReference(generalContext, specificContext);
-
-      if (targetReferenceValidates) {
-        const replacementStatementValidates = this.validateReplacementStatement(generalContext, specificContext);
-
-        if (replacementStatementValidates) {
-          validates = true;
-        }
-      }
-
-      if (validates) {
-        metaLevelSubstitution = this; ///
-
-        context.addMetaLevelSubstitution(metaLevelSubstitution);
-
-        context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution.`);
-      }
-    }
-
-    return metaLevelSubstitution;
-  }
-
-  validateTargetReference(generalContext, specificContext) {
-    let targetReferenceValidates = false;
-
-    const context = generalContext, ///
-          targetReferenceString = this.targetReference.getString(),
-          metaLevelSubstitutionString = this.getString();  ///
-
-    context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution's '${targetReferenceString}' target reference...`);
-
-    const targetReference = this.targetReference.validate(context);
-
-    if (targetReference !== null) {
-      targetReferenceValidates = true;
-    }
-
-    if (targetReferenceValidates) {
-      context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution's '${targetReferenceString}' target reference...`);
-    }
-
-    return targetReferenceValidates;
-  }
-
-  validateReplacementStatement(generalContext, specificContext) {
-    let replacementStatementValidates = false;
-
-    const context = this.getContext(),
-          replacementStatementString = this.replacementStatement.getString(),
-          metaLevelSubstitutionString = this.getString();  ///
-
-    context.trace(`Validating the '${metaLevelSubstitutionString}' meta-level substitution's '${replacementStatementString}' replacement statement...`);
-
-    descend((context) => {
-      const replacementStatement = this.replacementStatement.validate(context);
-
-      if (replacementStatement !== null) {
-        replacementStatementValidates = true;
-      }
-    }, context);
-
-    if (replacementStatementValidates) {
-      context.debug(`...validated the '${metaLevelSubstitutionString}' meta-level substitution's '${replacementStatementString}' replacement statement.`);
-    }
-
-    return replacementStatementValidates;
-  }
-
-  toJSON() {
-    const context = this.getContext();
-
-    return serialise((context) => {
-      const string = this.getString(),
-            json = {
-              context,
-              string
-            };
-
-      return json;
-    }, context);
-  }
-
-  static name = "MetaLevelSubstitution";
-
-  static fromJSON(json, context) {
-    let metaLevelSubstitution;
-
-    unserialise((json, context) => {
-      instantiate((context) => {
-        const { string } = json,
-              metaLevelSubstitutionNode = instantiateMetaLevelSubstitution(string, context),
-              node = metaLevelSubstitutionNode, ///
-              targetReference = targetReferenceFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context),
-              replacementStatement = replacementStatementFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context);
-
-        metaLevelSubstitution = new MetaLevelSubstitution(context, string, node, targetReference, replacementStatement);
-      }, context);
-    }, json, context);
-
-    return metaLevelSubstitution;
-  }
-
-  static fromStatementAndReference(statement, reference, context) {
-    let metaLevelSubstitution;
-
-    simplify((context) => {
-      instantiate((context) => {
-        const metaLevelSubstitutionString = metaLevelSubstitutionStringFromStatementAndReference(statement, reference),
-              string = metaLevelSubstitutionString,  ///
-              metaLevelSubstitutionNode = instantiateMetaLevelSubstitution(string, context);
-
-        metaLevelSubstitution = metaLevelSubstitutionFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context);
-      }, context);
-    }, context);
-
-    return metaLevelSubstitution;
-  }
-});
-
-function targetReferenceFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context) {
-  const targetReferenceNode = metaLevelSubstitutionNode.getTargetReferenceNode(),
-        targetReference = context.findReferenceByReferenceNode(targetReferenceNode);
-
-  return targetReference;
-}
-
-function replacementStatementFromMetaLevelSubstitutionNode(metaLevelSubstitutionNode, context) {
-  const replacementStatementNode = metaLevelSubstitutionNode.getReplacementStatementNode(),
-        replacementStatement = context.findStatementByStatementNode(replacementStatementNode);
-
-  return replacementStatement;
-}

package/src/node/substitution/metaLevel.js

@@ -1,37 +0,0 @@
-"use strict";
-
-import SubstitutionNode from "../../node/substitution";
-
-import { STATEMENT_RULE_NAME, REFERENCE_RULE_NAME } from "../../ruleNames";
-
-export default class MetaLevelSubstitutionNode extends SubstitutionNode {
-  getTargetReferenceNode() {
-    const referenceNode = this.getReferenceNode(),
-          targetReferenceNode = referenceNode; ///
-
-    return targetReferenceNode;
-  }
-
-  getReplacementStatementNode() {
-    const statementNode = this.getStatementNode(),
-          replacementStatementNode = statementNode; ///
-
-    return replacementStatementNode;
-  }
-
-  getReferenceNode() {
-    const ruleName = REFERENCE_RULE_NAME,
-          referenceNode = this.getNodeByRuleName(ruleName);
-
-    return referenceNode;
-  }
-
-  getStatementNode() {
-    const ruleName = STATEMENT_RULE_NAME,
-          statementNode = this.getFirstNodeByRuleName(ruleName);
-
-    return statementNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return SubstitutionNode.fromRuleNameChildNodesOpacityAndPrecedence(MetaLevelSubstitutionNode, ruleName, childNodes, opacity, precedence); }
-}