occam-nominal 1.0.253 → 1.0.255

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (109) hide show
  1. package/lib/node/argument.js +9 -4
  2. package/lib/node/assertion.js +9 -4
  3. package/lib/node/assumption/implicit.js +9 -4
  4. package/lib/node/assumption.js +9 -4
  5. package/lib/node/body.js +9 -4
  6. package/lib/node/combinator.js +9 -4
  7. package/lib/node/conclusion.js +9 -4
  8. package/lib/node/constraint.js +9 -4
  9. package/lib/node/constructor.js +9 -4
  10. package/lib/node/declaration.js +9 -4
  11. package/lib/node/deduction.js +9 -4
  12. package/lib/node/derivation.js +9 -4
  13. package/lib/node/document.js +9 -4
  14. package/lib/node/equality.js +9 -4
  15. package/lib/node/equivalence.js +9 -4
  16. package/lib/node/equivalences.js +9 -4
  17. package/lib/node/error.js +9 -4
  18. package/lib/node/frame.js +9 -4
  19. package/lib/node/generator.js +9 -4
  20. package/lib/node/goal.js +9 -4
  21. package/lib/node/header.js +9 -4
  22. package/lib/node/hypothesis.js +9 -4
  23. package/lib/node/judgement.js +9 -4
  24. package/lib/node/label.js +9 -4
  25. package/lib/node/labels.js +9 -4
  26. package/lib/node/metaArgument.js +9 -4
  27. package/lib/node/metaType.js +9 -4
  28. package/lib/node/metavariable.js +9 -4
  29. package/lib/node/parameter.js +9 -4
  30. package/lib/node/parenthesisedLabel.js +9 -4
  31. package/lib/node/parenthesisedLabels.js +9 -4
  32. package/lib/node/placeholder.js +9 -4
  33. package/lib/node/procedureCall.js +9 -4
  34. package/lib/node/procedureReference.js +9 -4
  35. package/lib/node/proof.js +9 -4
  36. package/lib/node/proofAssertion.js +9 -4
  37. package/lib/node/property.js +9 -4
  38. package/lib/node/qualification.js +9 -4
  39. package/lib/node/reference.js +9 -4
  40. package/lib/node/rule.js +9 -4
  41. package/lib/node/schema.js +9 -4
  42. package/lib/node/section.js +9 -4
  43. package/lib/node/signature.js +9 -4
  44. package/lib/node/statement.js +7 -4
  45. package/lib/node/subDerivation.js +9 -4
  46. package/lib/node/subproof.js +9 -4
  47. package/lib/node/substitution.js +9 -4
  48. package/lib/node/term.js +5 -2
  49. package/lib/node/topLevelAssertion.js +9 -4
  50. package/lib/node/type.js +9 -4
  51. package/lib/node/typePrefix.js +9 -4
  52. package/lib/node/types.js +9 -4
  53. package/lib/node/variable.js +9 -4
  54. package/lib/nonTerminalNode.js +20 -0
  55. package/package.json +3 -3
  56. package/src/node/argument.js +1 -1
  57. package/src/node/assertion.js +1 -1
  58. package/src/node/assumption/implicit.js +1 -1
  59. package/src/node/assumption.js +1 -1
  60. package/src/node/body.js +1 -1
  61. package/src/node/combinator.js +1 -1
  62. package/src/node/conclusion.js +1 -1
  63. package/src/node/constraint.js +1 -1
  64. package/src/node/constructor.js +1 -1
  65. package/src/node/declaration.js +1 -1
  66. package/src/node/deduction.js +1 -1
  67. package/src/node/derivation.js +1 -1
  68. package/src/node/document.js +1 -1
  69. package/src/node/equality.js +2 -1
  70. package/src/node/equivalence.js +1 -1
  71. package/src/node/equivalences.js +1 -1
  72. package/src/node/error.js +1 -1
  73. package/src/node/frame.js +1 -1
  74. package/src/node/generator.js +1 -1
  75. package/src/node/goal.js +1 -1
  76. package/src/node/header.js +1 -1
  77. package/src/node/hypothesis.js +1 -1
  78. package/src/node/judgement.js +1 -1
  79. package/src/node/label.js +1 -1
  80. package/src/node/labels.js +1 -1
  81. package/src/node/metaArgument.js +1 -1
  82. package/src/node/metaType.js +1 -1
  83. package/src/node/metavariable.js +1 -1
  84. package/src/node/parameter.js +1 -1
  85. package/src/node/parenthesisedLabel.js +1 -1
  86. package/src/node/parenthesisedLabels.js +1 -1
  87. package/src/node/placeholder.js +1 -1
  88. package/src/node/procedureCall.js +1 -1
  89. package/src/node/procedureReference.js +1 -1
  90. package/src/node/proof.js +1 -1
  91. package/src/node/proofAssertion.js +1 -1
  92. package/src/node/property.js +1 -1
  93. package/src/node/qualification.js +1 -1
  94. package/src/node/reference.js +1 -1
  95. package/src/node/rule.js +1 -1
  96. package/src/node/schema.js +1 -1
  97. package/src/node/section.js +1 -1
  98. package/src/node/signature.js +1 -1
  99. package/src/node/statement.js +7 -2
  100. package/src/node/subDerivation.js +1 -1
  101. package/src/node/subproof.js +1 -1
  102. package/src/node/substitution.js +1 -1
  103. package/src/node/term.js +6 -1
  104. package/src/node/topLevelAssertion.js +1 -1
  105. package/src/node/type.js +1 -1
  106. package/src/node/typePrefix.js +1 -1
  107. package/src/node/types.js +1 -1
  108. package/src/node/variable.js +1 -1
  109. package/src/nonTerminalNode.js +10 -0
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
8
8
  return ProofAssertionNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class ProofAssertionNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class ProofAssertionNode extends _nonTerminalNode.default {
14
19
  getNonsenseNode() {
15
20
  const ruleName = _ruleNames.NONSENSE_RULE_NAME, nonsenseNode = this.getNodeByRuleName(ruleName);
16
21
  return nonsenseNode;
@@ -20,8 +25,8 @@ class ProofAssertionNode extends _occamlanguages.NonTerminalNode {
20
25
  return statementNode;
21
26
  }
22
27
  static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
23
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
28
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
24
29
  }
25
30
  }
26
31
 
27
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb29mQXNzZXJ0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IE5PTlNFTlNFX1JVTEVfTkFNRSwgU1RBVEVNRU5UX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUHJvb2ZBc3NlcnRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0Tm9uc2Vuc2VOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gTk9OU0VOU0VfUlVMRV9OQU1FLFxuICAgICAgICAgIG5vbnNlbnNlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG5vbnNlbnNlTm9kZTtcbiAgfVxuXG4gIGdldFN0YXRlbWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVEFURU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHN0YXRlbWVudE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdGF0ZW1lbnROb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlByb29mQXNzZXJ0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldE5vbnNlbnNlTm9kZSIsInJ1bGVOYW1lIiwiTk9OU0VOU0VfUlVMRV9OQU1FIiwibm9uc2Vuc2VOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRTdGF0ZW1lbnROb2RlIiwiU1RBVEVNRU5UX1JVTEVfTkFNRSIsInN0YXRlbWVudE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJDbGFzcyIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7OztnQ0FKVzsyQkFFd0I7QUFFekMsTUFBTUEsMkJBQTJCQywrQkFBZTtJQUM3REMsa0JBQWtCO1FBQ2hCLE1BQU1DLFdBQVdDLDZCQUFrQixFQUM3QkMsZUFBZSxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUU1QyxPQUFPRTtJQUNUO0lBRUFFLG1CQUFtQjtRQUNqQixNQUFNSixXQUFXSyw4QkFBbUIsRUFDOUJDLGdCQUFnQixJQUFJLENBQUNILGlCQUFpQixDQUFDSDtRQUU3QyxPQUFPTTtJQUNUO0lBRUEsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVSLFFBQVEsRUFBRVMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9iLCtCQUFlLENBQUNTLDBDQUEwQyxDQUFDQyxPQUFPUixVQUFVUyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
32
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb29mQXNzZXJ0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgTk9OU0VOU0VfUlVMRV9OQU1FLCBTVEFURU1FTlRfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcm9vZkFzc2VydGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXROb25zZW5zZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBOT05TRU5TRV9SVUxFX05BTUUsXG4gICAgICAgICAgbm9uc2Vuc2VOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gbm9uc2Vuc2VOb2RlO1xuICB9XG5cbiAgZ2V0U3RhdGVtZW50Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNUQVRFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvb2ZBc3NlcnRpb25Ob2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0Tm9uc2Vuc2VOb2RlIiwicnVsZU5hbWUiLCJOT05TRU5TRV9SVUxFX05BTUUiLCJub25zZW5zZU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldFN0YXRlbWVudE5vZGUiLCJTVEFURU1FTlRfUlVMRV9OQU1FIiwic3RhdGVtZW50Tm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUU0Qjs7Ozs7O0FBRXpDLE1BQU1BLDJCQUEyQkMsd0JBQWU7SUFDN0RDLGtCQUFrQjtRQUNoQixNQUFNQyxXQUFXQyw2QkFBa0IsRUFDN0JDLGVBQWUsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFNUMsT0FBT0U7SUFDVDtJQUVBRSxtQkFBbUI7UUFDakIsTUFBTUosV0FBV0ssOEJBQW1CLEVBQzlCQyxnQkFBZ0IsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7UUFFN0MsT0FBT007SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsS0FBSyxFQUFFUixRQUFRLEVBQUVTLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPYix3QkFBZSxDQUFDUywwQ0FBMEMsQ0FBQ0MsT0FBT1IsVUFBVVMsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
8
8
  return PropertyNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class PropertyNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class PropertyNode extends _nonTerminalNode.default {
14
19
  getTermNode() {
15
20
  const ruleName = _ruleNames.TERM_RULE_NAME, termNode = this.getNodeByRuleName(ruleName);
16
21
  return termNode;
17
22
  }
18
23
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
19
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(PropertyNode, ruleName, childNodes, opacity, precedence);
24
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(PropertyNode, ruleName, childNodes, opacity, precedence);
20
25
  }
21
26
  }
22
27
 
23
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IFRFUk1fUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBQcm9wZXJ0eU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUZXJtTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRlcm1Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdGVybU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFByb3BlcnR5Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiUHJvcGVydHlOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VGVybU5vZGUiLCJydWxlTmFtZSIsIlRFUk1fUlVMRV9OQU1FIiwidGVybU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7OztnQ0FKVzsyQkFFRDtBQUVoQixNQUFNQSxxQkFBcUJDLCtCQUFlO0lBQ3ZEQyxjQUFjO1FBQ1osTUFBTUMsV0FBV0MseUJBQWMsRUFDekJDLFdBQVcsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFeEMsT0FBT0U7SUFDVDtJQUVBLE9BQU9FLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT1QsK0JBQWUsQ0FBQ00sMENBQTBDLENBQUNQLGNBQWNHLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDN04ifQ==
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Byb3BlcnR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgVEVSTV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFByb3BlcnR5Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFRlcm1Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVEVSTV9SVUxFX05BTUUsXG4gICAgICAgICAgdGVybU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0ZXJtTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUHJvcGVydHlOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJQcm9wZXJ0eU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRUZXJtTm9kZSIsInJ1bGVOYW1lIiwiVEVSTV9SVUxFX05BTUUiLCJ0ZXJtTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUVHOzs7Ozs7QUFFaEIsTUFBTUEscUJBQXFCQyx3QkFBZTtJQUN2REMsY0FBYztRQUNaLE1BQU1DLFdBQVdDLHlCQUFjLEVBQ3pCQyxXQUFXLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRXhDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULHdCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxjQUFjRyxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
8
8
  return QualificationNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class QualificationNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class QualificationNode extends _nonTerminalNode.default {
14
19
  getReferenceNode() {
15
20
  const ruleName = _ruleNames.REFERENCE_RULE_NAME, referenceNode = this.getNodeByRuleName(ruleName);
16
21
  return referenceNode;
@@ -20,8 +25,8 @@ class QualificationNode extends _occamlanguages.NonTerminalNode {
20
25
  return signatureAssertionNode;
21
26
  }
22
27
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
23
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(QualificationNode, ruleName, childNodes, opacity, precedence);
28
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(QualificationNode, ruleName, childNodes, opacity, precedence);
24
29
  }
25
30
  }
26
31
 
27
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3F1YWxpZmljYXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgUkVGRVJFTkNFX1JVTEVfTkFNRSwgU0lHTkFUVVJFX0FTU0VSVElPTl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFF1YWxpZmljYXRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0UmVmZXJlbmNlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFJFRkVSRU5DRV9SVUxFX05BTUUsXG4gICAgICAgICAgcmVmZXJlbmNlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHJlZmVyZW5jZU5vZGU7XG4gIH1cblxuICBnZXRTaWduYXR1cmVBc3NlcnRpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU0lHTkFUVVJFX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgc2lnbmF0dXJlQXNzZXJ0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpZ25hdHVyZUFzc2VydGlvbk5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFF1YWxpZmljYXRpb25Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJRdWFsaWZpY2F0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFJlZmVyZW5jZU5vZGUiLCJydWxlTmFtZSIsIlJFRkVSRU5DRV9SVUxFX05BTUUiLCJyZWZlcmVuY2VOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRTaWduYXR1cmVBc3NlcnRpb25Ob2RlIiwiU0lHTkFUVVJFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJzaWduYXR1cmVBc3NlcnRpb25Ob2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O2dDQUpXOzJCQUVtQztBQUVwRCxNQUFNQSwwQkFBMEJDLCtCQUFlO0lBQzVEQyxtQkFBbUI7UUFDakIsTUFBTUMsV0FBV0MsOEJBQW1CLEVBQzlCQyxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFN0MsT0FBT0U7SUFDVDtJQUVBRSw0QkFBNEI7UUFDMUIsTUFBTUosV0FBV0ssd0NBQTZCLEVBQ3hDQyx5QkFBeUIsSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7UUFFdEQsT0FBT007SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ1AsUUFBUSxFQUFFUSxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT1osK0JBQWUsQ0FBQ1MsMENBQTBDLENBQUNWLG1CQUFtQkcsVUFBVVEsWUFBWUMsU0FBU0M7SUFBYTtBQUNsTyJ9
32
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3F1YWxpZmljYXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBSRUZFUkVOQ0VfUlVMRV9OQU1FLCBTSUdOQVRVUkVfQVNTRVJUSU9OX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUXVhbGlmaWNhdGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRSZWZlcmVuY2VOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUkVGRVJFTkNFX1JVTEVfTkFNRSxcbiAgICAgICAgICByZWZlcmVuY2VOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcmVmZXJlbmNlTm9kZTtcbiAgfVxuXG4gIGdldFNpZ25hdHVyZUFzc2VydGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTSUdOQVRVUkVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBzaWduYXR1cmVBc3NlcnRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc2lnbmF0dXJlQXNzZXJ0aW9uTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUXVhbGlmaWNhdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlF1YWxpZmljYXRpb25Ob2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0UmVmZXJlbmNlTm9kZSIsInJ1bGVOYW1lIiwiUkVGRVJFTkNFX1JVTEVfTkFNRSIsInJlZmVyZW5jZU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldFNpZ25hdHVyZUFzc2VydGlvbk5vZGUiLCJTSUdOQVRVUkVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsInNpZ25hdHVyZUFzc2VydGlvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRXVDOzs7Ozs7QUFFcEQsTUFBTUEsMEJBQTBCQyx3QkFBZTtJQUM1REMsbUJBQW1CO1FBQ2pCLE1BQU1DLFdBQVdDLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNIO1FBRTdDLE9BQU9FO0lBQ1Q7SUFFQUUsNEJBQTRCO1FBQzFCLE1BQU1KLFdBQVdLLHdDQUE2QixFQUN4Q0MseUJBQXlCLElBQUksQ0FBQ0gsaUJBQWlCLENBQUNIO1FBRXRELE9BQU9NO0lBQ1Q7SUFFQSxPQUFPQywyQ0FBMkNQLFFBQVEsRUFBRVEsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9aLHdCQUFlLENBQUNTLDBDQUEwQyxDQUFDVixtQkFBbUJHLFVBQVVRLFlBQVlDLFNBQVNDO0lBQWE7QUFDbE8ifQ==
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
8
8
  return ReferenceNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class ReferenceNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class ReferenceNode extends _nonTerminalNode.default {
14
19
  getMetavariableNode() {
15
20
  const ruleName = _ruleNames.METAVARIABLE_RULE_NAME, metavariableNode = this.getNodeByRuleName(ruleName);
16
21
  return metavariableNode;
17
22
  }
18
23
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
19
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ReferenceNode, ruleName, childNodes, opacity, precedence);
24
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(ReferenceNode, ruleName, childNodes, opacity, precedence);
20
25
  }
21
26
  }
22
27
 
23
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3JlZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5pbXBvcnQgeyBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBSZWZlcmVuY2VOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0TWV0YXZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgbWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFJlZmVyZW5jZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlJlZmVyZW5jZU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRNZXRhdmFyaWFibGVOb2RlIiwicnVsZU5hbWUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwibWV0YXZhcmlhYmxlTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O2dDQUpXOzJCQUVPO0FBRXhCLE1BQU1BLHNCQUFzQkMsK0JBQWU7SUFDeERDLHNCQUFzQjtRQUNwQixNQUFNQyxXQUFXQyxpQ0FBc0IsRUFDakNDLG1CQUFtQixJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUVoRCxPQUFPRTtJQUNUO0lBRUEsT0FBT0UsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCwrQkFBZSxDQUFDTSwwQ0FBMEMsQ0FBQ1AsZUFBZUcsVUFBVUssWUFBWUMsU0FBU0M7SUFBYTtBQUM5TiJ9
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3JlZmVyZW5jZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFJlZmVyZW5jZU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRNZXRhdmFyaWFibGVOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gTUVUQVZBUklBQkxFX1JVTEVfTkFNRSxcbiAgICAgICAgICBtZXRhdmFyaWFibGVOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gbWV0YXZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUmVmZXJlbmNlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiUmVmZXJlbmNlTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldE1ldGF2YXJpYWJsZU5vZGUiLCJydWxlTmFtZSIsIk1FVEFWQVJJQUJMRV9SVUxFX05BTUUiLCJtZXRhdmFyaWFibGVOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRVc7Ozs7OztBQUV4QixNQUFNQSxzQkFBc0JDLHdCQUFlO0lBQ3hEQyxzQkFBc0I7UUFDcEIsTUFBTUMsV0FBV0MsaUNBQXNCLEVBQ2pDQyxtQkFBbUIsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFaEQsT0FBT0U7SUFDVDtJQUVBLE9BQU9FLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT1Qsd0JBQWUsQ0FBQ00sMENBQTBDLENBQUNQLGVBQWVHLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDOU4ifQ==
package/lib/node/rule.js CHANGED
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
8
8
  return RuleNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class RuleNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class RuleNode extends _nonTerminalNode.default {
14
19
  getProofNode() {
15
20
  const ruleBodyNode = this.getRuleBodyNode(), proofNode = ruleBodyNode.getProofNode();
16
21
  return proofNode;
@@ -36,8 +41,8 @@ class RuleNode extends _occamlanguages.NonTerminalNode {
36
41
  return ruleHeaderNode;
37
42
  }
38
43
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
39
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(RuleNode, ruleName, childNodes, opacity, precedence);
44
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(RuleNode, ruleName, childNodes, opacity, precedence);
40
45
  }
41
46
  }
42
47
 
43
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3J1bGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgUlVMRV9CT0RZX1JVTEVfTkFNRSwgUlVMRV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBSdWxlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFByb29mTm9kZSgpIHtcbiAgICBjb25zdCBydWxlQm9keU5vZGUgPSB0aGlzLmdldFJ1bGVCb2R5Tm9kZSgpLFxuICAgICAgICAgIHByb29mTm9kZSA9IHJ1bGVCb2R5Tm9kZS5nZXRQcm9vZk5vZGUoKTtcblxuICAgIHJldHVybiBwcm9vZk5vZGU7XG4gIH1cblxuICBnZXRMYWJlbE5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVIZWFkZXJOb2RlID0gdGhpcy5nZXRSdWxlSGVhZGVyTm9kZSgpLFxuICAgICAgICAgIGxhYmVsTm9kZXMgPSBydWxlSGVhZGVyTm9kZS5nZXRMYWJlbE5vZGVzKCk7XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlcztcbiAgfVxuXG4gIGdldFByZW1pc2VOb2RlcygpIHtcbiAgICBjb25zdCBydWxlQm9keU5vZGUgPSB0aGlzLmdldFJ1bGVCb2R5Tm9kZSgpLFxuICAgICAgICAgIHByZW1pc2VOb2RlcyA9IHJ1bGVCb2R5Tm9kZS5nZXRQcmVtaXNlTm9kZXMoKTtcblxuICAgIHJldHVybiBwcmVtaXNlTm9kZXM7XG4gIH1cblxuICBnZXRDb25jbHVzaW9uTm9kZSgpIHtcbiAgICBjb25zdCBydWxlQm9keU5vZGUgPSB0aGlzLmdldFJ1bGVCb2R5Tm9kZSgpLFxuICAgICAgICAgIGNvbmNsdXNpb25Ob2RlID0gcnVsZUJvZHlOb2RlLmdldENvbmNsdXNpb25Ob2RlKCk7XG5cbiAgICByZXR1cm4gY29uY2x1c2lvbk5vZGU7XG4gIH1cblxuICBnZXRSdWxlQm9keU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBSVUxFX0JPRFlfUlVMRV9OQU1FLFxuICAgICAgICAgIHJ1bGVCb2R5Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHJ1bGVCb2R5Tm9kZTtcbiAgfVxuXG4gIGdldFJ1bGVIZWFkZXJOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gUlVMRV9IRUFERVJfUlVMRV9OQU1FLFxuICAgICAgICAgIHJ1bGVIZWFkZXJOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcnVsZUhlYWRlck5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFJ1bGVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJSdWxlTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFByb29mTm9kZSIsInJ1bGVCb2R5Tm9kZSIsImdldFJ1bGVCb2R5Tm9kZSIsInByb29mTm9kZSIsImdldExhYmVsTm9kZXMiLCJydWxlSGVhZGVyTm9kZSIsImdldFJ1bGVIZWFkZXJOb2RlIiwibGFiZWxOb2RlcyIsImdldFByZW1pc2VOb2RlcyIsInByZW1pc2VOb2RlcyIsImdldENvbmNsdXNpb25Ob2RlIiwiY29uY2x1c2lvbk5vZGUiLCJydWxlTmFtZSIsIlJVTEVfQk9EWV9SVUxFX05BTUUiLCJnZXROb2RlQnlSdWxlTmFtZSIsIlJVTEVfSEVBREVSX1JVTEVfTkFNRSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7OztnQ0FKVzsyQkFFMkI7QUFFNUMsTUFBTUEsaUJBQWlCQywrQkFBZTtJQUNuREMsZUFBZTtRQUNiLE1BQU1DLGVBQWUsSUFBSSxDQUFDQyxlQUFlLElBQ25DQyxZQUFZRixhQUFhRCxZQUFZO1FBRTNDLE9BQU9HO0lBQ1Q7SUFFQUMsZ0JBQWdCO1FBQ2QsTUFBTUMsaUJBQWlCLElBQUksQ0FBQ0MsaUJBQWlCLElBQ3ZDQyxhQUFhRixlQUFlRCxhQUFhO1FBRS9DLE9BQU9HO0lBQ1Q7SUFFQUMsa0JBQWtCO1FBQ2hCLE1BQU1QLGVBQWUsSUFBSSxDQUFDQyxlQUFlLElBQ25DTyxlQUFlUixhQUFhTyxlQUFlO1FBRWpELE9BQU9DO0lBQ1Q7SUFFQUMsb0JBQW9CO1FBQ2xCLE1BQU1ULGVBQWUsSUFBSSxDQUFDQyxlQUFlLElBQ25DUyxpQkFBaUJWLGFBQWFTLGlCQUFpQjtRQUVyRCxPQUFPQztJQUNUO0lBRUFULGtCQUFrQjtRQUNoQixNQUFNVSxXQUFXQyw4QkFBbUIsRUFDOUJaLGVBQWUsSUFBSSxDQUFDYSxpQkFBaUIsQ0FBQ0Y7UUFFNUMsT0FBT1g7SUFDVDtJQUVBSyxvQkFBb0I7UUFDbEIsTUFBTU0sV0FBV0csZ0NBQXFCLEVBQ2hDVixpQkFBaUIsSUFBSSxDQUFDUyxpQkFBaUIsQ0FBQ0Y7UUFFOUMsT0FBT1A7SUFDVDtJQUVBLE9BQU9XLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3BCLCtCQUFlLENBQUNpQiwwQ0FBMEMsQ0FBQ2xCLFVBQVVjLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDek4ifQ==
48
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3J1bGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBSVUxFX0JPRFlfUlVMRV9OQU1FLCBSVUxFX0hFQURFUl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFJ1bGVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0UHJvb2ZOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVCb2R5Tm9kZSA9IHRoaXMuZ2V0UnVsZUJvZHlOb2RlKCksXG4gICAgICAgICAgcHJvb2ZOb2RlID0gcnVsZUJvZHlOb2RlLmdldFByb29mTm9kZSgpO1xuXG4gICAgcmV0dXJuIHByb29mTm9kZTtcbiAgfVxuXG4gIGdldExhYmVsTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZUhlYWRlck5vZGUgPSB0aGlzLmdldFJ1bGVIZWFkZXJOb2RlKCksXG4gICAgICAgICAgbGFiZWxOb2RlcyA9IHJ1bGVIZWFkZXJOb2RlLmdldExhYmVsTm9kZXMoKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGVzO1xuICB9XG5cbiAgZ2V0UHJlbWlzZU5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVCb2R5Tm9kZSA9IHRoaXMuZ2V0UnVsZUJvZHlOb2RlKCksXG4gICAgICAgICAgcHJlbWlzZU5vZGVzID0gcnVsZUJvZHlOb2RlLmdldFByZW1pc2VOb2RlcygpO1xuXG4gICAgcmV0dXJuIHByZW1pc2VOb2RlcztcbiAgfVxuXG4gIGdldENvbmNsdXNpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVCb2R5Tm9kZSA9IHRoaXMuZ2V0UnVsZUJvZHlOb2RlKCksXG4gICAgICAgICAgY29uY2x1c2lvbk5vZGUgPSBydWxlQm9keU5vZGUuZ2V0Q29uY2x1c2lvbk5vZGUoKTtcblxuICAgIHJldHVybiBjb25jbHVzaW9uTm9kZTtcbiAgfVxuXG4gIGdldFJ1bGVCb2R5Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFJVTEVfQk9EWV9SVUxFX05BTUUsXG4gICAgICAgICAgcnVsZUJvZHlOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gcnVsZUJvZHlOb2RlO1xuICB9XG5cbiAgZ2V0UnVsZUhlYWRlck5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBSVUxFX0hFQURFUl9SVUxFX05BTUUsXG4gICAgICAgICAgcnVsZUhlYWRlck5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBydWxlSGVhZGVyTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoUnVsZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlJ1bGVOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0UHJvb2ZOb2RlIiwicnVsZUJvZHlOb2RlIiwiZ2V0UnVsZUJvZHlOb2RlIiwicHJvb2ZOb2RlIiwiZ2V0TGFiZWxOb2RlcyIsInJ1bGVIZWFkZXJOb2RlIiwiZ2V0UnVsZUhlYWRlck5vZGUiLCJsYWJlbE5vZGVzIiwiZ2V0UHJlbWlzZU5vZGVzIiwicHJlbWlzZU5vZGVzIiwiZ2V0Q29uY2x1c2lvbk5vZGUiLCJjb25jbHVzaW9uTm9kZSIsInJ1bGVOYW1lIiwiUlVMRV9CT0RZX1JVTEVfTkFNRSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiUlVMRV9IRUFERVJfUlVMRV9OQU1FIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O3dFQUpPOzJCQUUrQjs7Ozs7O0FBRTVDLE1BQU1BLGlCQUFpQkMsd0JBQWU7SUFDbkRDLGVBQWU7UUFDYixNQUFNQyxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ0MsWUFBWUYsYUFBYUQsWUFBWTtRQUUzQyxPQUFPRztJQUNUO0lBRUFDLGdCQUFnQjtRQUNkLE1BQU1DLGlCQUFpQixJQUFJLENBQUNDLGlCQUFpQixJQUN2Q0MsYUFBYUYsZUFBZUQsYUFBYTtRQUUvQyxPQUFPRztJQUNUO0lBRUFDLGtCQUFrQjtRQUNoQixNQUFNUCxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ08sZUFBZVIsYUFBYU8sZUFBZTtRQUVqRCxPQUFPQztJQUNUO0lBRUFDLG9CQUFvQjtRQUNsQixNQUFNVCxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ1MsaUJBQWlCVixhQUFhUyxpQkFBaUI7UUFFckQsT0FBT0M7SUFDVDtJQUVBVCxrQkFBa0I7UUFDaEIsTUFBTVUsV0FBV0MsOEJBQW1CLEVBQzlCWixlQUFlLElBQUksQ0FBQ2EsaUJBQWlCLENBQUNGO1FBRTVDLE9BQU9YO0lBQ1Q7SUFFQUssb0JBQW9CO1FBQ2xCLE1BQU1NLFdBQVdHLGdDQUFxQixFQUNoQ1YsaUJBQWlCLElBQUksQ0FBQ1MsaUJBQWlCLENBQUNGO1FBRTlDLE9BQU9QO0lBQ1Q7SUFFQSxPQUFPVywyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9wQix3QkFBZSxDQUFDaUIsMENBQTBDLENBQUNsQixVQUFVYyxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOIn0=
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
8
8
  return SchemaNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class SchemaNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class SchemaNode extends _nonTerminalNode.default {
14
19
  getBodyNode() {
15
20
  const ruleName = _ruleNames.SCHEMA_BODY_RULE_NAME, axiomBodyNode = this.getNodeByRuleName(ruleName);
16
21
  return axiomBodyNode;
@@ -36,8 +41,8 @@ class SchemaNode extends _occamlanguages.NonTerminalNode {
36
41
  return suppositionNodes;
37
42
  }
38
43
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
39
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(SchemaNode, ruleName, childNodes, opacity, precedence);
44
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(SchemaNode, ruleName, childNodes, opacity, precedence);
40
45
  }
41
46
  }
42
47
 
43
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3NjaGVtYS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5pbXBvcnQgeyBTQ0hFTUFfQk9EWV9SVUxFX05BTUUsIFNDSEVNQV9IRUFERVJfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTY2hlbWFOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0Qm9keU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTQ0hFTUFfQk9EWV9SVUxFX05BTUUsICAvLy9cbiAgICAgICAgICBheGlvbUJvZHlOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gYXhpb21Cb2R5Tm9kZTtcbiAgfVxuXG4gIGdldExhYmVsTm9kZSgpIHtcbiAgICBjb25zdCBoZWFkZXJOb2RlID0gdGhpcy5nZXRIZWFkZXJOb2RlKCksXG4gICAgICAgICAgbGFiZWxOb2RlID0gaGVhZGVyTm9kZS5nZXRMYWJlbE5vZGUoKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGU7XG4gIH1cblxuICBnZXRQcm9vZk5vZGUoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgcHJvb2ZOb2RlID0gYm9keU5vZGUuZ2V0UHJvb2ZOb2RlKCk7XG5cbiAgICByZXR1cm4gcHJvb2ZOb2RlO1xuICB9XG5cbiAgZ2V0SGVhZGVyTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNDSEVNQV9IRUFERVJfUlVMRV9OQU1FLCAgLy8vXG4gICAgICAgICAgaGVhZGVyTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGhlYWRlck5vZGU7XG4gIH1cblxuICBnZXREZWR1Y3Rpb25Ob2RlKCkge1xuICAgIGNvbnN0IGJvZHlOb2RlID0gdGhpcy5nZXRCb2R5Tm9kZSgpLFxuICAgICAgICAgIGRlZHVjdGlvbk5vZGUgPSBib2R5Tm9kZS5nZXREZWR1Y3Rpb25Ob2RlKCk7XG5cbiAgICByZXR1cm4gZGVkdWN0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFN1cHBvc2l0aW9uTm9kZXMoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgc3VwcG9zaXRpb25Ob2RlcyA9IGJvZHlOb2RlLmdldFN1cHBvc2l0aW9uTm9kZXMoKTtcblxuICAgIHJldHVybiBzdXBwb3NpdGlvbk5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShTY2hlbWFOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJTY2hlbWFOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0Qm9keU5vZGUiLCJydWxlTmFtZSIsIlNDSEVNQV9CT0RZX1JVTEVfTkFNRSIsImF4aW9tQm9keU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldExhYmVsTm9kZSIsImhlYWRlck5vZGUiLCJnZXRIZWFkZXJOb2RlIiwibGFiZWxOb2RlIiwiZ2V0UHJvb2ZOb2RlIiwiYm9keU5vZGUiLCJwcm9vZk5vZGUiLCJTQ0hFTUFfSEVBREVSX1JVTEVfTkFNRSIsImdldERlZHVjdGlvbk5vZGUiLCJkZWR1Y3Rpb25Ob2RlIiwiZ2V0U3VwcG9zaXRpb25Ob2RlcyIsInN1cHBvc2l0aW9uTm9kZXMiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7Z0NBSlc7MkJBRStCO0FBRWhELE1BQU1BLG1CQUFtQkMsK0JBQWU7SUFDckRDLGNBQWM7UUFDWixNQUFNQyxXQUFXQyxnQ0FBcUIsRUFDaENDLGdCQUFnQixJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUU3QyxPQUFPRTtJQUNUO0lBRUFFLGVBQWU7UUFDYixNQUFNQyxhQUFhLElBQUksQ0FBQ0MsYUFBYSxJQUMvQkMsWUFBWUYsV0FBV0QsWUFBWTtRQUV6QyxPQUFPRztJQUNUO0lBRUFDLGVBQWU7UUFDYixNQUFNQyxXQUFXLElBQUksQ0FBQ1YsV0FBVyxJQUMzQlcsWUFBWUQsU0FBU0QsWUFBWTtRQUV2QyxPQUFPRTtJQUNUO0lBRUFKLGdCQUFnQjtRQUNkLE1BQU1OLFdBQVdXLGtDQUF1QixFQUNsQ04sYUFBYSxJQUFJLENBQUNGLGlCQUFpQixDQUFDSDtRQUUxQyxPQUFPSztJQUNUO0lBRUFPLG1CQUFtQjtRQUNqQixNQUFNSCxXQUFXLElBQUksQ0FBQ1YsV0FBVyxJQUMzQmMsZ0JBQWdCSixTQUFTRyxnQkFBZ0I7UUFFL0MsT0FBT0M7SUFDVDtJQUVBQyxzQkFBc0I7UUFDcEIsTUFBTUwsV0FBVyxJQUFJLENBQUNWLFdBQVcsSUFDM0JnQixtQkFBbUJOLFNBQVNLLG1CQUFtQjtRQUVyRCxPQUFPQztJQUNUO0lBRUEsT0FBT0MsMkNBQTJDaEIsUUFBUSxFQUFFaUIsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9yQiwrQkFBZSxDQUFDa0IsMENBQTBDLENBQUNuQixZQUFZRyxVQUFVaUIsWUFBWUMsU0FBU0M7SUFBYTtBQUMzTiJ9
48
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3NjaGVtYS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IFNDSEVNQV9CT0RZX1JVTEVfTkFNRSwgU0NIRU1BX0hFQURFUl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFNjaGVtYU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRCb2R5Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNDSEVNQV9CT0RZX1JVTEVfTkFNRSwgIC8vL1xuICAgICAgICAgIGF4aW9tQm9keU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBheGlvbUJvZHlOb2RlO1xuICB9XG5cbiAgZ2V0TGFiZWxOb2RlKCkge1xuICAgIGNvbnN0IGhlYWRlck5vZGUgPSB0aGlzLmdldEhlYWRlck5vZGUoKSxcbiAgICAgICAgICBsYWJlbE5vZGUgPSBoZWFkZXJOb2RlLmdldExhYmVsTm9kZSgpO1xuXG4gICAgcmV0dXJuIGxhYmVsTm9kZTtcbiAgfVxuXG4gIGdldFByb29mTm9kZSgpIHtcbiAgICBjb25zdCBib2R5Tm9kZSA9IHRoaXMuZ2V0Qm9keU5vZGUoKSxcbiAgICAgICAgICBwcm9vZk5vZGUgPSBib2R5Tm9kZS5nZXRQcm9vZk5vZGUoKTtcblxuICAgIHJldHVybiBwcm9vZk5vZGU7XG4gIH1cblxuICBnZXRIZWFkZXJOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU0NIRU1BX0hFQURFUl9SVUxFX05BTUUsICAvLy9cbiAgICAgICAgICBoZWFkZXJOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gaGVhZGVyTm9kZTtcbiAgfVxuXG4gIGdldERlZHVjdGlvbk5vZGUoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgZGVkdWN0aW9uTm9kZSA9IGJvZHlOb2RlLmdldERlZHVjdGlvbk5vZGUoKTtcblxuICAgIHJldHVybiBkZWR1Y3Rpb25Ob2RlO1xuICB9XG5cbiAgZ2V0U3VwcG9zaXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBib2R5Tm9kZSA9IHRoaXMuZ2V0Qm9keU5vZGUoKSxcbiAgICAgICAgICBzdXBwb3NpdGlvbk5vZGVzID0gYm9keU5vZGUuZ2V0U3VwcG9zaXRpb25Ob2RlcygpO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFNjaGVtYU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlNjaGVtYU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRCb2R5Tm9kZSIsInJ1bGVOYW1lIiwiU0NIRU1BX0JPRFlfUlVMRV9OQU1FIiwiYXhpb21Cb2R5Tm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0TGFiZWxOb2RlIiwiaGVhZGVyTm9kZSIsImdldEhlYWRlck5vZGUiLCJsYWJlbE5vZGUiLCJnZXRQcm9vZk5vZGUiLCJib2R5Tm9kZSIsInByb29mTm9kZSIsIlNDSEVNQV9IRUFERVJfUlVMRV9OQU1FIiwiZ2V0RGVkdWN0aW9uTm9kZSIsImRlZHVjdGlvbk5vZGUiLCJnZXRTdXBwb3NpdGlvbk5vZGVzIiwic3VwcG9zaXRpb25Ob2RlcyIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFbUM7Ozs7OztBQUVoRCxNQUFNQSxtQkFBbUJDLHdCQUFlO0lBQ3JEQyxjQUFjO1FBQ1osTUFBTUMsV0FBV0MsZ0NBQXFCLEVBQ2hDQyxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFN0MsT0FBT0U7SUFDVDtJQUVBRSxlQUFlO1FBQ2IsTUFBTUMsYUFBYSxJQUFJLENBQUNDLGFBQWEsSUFDL0JDLFlBQVlGLFdBQVdELFlBQVk7UUFFekMsT0FBT0c7SUFDVDtJQUVBQyxlQUFlO1FBQ2IsTUFBTUMsV0FBVyxJQUFJLENBQUNWLFdBQVcsSUFDM0JXLFlBQVlELFNBQVNELFlBQVk7UUFFdkMsT0FBT0U7SUFDVDtJQUVBSixnQkFBZ0I7UUFDZCxNQUFNTixXQUFXVyxrQ0FBdUIsRUFDbENOLGFBQWEsSUFBSSxDQUFDRixpQkFBaUIsQ0FBQ0g7UUFFMUMsT0FBT0s7SUFDVDtJQUVBTyxtQkFBbUI7UUFDakIsTUFBTUgsV0FBVyxJQUFJLENBQUNWLFdBQVcsSUFDM0JjLGdCQUFnQkosU0FBU0csZ0JBQWdCO1FBRS9DLE9BQU9DO0lBQ1Q7SUFFQUMsc0JBQXNCO1FBQ3BCLE1BQU1MLFdBQVcsSUFBSSxDQUFDVixXQUFXLElBQzNCZ0IsbUJBQW1CTixTQUFTSyxtQkFBbUI7UUFFckQsT0FBT0M7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ2hCLFFBQVEsRUFBRWlCLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPckIsd0JBQWUsQ0FBQ2tCLDBDQUEwQyxDQUFDbkIsWUFBWUcsVUFBVWlCLFlBQVlDLFNBQVNDO0lBQWE7QUFDM04ifQ==
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
8
8
  return SectionNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class SectionNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class SectionNode extends _nonTerminalNode.default {
14
19
  getAxiomNode() {
15
20
  const ruleName = _ruleNames.AXIOM_RULE_NAME, axiomNode = this.getNodeByRuleName(ruleName);
16
21
  return axiomNode;
@@ -32,8 +37,8 @@ class SectionNode extends _occamlanguages.NonTerminalNode {
32
37
  return hypothesisNodes;
33
38
  }
34
39
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
35
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(SectionNode, ruleName, childNodes, opacity, precedence);
40
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(SectionNode, ruleName, childNodes, opacity, precedence);
36
41
  }
37
42
  }
38
43
 
39
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3NlY3Rpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgQVhJT01fUlVMRV9OQU1FLCBMRU1NQV9SVUxFX05BTUUsIFRIRU9SRU1fUlVMRV9OQU1FLCBDT05KRUNUVVJFX1JVTEVfTkFNRSwgSFlQT1RIRVNJU19SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFNlY3Rpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0QXhpb21Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gQVhJT01fUlVMRV9OQU1FLFxuICAgICAgICAgIGF4aW9tTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGF4aW9tTm9kZTtcbiAgfVxuXG4gIGdldExlbW1hTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IExFTU1BX1JVTEVfTkFNRSxcbiAgICAgICAgICBsZW1tYU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBsZW1tYU5vZGU7XG4gIH1cblxuICBnZXRUaGVvcmVtTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRIRU9SRU1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRoZW9yZW1Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdGhlb3JlbU5vZGU7XG4gIH1cblxuICBnZXRDb25qZWN0dXJlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IENPTkpFQ1RVUkVfUlVMRV9OQU1FLFxuICAgICAgICAgIGNvbmplY3R1cmVOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gY29uamVjdHVyZU5vZGU7XG4gIH1cblxuICBnZXRIeXBvdGhlc2lzTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBIWVBPVEhFU0lTX1JVTEVfTkFNRSxcbiAgICAgICAgICBoeXBvdGhlc2lzTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gaHlwb3RoZXNpc05vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShTZWN0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiU2VjdGlvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRBeGlvbU5vZGUiLCJydWxlTmFtZSIsIkFYSU9NX1JVTEVfTkFNRSIsImF4aW9tTm9kZSIsImdldE5vZGVCeVJ1bGVOYW1lIiwiZ2V0TGVtbWFOb2RlIiwiTEVNTUFfUlVMRV9OQU1FIiwibGVtbWFOb2RlIiwiZ2V0VGhlb3JlbU5vZGUiLCJUSEVPUkVNX1JVTEVfTkFNRSIsInRoZW9yZW1Ob2RlIiwiZ2V0Q29uamVjdHVyZU5vZGUiLCJDT05KRUNUVVJFX1JVTEVfTkFNRSIsImNvbmplY3R1cmVOb2RlIiwiZ2V0SHlwb3RoZXNpc05vZGVzIiwiSFlQT1RIRVNJU19SVUxFX05BTUUiLCJoeXBvdGhlc2lzTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7Z0NBSlc7MkJBRWdGO0FBRWpHLE1BQU1BLG9CQUFvQkMsK0JBQWU7SUFDdERDLGVBQWU7UUFDYixNQUFNQyxXQUFXQywwQkFBZSxFQUMxQkMsWUFBWSxJQUFJLENBQUNDLGlCQUFpQixDQUFDSDtRQUV6QyxPQUFPRTtJQUNUO0lBRUFFLGVBQWU7UUFDYixNQUFNSixXQUFXSywwQkFBZSxFQUMxQkMsWUFBWSxJQUFJLENBQUNILGlCQUFpQixDQUFDSDtRQUV6QyxPQUFPTTtJQUNUO0lBRUFDLGlCQUFpQjtRQUNmLE1BQU1QLFdBQVdRLDRCQUFpQixFQUM1QkMsY0FBYyxJQUFJLENBQUNOLGlCQUFpQixDQUFDSDtRQUUzQyxPQUFPUztJQUNUO0lBRUFDLG9CQUFvQjtRQUNsQixNQUFNVixXQUFXVywrQkFBb0IsRUFDL0JDLGlCQUFpQixJQUFJLENBQUNULGlCQUFpQixDQUFDSDtRQUU5QyxPQUFPWTtJQUNUO0lBRUFDLHFCQUFxQjtRQUNuQixNQUFNYixXQUFXYywrQkFBb0IsRUFDL0JDLGtCQUFrQixJQUFJLENBQUNDLGtCQUFrQixDQUFDaEI7UUFFaEQsT0FBT2U7SUFDVDtJQUVBLE9BQU9FLDJDQUEyQ2pCLFFBQVEsRUFBRWtCLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPdEIsK0JBQWUsQ0FBQ21CLDBDQUEwQyxDQUFDcEIsYUFBYUcsVUFBVWtCLFlBQVlDLFNBQVNDO0lBQWE7QUFDNU4ifQ==
44
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3NlY3Rpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBBWElPTV9SVUxFX05BTUUsIExFTU1BX1JVTEVfTkFNRSwgVEhFT1JFTV9SVUxFX05BTUUsIENPTkpFQ1RVUkVfUlVMRV9OQU1FLCBIWVBPVEhFU0lTX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgU2VjdGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRBeGlvbU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBBWElPTV9SVUxFX05BTUUsXG4gICAgICAgICAgYXhpb21Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gYXhpb21Ob2RlO1xuICB9XG5cbiAgZ2V0TGVtbWFOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gTEVNTUFfUlVMRV9OQU1FLFxuICAgICAgICAgIGxlbW1hTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGxlbW1hTm9kZTtcbiAgfVxuXG4gIGdldFRoZW9yZW1Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVEhFT1JFTV9SVUxFX05BTUUsXG4gICAgICAgICAgdGhlb3JlbU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0aGVvcmVtTm9kZTtcbiAgfVxuXG4gIGdldENvbmplY3R1cmVOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gQ09OSkVDVFVSRV9SVUxFX05BTUUsXG4gICAgICAgICAgY29uamVjdHVyZU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBjb25qZWN0dXJlTm9kZTtcbiAgfVxuXG4gIGdldEh5cG90aGVzaXNOb2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IEhZUE9USEVTSVNfUlVMRV9OQU1FLFxuICAgICAgICAgIGh5cG90aGVzaXNOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBoeXBvdGhlc2lzTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFNlY3Rpb25Ob2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJTZWN0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldEF4aW9tTm9kZSIsInJ1bGVOYW1lIiwiQVhJT01fUlVMRV9OQU1FIiwiYXhpb21Ob2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRMZW1tYU5vZGUiLCJMRU1NQV9SVUxFX05BTUUiLCJsZW1tYU5vZGUiLCJnZXRUaGVvcmVtTm9kZSIsIlRIRU9SRU1fUlVMRV9OQU1FIiwidGhlb3JlbU5vZGUiLCJnZXRDb25qZWN0dXJlTm9kZSIsIkNPTkpFQ1RVUkVfUlVMRV9OQU1FIiwiY29uamVjdHVyZU5vZGUiLCJnZXRIeXBvdGhlc2lzTm9kZXMiLCJIWVBPVEhFU0lTX1JVTEVfTkFNRSIsImh5cG90aGVzaXNOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFb0Y7Ozs7OztBQUVqRyxNQUFNQSxvQkFBb0JDLHdCQUFlO0lBQ3REQyxlQUFlO1FBQ2IsTUFBTUMsV0FBV0MsMEJBQWUsRUFDMUJDLFlBQVksSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0g7UUFFekMsT0FBT0U7SUFDVDtJQUVBRSxlQUFlO1FBQ2IsTUFBTUosV0FBV0ssMEJBQWUsRUFDMUJDLFlBQVksSUFBSSxDQUFDSCxpQkFBaUIsQ0FBQ0g7UUFFekMsT0FBT007SUFDVDtJQUVBQyxpQkFBaUI7UUFDZixNQUFNUCxXQUFXUSw0QkFBaUIsRUFDNUJDLGNBQWMsSUFBSSxDQUFDTixpQkFBaUIsQ0FBQ0g7UUFFM0MsT0FBT1M7SUFDVDtJQUVBQyxvQkFBb0I7UUFDbEIsTUFBTVYsV0FBV1csK0JBQW9CLEVBQy9CQyxpQkFBaUIsSUFBSSxDQUFDVCxpQkFBaUIsQ0FBQ0g7UUFFOUMsT0FBT1k7SUFDVDtJQUVBQyxxQkFBcUI7UUFDbkIsTUFBTWIsV0FBV2MsK0JBQW9CLEVBQy9CQyxrQkFBa0IsSUFBSSxDQUFDQyxrQkFBa0IsQ0FBQ2hCO1FBRWhELE9BQU9lO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNqQixRQUFRLEVBQUVrQixVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3RCLHdCQUFlLENBQUNtQiwwQ0FBMEMsQ0FBQ3BCLGFBQWFHLFVBQVVrQixZQUFZQyxTQUFTQztJQUFhO0FBQzVOIn0=
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
8
8
  return SignatureNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class SignatureNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class SignatureNode extends _nonTerminalNode.default {
14
19
  getTermNodes() {
15
20
  const ruleName = _ruleNames.TERM_RULE_NAME, termNodes = this.getNodesByRuleName(ruleName);
16
21
  return termNodes;
17
22
  }
18
23
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
19
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(SignatureNode, ruleName, childNodes, opacity, precedence);
24
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(SignatureNode, ruleName, childNodes, opacity, precedence);
20
25
  }
21
26
  }
22
27
 
23
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3NpZ25hdHVyZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5pbXBvcnQgeyBURVJNX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgU2lnbmF0dXJlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFRlcm1Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRFUk1fUlVMRV9OQU1FLFxuICAgICAgICAgIHRlcm1Ob2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0ZXJtTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFNpZ25hdHVyZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlNpZ25hdHVyZU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRUZXJtTm9kZXMiLCJydWxlTmFtZSIsIlRFUk1fUlVMRV9OQU1FIiwidGVybU5vZGVzIiwiZ2V0Tm9kZXNCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O2dDQUpXOzJCQUVEO0FBRWhCLE1BQU1BLHNCQUFzQkMsK0JBQWU7SUFDeERDLGVBQWU7UUFDYixNQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsWUFBWSxJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtRQUUxQyxPQUFPRTtJQUNUO0lBRUEsT0FBT0UsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCwrQkFBZSxDQUFDTSwwQ0FBMEMsQ0FBQ1AsZUFBZUcsVUFBVUssWUFBWUMsU0FBU0M7SUFBYTtBQUM5TiJ9
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3NpZ25hdHVyZS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmltcG9ydCB7IFRFUk1fUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTaWduYXR1cmVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0VGVybU5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVEVSTV9SVUxFX05BTUUsXG4gICAgICAgICAgdGVybU5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHRlcm1Ob2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoU2lnbmF0dXJlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiU2lnbmF0dXJlTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFRlcm1Ob2RlcyIsInJ1bGVOYW1lIiwiVEVSTV9SVUxFX05BTUUiLCJ0ZXJtTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRUc7Ozs7OztBQUVoQixNQUFNQSxzQkFBc0JDLHdCQUFlO0lBQ3hEQyxlQUFlO1FBQ2IsTUFBTUMsV0FBV0MseUJBQWMsRUFDekJDLFlBQVksSUFBSSxDQUFDQyxrQkFBa0IsQ0FBQ0g7UUFFMUMsT0FBT0U7SUFDVDtJQUVBLE9BQU9FLDJDQUEyQ0osUUFBUSxFQUFFSyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT1Qsd0JBQWUsQ0FBQ00sMENBQTBDLENBQUNQLGVBQWVHLFVBQVVLLFlBQVlDLFNBQVNDO0lBQWE7QUFDOU4ifQ==
@@ -5,12 +5,13 @@ Object.defineProperty(exports, "__esModule", {
5
5
  Object.defineProperty(exports, "default", {
6
6
  enumerable: true,
7
7
  get: function() {
8
- return StatementNode;
8
+ return _default;
9
9
  }
10
10
  });
11
11
  const _occamlanguages = require("occam-languages");
12
+ const _occamgrammarutilities = require("occam-grammar-utilities");
12
13
  const _ruleNames = require("../ruleNames");
13
- class StatementNode extends _occamlanguages.NonTerminalNode {
14
+ class StatementNode extends _occamgrammarutilities.NonTerminalNode {
14
15
  isSingular() {
15
16
  let singular = false;
16
17
  const singularMetavariableNode = this.getSingularMetavariableNode();
@@ -96,8 +97,10 @@ class StatementNode extends _occamlanguages.NonTerminalNode {
96
97
  return statementSubstitutionNode;
97
98
  }
98
99
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
99
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(StatementNode, ruleName, childNodes, opacity, precedence);
100
+ return _occamgrammarutilities.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(StatementNode, ruleName, childNodes, opacity, precedence);
100
101
  }
101
102
  }
103
+ Object.assign(StatementNode.prototype, _occamlanguages.nodeMixins);
104
+ const _default = StatementNode;
102
105
 
103
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N0YXRlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5pbXBvcnQgeyBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgIEZSQU1FX1JVTEVfTkFNRSxcbiAgICAgICAgIEVRVUFMSVRZX1JVTEVfTkFNRSxcbiAgICAgICAgIEpVREdFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQV9BUkdVTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIEZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTSUdOQVRVUkVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFN0YXRlbWVudE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1Npbmd1bGFyKCkge1xuICAgIGxldCBzaW5ndWxhciA9IGZhbHNlO1xuXG4gICAgY29uc3Qgc2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlID0gdGhpcy5nZXRTaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUoKTtcblxuICAgIGlmIChzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUgIT09IG51bGwpIHtcbiAgICAgIHNpbmd1bGFyID0gdHJ1ZTtcbiAgICB9XG5cbiAgICByZXR1cm4gc2luZ3VsYXI7XG4gIH1cblxuICBnZXRNZXRhdmFyaWFibGVOb2RlKCkge1xuICAgIGNvbnN0IHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgbWV0YXZhcmlhYmxlTm9kZSA9IHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZTsgIC8vL1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBnZXRTdWJzdGl0dXRpb25Ob2RlKCkge1xuICAgIGNvbnN0IGZyYW1lU3Vic3RpdHV0aW9uTm9kZSA9IHRoaXMuZ2V0RnJhbWVTdWJzdGl0dXRpb25Ob2RlKCksXG4gICAgICAgICAgdGVybVN1YnN0aXR1dGlvbk5vZGUgPSB0aGlzLmdldFRlcm1TdWJzdGl0dXRpb25Ob2RlKCksXG4gICAgICAgICAgc3Vic3RpdHV0aW9uTm9kZSA9IChmcmFtZVN1YnN0aXR1dGlvbk5vZGUgfHwgdGVybVN1YnN0aXR1dGlvbk5vZGUpO1xuXG4gICAgcmV0dXJuIHN1YnN0aXR1dGlvbk5vZGU7XG4gIH1cblxuICBnZXRUZXJtTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgICB0ZXJtTm9kZXMgPSB0aGlzLmdldERlc2NlbmRhbnROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHRlcm1Ob2RlcztcbiAgfVxuXG4gIGdldEZyYW1lTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBGUkFNRV9SVUxFX05BTUUsXG4gICAgICAgICAgZnJhbWVOb2RlcyA9IHRoaXMuZ2V0RGVzY2VuZGFudE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gZnJhbWVOb2RlcztcbiAgfVxuXG4gIGdldEVxdWFsaXR5Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IEVRVUFMSVRZX1JVTEVfTkFNRSxcbiAgICAgICAgICBlcXVhbGl0eU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBlcXVhbGl0eU5vZGU7XG4gIH1cblxuICBnZXRKdWRnZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gSlVER0VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgICBqdWRnZW1lbnROb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4ganVkZ2VtZW50Tm9kZTtcbiAgfVxuXG4gIGdldFR5cGVBc3NlcnRpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgIHR5cGVBc3NlcnRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdHlwZUFzc2VydGlvbk5vZGU7XG4gIH1cblxuICBnZXREZWZpbmVkQXNzZXJ0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IERFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBkZWZpbmVkQXNzZXJ0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGRlZmluZWRBc3NlcnRpb25Ob2RlO1xuICB9XG5cbiAgZ2V0VGVybVN1YnN0aXR1dGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgdGVybVN1YnN0aXR1dGlvbk5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0ZXJtU3Vic3RpdHV0aW9uTm9kZTtcbiAgfVxuXG4gIGdldEZyYW1lU3Vic3RpdHV0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IEZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgZnJhbWVTdWJzdGl0dXRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gZnJhbWVTdWJzdGl0dXRpb25Ob2RlO1xuICB9XG5cbiAgZ2V0U3VicHJvb2ZBc3NlcnRpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBzdWJwcm9vZkFzc2VydGlvbk5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdWJwcm9vZkFzc2VydGlvbk5vZGU7XG4gIH1cblxuICBnZXRQcm9wZXJ0eUFzc2VydGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgIHByb3BlcnR5QXNzZXJ0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHByb3BlcnR5QXNzZXJ0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyU3RhdGVtZW50Tm9kZSgpIHtcbiAgICBsZXQgc2luZ3VsYXJTdGF0ZW1lbnROb2RlID0gbnVsbDtcblxuICAgIGNvbnN0IHNpbmd1bGFyTWV0YUFyZ3VtZW50Tm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJNZXRhQXJndW1lbnROb2RlKCk7XG5cbiAgICBpZiAoc2luZ3VsYXJNZXRhQXJndW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgICBzaW5ndWxhclN0YXRlbWVudE5vZGUgPSBzaW5ndWxhck1ldGFBcmd1bWVudE5vZGUuZ2V0U2luZ3VsYXJTdGF0ZW1lbnROb2RlKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHNpbmd1bGFyU3RhdGVtZW50Tm9kZTtcbiAgfVxuXG4gIGdldENvbnRhaW5lZEFzc2VydGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBjb250YWluZWRBc3NlcnRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gY29udGFpbmVkQXNzZXJ0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFNpZ25hdHVyZUFzc2VydGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTSUdOQVRVUkVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBzaWduYXR1cmVBc3NlcnRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc2lnbmF0dXJlQXNzZXJ0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgc2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlID0gdGhpcy5nZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBnZXRTaW5ndWxhck1ldGFBcmd1bWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgICBzaW5ndWxhck1ldGFBcmd1bWVudE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaW5ndWxhck1ldGFBcmd1bWVudE5vZGU7XG4gIH1cblxuICBnZXRTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFN0YXRlbWVudE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlN0YXRlbWVudE5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJpc1Npbmd1bGFyIiwic2luZ3VsYXIiLCJzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUiLCJnZXRTaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUiLCJnZXRNZXRhdmFyaWFibGVOb2RlIiwibWV0YXZhcmlhYmxlTm9kZSIsImdldFN1YnN0aXR1dGlvbk5vZGUiLCJmcmFtZVN1YnN0aXR1dGlvbk5vZGUiLCJnZXRGcmFtZVN1YnN0aXR1dGlvbk5vZGUiLCJ0ZXJtU3Vic3RpdHV0aW9uTm9kZSIsImdldFRlcm1TdWJzdGl0dXRpb25Ob2RlIiwic3Vic3RpdHV0aW9uTm9kZSIsImdldFRlcm1Ob2RlcyIsInJ1bGVOYW1lIiwiVEVSTV9SVUxFX05BTUUiLCJ0ZXJtTm9kZXMiLCJnZXREZXNjZW5kYW50Tm9kZXNCeVJ1bGVOYW1lIiwiZ2V0RnJhbWVOb2RlcyIsIkZSQU1FX1JVTEVfTkFNRSIsImZyYW1lTm9kZXMiLCJnZXRFcXVhbGl0eU5vZGUiLCJFUVVBTElUWV9SVUxFX05BTUUiLCJlcXVhbGl0eU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldEp1ZGdlbWVudE5vZGUiLCJKVURHRU1FTlRfUlVMRV9OQU1FIiwianVkZ2VtZW50Tm9kZSIsImdldFR5cGVBc3NlcnRpb25Ob2RlIiwiVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FIiwidHlwZUFzc2VydGlvbk5vZGUiLCJnZXREZWZpbmVkQXNzZXJ0aW9uTm9kZSIsIkRFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsImRlZmluZWRBc3NlcnRpb25Ob2RlIiwiVEVSTV9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwiRlJBTUVfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsImdldFN1YnByb29mQXNzZXJ0aW9uTm9kZSIsIlNVQlBST09GX0FTU0VSVElPTl9SVUxFX05BTUUiLCJzdWJwcm9vZkFzc2VydGlvbk5vZGUiLCJnZXRQcm9wZXJ0eUFzc2VydGlvbk5vZGUiLCJQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FIiwicHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiZ2V0U2luZ3VsYXJTdGF0ZW1lbnROb2RlIiwic2luZ3VsYXJTdGF0ZW1lbnROb2RlIiwic2luZ3VsYXJNZXRhQXJndW1lbnROb2RlIiwiZ2V0U2luZ3VsYXJNZXRhQXJndW1lbnROb2RlIiwiZ2V0Q29udGFpbmVkQXNzZXJ0aW9uTm9kZSIsIkNPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FIiwiY29udGFpbmVkQXNzZXJ0aW9uTm9kZSIsImdldFNpZ25hdHVyZUFzc2VydGlvbk5vZGUiLCJTSUdOQVRVUkVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsInNpZ25hdHVyZUFzc2VydGlvbk5vZGUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiZ2V0U2luZ3VsYXJOb2RlQnlSdWxlTmFtZSIsIk1FVEFfQVJHVU1FTlRfUlVMRV9OQU1FIiwiZ2V0U3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSIsIlNUQVRFTUVOVF9TVUJTVElUVVRJT05fUlVMRV9OQU1FIiwic3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBb0JBOzs7ZUFBcUJBOzs7Z0NBbEJXOzJCQWdCaUI7QUFFbEMsTUFBTUEsc0JBQXNCQywrQkFBZTtJQUN4REMsYUFBYTtRQUNYLElBQUlDLFdBQVc7UUFFZixNQUFNQywyQkFBMkIsSUFBSSxDQUFDQywyQkFBMkI7UUFFakUsSUFBSUQsNkJBQTZCLE1BQU07WUFDckNELFdBQVc7UUFDYjtRQUVBLE9BQU9BO0lBQ1Q7SUFFQUcsc0JBQXNCO1FBQ3BCLE1BQU1GLDJCQUEyQixJQUFJLENBQUNDLDJCQUEyQixJQUMzREUsbUJBQW1CSCwwQkFBMkIsR0FBRztRQUV2RCxPQUFPRztJQUNUO0lBRUFDLHNCQUFzQjtRQUNwQixNQUFNQyx3QkFBd0IsSUFBSSxDQUFDQyx3QkFBd0IsSUFDckRDLHVCQUF1QixJQUFJLENBQUNDLHVCQUF1QixJQUNuREMsbUJBQW9CSix5QkFBeUJFO1FBRW5ELE9BQU9FO0lBQ1Q7SUFFQUMsZUFBZTtRQUNiLE1BQU1DLFdBQVdDLHlCQUFjLEVBQ3pCQyxZQUFZLElBQUksQ0FBQ0MsNEJBQTRCLENBQUNIO1FBRXBELE9BQU9FO0lBQ1Q7SUFFQUUsZ0JBQWdCO1FBQ2QsTUFBTUosV0FBV0ssMEJBQWUsRUFDMUJDLGFBQWEsSUFBSSxDQUFDSCw0QkFBNEIsQ0FBQ0g7UUFFckQsT0FBT007SUFDVDtJQUVBQyxrQkFBa0I7UUFDaEIsTUFBTVAsV0FBV1EsNkJBQWtCLEVBQzdCQyxlQUFlLElBQUksQ0FBQ0MsaUJBQWlCLENBQUNWO1FBRTVDLE9BQU9TO0lBQ1Q7SUFFQUUsbUJBQW1CO1FBQ2pCLE1BQU1YLFdBQVdZLDhCQUFtQixFQUM5QkMsZ0JBQWdCLElBQUksQ0FBQ0gsaUJBQWlCLENBQUNWO1FBRTdDLE9BQU9hO0lBQ1Q7SUFFQUMsdUJBQXVCO1FBQ3JCLE1BQU1kLFdBQVdlLG1DQUF3QixFQUNuQ0Msb0JBQW9CLElBQUksQ0FBQ04saUJBQWlCLENBQUNWO1FBRWpELE9BQU9nQjtJQUNUO0lBRUFDLDBCQUEwQjtRQUN4QixNQUFNakIsV0FBV2tCLHNDQUEyQixFQUN0Q0MsdUJBQXVCLElBQUksQ0FBQ1QsaUJBQWlCLENBQUNWO1FBRXBELE9BQU9tQjtJQUNUO0lBRUF0QiwwQkFBMEI7UUFDeEIsTUFBTUcsV0FBV29CLHNDQUEyQixFQUN0Q3hCLHVCQUF1QixJQUFJLENBQUNjLGlCQUFpQixDQUFDVjtRQUVwRCxPQUFPSjtJQUNUO0lBRUFELDJCQUEyQjtRQUN6QixNQUFNSyxXQUFXcUIsdUNBQTRCLEVBQ3ZDM0Isd0JBQXdCLElBQUksQ0FBQ2dCLGlCQUFpQixDQUFDVjtRQUVyRCxPQUFPTjtJQUNUO0lBRUE0QiwyQkFBMkI7UUFDekIsTUFBTXRCLFdBQVd1Qix1Q0FBNEIsRUFDdkNDLHdCQUF3QixJQUFJLENBQUNkLGlCQUFpQixDQUFDVjtRQUVyRCxPQUFPd0I7SUFDVDtJQUVBQywyQkFBMkI7UUFDekIsTUFBTXpCLFdBQVcwQix1Q0FBNEIsRUFDdkNDLHdCQUF3QixJQUFJLENBQUNqQixpQkFBaUIsQ0FBQ1Y7UUFFckQsT0FBTzJCO0lBQ1Q7SUFFQUMsMkJBQTJCO1FBQ3pCLElBQUlDLHdCQUF3QjtRQUU1QixNQUFNQywyQkFBMkIsSUFBSSxDQUFDQywyQkFBMkI7UUFFakUsSUFBSUQsNkJBQTZCLE1BQU07WUFDckNELHdCQUF3QkMseUJBQXlCRix3QkFBd0I7UUFDM0U7UUFFQSxPQUFPQztJQUNUO0lBRUFHLDRCQUE0QjtRQUMxQixNQUFNaEMsV0FBV2lDLHdDQUE2QixFQUN4Q0MseUJBQXlCLElBQUksQ0FBQ3hCLGlCQUFpQixDQUFDVjtRQUV0RCxPQUFPa0M7SUFDVDtJQUVBQyw0QkFBNEI7UUFDMUIsTUFBTW5DLFdBQVdvQyx3Q0FBNkIsRUFDeENDLHlCQUF5QixJQUFJLENBQUMzQixpQkFBaUIsQ0FBQ1Y7UUFFdEQsT0FBT3FDO0lBQ1Q7SUFFQS9DLDhCQUE4QjtRQUM1QixNQUFNVSxXQUFXc0MsaUNBQXNCLEVBQ2pDakQsMkJBQTJCLElBQUksQ0FBQ2tELHlCQUF5QixDQUFDdkM7UUFFaEUsT0FBT1g7SUFDVDtJQUVBMEMsOEJBQThCO1FBQzVCLE1BQU0vQixXQUFXd0Msa0NBQXVCLEVBQ2xDViwyQkFBMkIsSUFBSSxDQUFDcEIsaUJBQWlCLENBQUNWO1FBRXhELE9BQU84QjtJQUNUO0lBRUFXLCtCQUErQjtRQUM3QixNQUFNekMsV0FBVzBDLDJDQUFnQyxFQUMzQ0MsNEJBQTRCLElBQUksQ0FBQ2pDLGlCQUFpQixDQUFDVjtRQUV6RCxPQUFPMkM7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQzVDLFFBQVEsRUFBRTZDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPN0QsK0JBQWUsQ0FBQzBELDBDQUEwQyxDQUFDM0QsZUFBZWUsVUFBVTZDLFlBQVlDLFNBQVNDO0lBQWE7QUFDOU4ifQ==
106
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N0YXRlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgbm9kZU1peGlucyB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1ncmFtbWFyLXV0aWxpdGllc1wiO1xuXG5pbXBvcnQgeyBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgIEZSQU1FX1JVTEVfTkFNRSxcbiAgICAgICAgIEVRVUFMSVRZX1JVTEVfTkFNRSxcbiAgICAgICAgIEpVREdFTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBNRVRBVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgTUVUQV9BUkdVTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICBUWVBFX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIEZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICBTSUdOQVRVUkVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgIENPTlRBSU5FRF9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmNsYXNzIFN0YXRlbWVudE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1Npbmd1bGFyKCkge1xuICAgIGxldCBzaW5ndWxhciA9IGZhbHNlO1xuXG4gICAgY29uc3Qgc2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlID0gdGhpcy5nZXRTaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUoKTtcblxuICAgIGlmIChzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUgIT09IG51bGwpIHtcbiAgICAgIHNpbmd1bGFyID0gdHJ1ZTtcbiAgICB9XG5cbiAgICByZXR1cm4gc2luZ3VsYXI7XG4gIH1cblxuICBnZXRNZXRhdmFyaWFibGVOb2RlKCkge1xuICAgIGNvbnN0IHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgbWV0YXZhcmlhYmxlTm9kZSA9IHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZTsgIC8vL1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBnZXRTdWJzdGl0dXRpb25Ob2RlKCkge1xuICAgIGNvbnN0IGZyYW1lU3Vic3RpdHV0aW9uTm9kZSA9IHRoaXMuZ2V0RnJhbWVTdWJzdGl0dXRpb25Ob2RlKCksXG4gICAgICAgICAgdGVybVN1YnN0aXR1dGlvbk5vZGUgPSB0aGlzLmdldFRlcm1TdWJzdGl0dXRpb25Ob2RlKCksXG4gICAgICAgICAgc3Vic3RpdHV0aW9uTm9kZSA9IChmcmFtZVN1YnN0aXR1dGlvbk5vZGUgfHwgdGVybVN1YnN0aXR1dGlvbk5vZGUpO1xuXG4gICAgcmV0dXJuIHN1YnN0aXR1dGlvbk5vZGU7XG4gIH1cblxuICBnZXRUZXJtTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBURVJNX1JVTEVfTkFNRSxcbiAgICAgICAgICB0ZXJtTm9kZXMgPSB0aGlzLmdldERlc2NlbmRhbnROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHRlcm1Ob2RlcztcbiAgfVxuXG4gIGdldEZyYW1lTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBGUkFNRV9SVUxFX05BTUUsXG4gICAgICAgICAgZnJhbWVOb2RlcyA9IHRoaXMuZ2V0RGVzY2VuZGFudE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gZnJhbWVOb2RlcztcbiAgfVxuXG4gIGdldEVxdWFsaXR5Tm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IEVRVUFMSVRZX1JVTEVfTkFNRSxcbiAgICAgICAgICBlcXVhbGl0eU5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBlcXVhbGl0eU5vZGU7XG4gIH1cblxuICBnZXRKdWRnZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gSlVER0VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgICBqdWRnZW1lbnROb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4ganVkZ2VtZW50Tm9kZTtcbiAgfVxuXG4gIGdldFR5cGVBc3NlcnRpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVFlQRV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgIHR5cGVBc3NlcnRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdHlwZUFzc2VydGlvbk5vZGU7XG4gIH1cblxuICBnZXREZWZpbmVkQXNzZXJ0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IERFRklORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBkZWZpbmVkQXNzZXJ0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGRlZmluZWRBc3NlcnRpb25Ob2RlO1xuICB9XG5cbiAgZ2V0VGVybVN1YnN0aXR1dGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBURVJNX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgdGVybVN1YnN0aXR1dGlvbk5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0ZXJtU3Vic3RpdHV0aW9uTm9kZTtcbiAgfVxuXG4gIGdldEZyYW1lU3Vic3RpdHV0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IEZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgZnJhbWVTdWJzdGl0dXRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gZnJhbWVTdWJzdGl0dXRpb25Ob2RlO1xuICB9XG5cbiAgZ2V0U3VicHJvb2ZBc3NlcnRpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU1VCUFJPT0ZfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBzdWJwcm9vZkFzc2VydGlvbk5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdWJwcm9vZkFzc2VydGlvbk5vZGU7XG4gIH1cblxuICBnZXRQcm9wZXJ0eUFzc2VydGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBQUk9QRVJUWV9BU1NFUlRJT05fUlVMRV9OQU1FLFxuICAgICAgICAgIHByb3BlcnR5QXNzZXJ0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHByb3BlcnR5QXNzZXJ0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyU3RhdGVtZW50Tm9kZSgpIHtcbiAgICBsZXQgc2luZ3VsYXJTdGF0ZW1lbnROb2RlID0gbnVsbDtcblxuICAgIGNvbnN0IHNpbmd1bGFyTWV0YUFyZ3VtZW50Tm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJNZXRhQXJndW1lbnROb2RlKCk7XG5cbiAgICBpZiAoc2luZ3VsYXJNZXRhQXJndW1lbnROb2RlICE9PSBudWxsKSB7XG4gICAgICBzaW5ndWxhclN0YXRlbWVudE5vZGUgPSBzaW5ndWxhck1ldGFBcmd1bWVudE5vZGUuZ2V0U2luZ3VsYXJTdGF0ZW1lbnROb2RlKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHNpbmd1bGFyU3RhdGVtZW50Tm9kZTtcbiAgfVxuXG4gIGdldENvbnRhaW5lZEFzc2VydGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBjb250YWluZWRBc3NlcnRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gY29udGFpbmVkQXNzZXJ0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFNpZ25hdHVyZUFzc2VydGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTSUdOQVRVUkVfQVNTRVJUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBzaWduYXR1cmVBc3NlcnRpb25Ob2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gc2lnbmF0dXJlQXNzZXJ0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IE1FVEFWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgc2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlID0gdGhpcy5nZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBnZXRTaW5ndWxhck1ldGFBcmd1bWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSxcbiAgICAgICAgICBzaW5ndWxhck1ldGFBcmd1bWVudE5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaW5ndWxhck1ldGFBcmd1bWVudE5vZGU7XG4gIH1cblxuICBnZXRTdGF0ZW1lbnRTdWJzdGl0dXRpb25Ob2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gU1RBVEVNRU5UX1NVQlNUSVRVVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgc3RhdGVtZW50U3Vic3RpdHV0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFN0YXRlbWVudE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuXG5PYmplY3QuYXNzaWduKFN0YXRlbWVudE5vZGUucHJvdG90eXBlLCBub2RlTWl4aW5zKTtcblxuZXhwb3J0IGRlZmF1bHQgU3RhdGVtZW50Tm9kZTtcbiJdLCJuYW1lcyI6WyJTdGF0ZW1lbnROb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiaXNTaW5ndWxhciIsInNpbmd1bGFyIiwic2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlIiwiZ2V0U2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlIiwiZ2V0TWV0YXZhcmlhYmxlTm9kZSIsIm1ldGF2YXJpYWJsZU5vZGUiLCJnZXRTdWJzdGl0dXRpb25Ob2RlIiwiZnJhbWVTdWJzdGl0dXRpb25Ob2RlIiwiZ2V0RnJhbWVTdWJzdGl0dXRpb25Ob2RlIiwidGVybVN1YnN0aXR1dGlvbk5vZGUiLCJnZXRUZXJtU3Vic3RpdHV0aW9uTm9kZSIsInN1YnN0aXR1dGlvbk5vZGUiLCJnZXRUZXJtTm9kZXMiLCJydWxlTmFtZSIsIlRFUk1fUlVMRV9OQU1FIiwidGVybU5vZGVzIiwiZ2V0RGVzY2VuZGFudE5vZGVzQnlSdWxlTmFtZSIsImdldEZyYW1lTm9kZXMiLCJGUkFNRV9SVUxFX05BTUUiLCJmcmFtZU5vZGVzIiwiZ2V0RXF1YWxpdHlOb2RlIiwiRVFVQUxJVFlfUlVMRV9OQU1FIiwiZXF1YWxpdHlOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRKdWRnZW1lbnROb2RlIiwiSlVER0VNRU5UX1JVTEVfTkFNRSIsImp1ZGdlbWVudE5vZGUiLCJnZXRUeXBlQXNzZXJ0aW9uTm9kZSIsIlRZUEVfQVNTRVJUSU9OX1JVTEVfTkFNRSIsInR5cGVBc3NlcnRpb25Ob2RlIiwiZ2V0RGVmaW5lZEFzc2VydGlvbk5vZGUiLCJERUZJTkVEX0FTU0VSVElPTl9SVUxFX05BTUUiLCJkZWZpbmVkQXNzZXJ0aW9uTm9kZSIsIlRFUk1fU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsIkZSQU1FX1NVQlNUSVRVVElPTl9SVUxFX05BTUUiLCJnZXRTdWJwcm9vZkFzc2VydGlvbk5vZGUiLCJTVUJQUk9PRl9BU1NFUlRJT05fUlVMRV9OQU1FIiwic3VicHJvb2ZBc3NlcnRpb25Ob2RlIiwiZ2V0UHJvcGVydHlBc3NlcnRpb25Ob2RlIiwiUFJPUEVSVFlfQVNTRVJUSU9OX1JVTEVfTkFNRSIsInByb3BlcnR5QXNzZXJ0aW9uTm9kZSIsImdldFNpbmd1bGFyU3RhdGVtZW50Tm9kZSIsInNpbmd1bGFyU3RhdGVtZW50Tm9kZSIsInNpbmd1bGFyTWV0YUFyZ3VtZW50Tm9kZSIsImdldFNpbmd1bGFyTWV0YUFyZ3VtZW50Tm9kZSIsImdldENvbnRhaW5lZEFzc2VydGlvbk5vZGUiLCJDT05UQUlORURfQVNTRVJUSU9OX1JVTEVfTkFNRSIsImNvbnRhaW5lZEFzc2VydGlvbk5vZGUiLCJnZXRTaWduYXR1cmVBc3NlcnRpb25Ob2RlIiwiU0lHTkFUVVJFX0FTU0VSVElPTl9SVUxFX05BTUUiLCJzaWduYXR1cmVBc3NlcnRpb25Ob2RlIiwiTUVUQVZBUklBQkxFX1JVTEVfTkFNRSIsImdldFNpbmd1bGFyTm9kZUJ5UnVsZU5hbWUiLCJNRVRBX0FSR1VNRU5UX1JVTEVfTkFNRSIsImdldFN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUiLCJTVEFURU1FTlRfU1VCU1RJVFVUSU9OX1JVTEVfTkFNRSIsInN0YXRlbWVudFN1YnN0aXR1dGlvbk5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJPYmplY3QiLCJhc3NpZ24iLCJwcm90b3R5cGUiLCJub2RlTWl4aW5zIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkEyS0E7OztlQUFBOzs7Z0NBeksyQjt1Q0FDSzsyQkFnQmlCO0FBRWpELE1BQU1BLHNCQUFzQkMsc0NBQWU7SUFDekNDLGFBQWE7UUFDWCxJQUFJQyxXQUFXO1FBRWYsTUFBTUMsMkJBQTJCLElBQUksQ0FBQ0MsMkJBQTJCO1FBRWpFLElBQUlELDZCQUE2QixNQUFNO1lBQ3JDRCxXQUFXO1FBQ2I7UUFFQSxPQUFPQTtJQUNUO0lBRUFHLHNCQUFzQjtRQUNwQixNQUFNRiwyQkFBMkIsSUFBSSxDQUFDQywyQkFBMkIsSUFDM0RFLG1CQUFtQkgsMEJBQTJCLEdBQUc7UUFFdkQsT0FBT0c7SUFDVDtJQUVBQyxzQkFBc0I7UUFDcEIsTUFBTUMsd0JBQXdCLElBQUksQ0FBQ0Msd0JBQXdCLElBQ3JEQyx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUIsSUFDbkRDLG1CQUFvQkoseUJBQXlCRTtRQUVuRCxPQUFPRTtJQUNUO0lBRUFDLGVBQWU7UUFDYixNQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsWUFBWSxJQUFJLENBQUNDLDRCQUE0QixDQUFDSDtRQUVwRCxPQUFPRTtJQUNUO0lBRUFFLGdCQUFnQjtRQUNkLE1BQU1KLFdBQVdLLDBCQUFlLEVBQzFCQyxhQUFhLElBQUksQ0FBQ0gsNEJBQTRCLENBQUNIO1FBRXJELE9BQU9NO0lBQ1Q7SUFFQUMsa0JBQWtCO1FBQ2hCLE1BQU1QLFdBQVdRLDZCQUFrQixFQUM3QkMsZUFBZSxJQUFJLENBQUNDLGlCQUFpQixDQUFDVjtRQUU1QyxPQUFPUztJQUNUO0lBRUFFLG1CQUFtQjtRQUNqQixNQUFNWCxXQUFXWSw4QkFBbUIsRUFDOUJDLGdCQUFnQixJQUFJLENBQUNILGlCQUFpQixDQUFDVjtRQUU3QyxPQUFPYTtJQUNUO0lBRUFDLHVCQUF1QjtRQUNyQixNQUFNZCxXQUFXZSxtQ0FBd0IsRUFDbkNDLG9CQUFvQixJQUFJLENBQUNOLGlCQUFpQixDQUFDVjtRQUVqRCxPQUFPZ0I7SUFDVDtJQUVBQywwQkFBMEI7UUFDeEIsTUFBTWpCLFdBQVdrQixzQ0FBMkIsRUFDdENDLHVCQUF1QixJQUFJLENBQUNULGlCQUFpQixDQUFDVjtRQUVwRCxPQUFPbUI7SUFDVDtJQUVBdEIsMEJBQTBCO1FBQ3hCLE1BQU1HLFdBQVdvQixzQ0FBMkIsRUFDdEN4Qix1QkFBdUIsSUFBSSxDQUFDYyxpQkFBaUIsQ0FBQ1Y7UUFFcEQsT0FBT0o7SUFDVDtJQUVBRCwyQkFBMkI7UUFDekIsTUFBTUssV0FBV3FCLHVDQUE0QixFQUN2QzNCLHdCQUF3QixJQUFJLENBQUNnQixpQkFBaUIsQ0FBQ1Y7UUFFckQsT0FBT047SUFDVDtJQUVBNEIsMkJBQTJCO1FBQ3pCLE1BQU10QixXQUFXdUIsdUNBQTRCLEVBQ3ZDQyx3QkFBd0IsSUFBSSxDQUFDZCxpQkFBaUIsQ0FBQ1Y7UUFFckQsT0FBT3dCO0lBQ1Q7SUFFQUMsMkJBQTJCO1FBQ3pCLE1BQU16QixXQUFXMEIsdUNBQTRCLEVBQ3ZDQyx3QkFBd0IsSUFBSSxDQUFDakIsaUJBQWlCLENBQUNWO1FBRXJELE9BQU8yQjtJQUNUO0lBRUFDLDJCQUEyQjtRQUN6QixJQUFJQyx3QkFBd0I7UUFFNUIsTUFBTUMsMkJBQTJCLElBQUksQ0FBQ0MsMkJBQTJCO1FBRWpFLElBQUlELDZCQUE2QixNQUFNO1lBQ3JDRCx3QkFBd0JDLHlCQUF5QkYsd0JBQXdCO1FBQzNFO1FBRUEsT0FBT0M7SUFDVDtJQUVBRyw0QkFBNEI7UUFDMUIsTUFBTWhDLFdBQVdpQyx3Q0FBNkIsRUFDeENDLHlCQUF5QixJQUFJLENBQUN4QixpQkFBaUIsQ0FBQ1Y7UUFFdEQsT0FBT2tDO0lBQ1Q7SUFFQUMsNEJBQTRCO1FBQzFCLE1BQU1uQyxXQUFXb0Msd0NBQTZCLEVBQ3hDQyx5QkFBeUIsSUFBSSxDQUFDM0IsaUJBQWlCLENBQUNWO1FBRXRELE9BQU9xQztJQUNUO0lBRUEvQyw4QkFBOEI7UUFDNUIsTUFBTVUsV0FBV3NDLGlDQUFzQixFQUNqQ2pELDJCQUEyQixJQUFJLENBQUNrRCx5QkFBeUIsQ0FBQ3ZDO1FBRWhFLE9BQU9YO0lBQ1Q7SUFFQTBDLDhCQUE4QjtRQUM1QixNQUFNL0IsV0FBV3dDLGtDQUF1QixFQUNsQ1YsMkJBQTJCLElBQUksQ0FBQ3BCLGlCQUFpQixDQUFDVjtRQUV4RCxPQUFPOEI7SUFDVDtJQUVBVywrQkFBK0I7UUFDN0IsTUFBTXpDLFdBQVcwQywyQ0FBZ0MsRUFDM0NDLDRCQUE0QixJQUFJLENBQUNqQyxpQkFBaUIsQ0FBQ1Y7UUFFekQsT0FBTzJDO0lBQ1Q7SUFFQSxPQUFPQywyQ0FBMkM1QyxRQUFRLEVBQUU2QyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBTzdELHNDQUFlLENBQUMwRCwwQ0FBMEMsQ0FBQzNELGVBQWVlLFVBQVU2QyxZQUFZQyxTQUFTQztJQUFhO0FBQzlOO0FBRUFDLE9BQU9DLE1BQU0sQ0FBQ2hFLGNBQWNpRSxTQUFTLEVBQUVDLDBCQUFVO01BRWpELFdBQWVsRSJ9
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
8
8
  return SubDerivationNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class SubDerivationNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class SubDerivationNode extends _nonTerminalNode.default {
14
19
  getStepOrSubproofNodes() {
15
20
  const ruleNames = [
16
21
  _ruleNames.STEP_RULE_NAME,
@@ -19,8 +24,8 @@ class SubDerivationNode extends _occamlanguages.NonTerminalNode {
19
24
  return stepOrSubproofNodes;
20
25
  }
21
26
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
22
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(SubDerivationNode, ruleName, childNodes, opacity, precedence);
27
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(SubDerivationNode, ruleName, childNodes, opacity, precedence);
23
28
  }
24
29
  }
25
30
 
26
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YkRlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuaW1wb3J0IHsgU1RFUF9SVUxFX05BTUUsIFNVQlBST09GX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgU3ViRGVyaXZhdGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRTdGVwT3JTdWJwcm9vZk5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lcyA9IFtcbiAgICAgICAgICAgIFNURVBfUlVMRV9OQU1FLFxuICAgICAgICAgICAgU1VCUFJPT0ZfUlVMRV9OQU1FLFxuICAgICAgICAgIF0sXG4gICAgICAgICAgc3RlcE9yU3VicHJvb2ZOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKC4uLnJ1bGVOYW1lcyk7XG5cbiAgICByZXR1cm4gc3RlcE9yU3VicHJvb2ZOb2RlcztcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoU3ViRGVyaXZhdGlvbk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlN1YkRlcml2YXRpb25Ob2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0U3RlcE9yU3VicHJvb2ZOb2RlcyIsInJ1bGVOYW1lcyIsIlNURVBfUlVMRV9OQU1FIiwiU1VCUFJPT0ZfUlVMRV9OQU1FIiwic3RlcE9yU3VicHJvb2ZOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQXFCQTs7O2dDQUpXOzJCQUVtQjtBQUVwQyxNQUFNQSwwQkFBMEJDLCtCQUFlO0lBQzVEQyx5QkFBeUI7UUFDdkIsTUFBTUMsWUFBWTtZQUNWQyx5QkFBYztZQUNkQyw2QkFBa0I7U0FDbkIsRUFDREMsc0JBQXNCLElBQUksQ0FBQ0Msa0JBQWtCLElBQUlKO1FBRXZELE9BQU9HO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9YLCtCQUFlLENBQUNPLDBDQUEwQyxDQUFDUixtQkFBbUJTLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDbE8ifQ==
31
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YkRlcml2YXRpb24uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5pbXBvcnQgeyBTVEVQX1JVTEVfTkFNRSwgU1VCUFJPT0ZfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTdWJEZXJpdmF0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFN0ZXBPclN1YnByb29mTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWVzID0gW1xuICAgICAgICAgICAgU1RFUF9SVUxFX05BTUUsXG4gICAgICAgICAgICBTVUJQUk9PRl9SVUxFX05BTUUsXG4gICAgICAgICAgXSxcbiAgICAgICAgICBzdGVwT3JTdWJwcm9vZk5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUoLi4ucnVsZU5hbWVzKTtcblxuICAgIHJldHVybiBzdGVwT3JTdWJwcm9vZk5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShTdWJEZXJpdmF0aW9uTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiU3ViRGVyaXZhdGlvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRTdGVwT3JTdWJwcm9vZk5vZGVzIiwicnVsZU5hbWVzIiwiU1RFUF9SVUxFX05BTUUiLCJTVUJQUk9PRl9SVUxFX05BTUUiLCJzdGVwT3JTdWJwcm9vZk5vZGVzIiwiZ2V0Tm9kZXNCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7d0VBSk87MkJBRXVCOzs7Ozs7QUFFcEMsTUFBTUEsMEJBQTBCQyx3QkFBZTtJQUM1REMseUJBQXlCO1FBQ3ZCLE1BQU1DLFlBQVk7WUFDVkMseUJBQWM7WUFDZEMsNkJBQWtCO1NBQ25CLEVBQ0RDLHNCQUFzQixJQUFJLENBQUNDLGtCQUFrQixJQUFJSjtRQUV2RCxPQUFPRztJQUNUO0lBRUEsT0FBT0UsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPWCx3QkFBZSxDQUFDTywwQ0FBMEMsQ0FBQ1IsbUJBQW1CUyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQ2xPIn0=
@@ -8,9 +8,14 @@ Object.defineProperty(exports, "default", {
8
8
  return SubproofNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
12
  const _ruleNames = require("../ruleNames");
13
- class SubproofNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class SubproofNode extends _nonTerminalNode.default {
14
19
  isStepNode() {
15
20
  const stepNode = false;
16
21
  return stepNode;
@@ -28,8 +33,8 @@ class SubproofNode extends _occamlanguages.NonTerminalNode {
28
33
  return subDerivationNode;
29
34
  }
30
35
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
31
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(SubproofNode, ruleName, childNodes, opacity, precedence);
36
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(SubproofNode, ruleName, childNodes, opacity, precedence);
32
37
  }
33
38
  }
34
39
 
35
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YnByb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IFNVUFBPU0lUSU9OX1JVTEVfTkFNRSwgU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTdWJwcm9vZk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1N0ZXBOb2RlKCkge1xuICAgIGNvbnN0IHN0ZXBOb2RlID0gZmFsc2U7XG5cbiAgICByZXR1cm4gc3RlcE5vZGU7XG4gIH1cblxuICBpc1N1YnByb29mTm9kZSgpIHtcbiAgICBjb25zdCBzdWJwcm9vZk5vZGUgPSB0cnVlO1xuXG4gICAgcmV0dXJuIHN1YnByb29mTm9kZTtcbiAgfVxuXG4gIGdldFN1cHBvc2l0aW9uTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVVBQT1NJVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgc3VwcG9zaXRpb25Ob2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdXBwb3NpdGlvbk5vZGVzO1xuICB9XG5cbiAgZ2V0U3ViRGVyaXZhdGlvbk5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUsXG4gICAgICAgICAgc3ViRGVyaXZhdGlvbk5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzdWJEZXJpdmF0aW9uTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoU3VicHJvb2ZOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJTdWJwcm9vZk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJpc1N0ZXBOb2RlIiwic3RlcE5vZGUiLCJpc1N1YnByb29mTm9kZSIsInN1YnByb29mTm9kZSIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJydWxlTmFtZSIsIlNVUFBPU0lUSU9OX1JVTEVfTkFNRSIsInN1cHBvc2l0aW9uTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJnZXRTdWJEZXJpdmF0aW9uTm9kZSIsIlNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSIsInN1YkRlcml2YXRpb25Ob2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7Z0NBSlc7MkJBRWdDO0FBRWpELE1BQU1BLHFCQUFxQkMsK0JBQWU7SUFDdkRDLGFBQWE7UUFDWCxNQUFNQyxXQUFXO1FBRWpCLE9BQU9BO0lBQ1Q7SUFFQUMsaUJBQWlCO1FBQ2YsTUFBTUMsZUFBZTtRQUVyQixPQUFPQTtJQUNUO0lBRUFDLHNCQUFzQjtRQUNwQixNQUFNQyxXQUFXQyxnQ0FBcUIsRUFDaENDLG1CQUFtQixJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtRQUVqRCxPQUFPRTtJQUNUO0lBRUFFLHVCQUF1QjtRQUNyQixNQUFNSixXQUFXSyxtQ0FBd0IsRUFDbkNDLG9CQUFvQixJQUFJLENBQUNDLGlCQUFpQixDQUFDUDtRQUVqRCxPQUFPTTtJQUNUO0lBRUEsT0FBT0UsMkNBQTJDUixRQUFRLEVBQUVTLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPakIsK0JBQWUsQ0FBQ2MsMENBQTBDLENBQUNmLGNBQWNPLFVBQVVTLFlBQVlDLFNBQVNDO0lBQWE7QUFDN04ifQ==
40
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YnByb29mLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgU1VQUE9TSVRJT05fUlVMRV9OQU1FLCBTVUJfREVSSVZBVElPTl9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFN1YnByb29mTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGlzU3RlcE5vZGUoKSB7XG4gICAgY29uc3Qgc3RlcE5vZGUgPSBmYWxzZTtcblxuICAgIHJldHVybiBzdGVwTm9kZTtcbiAgfVxuXG4gIGlzU3VicHJvb2ZOb2RlKCkge1xuICAgIGNvbnN0IHN1YnByb29mTm9kZSA9IHRydWU7XG5cbiAgICByZXR1cm4gc3VicHJvb2ZOb2RlO1xuICB9XG5cbiAgZ2V0U3VwcG9zaXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNVUFBPU0lUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBzdXBwb3NpdGlvbk5vZGVzID0gdGhpcy5nZXROb2Rlc0J5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uTm9kZXM7XG4gIH1cblxuICBnZXRTdWJEZXJpdmF0aW9uTm9kZSgpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFNVQl9ERVJJVkFUSU9OX1JVTEVfTkFNRSxcbiAgICAgICAgICBzdWJEZXJpdmF0aW9uTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHN1YkRlcml2YXRpb25Ob2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShTdWJwcm9vZk5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlN1YnByb29mTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImlzU3RlcE5vZGUiLCJzdGVwTm9kZSIsImlzU3VicHJvb2ZOb2RlIiwic3VicHJvb2ZOb2RlIiwiZ2V0U3VwcG9zaXRpb25Ob2RlcyIsInJ1bGVOYW1lIiwiU1VQUE9TSVRJT05fUlVMRV9OQU1FIiwic3VwcG9zaXRpb25Ob2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImdldFN1YkRlcml2YXRpb25Ob2RlIiwiU1VCX0RFUklWQVRJT05fUlVMRV9OQU1FIiwic3ViRGVyaXZhdGlvbk5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFb0M7Ozs7OztBQUVqRCxNQUFNQSxxQkFBcUJDLHdCQUFlO0lBQ3ZEQyxhQUFhO1FBQ1gsTUFBTUMsV0FBVztRQUVqQixPQUFPQTtJQUNUO0lBRUFDLGlCQUFpQjtRQUNmLE1BQU1DLGVBQWU7UUFFckIsT0FBT0E7SUFDVDtJQUVBQyxzQkFBc0I7UUFDcEIsTUFBTUMsV0FBV0MsZ0NBQXFCLEVBQ2hDQyxtQkFBbUIsSUFBSSxDQUFDQyxrQkFBa0IsQ0FBQ0g7UUFFakQsT0FBT0U7SUFDVDtJQUVBRSx1QkFBdUI7UUFDckIsTUFBTUosV0FBV0ssbUNBQXdCLEVBQ25DQyxvQkFBb0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ1A7UUFFakQsT0FBT007SUFDVDtJQUVBLE9BQU9FLDJDQUEyQ1IsUUFBUSxFQUFFUyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT2pCLHdCQUFlLENBQUNjLDBDQUEwQyxDQUFDZixjQUFjTyxVQUFVUyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
@@ -8,11 +8,16 @@ Object.defineProperty(exports, "default", {
8
8
  return SubstitutionNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
12
- class SubstitutionNode extends _occamlanguages.NonTerminalNode {
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
+ function _interop_require_default(obj) {
13
+ return obj && obj.__esModule ? obj : {
14
+ default: obj
15
+ };
16
+ }
17
+ class SubstitutionNode extends _nonTerminalNode.default {
13
18
  static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
14
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
19
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
15
20
  }
16
21
  }
17
22
 
18
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YnN0aXR1dGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLWxhbmd1YWdlc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBTdWJzdGl0dXRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlN1YnN0aXR1dGlvbk5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJDbGFzcyIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLHlCQUF5QkMsK0JBQWU7SUFDM0QsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9OLCtCQUFlLENBQUNDLDBDQUEwQyxDQUFDQyxPQUFPQyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
23
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3N1YnN0aXR1dGlvbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vblRlcm1pbmFsTm9kZSBmcm9tIFwiLi4vbm9uVGVybWluYWxOb2RlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFN1YnN0aXR1dGlvbk5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiU3Vic3RpdHV0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLHlCQUF5QkMsd0JBQWU7SUFDM0QsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9OLHdCQUFlLENBQUNDLDBDQUEwQyxDQUFDQyxPQUFPQyxVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQzdOIn0=
package/lib/node/term.js CHANGED
@@ -5,9 +5,10 @@ Object.defineProperty(exports, "__esModule", {
5
5
  Object.defineProperty(exports, "default", {
6
6
  enumerable: true,
7
7
  get: function() {
8
- return TermNode;
8
+ return _default;
9
9
  }
10
10
  });
11
+ const _occamlanguages = require("occam-languages");
11
12
  const _occamgrammarutilities = require("occam-grammar-utilities");
12
13
  const _ruleNames = require("../ruleNames");
13
14
  class TermNode extends _occamgrammarutilities.NonTerminalNode {
@@ -56,5 +57,7 @@ class TermNode extends _occamgrammarutilities.NonTerminalNode {
56
57
  return _occamgrammarutilities.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TermNode, ruleName, childNodes, opacity, precedence);
57
58
  }
58
59
  }
60
+ Object.assign(TermNode.prototype, _occamlanguages.nodeMixins);
61
+ const _default = TermNode;
59
62
 
60
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Rlcm0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1ncmFtbWFyLXV0aWxpdGllc1wiO1xuXG5pbXBvcnQgeyBBUkdVTUVOVF9SVUxFX05BTUUsIFZBUklBQkxFX1JVTEVfTkFNRSB9IGZyb20gXCIuLi9ydWxlTmFtZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVGVybU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRWYXJpYWJsZUlkZW50aWZpZXIoKSB7XG4gICAgbGV0IHZhcmlhYmxlSWRlbnRpZmllciA9IG51bGw7XG5cbiAgICBjb25zdCBzaW5ndWxhciA9IHRoaXMuaXNTaW5ndWxhcigpO1xuXG4gICAgaWYgKHNpbmd1bGFyKSB7XG4gICAgICBjb25zdCB2YXJpYWJsZU5vZGUgPSB0aGlzLmdldFZhcmlhYmxlTm9kZSgpO1xuXG4gICAgICB2YXJpYWJsZUlkZW50aWZpZXIgPSB2YXJpYWJsZU5vZGUuZ2V0VmFyaWFibGVJZGVudGlmaWVyKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHZhcmlhYmxlSWRlbnRpZmllcjtcbiAgfVxuXG4gIGlzU2luZ3VsYXIoKSB7XG4gICAgbGV0IHNpbmd1bGFyID0gZmFsc2U7XG5cbiAgICBjb25zdCBzaW5ndWxhclZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKTtcblxuICAgIGlmIChzaW5ndWxhclZhcmlhYmxlTm9kZSAhPT0gbnVsbCkge1xuICAgICAgc2luZ3VsYXIgPSB0cnVlO1xuICAgIH1cblxuICAgIHJldHVybiBzaW5ndWxhcjtcbiAgfVxuXG4gIGdldFZhcmlhYmxlTm9kZSgpIHtcbiAgICBjb25zdCBzaW5ndWxhclZhcmlhYmxlTm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKSxcbiAgICAgICAgICB2YXJpYWJsZU5vZGUgPSBzaW5ndWxhclZhcmlhYmxlTm9kZTsgIC8vXG5cbiAgICByZXR1cm4gdmFyaWFibGVOb2RlO1xuICB9XG5cbiAgZ2V0U2luZ3VsYXJUZXJtTm9kZSgpIHtcbiAgICBsZXQgc2luZ3VsYXJUZXJtTm9kZSA9IG51bGw7XG5cbiAgICBjb25zdCBzaW5ndWxhckFyZ3VtZW50Tm9kZSA9IHRoaXMuZ2V0U2luZ3VsYXJBcmd1bWVudE5vZGUoKTtcblxuICAgIGlmIChzaW5ndWxhckFyZ3VtZW50Tm9kZSAhPT0gbnVsbCkge1xuICAgICAgc2luZ3VsYXJUZXJtTm9kZSA9IHNpbmd1bGFyQXJndW1lbnROb2RlLmdldFNpbmd1bGFyVGVybU5vZGUoKTtcbiAgICB9XG5cbiAgICByZXR1cm4gc2luZ3VsYXJUZXJtTm9kZTtcbiAgfVxuXG4gIGdldFZhcmlhYmxlTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgdmFyaWFibGVOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB2YXJpYWJsZU5vZGVzO1xuICB9XG5cbiAgZ2V0U2luZ3VsYXJBcmd1bWVudE5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBBUkdVTUVOVF9SVUxFX05BTUUsXG4gICAgICAgICAgc2luZ3VsYXJBcmd1bWVudE5vZGUgPSB0aGlzLmdldFNpbmd1bGFyTm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpbmd1bGFyQXJndW1lbnROb2RlO1xuICB9XG5cbiAgZ2V0U2luZ3VsYXJWYXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBWQVJJQUJMRV9SVUxFX05BTUUsXG4gICAgICAgICAgc2luZ3VsYXJWYXJpYWJsZU5vZGUgPSB0aGlzLmdldFNpbmd1bGFyTm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIHNpbmd1bGFyVmFyaWFibGVOb2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUZXJtTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVGVybU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRWYXJpYWJsZUlkZW50aWZpZXIiLCJ2YXJpYWJsZUlkZW50aWZpZXIiLCJzaW5ndWxhciIsImlzU2luZ3VsYXIiLCJ2YXJpYWJsZU5vZGUiLCJnZXRWYXJpYWJsZU5vZGUiLCJzaW5ndWxhclZhcmlhYmxlTm9kZSIsImdldFNpbmd1bGFyVmFyaWFibGVOb2RlIiwiZ2V0U2luZ3VsYXJUZXJtTm9kZSIsInNpbmd1bGFyVGVybU5vZGUiLCJzaW5ndWxhckFyZ3VtZW50Tm9kZSIsImdldFNpbmd1bGFyQXJndW1lbnROb2RlIiwiZ2V0VmFyaWFibGVOb2RlcyIsInJ1bGVOYW1lIiwiVkFSSUFCTEVfUlVMRV9OQU1FIiwidmFyaWFibGVOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsIkFSR1VNRU5UX1JVTEVfTkFNRSIsImdldFNpbmd1bGFyTm9kZUJ5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7dUNBSlc7MkJBRXVCO0FBRXhDLE1BQU1BLGlCQUFpQkMsc0NBQWU7SUFDbkRDLHdCQUF3QjtRQUN0QixJQUFJQyxxQkFBcUI7UUFFekIsTUFBTUMsV0FBVyxJQUFJLENBQUNDLFVBQVU7UUFFaEMsSUFBSUQsVUFBVTtZQUNaLE1BQU1FLGVBQWUsSUFBSSxDQUFDQyxlQUFlO1lBRXpDSixxQkFBcUJHLGFBQWFKLHFCQUFxQjtRQUN6RDtRQUVBLE9BQU9DO0lBQ1Q7SUFFQUUsYUFBYTtRQUNYLElBQUlELFdBQVc7UUFFZixNQUFNSSx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUI7UUFFekQsSUFBSUQseUJBQXlCLE1BQU07WUFDakNKLFdBQVc7UUFDYjtRQUVBLE9BQU9BO0lBQ1Q7SUFFQUcsa0JBQWtCO1FBQ2hCLE1BQU1DLHVCQUF1QixJQUFJLENBQUNDLHVCQUF1QixJQUNuREgsZUFBZUUsc0JBQXVCLEVBQUU7UUFFOUMsT0FBT0Y7SUFDVDtJQUVBSSxzQkFBc0I7UUFDcEIsSUFBSUMsbUJBQW1CO1FBRXZCLE1BQU1DLHVCQUF1QixJQUFJLENBQUNDLHVCQUF1QjtRQUV6RCxJQUFJRCx5QkFBeUIsTUFBTTtZQUNqQ0QsbUJBQW1CQyxxQkFBcUJGLG1CQUFtQjtRQUM3RDtRQUVBLE9BQU9DO0lBQ1Q7SUFFQUcsbUJBQW1CO1FBQ2pCLE1BQU1DLFdBQVdDLDZCQUFrQixFQUM3QkMsZ0JBQWdCLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNIO1FBRTlDLE9BQU9FO0lBQ1Q7SUFFQUosMEJBQTBCO1FBQ3hCLE1BQU1FLFdBQVdJLDZCQUFrQixFQUM3QlAsdUJBQXVCLElBQUksQ0FBQ1EseUJBQXlCLENBQUNMO1FBRTVELE9BQU9IO0lBQ1Q7SUFFQUgsMEJBQTBCO1FBQ3hCLE1BQU1NLFdBQVdDLDZCQUFrQixFQUM3QlIsdUJBQXVCLElBQUksQ0FBQ1kseUJBQXlCLENBQUNMO1FBRTVELE9BQU9QO0lBQ1Q7SUFFQSxPQUFPYSwyQ0FBMkNOLFFBQVEsRUFBRU8sVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU92QixzQ0FBZSxDQUFDb0IsMENBQTBDLENBQUNyQixVQUFVZSxVQUFVTyxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOIn0=
63
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3Rlcm0uanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVNaXhpbnMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tZ3JhbW1hci11dGlsaXRpZXNcIjtcblxuaW1wb3J0IHsgQVJHVU1FTlRfUlVMRV9OQU1FLCBWQVJJQUJMRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmNsYXNzIFRlcm1Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0VmFyaWFibGVJZGVudGlmaWVyKCkge1xuICAgIGxldCB2YXJpYWJsZUlkZW50aWZpZXIgPSBudWxsO1xuXG4gICAgY29uc3Qgc2luZ3VsYXIgPSB0aGlzLmlzU2luZ3VsYXIoKTtcblxuICAgIGlmIChzaW5ndWxhcikge1xuICAgICAgY29uc3QgdmFyaWFibGVOb2RlID0gdGhpcy5nZXRWYXJpYWJsZU5vZGUoKTtcblxuICAgICAgdmFyaWFibGVJZGVudGlmaWVyID0gdmFyaWFibGVOb2RlLmdldFZhcmlhYmxlSWRlbnRpZmllcigpO1xuICAgIH1cblxuICAgIHJldHVybiB2YXJpYWJsZUlkZW50aWZpZXI7XG4gIH1cblxuICBpc1Npbmd1bGFyKCkge1xuICAgIGxldCBzaW5ndWxhciA9IGZhbHNlO1xuXG4gICAgY29uc3Qgc2luZ3VsYXJWYXJpYWJsZU5vZGUgPSB0aGlzLmdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCk7XG5cbiAgICBpZiAoc2luZ3VsYXJWYXJpYWJsZU5vZGUgIT09IG51bGwpIHtcbiAgICAgIHNpbmd1bGFyID0gdHJ1ZTtcbiAgICB9XG5cbiAgICByZXR1cm4gc2luZ3VsYXI7XG4gIH1cblxuICBnZXRWYXJpYWJsZU5vZGUoKSB7XG4gICAgY29uc3Qgc2luZ3VsYXJWYXJpYWJsZU5vZGUgPSB0aGlzLmdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCksXG4gICAgICAgICAgdmFyaWFibGVOb2RlID0gc2luZ3VsYXJWYXJpYWJsZU5vZGU7ICAvL1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyVGVybU5vZGUoKSB7XG4gICAgbGV0IHNpbmd1bGFyVGVybU5vZGUgPSBudWxsO1xuXG4gICAgY29uc3Qgc2luZ3VsYXJBcmd1bWVudE5vZGUgPSB0aGlzLmdldFNpbmd1bGFyQXJndW1lbnROb2RlKCk7XG5cbiAgICBpZiAoc2luZ3VsYXJBcmd1bWVudE5vZGUgIT09IG51bGwpIHtcbiAgICAgIHNpbmd1bGFyVGVybU5vZGUgPSBzaW5ndWxhckFyZ3VtZW50Tm9kZS5nZXRTaW5ndWxhclRlcm1Ob2RlKCk7XG4gICAgfVxuXG4gICAgcmV0dXJuIHNpbmd1bGFyVGVybU5vZGU7XG4gIH1cblxuICBnZXRWYXJpYWJsZU5vZGVzKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHZhcmlhYmxlTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdmFyaWFibGVOb2RlcztcbiAgfVxuXG4gIGdldFNpbmd1bGFyQXJndW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gQVJHVU1FTlRfUlVMRV9OQU1FLFxuICAgICAgICAgIHNpbmd1bGFyQXJndW1lbnROb2RlID0gdGhpcy5nZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaW5ndWxhckFyZ3VtZW50Tm9kZTtcbiAgfVxuXG4gIGdldFNpbmd1bGFyVmFyaWFibGVOb2RlKCkge1xuICAgIGNvbnN0IHJ1bGVOYW1lID0gVkFSSUFCTEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHNpbmd1bGFyVmFyaWFibGVOb2RlID0gdGhpcy5nZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBzaW5ndWxhclZhcmlhYmxlTm9kZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVGVybU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuXG5PYmplY3QuYXNzaWduKFRlcm1Ob2RlLnByb3RvdHlwZSwgbm9kZU1peGlucyk7XG5cbmV4cG9ydCBkZWZhdWx0IFRlcm1Ob2RlO1xuIl0sIm5hbWVzIjpbIlRlcm1Ob2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VmFyaWFibGVJZGVudGlmaWVyIiwidmFyaWFibGVJZGVudGlmaWVyIiwic2luZ3VsYXIiLCJpc1Npbmd1bGFyIiwidmFyaWFibGVOb2RlIiwiZ2V0VmFyaWFibGVOb2RlIiwic2luZ3VsYXJWYXJpYWJsZU5vZGUiLCJnZXRTaW5ndWxhclZhcmlhYmxlTm9kZSIsImdldFNpbmd1bGFyVGVybU5vZGUiLCJzaW5ndWxhclRlcm1Ob2RlIiwic2luZ3VsYXJBcmd1bWVudE5vZGUiLCJnZXRTaW5ndWxhckFyZ3VtZW50Tm9kZSIsImdldFZhcmlhYmxlTm9kZXMiLCJydWxlTmFtZSIsIlZBUklBQkxFX1JVTEVfTkFNRSIsInZhcmlhYmxlTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJBUkdVTUVOVF9SVUxFX05BTUUiLCJnZXRTaW5ndWxhck5vZGVCeVJ1bGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiT2JqZWN0IiwiYXNzaWduIiwicHJvdG90eXBlIiwibm9kZU1peGlucyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBK0VBOzs7ZUFBQTs7O2dDQTdFMkI7dUNBQ0s7MkJBRXVCO0FBRXZELE1BQU1BLGlCQUFpQkMsc0NBQWU7SUFDcENDLHdCQUF3QjtRQUN0QixJQUFJQyxxQkFBcUI7UUFFekIsTUFBTUMsV0FBVyxJQUFJLENBQUNDLFVBQVU7UUFFaEMsSUFBSUQsVUFBVTtZQUNaLE1BQU1FLGVBQWUsSUFBSSxDQUFDQyxlQUFlO1lBRXpDSixxQkFBcUJHLGFBQWFKLHFCQUFxQjtRQUN6RDtRQUVBLE9BQU9DO0lBQ1Q7SUFFQUUsYUFBYTtRQUNYLElBQUlELFdBQVc7UUFFZixNQUFNSSx1QkFBdUIsSUFBSSxDQUFDQyx1QkFBdUI7UUFFekQsSUFBSUQseUJBQXlCLE1BQU07WUFDakNKLFdBQVc7UUFDYjtRQUVBLE9BQU9BO0lBQ1Q7SUFFQUcsa0JBQWtCO1FBQ2hCLE1BQU1DLHVCQUF1QixJQUFJLENBQUNDLHVCQUF1QixJQUNuREgsZUFBZUUsc0JBQXVCLEVBQUU7UUFFOUMsT0FBT0Y7SUFDVDtJQUVBSSxzQkFBc0I7UUFDcEIsSUFBSUMsbUJBQW1CO1FBRXZCLE1BQU1DLHVCQUF1QixJQUFJLENBQUNDLHVCQUF1QjtRQUV6RCxJQUFJRCx5QkFBeUIsTUFBTTtZQUNqQ0QsbUJBQW1CQyxxQkFBcUJGLG1CQUFtQjtRQUM3RDtRQUVBLE9BQU9DO0lBQ1Q7SUFFQUcsbUJBQW1CO1FBQ2pCLE1BQU1DLFdBQVdDLDZCQUFrQixFQUM3QkMsZ0JBQWdCLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNIO1FBRTlDLE9BQU9FO0lBQ1Q7SUFFQUosMEJBQTBCO1FBQ3hCLE1BQU1FLFdBQVdJLDZCQUFrQixFQUM3QlAsdUJBQXVCLElBQUksQ0FBQ1EseUJBQXlCLENBQUNMO1FBRTVELE9BQU9IO0lBQ1Q7SUFFQUgsMEJBQTBCO1FBQ3hCLE1BQU1NLFdBQVdDLDZCQUFrQixFQUM3QlIsdUJBQXVCLElBQUksQ0FBQ1kseUJBQXlCLENBQUNMO1FBRTVELE9BQU9QO0lBQ1Q7SUFFQSxPQUFPYSwyQ0FBMkNOLFFBQVEsRUFBRU8sVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU92QixzQ0FBZSxDQUFDb0IsMENBQTBDLENBQUNyQixVQUFVZSxVQUFVTyxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOO0FBRUFDLE9BQU9DLE1BQU0sQ0FBQzFCLFNBQVMyQixTQUFTLEVBQUVDLDBCQUFVO01BRTVDLFdBQWU1QiJ9
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
8
8
  return TopLevelAssertionNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
12
- class TopLevelAssertionNode extends _occamlanguages.NonTerminalNode {
11
+ const _nonTerminalNode = /*#__PURE__*/ _interop_require_default(require("../nonTerminalNode"));
12
+ function _interop_require_default(obj) {
13
+ return obj && obj.__esModule ? obj : {
14
+ default: obj
15
+ };
16
+ }
17
+ class TopLevelAssertionNode extends _nonTerminalNode.default {
13
18
  getBodyNode() {
14
19
  const { bodyRuleName } = this.constructor, ruleName = bodyRuleName, axiomBodyNode = this.getNodeByRuleName(ruleName);
15
20
  return axiomBodyNode;
@@ -39,8 +44,8 @@ class TopLevelAssertionNode extends _occamlanguages.NonTerminalNode {
39
44
  return suppositionNodes;
40
45
  }
41
46
  static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
42
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
47
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
43
48
  }
44
49
  }
45
50
 
46
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RvcExldmVsQXNzZXJ0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFRvcExldmVsQXNzZXJ0aW9uTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldEJvZHlOb2RlKCkge1xuICAgIGNvbnN0IHsgYm9keVJ1bGVOYW1lIH0gPSB0aGlzLmNvbnN0cnVjdG9yLFxuICAgICAgICAgIHJ1bGVOYW1lID0gYm9keVJ1bGVOYW1lLCAgLy8vXG4gICAgICAgICAgYXhpb21Cb2R5Tm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGF4aW9tQm9keU5vZGU7XG4gIH1cblxuICBnZXRIZWFkZXJOb2RlKCkge1xuICAgIGNvbnN0IHsgaGVhZGVyUnVsZU5hbWUgfSA9IHRoaXMuY29uc3RydWN0b3IsXG4gICAgICAgICAgcnVsZU5hbWUgPSBoZWFkZXJSdWxlTmFtZSwgIC8vL1xuICAgICAgICAgIGhlYWRlck5vZGUgPSB0aGlzLmdldE5vZGVCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiBoZWFkZXJOb2RlO1xuICB9XG5cbiAgZ2V0U2lnbmF0dXJlTm9kZSgpIHtcbiAgICBjb25zdCBoZWFkZXJOb2RlID0gdGhpcy5nZXRIZWFkZXJOb2RlKCksXG4gICAgICAgICAgc2lnbmF0dXJlTm9kZSA9IGhlYWRlck5vZGUuZ2V0U2lnbmF0dXJlTm9kZSgpO1xuXG4gICAgcmV0dXJuIHNpZ25hdHVyZU5vZGU7XG4gIH1cblxuICBnZXRMYWJlbE5vZGVzKCkge1xuICAgIGNvbnN0IGhlYWRlck5vZGUgPSB0aGlzLmdldEhlYWRlck5vZGUoKSxcbiAgICAgICAgICBsYWJlbE5vZGVzID0gaGVhZGVyTm9kZS5nZXRMYWJlbE5vZGVzKCk7XG5cbiAgICByZXR1cm4gbGFiZWxOb2RlcztcbiAgfVxuXG4gIGdldFByb29mTm9kZSgpIHtcbiAgICBjb25zdCBib2R5Tm9kZSA9IHRoaXMuZ2V0Qm9keU5vZGUoKSxcbiAgICAgICAgICBwcm9vZk5vZGUgPSBib2R5Tm9kZS5nZXRQcm9vZk5vZGUoKTtcblxuICAgIHJldHVybiBwcm9vZk5vZGU7XG4gIH1cblxuICBnZXREZWR1Y3Rpb25Ob2RlKCkge1xuICAgIGNvbnN0IGJvZHlOb2RlID0gdGhpcy5nZXRCb2R5Tm9kZSgpLFxuICAgICAgICAgIGRlZHVjdGlvbk5vZGUgPSBib2R5Tm9kZS5nZXREZWR1Y3Rpb25Ob2RlKCk7XG5cbiAgICByZXR1cm4gZGVkdWN0aW9uTm9kZTtcbiAgfVxuXG4gIGdldFN1cHBvc2l0aW9uTm9kZXMoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgc3VwcG9zaXRpb25Ob2RlcyA9IGJvZHlOb2RlLmdldFN1cHBvc2l0aW9uTm9kZXMoKTtcblxuICAgIHJldHVybiBzdXBwb3NpdGlvbk5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlRvcExldmVsQXNzZXJ0aW9uTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldEJvZHlOb2RlIiwiYm9keVJ1bGVOYW1lIiwicnVsZU5hbWUiLCJheGlvbUJvZHlOb2RlIiwiZ2V0Tm9kZUJ5UnVsZU5hbWUiLCJnZXRIZWFkZXJOb2RlIiwiaGVhZGVyUnVsZU5hbWUiLCJoZWFkZXJOb2RlIiwiZ2V0U2lnbmF0dXJlTm9kZSIsInNpZ25hdHVyZU5vZGUiLCJnZXRMYWJlbE5vZGVzIiwibGFiZWxOb2RlcyIsImdldFByb29mTm9kZSIsImJvZHlOb2RlIiwicHJvb2ZOb2RlIiwiZ2V0RGVkdWN0aW9uTm9kZSIsImRlZHVjdGlvbk5vZGUiLCJnZXRTdXBwb3NpdGlvbk5vZGVzIiwic3VwcG9zaXRpb25Ob2RlcyIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsIkNsYXNzIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLDhCQUE4QkMsK0JBQWU7SUFDaEVDLGNBQWM7UUFDWixNQUFNLEVBQUVDLFlBQVksRUFBRSxHQUFHLElBQUksQ0FBQyxXQUFXLEVBQ25DQyxXQUFXRCxjQUNYRSxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0Y7UUFFN0MsT0FBT0M7SUFDVDtJQUVBRSxnQkFBZ0I7UUFDZCxNQUFNLEVBQUVDLGNBQWMsRUFBRSxHQUFHLElBQUksQ0FBQyxXQUFXLEVBQ3JDSixXQUFXSSxnQkFDWEMsYUFBYSxJQUFJLENBQUNILGlCQUFpQixDQUFDRjtRQUUxQyxPQUFPSztJQUNUO0lBRUFDLG1CQUFtQjtRQUNqQixNQUFNRCxhQUFhLElBQUksQ0FBQ0YsYUFBYSxJQUMvQkksZ0JBQWdCRixXQUFXQyxnQkFBZ0I7UUFFakQsT0FBT0M7SUFDVDtJQUVBQyxnQkFBZ0I7UUFDZCxNQUFNSCxhQUFhLElBQUksQ0FBQ0YsYUFBYSxJQUMvQk0sYUFBYUosV0FBV0csYUFBYTtRQUUzQyxPQUFPQztJQUNUO0lBRUFDLGVBQWU7UUFDYixNQUFNQyxXQUFXLElBQUksQ0FBQ2IsV0FBVyxJQUMzQmMsWUFBWUQsU0FBU0QsWUFBWTtRQUV2QyxPQUFPRTtJQUNUO0lBRUFDLG1CQUFtQjtRQUNqQixNQUFNRixXQUFXLElBQUksQ0FBQ2IsV0FBVyxJQUMzQmdCLGdCQUFnQkgsU0FBU0UsZ0JBQWdCO1FBRS9DLE9BQU9DO0lBQ1Q7SUFFQUMsc0JBQXNCO1FBQ3BCLE1BQU1KLFdBQVcsSUFBSSxDQUFDYixXQUFXLElBQzNCa0IsbUJBQW1CTCxTQUFTSSxtQkFBbUI7UUFFckQsT0FBT0M7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsS0FBSyxFQUFFbEIsUUFBUSxFQUFFbUIsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU94QiwrQkFBZSxDQUFDb0IsMENBQTBDLENBQUNDLE9BQU9sQixVQUFVbUIsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9
51
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3RvcExldmVsQXNzZXJ0aW9uLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0Qm9keU5vZGUoKSB7XG4gICAgY29uc3QgeyBib2R5UnVsZU5hbWUgfSA9IHRoaXMuY29uc3RydWN0b3IsXG4gICAgICAgICAgcnVsZU5hbWUgPSBib2R5UnVsZU5hbWUsICAvLy9cbiAgICAgICAgICBheGlvbUJvZHlOb2RlID0gdGhpcy5nZXROb2RlQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gYXhpb21Cb2R5Tm9kZTtcbiAgfVxuXG4gIGdldEhlYWRlck5vZGUoKSB7XG4gICAgY29uc3QgeyBoZWFkZXJSdWxlTmFtZSB9ID0gdGhpcy5jb25zdHJ1Y3RvcixcbiAgICAgICAgICBydWxlTmFtZSA9IGhlYWRlclJ1bGVOYW1lLCAgLy8vXG4gICAgICAgICAgaGVhZGVyTm9kZSA9IHRoaXMuZ2V0Tm9kZUJ5UnVsZU5hbWUocnVsZU5hbWUpO1xuXG4gICAgcmV0dXJuIGhlYWRlck5vZGU7XG4gIH1cblxuICBnZXRTaWduYXR1cmVOb2RlKCkge1xuICAgIGNvbnN0IGhlYWRlck5vZGUgPSB0aGlzLmdldEhlYWRlck5vZGUoKSxcbiAgICAgICAgICBzaWduYXR1cmVOb2RlID0gaGVhZGVyTm9kZS5nZXRTaWduYXR1cmVOb2RlKCk7XG5cbiAgICByZXR1cm4gc2lnbmF0dXJlTm9kZTtcbiAgfVxuXG4gIGdldExhYmVsTm9kZXMoKSB7XG4gICAgY29uc3QgaGVhZGVyTm9kZSA9IHRoaXMuZ2V0SGVhZGVyTm9kZSgpLFxuICAgICAgICAgIGxhYmVsTm9kZXMgPSBoZWFkZXJOb2RlLmdldExhYmVsTm9kZXMoKTtcblxuICAgIHJldHVybiBsYWJlbE5vZGVzO1xuICB9XG5cbiAgZ2V0UHJvb2ZOb2RlKCkge1xuICAgIGNvbnN0IGJvZHlOb2RlID0gdGhpcy5nZXRCb2R5Tm9kZSgpLFxuICAgICAgICAgIHByb29mTm9kZSA9IGJvZHlOb2RlLmdldFByb29mTm9kZSgpO1xuXG4gICAgcmV0dXJuIHByb29mTm9kZTtcbiAgfVxuXG4gIGdldERlZHVjdGlvbk5vZGUoKSB7XG4gICAgY29uc3QgYm9keU5vZGUgPSB0aGlzLmdldEJvZHlOb2RlKCksXG4gICAgICAgICAgZGVkdWN0aW9uTm9kZSA9IGJvZHlOb2RlLmdldERlZHVjdGlvbk5vZGUoKTtcblxuICAgIHJldHVybiBkZWR1Y3Rpb25Ob2RlO1xuICB9XG5cbiAgZ2V0U3VwcG9zaXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBib2R5Tm9kZSA9IHRoaXMuZ2V0Qm9keU5vZGUoKSxcbiAgICAgICAgICBzdXBwb3NpdGlvbk5vZGVzID0gYm9keU5vZGUuZ2V0U3VwcG9zaXRpb25Ob2RlcygpO1xuXG4gICAgcmV0dXJuIHN1cHBvc2l0aW9uTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShDbGFzcywgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVG9wTGV2ZWxBc3NlcnRpb25Ob2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0Qm9keU5vZGUiLCJib2R5UnVsZU5hbWUiLCJydWxlTmFtZSIsImF4aW9tQm9keU5vZGUiLCJnZXROb2RlQnlSdWxlTmFtZSIsImdldEhlYWRlck5vZGUiLCJoZWFkZXJSdWxlTmFtZSIsImhlYWRlck5vZGUiLCJnZXRTaWduYXR1cmVOb2RlIiwic2lnbmF0dXJlTm9kZSIsImdldExhYmVsTm9kZXMiLCJsYWJlbE5vZGVzIiwiZ2V0UHJvb2ZOb2RlIiwiYm9keU5vZGUiLCJwcm9vZk5vZGUiLCJnZXREZWR1Y3Rpb25Ob2RlIiwiZGVkdWN0aW9uTm9kZSIsImdldFN1cHBvc2l0aW9uTm9kZXMiLCJzdXBwb3NpdGlvbk5vZGVzIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwiQ2xhc3MiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLDhCQUE4QkMsd0JBQWU7SUFDaEVDLGNBQWM7UUFDWixNQUFNLEVBQUVDLFlBQVksRUFBRSxHQUFHLElBQUksQ0FBQyxXQUFXLEVBQ25DQyxXQUFXRCxjQUNYRSxnQkFBZ0IsSUFBSSxDQUFDQyxpQkFBaUIsQ0FBQ0Y7UUFFN0MsT0FBT0M7SUFDVDtJQUVBRSxnQkFBZ0I7UUFDZCxNQUFNLEVBQUVDLGNBQWMsRUFBRSxHQUFHLElBQUksQ0FBQyxXQUFXLEVBQ3JDSixXQUFXSSxnQkFDWEMsYUFBYSxJQUFJLENBQUNILGlCQUFpQixDQUFDRjtRQUUxQyxPQUFPSztJQUNUO0lBRUFDLG1CQUFtQjtRQUNqQixNQUFNRCxhQUFhLElBQUksQ0FBQ0YsYUFBYSxJQUMvQkksZ0JBQWdCRixXQUFXQyxnQkFBZ0I7UUFFakQsT0FBT0M7SUFDVDtJQUVBQyxnQkFBZ0I7UUFDZCxNQUFNSCxhQUFhLElBQUksQ0FBQ0YsYUFBYSxJQUMvQk0sYUFBYUosV0FBV0csYUFBYTtRQUUzQyxPQUFPQztJQUNUO0lBRUFDLGVBQWU7UUFDYixNQUFNQyxXQUFXLElBQUksQ0FBQ2IsV0FBVyxJQUMzQmMsWUFBWUQsU0FBU0QsWUFBWTtRQUV2QyxPQUFPRTtJQUNUO0lBRUFDLG1CQUFtQjtRQUNqQixNQUFNRixXQUFXLElBQUksQ0FBQ2IsV0FBVyxJQUMzQmdCLGdCQUFnQkgsU0FBU0UsZ0JBQWdCO1FBRS9DLE9BQU9DO0lBQ1Q7SUFFQUMsc0JBQXNCO1FBQ3BCLE1BQU1KLFdBQVcsSUFBSSxDQUFDYixXQUFXLElBQzNCa0IsbUJBQW1CTCxTQUFTSSxtQkFBbUI7UUFFckQsT0FBT0M7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsS0FBSyxFQUFFbEIsUUFBUSxFQUFFbUIsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU94Qix3QkFBZSxDQUFDb0IsMENBQTBDLENBQUNDLE9BQU9sQixVQUFVbUIsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9