occam-verify-cli 0.0.525 → 0.0.527

package/src/verify/statement.js

@@ -2,16 +2,13 @@
 
 import Equality from "../equality";
 import verifyTerm from "../verify/term";
-import equalityCombinator from "../ocmbinator/equality";
 import bracketedCombinator from "../ocmbinator/bracketed";
 import verifyTypeAssertion from "../verify/assertion/type";
 
 import { first } from "../utilities/array";
 import { objectType } from "../type";
-import { nodeAsString } from "../utilities/string";
 import { OBJECT_TYPE_NAME } from "../typeNames";
 import { STATEMENT_META_TYPE } from "../metaTypes";
-import { MAXIMUM_INDEXES_LENGTH } from "../constants";
 import { nodeQuery, typeNameFromTypeNode } from "../utilities/query";
 import { ARGUMENT_RULE_NAME, META_ARGUMENT_RULE_NAME } from "../ruleNames";
 
@@ -27,21 +24,21 @@ export default function verifyStatement(statementNode, assertions, derived, cont
   context.begin(statementNode);
 
   if (!statementVerified) {
-    const statementVerifiedAsEquality = verifyStatementAsEquality(statementNode, derived, context);
+    const statementVerifiedAgainstCombinators = verifyStatementAgainstCombinators(statementNode, context);
 
-    statementVerified = statementVerifiedAsEquality;  //
+    statementVerified = statementVerifiedAgainstCombinators;  ///
   }
 
   if (!statementVerified) {
-    const statementVerifiedAsTypeAssertion = verifyStatementAsTypeAssertion(statementNode, assertions, context);
+    const statementVerifiedAsTypeAssertion = verifyStatementAsTypeAssertion(statementNode, assertions, derived, context);
 
     statementVerified = statementVerifiedAsTypeAssertion; ///
   }
 
   if (!statementVerified) {
-    const statementVerifiedAgainstCombinators = verifyStatementAgainstCombinators(statementNode, context);
+    const statementVerifiedAsEquality = verifyStatementAsEquality(statementNode, derived, context);
 
-    statementVerified = statementVerifiedAgainstCombinators;  ///
+    statementVerified = statementVerifiedAsEquality;  //
   }
 
   statementVerified ?
@@ -51,40 +48,14 @@ export default function verifyStatement(statementNode, assertions, derived, cont
   return statementVerified;
 }
 
-function verifyStatementAsEquality(statementNode, derived, context) {
-  let statementVerifiedAsEquality = false;
-
-  const combinator = equalityCombinator,  ///
-        statementVerifiedAgainstCombinator = verifyStatementAgainstCombinator(statementNode, combinator, context);
-
-  if (statementVerifiedAgainstCombinator) {
-    statementVerifiedAsEquality = true;
-
-    if (derived) {
-      const equality = Equality.fromStatementNode(statementNode),
-            proofSteps = context.getProofSteps(),
-            equalities = equalitiesFromProofSteps(proofSteps),
-            equalityEquates = equality.equate(equalities);
-
-      statementVerifiedAsEquality = equalityEquates; ///
-    }
-  }
-
-  return statementVerifiedAsEquality;
-}
-
-function verifyStatementAsTypeAssertion(statementNode, assertions, context) {
-  let statementVerifiedAsTypeAssertion = false;
-
-  const typeAssertionNode = typeAssertionNodeQuery(statementNode);
-
-  if (typeAssertionNode !== null) {
-    const typeAssertionVerified = verifyTypeAssertion(typeAssertionNode, assertions, context);
-
-    statementVerifiedAsTypeAssertion = typeAssertionVerified; ///
-  }
+export function verifyStatementAgainstCombinator(statementNode, combinator, context) {
+  const combinatorStatementNode = combinator.getStatementNode(),
+        node = statementNode,  ///
+        combinatorNode = combinatorStatementNode, ///
+        nodeVerified = verifyNode(node, combinatorNode, context),
+        statementVerifiedAgainstCombinator = nodeVerified;  ///
 
-  return statementVerifiedAsTypeAssertion;
+  return statementVerifiedAgainstCombinator;
 }
 
 function verifyStatementAgainstCombinators(statementNode, context) {
@@ -112,14 +83,40 @@ function verifyStatementAgainstCombinators(statementNode, context) {
   return statementVerifiedAgainstCombinators;
 }
 
-function verifyStatementAgainstCombinator(statementNode, combinator, context) {
-  const combinatorStatementNode = combinator.getStatementNode(),
-        node = statementNode,  ///
-        combinatorNode = combinatorStatementNode, ///
-        nodeVerified = verifyNode(node, combinatorNode, context),
-        statementVerifiedAgainstCombinator = nodeVerified;  ///
+function verifyStatementAsTypeAssertion(statementNode, assertions, derived, context) {
+  let statementVerifiedAsTypeAssertion = false;
 
-  return statementVerifiedAgainstCombinator;
+  const typeAssertionNode = typeAssertionNodeQuery(statementNode);
+
+  if (typeAssertionNode !== null) {
+    const typeAssertionVerified = verifyTypeAssertion(typeAssertionNode, assertions, derived, context);
+
+    statementVerifiedAsTypeAssertion = typeAssertionVerified; ///
+  }
+
+  return statementVerifiedAsTypeAssertion;
+}
+
+function verifyStatementAsEquality(statementNode, derived, context) {
+  let statementVerifiedAsEquality = false;
+
+  const equality = Equality.fromStatementNode(statementNode, context);
+
+  if (equality !== null) {
+    statementVerifiedAsEquality = true; ///
+
+    if (derived) {
+      const equalities = context.getEqualities();
+
+      if (equalities !== null) {
+        const equalityEquates = equality.equate(equalities, context);
+
+        statementVerifiedAsEquality = equalityEquates; ///
+      }
+    }
+  }
+
+  return statementVerifiedAsEquality;
 }
 
 function verifyNode(node, combinatorNode, context) {
@@ -230,7 +227,7 @@ function verifyArgumentNode(argumentNode, combinatorArgumentNode, context) {
   const termNode = termNodeQuery(argumentNode);
 
   if (termNode === null) {
-    const argumentString = nodeAsString(argumentNode);
+    const argumentString = context.nodeAsString(argumentNode);
 
     context.error(`The ${argumentString} argument should be a term, not a type`);
   } else {
@@ -262,12 +259,12 @@ function verifyMetaargumentNode(metaArgumentNode, combinatorMetaargumentNode, co
   const statementNode = statementNodeQuery(metaArgumentNode);
 
   if (statementNode === null) {
-    const metaArgumentString = nodeAsString(metaArgumentNode);
+    const metaArgumentString = context.nodeAsString(metaArgumentNode);
 
     context.error(`The '${metaArgumentString}' meta-argument should be a statement, not a meta-type.`);
   } else {
     const derived = false,
-          assertions = null,
+          assertions = [],
           statementVerified = verifyStatement(statementNode, assertions, derived, context);
 
     if (statementVerified) {
@@ -282,7 +279,7 @@ function verifyMetaargumentNode(metaArgumentNode, combinatorMetaargumentNode, co
       }
 
       if (!metaArgumentNodeVerified) {
-        const combinatorMetaargumentString = nodeAsString(combinatorMetaargumentNode);
+        const combinatorMetaargumentString = context.nodeAsString(combinatorMetaargumentNode);
 
         context.error(`The '${combinatorMetaargumentString}' combinator meta-argument should be the 'Statement' meta-type.`);
       }
@@ -291,21 +288,3 @@ function verifyMetaargumentNode(metaArgumentNode, combinatorMetaargumentNode, co
 
   return metaArgumentNodeVerified;
 }
-
-function equalitiesFromProofSteps(proofSteps) {
-  const start = -MAXIMUM_INDEXES_LENGTH;  ///
-
-  proofSteps = proofSteps.slice(start); ///
-
-  const equalities = proofSteps.reduce((equalities, proofStep, index) => {
-    const equality = Equality.fromProofStep(proofStep);
-
-    if (equality !== null) {
-      equalities.push(equality);
-    }
-
-    return equalities;
-  }, []);
-
-  return equalities;
-}

package/src/verify/statementAsCombinator.js

@@ -4,7 +4,6 @@ import Combinator from "../combinator";
 import verifyTerm from "../verify/term";
 import verifyStatement from "../verify/statement";
 
-import { nodeAsString } from "../utilities/string";
 import { typeNameFromTypeNode } from "../utilities/query";
 import { TYPE_RULE_NAME, TERM_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
 
@@ -13,7 +12,7 @@ export default function verifyStatementAsCombinator(statementNode, fileContext)
 
   fileContext.begin(statementNode);
 
-  const statementString = nodeAsString(statementNode);
+  const statementString = fileContext.nodeAsString(statementNode);
 
   fileContext.debug(`Verifying the '${statementString}' combinator....`);
 

package/src/verify/supposition.js

@@ -5,7 +5,6 @@ import Supposition from "../supposition";
 import verifyUnqualifiedStatement from "./statement/unqualified";
 
 import { nodeQuery } from "../utilities/query";
-import { nodeAsString } from "../utilities/string";
 
 const statementNodeQuery = nodeQuery("/unqualifiedStatement/statement!"),
       unqualifiedStatementNodeQuery = nodeQuery("/supposition/unqualifiedStatement!");
@@ -15,9 +14,9 @@ export default function verifySupposition(suppositionNode, suppositions, proofCo
 
   proofContext.begin(suppositionNode);
 
-  const suppositionString = nodeAsString(suppositionNode);
+  const suppositionString = proofContext.nodeAsString(suppositionNode);
 
-  proofContext.debug(`Verifying the ${suppositionString} supposition...`);
+  proofContext.debug(`Verifying the '${suppositionString}' supposition...`);
 
   const derived = false,
         assertions = [],

package/src/verify/term.js

@@ -2,7 +2,6 @@
 
 import { first } from "../utilities/array";
 import { objectType } from "../type";
-import { nodeAsString } from "../utilities/string";
 import { OBJECT_TYPE_NAME } from "../typeNames";
 import { ARGUMENT_RULE_NAME } from "../ruleNames";
 import { nodeQuery, typeNameFromTypeNode, variableNameFromVariableNode } from "../utilities/query";
@@ -16,7 +15,7 @@ export default function verifyTerm(termNode, types, context) {
 
   context.begin(termNode);
 
-  const termString = nodeAsString(termNode);
+  const termString = context.nodeAsString(termNode);
 
   context.debug(`Verifying the '${termString}' term...`);
 
@@ -218,7 +217,7 @@ function verifyArgumentNode(argumentNode, constructorArgumentNode, context) {
   const termNode = termNodeQuery(argumentNode);
 
   if (termNode === null) {
-    const argumentString = nodeAsString(argumentNode);
+    const argumentString = context.nodeAsString(argumentNode);
 
     context.error(`The ${argumentString} argument should be a term, not a type`);
   } else {

package/src/verify/termAsConstructor.js

@@ -4,7 +4,6 @@ import verifyTerm from "../verify/term";
 import Constructor from "../constructor";
 
 import { first } from "../utilities/array";
-import { nodeAsString } from "../utilities/string";
 import { nodeQuery, typeNameFromTypeNode } from "../utilities/query";
 import { TERM_RULE_NAME, ARGUMENT_RULE_NAME } from "../ruleNames";
 
@@ -18,7 +17,7 @@ export default function verifyTermAsConstructor(termNode, typeNode, fileContext)
   let type = null;
 
   const nonTerminalNode = termNode,  ///
-        termString = nodeAsString(termNode);
+        termString = fileContext.nodeAsString(termNode);
 
   fileContext.debug(`Verifying the '${termString}' constructor...`);
 
@@ -123,7 +122,7 @@ function verifyNonTerminalNode(nonTerminalNode, fileContext) {
               type = firstType; ///
 
         if (type !== null) {
-          const termString = nodeAsString(termNode);
+          const termString = fileContext.nodeAsString(termNode);
 
           fileContext.error(`The type of the constructor's compound '${termString}' term node is not null.`);
         } else {
@@ -153,7 +152,7 @@ function verifyArgumentNode(argumentNode, fileContext) {
   const typeNode = typeNodeQuery(argumentNode);
 
   if (typeNode === null) {
-    const argumentString = nodeAsString(argumentNode);
+    const argumentString = fileContext.nodeAsString(argumentNode);
 
     fileContext.error(`The ${argumentString} argument should be a type.`);
   } else {

package/src/verify/theorem.js

@@ -8,7 +8,6 @@ import verifySupposition from "./supposition";
 import verifyConsequence from "./consequence";
 
 import { first } from "../utilities/array";
-import { nodesAsString } from "../utilities/string";
 import { nodeQuery, nodesQuery } from "../utilities/query";
 
 const proofNodeQuery = nodeQuery("/theorem/proof!"),
@@ -22,7 +21,7 @@ export default function verifyTheorem(theoremNode, fileContext) {
   fileContext.begin(theoremNode);
 
   const labelNodes = labelNodesQuery(theoremNode),
-        labelsString = nodesAsString(labelNodes),
+        labelsString = fileContext.nodesAsString(labelNodes),
         proofContext = ProofContext.fromFileContext(fileContext);
 
   fileContext.debug(`Verifying the '${labelsString}' theorem...`);

package/src/verify/type.js

@@ -2,7 +2,6 @@
 
 import Type from "../type";
 
-import { nodeAsString } from "../utilities/string";
 import { typeNameFromTypeNode } from "../utilities/query";
 
 export default function verifyType(typeNode, superTypeNode, fileContext) {
@@ -10,7 +9,7 @@ export default function verifyType(typeNode, superTypeNode, fileContext) {
 
   fileContext.begin(typeNode);
 
-  const typeString = nodeAsString(typeNode);
+  const typeString = fileContext.nodeAsString(typeNode);
 
   fileContext.debug(`Verifying the '${typeString}' type...`);
 

package/src/verify/variable.js

@@ -3,7 +3,6 @@
 import Variable from "../variable";
 
 import { objectType } from "../type";
-import { nodeAsString } from "../utilities/string";
 import { typeNameFromTypeNode, variableNameFromVariableNode } from "../utilities/query";
 
 export default function verifyVariable(variableNode, typeNode, fileContext) {
@@ -11,7 +10,7 @@ export default function verifyVariable(variableNode, typeNode, fileContext) {
 
   fileContext.begin(variableNode);
 
-  const variableString = nodeAsString(variableNode);
+  const variableString = fileContext.nodeAsString(variableNode);
 
   fileContext.debug(`Verifying the '${variableString}' variable...`);
 

package/lib/axiomLemmaTheorem.js

@@ -1,190 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", {
-    value: true
-});
-Object.defineProperty(exports, "default", {
-    enumerable: true,
-    get: function() {
-        return AxiomLemmaTheorem;
-    }
-});
-var _label = /*#__PURE__*/ _interopRequireDefault(require("./label"));
-var _supposition = /*#__PURE__*/ _interopRequireDefault(require("./supposition"));
-var _consequence = /*#__PURE__*/ _interopRequireDefault(require("./consequence"));
-var _array = require("./utilities/array");
-function _classCallCheck(instance, Constructor) {
-    if (!(instance instanceof Constructor)) {
-        throw new TypeError("Cannot call a class as a function");
-    }
-}
-function _defineProperties(target, props) {
-    for(var i = 0; i < props.length; i++){
-        var descriptor = props[i];
-        descriptor.enumerable = descriptor.enumerable || false;
-        descriptor.configurable = true;
-        if ("value" in descriptor) descriptor.writable = true;
-        Object.defineProperty(target, descriptor.key, descriptor);
-    }
-}
-function _createClass(Constructor, protoProps, staticProps) {
-    if (protoProps) _defineProperties(Constructor.prototype, protoProps);
-    if (staticProps) _defineProperties(Constructor, staticProps);
-    return Constructor;
-}
-function _interopRequireDefault(obj) {
-    return obj && obj.__esModule ? obj : {
-        default: obj
-    };
-}
-var AxiomLemmaTheorem = /*#__PURE__*/ function() {
-    function AxiomLemmaTheorem(labels, suppositions, consequence) {
-        _classCallCheck(this, AxiomLemmaTheorem);
-        this.labels = labels;
-        this.suppositions = suppositions;
-        this.consequence = consequence;
-    }
-    _createClass(AxiomLemmaTheorem, [
-        {
-            key: "getLabels",
-            value: function getLabels() {
-                return this.labels;
-            }
-        },
-        {
-            key: "getSuppositions",
-            value: function getSuppositions() {
-                return this.suppositions;
-            }
-        },
-        {
-            key: "getConsequence",
-            value: function getConsequence() {
-                return this.consequence;
-            }
-        },
-        {
-            key: "matchLabelName",
-            value: function matchLabelName(labelName) {
-                var matchesLabelName = this.labels.some(function(label) {
-                    var name = labelName, labelMatchesName = label.matchName(name);
-                    if (labelMatchesName) {
-                        return true;
-                    }
-                });
-                return matchesLabelName;
-            }
-        },
-        {
-            key: "matchStatement",
-            value: function matchStatement(statementNode, proofContext) {
-                var _this = this;
-                var statementNatches;
-                var suppositionsLength = this.suppositions.length;
-                if (suppositionsLength === 0) {
-                    var substitutions = [], consequenceMatches = matchConsequence(this.consequence, statementNode, substitutions);
-                    statementNatches = consequenceMatches; ///
-                } else {
-                    var proofSteps = proofContext.getProofSteps();
-                    statementNatches = (0, _array.someSubArray)(proofSteps, suppositionsLength, function(proofSteps) {
-                        var suppositionsMatchConsequence = matchSuppositionsAndConsequence(_this.suppositions, _this.consequence, proofSteps, statementNode);
-                        if (suppositionsMatchConsequence) {
-                            return true;
-                        }
-                    });
-                }
-                return statementNatches;
-            }
-        },
-        {
-            key: "toJSON",
-            value: function toJSON() {
-                var kind = this.constructor.kind, labelsJSON = this.labels.map(function(label) {
-                    var labelJSON = label.toJSON();
-                    return labelJSON;
-                }), suppositionsJSON = this.suppositions.map(function(supposition) {
-                    var suppositionJSON = supposition.toJSON();
-                    return suppositionJSON;
-                }), consequenceJSON = this.consequence.toJSON(), labels = labelsJSON, suppositions = suppositionsJSON, consequence = consequenceJSON, json = {
-                    kind: kind,
-                    labels: labels,
-                    suppositions: suppositions,
-                    consequence: consequence
-                };
-                return json;
-            }
-        }
-    ], [
-        {
-            key: "fromJSON",
-            value: function fromJSON(Class, json, releaseContext) {
-                var labels = json.labels;
-                var labelsJSON = labels; ///
-                labels = labelsJSON.map(function(labelJSON) {
-                    var _$json = labelJSON, label = _label.default.fromJSON(_$json, releaseContext);
-                    return label;
-                });
-                var suppositions = json.suppositions;
-                var suppositionsJSON = suppositions; ///
-                suppositions = suppositionsJSON.map(function(suppositionJSON) {
-                    var _$json = suppositionJSON, supposition = _supposition.default.fromJSON(_$json, releaseContext);
-                    return supposition;
-                });
-                var consequence = json.consequence;
-                var consequenceJSON = consequence; ///
-                json = consequenceJSON; ///
-                consequence = _consequence.default.fromJSON(json, releaseContext);
-                return new Class(labels, suppositions, consequence); ///
-            }
-        },
-        {
-            key: "fromLabelsSuppositionsAndConsequence",
-            value: function fromLabelsSuppositionsAndConsequence(Class, labels, suppositions, consequence) {
-                return new Class(labels, suppositions, consequence);
-            }
-        }
-    ]);
-    return AxiomLemmaTheorem;
-}();
-function matchSupposition(supposition, proofSteps, substitutions) {
-    var proofStep = (0, _array.prune)(proofSteps, function(proofStep) {
-        var subproofNode = proofStep.getSubproofNode(), statementNode = proofStep.getStatementNode();
-        if (subproofNode !== null) {
-            var subProofMatches = supposition.matchSubproofNode(subproofNode, substitutions);
-            if (!subProofMatches) {
-                return true;
-            }
-        }
-        if (statementNode !== null) {
-            var statementMatches = supposition.matchStatementNode(statementNode, substitutions);
-            if (!statementMatches) {
-                return true;
-            }
-        }
-    }) || null;
-    var suppositionMatches = proofStep !== null;
-    return suppositionMatches;
-}
-function matchSuppositions(supposition, proofSteps, substitutions) {
-    var suppositionsMatches = supposition.every(function(supposition) {
-        var suppositionMatches = matchSupposition(supposition, proofSteps, substitutions);
-        if (suppositionMatches) {
-            return true;
-        }
-    });
-    return suppositionsMatches;
-}
-function matchConsequence(consequence, statementNode, substitutions) {
-    var nonTerminalNodeMatches = consequence.matchStatementNode(statementNode, substitutions), consequenceMatches = nonTerminalNodeMatches; ///
-    return consequenceMatches;
-}
-function matchSuppositionsAndConsequence(suppositions, consequence, proofSteps, statementNode) {
-    var suppositionsMatchConsequence = false;
-    var substitutions = [], suppositionsMatches = matchSuppositions(suppositions, proofSteps, substitutions);
-    if (suppositionsMatches) {
-        var consequenceMatches = matchConsequence(consequence, statementNode, substitutions);
-        suppositionsMatchConsequence = consequenceMatches; ///
-    }
-    return suppositionsMatchConsequence;
-}
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9heGlvbUxlbW1hVGhlb3JlbS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IExhYmVsIGZyb20gXCIuL2xhYmVsXCI7XG5pbXBvcnQgU3VwcG9zaXRpb24gZnJvbSBcIi4vc3VwcG9zaXRpb25cIjtcbmltcG9ydCBDb25zZXF1ZW5jZSBmcm9tIFwiLi9jb25zZXF1ZW5jZVwiO1xuXG5pbXBvcnQgeyBwcnVuZSB9IGZyb20gXCIuL3V0aWxpdGllcy9hcnJheVwiO1xuaW1wb3J0IHsgc29tZVN1YkFycmF5IH0gZnJvbSBcIi4vdXRpbGl0aWVzL2FycmF5XCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEF4aW9tTGVtbWFUaGVvcmVtIHtcbiAgY29uc3RydWN0b3IobGFiZWxzLCBzdXBwb3NpdGlvbnMsIGNvbnNlcXVlbmNlKSB7XG4gICAgdGhpcy5sYWJlbHMgPSBsYWJlbHM7XG4gICAgdGhpcy5zdXBwb3NpdGlvbnMgPSBzdXBwb3NpdGlvbnM7XG4gICAgdGhpcy5jb25zZXF1ZW5jZSA9IGNvbnNlcXVlbmNlO1xuICB9XG5cbiAgZ2V0TGFiZWxzKCkge1xuICAgIHJldHVybiB0aGlzLmxhYmVscztcbiAgfVxuXG4gIGdldFN1cHBvc2l0aW9ucygpIHtcbiAgICByZXR1cm4gdGhpcy5zdXBwb3NpdGlvbnM7XG4gIH1cblxuICBnZXRDb25zZXF1ZW5jZSgpIHtcbiAgICByZXR1cm4gdGhpcy5jb25zZXF1ZW5jZTtcbiAgfVxuXG4gIG1hdGNoTGFiZWxOYW1lKGxhYmVsTmFtZSkge1xuICAgIGNvbnN0IG1hdGNoZXNMYWJlbE5hbWUgPSB0aGlzLmxhYmVscy5zb21lKChsYWJlbCkgPT4ge1xuICAgICAgY29uc3QgbmFtZSA9IGxhYmVsTmFtZSwgLy8vXG4gICAgICAgICAgICBsYWJlbE1hdGNoZXNOYW1lID0gbGFiZWwubWF0Y2hOYW1lKG5hbWUpO1xuXG4gICAgICBpZiAobGFiZWxNYXRjaGVzTmFtZSkge1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiBtYXRjaGVzTGFiZWxOYW1lO1xuICB9XG5cbiAgbWF0Y2hTdGF0ZW1lbnQoc3RhdGVtZW50Tm9kZSwgcHJvb2ZDb250ZXh0KSB7XG4gICAgbGV0IHN0YXRlbWVudE5hdGNoZXM7XG5cbiAgICBjb25zdCBzdXBwb3NpdGlvbnNMZW5ndGggPSB0aGlzLnN1cHBvc2l0aW9ucy5sZW5ndGg7XG5cbiAgICBpZiAoc3VwcG9zaXRpb25zTGVuZ3RoID09PSAwKSB7XG4gICAgICBjb25zdCBzdWJzdGl0dXRpb25zID0gW10sXG4gICAgICAgICAgICBjb25zZXF1ZW5jZU1hdGNoZXMgPSBtYXRjaENvbnNlcXVlbmNlKHRoaXMuY29uc2VxdWVuY2UsIHN0YXRlbWVudE5vZGUsIHN1YnN0aXR1dGlvbnMpO1xuXG4gICAgICBzdGF0ZW1lbnROYXRjaGVzID0gY29uc2VxdWVuY2VNYXRjaGVzOyAvLy9cbiAgICB9IGVsc2Uge1xuICAgICAgY29uc3QgcHJvb2ZTdGVwcyA9IHByb29mQ29udGV4dC5nZXRQcm9vZlN0ZXBzKCk7XG5cbiAgICAgIHN0YXRlbWVudE5hdGNoZXMgPSBzb21lU3ViQXJyYXkocHJvb2ZTdGVwcywgc3VwcG9zaXRpb25zTGVuZ3RoLCAocHJvb2ZTdGVwcykgPT4ge1xuICAgICAgICBjb25zdCBzdXBwb3NpdGlvbnNNYXRjaENvbnNlcXVlbmNlID0gbWF0Y2hTdXBwb3NpdGlvbnNBbmRDb25zZXF1ZW5jZSh0aGlzLnN1cHBvc2l0aW9ucywgdGhpcy5jb25zZXF1ZW5jZSwgcHJvb2ZTdGVwcywgc3RhdGVtZW50Tm9kZSk7XG5cbiAgICAgICAgaWYgKHN1cHBvc2l0aW9uc01hdGNoQ29uc2VxdWVuY2UpIHtcbiAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgfVxuICAgICAgfSk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5hdGNoZXM7XG4gIH1cblxuICB0b0pTT04oKSB7XG4gICAgY29uc3QgeyBraW5kIH0gPSB0aGlzLmNvbnN0cnVjdG9yLFxuICAgICAgICAgIGxhYmVsc0pTT04gPSB0aGlzLmxhYmVscy5tYXAoKGxhYmVsKSA9PiB7XG4gICAgICAgICAgICBjb25zdCBsYWJlbEpTT04gPSBsYWJlbC50b0pTT04oKTtcblxuICAgICAgICAgICAgcmV0dXJuIGxhYmVsSlNPTjtcbiAgICAgICAgICB9KSxcbiAgICAgICAgICBzdXBwb3NpdGlvbnNKU09OID0gdGhpcy5zdXBwb3NpdGlvbnMubWFwKChzdXBwb3NpdGlvbikgPT4ge1xuICAgICAgICAgICAgY29uc3Qgc3VwcG9zaXRpb25KU09OID0gc3VwcG9zaXRpb24udG9KU09OKCk7XG5cbiAgICAgICAgICAgIHJldHVybiBzdXBwb3NpdGlvbkpTT047XG4gICAgICAgICAgfSksXG4gICAgICAgICAgY29uc2VxdWVuY2VKU09OID0gdGhpcy5jb25zZXF1ZW5jZS50b0pTT04oKSxcbiAgICAgICAgICBsYWJlbHMgPSBsYWJlbHNKU09OLCAgLy8vXG4gICAgICAgICAgc3VwcG9zaXRpb25zID0gc3VwcG9zaXRpb25zSlNPTiwgIC8vL1xuICAgICAgICAgIGNvbnNlcXVlbmNlID0gY29uc2VxdWVuY2VKU09OLCAgLy8vXG4gICAgICAgICAganNvbiA9IHtcbiAgICAgICAgICAgIGtpbmQsXG4gICAgICAgICAgICBsYWJlbHMsXG4gICAgICAgICAgICBzdXBwb3NpdGlvbnMsXG4gICAgICAgICAgICBjb25zZXF1ZW5jZVxuICAgICAgICAgIH07XG5cbiAgICByZXR1cm4ganNvbjtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tSlNPTihDbGFzcywganNvbiwgcmVsZWFzZUNvbnRleHQpIHtcbiAgICBsZXQgeyBsYWJlbHMgfSA9IGpzb247XG5cbiAgICBjb25zdCBsYWJlbHNKU09OID0gbGFiZWxzOyAgLy8vXG5cbiAgICBsYWJlbHMgPSBsYWJlbHNKU09OLm1hcCgobGFiZWxKU09OKSA9PiB7XG4gICAgICBjb25zdCBqc29uID0gbGFiZWxKU09OLCAvLy9cbiAgICAgICAgICAgIGxhYmVsID0gTGFiZWwuZnJvbUpTT04oanNvbiwgcmVsZWFzZUNvbnRleHQpO1xuXG4gICAgICByZXR1cm4gbGFiZWw7XG4gICAgfSk7XG5cbiAgICBsZXQgeyBzdXBwb3NpdGlvbnMgfSA9IGpzb247XG5cbiAgICBjb25zdCBzdXBwb3NpdGlvbnNKU09OID0gc3VwcG9zaXRpb25zOyAgLy8vXG5cbiAgICBzdXBwb3NpdGlvbnMgPSBzdXBwb3NpdGlvbnNKU09OLm1hcCgoc3VwcG9zaXRpb25KU09OKSA9PiB7XG4gICAgICBjb25zdCBqc29uID0gc3VwcG9zaXRpb25KU09OLCAvLy9cbiAgICAgICAgICAgIHN1cHBvc2l0aW9uID0gU3VwcG9zaXRpb24uZnJvbUpTT04oanNvbiwgcmVsZWFzZUNvbnRleHQpO1xuXG4gICAgICByZXR1cm4gc3VwcG9zaXRpb247XG4gICAgfSk7XG5cbiAgICBsZXQgeyBjb25zZXF1ZW5jZSB9ID0ganNvbjtcblxuICAgIGNvbnN0IGNvbnNlcXVlbmNlSlNPTiA9IGNvbnNlcXVlbmNlOyAgLy8vXG5cbiAgICBqc29uID0gY29uc2VxdWVuY2VKU09OOyAgLy8vXG5cbiAgICBjb25zZXF1ZW5jZSA9IENvbnNlcXVlbmNlLmZyb21KU09OKGpzb24sIHJlbGVhc2VDb250ZXh0KTtcblxuICAgIHJldHVybiBuZXcgQ2xhc3MobGFiZWxzLCBzdXBwb3NpdGlvbnMsIGNvbnNlcXVlbmNlKTsgIC8vL1xuICB9XG5cbiAgc3RhdGljIGZyb21MYWJlbHNTdXBwb3NpdGlvbnNBbmRDb25zZXF1ZW5jZShDbGFzcywgbGFiZWxzLCBzdXBwb3NpdGlvbnMsIGNvbnNlcXVlbmNlKSB7IHJldHVybiBuZXcgQ2xhc3MobGFiZWxzLCBzdXBwb3NpdGlvbnMsIGNvbnNlcXVlbmNlKTsgfVxufVxuXG5mdW5jdGlvbiBtYXRjaFN1cHBvc2l0aW9uKHN1cHBvc2l0aW9uLCBwcm9vZlN0ZXBzLCBzdWJzdGl0dXRpb25zKSB7XG4gIGNvbnN0IHByb29mU3RlcCA9IHBydW5lKHByb29mU3RlcHMsIChwcm9vZlN0ZXApID0+IHtcbiAgICBjb25zdCBzdWJwcm9vZk5vZGUgPSBwcm9vZlN0ZXAuZ2V0U3VicHJvb2ZOb2RlKCksXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHByb29mU3RlcC5nZXRTdGF0ZW1lbnROb2RlKCk7XG5cbiAgICBpZiAoc3VicHJvb2ZOb2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBzdWJQcm9vZk1hdGNoZXMgPSBzdXBwb3NpdGlvbi5tYXRjaFN1YnByb29mTm9kZShzdWJwcm9vZk5vZGUsIHN1YnN0aXR1dGlvbnMpO1xuXG4gICAgICBpZiAoIXN1YlByb29mTWF0Y2hlcykgeyAgLy8vXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH1cblxuICAgIGlmIChzdGF0ZW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBzdGF0ZW1lbnRNYXRjaGVzID0gc3VwcG9zaXRpb24ubWF0Y2hTdGF0ZW1lbnROb2RlKHN0YXRlbWVudE5vZGUsIHN1YnN0aXR1dGlvbnMpO1xuXG4gICAgICBpZiAoIXN0YXRlbWVudE1hdGNoZXMpIHsgIC8vL1xuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9XG5cbiAgfSkgfHwgbnVsbDtcblxuICBjb25zdCBzdXBwb3NpdGlvbk1hdGNoZXMgPSAocHJvb2ZTdGVwICE9PSBudWxsKTtcblxuICByZXR1cm4gc3VwcG9zaXRpb25NYXRjaGVzO1xufVxuXG5mdW5jdGlvbiBtYXRjaFN1cHBvc2l0aW9ucyhzdXBwb3NpdGlvbiwgcHJvb2ZTdGVwcywgc3Vic3RpdHV0aW9ucykge1xuICBjb25zdCBzdXBwb3NpdGlvbnNNYXRjaGVzID0gc3VwcG9zaXRpb24uZXZlcnkoKHN1cHBvc2l0aW9uKSA9PiB7XG4gICAgY29uc3Qgc3VwcG9zaXRpb25NYXRjaGVzID0gbWF0Y2hTdXBwb3NpdGlvbihzdXBwb3NpdGlvbiwgcHJvb2ZTdGVwcywgc3Vic3RpdHV0aW9ucyk7XG5cbiAgICBpZiAoc3VwcG9zaXRpb25NYXRjaGVzKSB7XG4gICAgICByZXR1cm4gdHJ1ZTtcbiAgICB9XG4gIH0pO1xuXG4gIHJldHVybiBzdXBwb3NpdGlvbnNNYXRjaGVzO1xufVxuXG5mdW5jdGlvbiBtYXRjaENvbnNlcXVlbmNlKGNvbnNlcXVlbmNlLCBzdGF0ZW1lbnROb2RlLCBzdWJzdGl0dXRpb25zKSB7XG4gIGNvbnN0IG5vblRlcm1pbmFsTm9kZU1hdGNoZXMgPSBjb25zZXF1ZW5jZS5tYXRjaFN0YXRlbWVudE5vZGUoc3RhdGVtZW50Tm9kZSwgc3Vic3RpdHV0aW9ucyksXG4gICAgICAgIGNvbnNlcXVlbmNlTWF0Y2hlcyA9IG5vblRlcm1pbmFsTm9kZU1hdGNoZXM7IC8vL1xuXG4gIHJldHVybiBjb25zZXF1ZW5jZU1hdGNoZXM7XG59XG5cbmZ1bmN0aW9uIG1hdGNoU3VwcG9zaXRpb25zQW5kQ29uc2VxdWVuY2Uoc3VwcG9zaXRpb25zLCBjb25zZXF1ZW5jZSwgcHJvb2ZTdGVwcywgc3RhdGVtZW50Tm9kZSkge1xuICBsZXQgc3VwcG9zaXRpb25zTWF0Y2hDb25zZXF1ZW5jZSA9IGZhbHNlO1xuXG4gIGNvbnN0IHN1YnN0aXR1dGlvbnMgPSBbXSxcbiAgICAgICAgc3VwcG9zaXRpb25zTWF0Y2hlcyA9IG1hdGNoU3VwcG9zaXRpb25zKHN1cHBvc2l0aW9ucywgcHJvb2ZTdGVwcywgc3Vic3RpdHV0aW9ucyk7XG5cbiAgaWYgKHN1cHBvc2l0aW9uc01hdGNoZXMpIHtcbiAgICBjb25zdCBjb25zZXF1ZW5jZU1hdGNoZXMgPSBtYXRjaENvbnNlcXVlbmNlKGNvbnNlcXVlbmNlLCBzdGF0ZW1lbnROb2RlLCBzdWJzdGl0dXRpb25zKTtcblxuICAgIHN1cHBvc2l0aW9uc01hdGNoQ29uc2VxdWVuY2UgPSBjb25zZXF1ZW5jZU1hdGNoZXM7ICAvLy9cbiAgfVxuXG4gIHJldHVybiBzdXBwb3NpdGlvbnNNYXRjaENvbnNlcXVlbmNlO1xufVxuIl0sIm5hbWVzIjpbIkF4aW9tTGVtbWFUaGVvcmVtIiwibGFiZWxzIiwic3VwcG9zaXRpb25zIiwiY29uc2VxdWVuY2UiLCJnZXRMYWJlbHMiLCJnZXRTdXBwb3NpdGlvbnMiLCJnZXRDb25zZXF1ZW5jZSIsIm1hdGNoTGFiZWxOYW1lIiwibGFiZWxOYW1lIiwibWF0Y2hlc0xhYmVsTmFtZSIsInNvbWUiLCJsYWJlbCIsIm5hbWUiLCJsYWJlbE1hdGNoZXNOYW1lIiwibWF0Y2hOYW1lIiwibWF0Y2hTdGF0ZW1lbnQiLCJzdGF0ZW1lbnROb2RlIiwicHJvb2ZDb250ZXh0Iiwic3RhdGVtZW50TmF0Y2hlcyIsInN1cHBvc2l0aW9uc0xlbmd0aCIsImxlbmd0aCIsInN1YnN0aXR1dGlvbnMiLCJjb25zZXF1ZW5jZU1hdGNoZXMiLCJtYXRjaENvbnNlcXVlbmNlIiwicHJvb2ZTdGVwcyIsImdldFByb29mU3RlcHMiLCJzb21lU3ViQXJyYXkiLCJzdXBwb3NpdGlvbnNNYXRjaENvbnNlcXVlbmNlIiwibWF0Y2hTdXBwb3NpdGlvbnNBbmRDb25zZXF1ZW5jZSIsInRvSlNPTiIsImtpbmQiLCJjb25zdHJ1Y3RvciIsImxhYmVsc0pTT04iLCJtYXAiLCJsYWJlbEpTT04iLCJzdXBwb3NpdGlvbnNKU09OIiwic3VwcG9zaXRpb24iLCJzdXBwb3NpdGlvbkpTT04iLCJjb25zZXF1ZW5jZUpTT04iLCJqc29uIiwiZnJvbUpTT04iLCJDbGFzcyIsInJlbGVhc2VDb250ZXh0IiwiTGFiZWwiLCJTdXBwb3NpdGlvbiIsIkNvbnNlcXVlbmNlIiwiZnJvbUxhYmVsc1N1cHBvc2l0aW9uc0FuZENvbnNlcXVlbmNlIiwibWF0Y2hTdXBwb3NpdGlvbiIsInByb29mU3RlcCIsInBydW5lIiwic3VicHJvb2ZOb2RlIiwiZ2V0U3VicHJvb2ZOb2RlIiwiZ2V0U3RhdGVtZW50Tm9kZSIsInN1YlByb29mTWF0Y2hlcyIsIm1hdGNoU3VicHJvb2ZOb2RlIiwic3RhdGVtZW50TWF0Y2hlcyIsIm1hdGNoU3RhdGVtZW50Tm9kZSIsInN1cHBvc2l0aW9uTWF0Y2hlcyIsIm1hdGNoU3VwcG9zaXRpb25zIiwic3VwcG9zaXRpb25zTWF0Y2hlcyIsImV2ZXJ5Iiwibm9uVGVybWluYWxOb2RlTWF0Y2hlcyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFTcUJBOzs7MERBUEg7Z0VBQ007Z0VBQ0E7cUJBRUY7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFHUCxJQUFBLEFBQU1BLGtDQXdIbEIsQUF4SFk7YUFBTUEsa0JBQ1BDLE1BQU0sRUFBRUMsWUFBWSxFQUFFQyxXQUFXOzhCQUQxQkg7UUFFakIsSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxZQUFZLEdBQUdBO1FBQ3BCLElBQUksQ0FBQ0MsV0FBVyxHQUFHQTs7aUJBSkZIOztZQU9uQkksS0FBQUE7bUJBQUFBLFNBQUFBLFlBQVk7Z0JBQ1YsT0FBTyxJQUFJLENBQUNILE1BQU07WUFDcEI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUEsa0JBQWtCO2dCQUNoQixPQUFPLElBQUksQ0FBQ0gsWUFBWTtZQUMxQjs7O1lBRUFJLEtBQUFBO21CQUFBQSxTQUFBQSxpQkFBaUI7Z0JBQ2YsT0FBTyxJQUFJLENBQUNILFdBQVc7WUFDekI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUEsZUFBZUMsU0FBUyxFQUFFO2dCQUN4QixJQUFNQyxtQkFBbUIsSUFBSSxDQUFDUixNQUFNLENBQUNTLElBQUksQ0FBQyxTQUFDQyxPQUFVO29CQUNuRCxJQUFNQyxPQUFPSixXQUNQSyxtQkFBbUJGLE1BQU1HLFNBQVMsQ0FBQ0Y7b0JBRXpDLElBQUlDLGtCQUFrQjt3QkFDcEIsT0FBTyxJQUFJO29CQUNiLENBQUM7Z0JBQ0g7Z0JBRUEsT0FBT0o7WUFDVDs7O1lBRUFNLEtBQUFBO21CQUFBQSxTQUFBQSxlQUFlQyxhQUFhLEVBQUVDLFlBQVksRUFBRTs7Z0JBQzFDLElBQUlDO2dCQUVKLElBQU1DLHFCQUFxQixJQUFJLENBQUNqQixZQUFZLENBQUNrQixNQUFNO2dCQUVuRCxJQUFJRCx1QkFBdUIsR0FBRztvQkFDNUIsSUFBTUUsZ0JBQWdCLEVBQUUsRUFDbEJDLHFCQUFxQkMsaUJBQWlCLElBQUksQ0FBQ3BCLFdBQVcsRUFBRWEsZUFBZUs7b0JBRTdFSCxtQkFBbUJJLG9CQUFvQixHQUFHO2dCQUM1QyxPQUFPO29CQUNMLElBQU1FLGFBQWFQLGFBQWFRLGFBQWE7b0JBRTdDUCxtQkFBbUJRLElBQUFBLG1CQUFZLEVBQUNGLFlBQVlMLG9CQUFvQixTQUFDSyxZQUFlO3dCQUM5RSxJQUFNRywrQkFBK0JDLGdDQUFnQyxNQUFLMUIsWUFBWSxFQUFFLE1BQUtDLFdBQVcsRUFBRXFCLFlBQVlSO3dCQUV0SCxJQUFJVyw4QkFBOEI7NEJBQ2hDLE9BQU8sSUFBSTt3QkFDYixDQUFDO29CQUNIO2dCQUNGLENBQUM7Z0JBRUQsT0FBT1Q7WUFDVDs7O1lBRUFXLEtBQUFBO21CQUFBQSxTQUFBQSxTQUFTO2dCQUNQLElBQU0sQUFBRUMsT0FBUyxJQUFJLENBQUNDLFdBQVcsQ0FBekJELE1BQ0ZFLGFBQWEsSUFBSSxDQUFDL0IsTUFBTSxDQUFDZ0MsR0FBRyxDQUFDLFNBQUN0QixPQUFVO29CQUN0QyxJQUFNdUIsWUFBWXZCLE1BQU1rQixNQUFNO29CQUU5QixPQUFPSztnQkFDVCxJQUNBQyxtQkFBbUIsSUFBSSxDQUFDakMsWUFBWSxDQUFDK0IsR0FBRyxDQUFDLFNBQUNHLGFBQWdCO29CQUN4RCxJQUFNQyxrQkFBa0JELFlBQVlQLE1BQU07b0JBRTFDLE9BQU9RO2dCQUNULElBQ0FDLGtCQUFrQixJQUFJLENBQUNuQyxXQUFXLENBQUMwQixNQUFNLElBQ3pDNUIsU0FBUytCLFlBQ1Q5QixlQUFlaUMsa0JBQ2ZoQyxjQUFjbUMsaUJBQ2RDLE9BQU87b0JBQ0xULE1BQUFBO29CQUNBN0IsUUFBQUE7b0JBQ0FDLGNBQUFBO29CQUNBQyxhQUFBQTtnQkFDRjtnQkFFTixPQUFPb0M7WUFDVDs7OztZQUVPQyxLQUFBQTttQkFBUCxTQUFPQSxTQUFTQyxLQUFLLEVBQUVGLElBQUksRUFBRUcsY0FBYyxFQUFFO2dCQUMzQyxJQUFJLEFBQUV6QyxTQUFXc0MsS0FBWHRDO2dCQUVOLElBQU0rQixhQUFhL0IsUUFBUyxHQUFHO2dCQUUvQkEsU0FBUytCLFdBQVdDLEdBQUcsQ0FBQyxTQUFDQyxXQUFjO29CQUNyQyxJQUFNSyxTQUFPTCxXQUNQdkIsUUFBUWdDLGNBQUssQ0FBQ0gsUUFBUSxDQUFDRCxRQUFNRztvQkFFbkMsT0FBTy9CO2dCQUNUO2dCQUVBLElBQUksQUFBRVQsZUFBaUJxQyxLQUFqQnJDO2dCQUVOLElBQU1pQyxtQkFBbUJqQyxjQUFlLEdBQUc7Z0JBRTNDQSxlQUFlaUMsaUJBQWlCRixHQUFHLENBQUMsU0FBQ0ksaUJBQW9CO29CQUN2RCxJQUFNRSxTQUFPRixpQkFDUEQsY0FBY1Esb0JBQVcsQ0FBQ0osUUFBUSxDQUFDRCxRQUFNRztvQkFFL0MsT0FBT047Z0JBQ1Q7Z0JBRUEsSUFBSSxBQUFFakMsY0FBZ0JvQyxLQUFoQnBDO2dCQUVOLElBQU1tQyxrQkFBa0JuQyxhQUFjLEdBQUc7Z0JBRXpDb0MsT0FBT0QsaUJBQWtCLEdBQUc7Z0JBRTVCbkMsY0FBYzBDLG9CQUFXLENBQUNMLFFBQVEsQ0FBQ0QsTUFBTUc7Z0JBRXpDLE9BQU8sSUFBSUQsTUFBTXhDLFFBQVFDLGNBQWNDLGNBQWUsR0FBRztZQUMzRDs7O1lBRU8yQyxLQUFBQTttQkFBUCxTQUFPQSxxQ0FBcUNMLEtBQUssRUFBRXhDLE1BQU0sRUFBRUMsWUFBWSxFQUFFQyxXQUFXLEVBQUU7Z0JBQUUsT0FBTyxJQUFJc0MsTUFBTXhDLFFBQVFDLGNBQWNDO1lBQWM7OztXQXJIMUhIOztBQXdIckIsU0FBUytDLGlCQUFpQlgsV0FBVyxFQUFFWixVQUFVLEVBQUVILGFBQWEsRUFBRTtJQUNoRSxJQUFNMkIsWUFBWUMsSUFBQUEsWUFBSyxFQUFDekIsWUFBWSxTQUFDd0IsV0FBYztRQUNqRCxJQUFNRSxlQUFlRixVQUFVRyxlQUFlLElBQ3hDbkMsZ0JBQWdCZ0MsVUFBVUksZ0JBQWdCO1FBRWhELElBQUlGLGlCQUFpQixJQUFJLEVBQUU7WUFDekIsSUFBTUcsa0JBQWtCakIsWUFBWWtCLGlCQUFpQixDQUFDSixjQUFjN0I7WUFFcEUsSUFBSSxDQUFDZ0MsaUJBQWlCO2dCQUNwQixPQUFPLElBQUk7WUFDYixDQUFDO1FBQ0gsQ0FBQztRQUVELElBQUlyQyxrQkFBa0IsSUFBSSxFQUFFO1lBQzFCLElBQU11QyxtQkFBbUJuQixZQUFZb0Isa0JBQWtCLENBQUN4QyxlQUFlSztZQUV2RSxJQUFJLENBQUNrQyxrQkFBa0I7Z0JBQ3JCLE9BQU8sSUFBSTtZQUNiLENBQUM7UUFDSCxDQUFDO0lBRUgsTUFBTSxJQUFJO0lBRVYsSUFBTUUscUJBQXNCVCxjQUFjLElBQUk7SUFFOUMsT0FBT1M7QUFDVDtBQUVBLFNBQVNDLGtCQUFrQnRCLFdBQVcsRUFBRVosVUFBVSxFQUFFSCxhQUFhLEVBQUU7SUFDakUsSUFBTXNDLHNCQUFzQnZCLFlBQVl3QixLQUFLLENBQUMsU0FBQ3hCLGFBQWdCO1FBQzdELElBQU1xQixxQkFBcUJWLGlCQUFpQlgsYUFBYVosWUFBWUg7UUFFckUsSUFBSW9DLG9CQUFvQjtZQUN0QixPQUFPLElBQUk7UUFDYixDQUFDO0lBQ0g7SUFFQSxPQUFPRTtBQUNUO0FBRUEsU0FBU3BDLGlCQUFpQnBCLFdBQVcsRUFBRWEsYUFBYSxFQUFFSyxhQUFhLEVBQUU7SUFDbkUsSUFBTXdDLHlCQUF5QjFELFlBQVlxRCxrQkFBa0IsQ0FBQ3hDLGVBQWVLLGdCQUN2RUMscUJBQXFCdUMsd0JBQXdCLEdBQUc7SUFFdEQsT0FBT3ZDO0FBQ1Q7QUFFQSxTQUFTTSxnQ0FBZ0MxQixZQUFZLEVBQUVDLFdBQVcsRUFBRXFCLFVBQVUsRUFBRVIsYUFBYSxFQUFFO0lBQzdGLElBQUlXLCtCQUErQixLQUFLO0lBRXhDLElBQU1OLGdCQUFnQixFQUFFLEVBQ2xCc0Msc0JBQXNCRCxrQkFBa0J4RCxjQUFjc0IsWUFBWUg7SUFFeEUsSUFBSXNDLHFCQUFxQjtRQUN2QixJQUFNckMscUJBQXFCQyxpQkFBaUJwQixhQUFhYSxlQUFlSztRQUV4RU0sK0JBQStCTCxvQkFBcUIsR0FBRztJQUN6RCxDQUFDO0lBRUQsT0FBT0s7QUFDVCJ9

package/lib/jsonTypes.js

@@ -1,30 +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: all[name]
-    });
-}
-_export(exports, {
-    NULL_JSON_TYPE: function() {
-        return NULL_JSON_TYPE;
-    },
-    ARRAY_JSON_TYPE: function() {
-        return ARRAY_JSON_TYPE;
-    },
-    OBJECT_JSON_TYPE: function() {
-        return OBJECT_JSON_TYPE;
-    },
-    PRIMITIVE_JSON_TYPE: function() {
-        return PRIMITIVE_JSON_TYPE;
-    }
-});
-var NULL_JSON_TYPE = "null";
-var ARRAY_JSON_TYPE = "array";
-var OBJECT_JSON_TYPE = "object";
-var PRIMITIVE_JSON_TYPE = "primitive";
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9qc29uVHlwZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBOVUxMX0pTT05fVFlQRSA9IFwibnVsbFwiO1xuZXhwb3J0IGNvbnN0IEFSUkFZX0pTT05fVFlQRSA9IFwiYXJyYXlcIjtcbmV4cG9ydCBjb25zdCBPQkpFQ1RfSlNPTl9UWVBFID0gXCJvYmplY3RcIjtcbmV4cG9ydCBjb25zdCBQUklNSVRJVkVfSlNPTl9UWVBFID0gXCJwcmltaXRpdmVcIjtcbiJdLCJuYW1lcyI6WyJOVUxMX0pTT05fVFlQRSIsIkFSUkFZX0pTT05fVFlQRSIsIk9CSkVDVF9KU09OX1RZUEUiLCJQUklNSVRJVkVfSlNPTl9UWVBFIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7SUFFYUEsY0FBYztlQUFkQTs7SUFDQUMsZUFBZTtlQUFmQTs7SUFDQUMsZ0JBQWdCO2VBQWhCQTs7SUFDQUMsbUJBQW1CO2VBQW5CQTs7O0FBSE4sSUFBTUgsaUJBQWlCO0FBQ3ZCLElBQU1DLGtCQUFrQjtBQUN4QixJQUFNQyxtQkFBbUI7QUFDekIsSUFBTUMsc0JBQXNCIn0=