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
package/lib/node/type.js CHANGED
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
8
8
  return TypeNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
12
- class TypeNode 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 TypeNode extends _nonTerminalNode.default {
13
18
  isPrefixed() {
14
19
  const multiplicity = this.getMultiplicity(), prefixed = multiplicity > 1;
15
20
  return prefixed;
@@ -53,8 +58,8 @@ class TypeNode extends _occamlanguages.NonTerminalNode {
53
58
  return nominalTypeName;
54
59
  }
55
60
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
56
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypeNode, ruleName, childNodes, opacity, precedence);
61
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(TypeNode, ruleName, childNodes, opacity, precedence);
57
62
  }
58
63
  }
59
64
 
60
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVHlwZU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBpc1ByZWZpeGVkKCkge1xuICAgIGNvbnN0IG11bHRpcGxpY2l0eSA9IHRoaXMuZ2V0TXVsdGlwbGljaXR5KCksXG4gICAgICAgICAgcHJlZml4ZWQgPSAobXVsdGlwbGljaXR5ID4gMSk7XG5cbiAgICByZXR1cm4gcHJlZml4ZWQ7XG4gIH1cblxuICBnZXRUeXBlTmFtZSgpIHtcbiAgICBsZXQgdHlwZU5hbWU7XG5cbiAgICBjb25zdCBwcmVmaXhlZCA9IHRoaXMuaXNQcmVmaXhlZCgpLFxuICAgICAgICAgIG5hbWVJbmRleCA9IHByZWZpeGVkID8gMiA6IDA7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSwgaW5kZXgpID0+IHtcbiAgICAgIGlmIChpbmRleCA9PT0gbmFtZUluZGV4KSB7XG4gICAgICAgIGNvbnN0IHR5cGVUZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgICBjb250ZW50ID0gdHlwZVRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgdHlwZU5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiB0eXBlTmFtZTtcbiAgfVxuXG4gIGdldFR5cGVQcmVmaXhOYW1lKCkge1xuICAgIGxldCB0eXBlUHJlZml4TmFtZSA9IG51bGw7XG5cbiAgICBjb25zdCBwcmVmaXhlZCA9IHRoaXMuaXNQcmVmaXhlZCgpO1xuXG4gICAgaWYgKHByZWZpeGVkKSB7XG4gICAgICBjb25zdCBwcmVmaXhJbmRleCA9IDA7XG5cbiAgICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgICBpZiAoaW5kZXggPT09IHByZWZpeEluZGV4KSB7XG4gICAgICAgICAgY29uc3QgdHlwZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgICAgY29udGVudCA9IHR5cGVUZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpO1xuXG4gICAgICAgICAgdHlwZVByZWZpeE5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgICB9XG4gICAgICB9KTtcbiAgICB9XG5cbiAgICByZXR1cm4gdHlwZVByZWZpeE5hbWU7XG4gIH1cblxuICBnZXROb21pbmFsVHlwZU5hbWUoKSB7XG4gICAgbGV0IG5vbWluYWxUeXBlTmFtZTtcblxuICAgIGNvbnN0IHByZWZpeGVkID0gdGhpcy5pc1ByZWZpeGVkKCksXG4gICAgICAgICAgdHlwZU5hbWUgPSB0aGlzLmdldFR5cGVOYW1lKCk7XG5cbiAgICBpZiAocHJlZml4ZWQpIHtcbiAgICAgIGNvbnN0IHR5cGVQcmVmaXhOYW1lID0gdGhpcy5nZXRUeXBlUHJlZml4TmFtZSgpO1xuXG4gICAgICBub21pbmFsVHlwZU5hbWUgPSBgJHt0eXBlUHJlZml4TmFtZX0ke3R5cGVOYW1lfWA7XG4gICAgfSBlbHNlIHtcbiAgICAgIG5vbWluYWxUeXBlTmFtZSA9IHR5cGVOYW1lOyAgLy8vXG4gICAgfVxuXG4gICAgcmV0dXJuIG5vbWluYWxUeXBlTmFtZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVHlwZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiaXNQcmVmaXhlZCIsIm11bHRpcGxpY2l0eSIsImdldE11bHRpcGxpY2l0eSIsInByZWZpeGVkIiwiZ2V0VHlwZU5hbWUiLCJ0eXBlTmFtZSIsIm5hbWVJbmRleCIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJpbmRleCIsInR5cGVUZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImdldFR5cGVQcmVmaXhOYW1lIiwidHlwZVByZWZpeE5hbWUiLCJwcmVmaXhJbmRleCIsImdldE5vbWluYWxUeXBlTmFtZSIsIm5vbWluYWxUeXBlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLGlCQUFpQkMsK0JBQWU7SUFDbkRDLGFBQWE7UUFDWCxNQUFNQyxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ0MsV0FBWUYsZUFBZTtRQUVqQyxPQUFPRTtJQUNUO0lBRUFDLGNBQWM7UUFDWixJQUFJQztRQUVKLE1BQU1GLFdBQVcsSUFBSSxDQUFDSCxVQUFVLElBQzFCTSxZQUFZSCxXQUFXLElBQUk7UUFFakMsSUFBSSxDQUFDSSxhQUFhLENBQUMsQ0FBQ0MsV0FBV0M7WUFDN0IsSUFBSUEsVUFBVUgsV0FBVztnQkFDdkIsTUFBTUksbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO2dCQUUzQ1AsV0FBV00sU0FBUyxHQUFHO2dCQUV2QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQVEsb0JBQW9CO1FBQ2xCLElBQUlDLGlCQUFpQjtRQUVyQixNQUFNWCxXQUFXLElBQUksQ0FBQ0gsVUFBVTtRQUVoQyxJQUFJRyxVQUFVO1lBQ1osTUFBTVksY0FBYztZQUVwQixJQUFJLENBQUNSLGFBQWEsQ0FBQyxDQUFDQyxXQUFXQztnQkFDN0IsSUFBSUEsVUFBVU0sYUFBYTtvQkFDekIsTUFBTUwsbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO29CQUUzQ0UsaUJBQWlCSCxTQUFTLEdBQUc7b0JBRTdCLE9BQU87Z0JBQ1Q7WUFDRjtRQUNGO1FBRUEsT0FBT0c7SUFDVDtJQUVBRSxxQkFBcUI7UUFDbkIsSUFBSUM7UUFFSixNQUFNZCxXQUFXLElBQUksQ0FBQ0gsVUFBVSxJQUMxQkssV0FBVyxJQUFJLENBQUNELFdBQVc7UUFFakMsSUFBSUQsVUFBVTtZQUNaLE1BQU1XLGlCQUFpQixJQUFJLENBQUNELGlCQUFpQjtZQUU3Q0ksa0JBQWtCLEdBQUdILGlCQUFpQlQsVUFBVTtRQUNsRCxPQUFPO1lBQ0xZLGtCQUFrQlosVUFBVyxHQUFHO1FBQ2xDO1FBRUEsT0FBT1k7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3ZCLCtCQUFlLENBQUNtQiwwQ0FBMEMsQ0FBQ3BCLFVBQVVxQixVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOIn0=
65
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUeXBlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGlzUHJlZml4ZWQoKSB7XG4gICAgY29uc3QgbXVsdGlwbGljaXR5ID0gdGhpcy5nZXRNdWx0aXBsaWNpdHkoKSxcbiAgICAgICAgICBwcmVmaXhlZCA9IChtdWx0aXBsaWNpdHkgPiAxKTtcblxuICAgIHJldHVybiBwcmVmaXhlZDtcbiAgfVxuXG4gIGdldFR5cGVOYW1lKCkge1xuICAgIGxldCB0eXBlTmFtZTtcblxuICAgIGNvbnN0IHByZWZpeGVkID0gdGhpcy5pc1ByZWZpeGVkKCksXG4gICAgICAgICAgbmFtZUluZGV4ID0gcHJlZml4ZWQgPyAyIDogMDtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgaWYgKGluZGV4ID09PSBuYW1lSW5kZXgpIHtcbiAgICAgICAgY29uc3QgdHlwZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgIGNvbnRlbnQgPSB0eXBlVGVybWluYWxOb2RlLmdldENvbnRlbnQoKTtcblxuICAgICAgICB0eXBlTmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHR5cGVOYW1lO1xuICB9XG5cbiAgZ2V0VHlwZVByZWZpeE5hbWUoKSB7XG4gICAgbGV0IHR5cGVQcmVmaXhOYW1lID0gbnVsbDtcblxuICAgIGNvbnN0IHByZWZpeGVkID0gdGhpcy5pc1ByZWZpeGVkKCk7XG5cbiAgICBpZiAocHJlZml4ZWQpIHtcbiAgICAgIGNvbnN0IHByZWZpeEluZGV4ID0gMDtcblxuICAgICAgdGhpcy5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUsIGluZGV4KSA9PiB7XG4gICAgICAgIGlmIChpbmRleCA9PT0gcHJlZml4SW5kZXgpIHtcbiAgICAgICAgICBjb25zdCB0eXBlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgICBjb250ZW50ID0gdHlwZVRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgICB0eXBlUHJlZml4TmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICAgIH1cbiAgICAgIH0pO1xuICAgIH1cblxuICAgIHJldHVybiB0eXBlUHJlZml4TmFtZTtcbiAgfVxuXG4gIGdldE5vbWluYWxUeXBlTmFtZSgpIHtcbiAgICBsZXQgbm9taW5hbFR5cGVOYW1lO1xuXG4gICAgY29uc3QgcHJlZml4ZWQgPSB0aGlzLmlzUHJlZml4ZWQoKSxcbiAgICAgICAgICB0eXBlTmFtZSA9IHRoaXMuZ2V0VHlwZU5hbWUoKTtcblxuICAgIGlmIChwcmVmaXhlZCkge1xuICAgICAgY29uc3QgdHlwZVByZWZpeE5hbWUgPSB0aGlzLmdldFR5cGVQcmVmaXhOYW1lKCk7XG5cbiAgICAgIG5vbWluYWxUeXBlTmFtZSA9IGAke3R5cGVQcmVmaXhOYW1lfSR7dHlwZU5hbWV9YDtcbiAgICB9IGVsc2Uge1xuICAgICAgbm9taW5hbFR5cGVOYW1lID0gdHlwZU5hbWU7ICAvLy9cbiAgICB9XG5cbiAgICByZXR1cm4gbm9taW5hbFR5cGVOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUeXBlTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVHlwZU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJpc1ByZWZpeGVkIiwibXVsdGlwbGljaXR5IiwiZ2V0TXVsdGlwbGljaXR5IiwicHJlZml4ZWQiLCJnZXRUeXBlTmFtZSIsInR5cGVOYW1lIiwibmFtZUluZGV4Iiwic29tZUNoaWxkTm9kZSIsImNoaWxkTm9kZSIsImluZGV4IiwidHlwZVRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZ2V0VHlwZVByZWZpeE5hbWUiLCJ0eXBlUHJlZml4TmFtZSIsInByZWZpeEluZGV4IiwiZ2V0Tm9taW5hbFR5cGVOYW1lIiwibm9taW5hbFR5cGVOYW1lIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLGlCQUFpQkMsd0JBQWU7SUFDbkRDLGFBQWE7UUFDWCxNQUFNQyxlQUFlLElBQUksQ0FBQ0MsZUFBZSxJQUNuQ0MsV0FBWUYsZUFBZTtRQUVqQyxPQUFPRTtJQUNUO0lBRUFDLGNBQWM7UUFDWixJQUFJQztRQUVKLE1BQU1GLFdBQVcsSUFBSSxDQUFDSCxVQUFVLElBQzFCTSxZQUFZSCxXQUFXLElBQUk7UUFFakMsSUFBSSxDQUFDSSxhQUFhLENBQUMsQ0FBQ0MsV0FBV0M7WUFDN0IsSUFBSUEsVUFBVUgsV0FBVztnQkFDdkIsTUFBTUksbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO2dCQUUzQ1AsV0FBV00sU0FBUyxHQUFHO2dCQUV2QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQVEsb0JBQW9CO1FBQ2xCLElBQUlDLGlCQUFpQjtRQUVyQixNQUFNWCxXQUFXLElBQUksQ0FBQ0gsVUFBVTtRQUVoQyxJQUFJRyxVQUFVO1lBQ1osTUFBTVksY0FBYztZQUVwQixJQUFJLENBQUNSLGFBQWEsQ0FBQyxDQUFDQyxXQUFXQztnQkFDN0IsSUFBSUEsVUFBVU0sYUFBYTtvQkFDekIsTUFBTUwsbUJBQW1CRixXQUNuQkcsVUFBVUQsaUJBQWlCRSxVQUFVO29CQUUzQ0UsaUJBQWlCSCxTQUFTLEdBQUc7b0JBRTdCLE9BQU87Z0JBQ1Q7WUFDRjtRQUNGO1FBRUEsT0FBT0c7SUFDVDtJQUVBRSxxQkFBcUI7UUFDbkIsSUFBSUM7UUFFSixNQUFNZCxXQUFXLElBQUksQ0FBQ0gsVUFBVSxJQUMxQkssV0FBVyxJQUFJLENBQUNELFdBQVc7UUFFakMsSUFBSUQsVUFBVTtZQUNaLE1BQU1XLGlCQUFpQixJQUFJLENBQUNELGlCQUFpQjtZQUU3Q0ksa0JBQWtCLEdBQUdILGlCQUFpQlQsVUFBVTtRQUNsRCxPQUFPO1lBQ0xZLGtCQUFrQlosVUFBVyxHQUFHO1FBQ2xDO1FBRUEsT0FBT1k7SUFDVDtJQUVBLE9BQU9DLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVSxFQUFFO1FBQUUsT0FBT3ZCLHdCQUFlLENBQUNtQiwwQ0FBMEMsQ0FBQ3BCLFVBQVVxQixVQUFVQyxZQUFZQyxTQUFTQztJQUFhO0FBQ3pOIn0=
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
8
8
  return TypePrefixNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
12
- class TypePrefixNode 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 TypePrefixNode extends _nonTerminalNode.default {
13
18
  getTypePrefixName() {
14
19
  let typePrefixName;
15
20
  this.someChildNode((childNode)=>{
@@ -23,8 +28,8 @@ class TypePrefixNode extends _occamlanguages.NonTerminalNode {
23
28
  return typePrefixName;
24
29
  }
25
30
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
26
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypePrefixNode, ruleName, childNodes, opacity, precedence);
31
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(TypePrefixNode, ruleName, childNodes, opacity, precedence);
27
32
  }
28
33
  }
29
34
 
30
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVQcmVmaXguanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1sYW5ndWFnZXNcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVHlwZVByZWZpeE5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUeXBlUHJlZml4TmFtZSgpIHtcbiAgICBsZXQgdHlwZVByZWZpeE5hbWU7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgdHlwZVByZWZpeE5hbWUgPSBjb250ZW50OyAvLy9cblxuICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgIH1cbiAgICB9KTtcblxuICAgIHJldHVybiB0eXBlUHJlZml4TmFtZTtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVHlwZVByZWZpeE5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVQcmVmaXhOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VHlwZVByZWZpeE5hbWUiLCJ0eXBlUHJlZml4TmFtZSIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJjaGlsZE5vZGVUZXJtaW5hbE5vZGUiLCJpc1Rlcm1pbmFsTm9kZSIsInRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7Z0NBRlc7QUFFakIsTUFBTUEsdUJBQXVCQywrQkFBZTtJQUN6REMsb0JBQW9CO1FBQ2xCLElBQUlDO1FBRUosSUFBSSxDQUFDQyxhQUFhLENBQUMsQ0FBQ0M7WUFDbEIsTUFBTUMsd0JBQXdCRCxVQUFVRSxjQUFjO1lBRXRELElBQUlELHVCQUF1QjtnQkFDekIsTUFBTUUsZUFBZUgsV0FDZkksVUFBVUQsYUFBYUUsVUFBVTtnQkFFdkNQLGlCQUFpQk0sU0FBUyxHQUFHO2dCQUU3QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQSxPQUFPUSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9kLCtCQUFlLENBQUNVLDBDQUEwQyxDQUFDWCxnQkFBZ0JZLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDL04ifQ==
35
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVQcmVmaXguanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCBOb25UZXJtaW5hbE5vZGUgZnJvbSBcIi4uL25vblRlcm1pbmFsTm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUeXBlUHJlZml4Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFR5cGVQcmVmaXhOYW1lKCkge1xuICAgIGxldCB0eXBlUHJlZml4TmFtZTtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlKSA9PiB7XG4gICAgICBjb25zdCBjaGlsZE5vZGVUZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUuaXNUZXJtaW5hbE5vZGUoKTtcblxuICAgICAgaWYgKGNoaWxkTm9kZVRlcm1pbmFsTm9kZSkge1xuICAgICAgICBjb25zdCB0ZXJtaW5hbE5vZGUgPSBjaGlsZE5vZGUsIC8vL1xuICAgICAgICAgICAgICBjb250ZW50ID0gdGVybWluYWxOb2RlLmdldENvbnRlbnQoKTtcblxuICAgICAgICB0eXBlUHJlZml4TmFtZSA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHR5cGVQcmVmaXhOYW1lO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUeXBlUHJlZml4Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVHlwZVByZWZpeE5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRUeXBlUHJlZml4TmFtZSIsInR5cGVQcmVmaXhOYW1lIiwic29tZUNoaWxkTm9kZSIsImNoaWxkTm9kZSIsImNoaWxkTm9kZVRlcm1pbmFsTm9kZSIsImlzVGVybWluYWxOb2RlIiwidGVybWluYWxOb2RlIiwiY29udGVudCIsImdldENvbnRlbnQiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBSUE7OztlQUFxQkE7Ozt3RUFGTzs7Ozs7O0FBRWIsTUFBTUEsdUJBQXVCQyx3QkFBZTtJQUN6REMsb0JBQW9CO1FBQ2xCLElBQUlDO1FBRUosSUFBSSxDQUFDQyxhQUFhLENBQUMsQ0FBQ0M7WUFDbEIsTUFBTUMsd0JBQXdCRCxVQUFVRSxjQUFjO1lBRXRELElBQUlELHVCQUF1QjtnQkFDekIsTUFBTUUsZUFBZUgsV0FDZkksVUFBVUQsYUFBYUUsVUFBVTtnQkFFdkNQLGlCQUFpQk0sU0FBUyxHQUFHO2dCQUU3QixPQUFPO1lBQ1Q7UUFDRjtRQUVBLE9BQU9OO0lBQ1Q7SUFFQSxPQUFPUSwyQ0FBMkNDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9kLHdCQUFlLENBQUNVLDBDQUEwQyxDQUFDWCxnQkFBZ0JZLFVBQVVDLFlBQVlDLFNBQVNDO0lBQWE7QUFDL04ifQ==
package/lib/node/types.js CHANGED
@@ -8,16 +8,21 @@ Object.defineProperty(exports, "default", {
8
8
  return TypesNode;
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 TypesNode extends _occamlanguages.NonTerminalNode {
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class TypesNode extends _nonTerminalNode.default {
14
19
  getTypeNodes() {
15
20
  const ruleName = _ruleNames.TYPE_RULE_NAME, typeNodes = this.getNodesByRuleName(ruleName);
16
21
  return typeNodes;
17
22
  }
18
23
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
19
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(TypesNode, ruleName, childNodes, opacity, precedence);
24
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(TypesNode, ruleName, childNodes, opacity, precedence);
20
25
  }
21
26
  }
22
27
 
23
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmltcG9ydCB7IFRZUEVfUlVMRV9OQU1FIH0gZnJvbSBcIi4uL3J1bGVOYW1lc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUeXBlc05vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRUeXBlTm9kZXMoKSB7XG4gICAgY29uc3QgcnVsZU5hbWUgPSBUWVBFX1JVTEVfTkFNRSxcbiAgICAgICAgICB0eXBlTm9kZXMgPSB0aGlzLmdldE5vZGVzQnlSdWxlTmFtZShydWxlTmFtZSk7XG5cbiAgICByZXR1cm4gdHlwZU5vZGVzO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShUeXBlc05vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlR5cGVzTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFR5cGVOb2RlcyIsInJ1bGVOYW1lIiwiVFlQRV9SVUxFX05BTUUiLCJ0eXBlTm9kZXMiLCJnZXROb2Rlc0J5UnVsZU5hbWUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBcUJBOzs7Z0NBSlc7MkJBRUQ7QUFFaEIsTUFBTUEsa0JBQWtCQywrQkFBZTtJQUNwREMsZUFBZTtRQUNiLE1BQU1DLFdBQVdDLHlCQUFjLEVBQ3pCQyxZQUFZLElBQUksQ0FBQ0Msa0JBQWtCLENBQUNIO1FBRTFDLE9BQU9FO0lBQ1Q7SUFFQSxPQUFPRSwyQ0FBMkNKLFFBQVEsRUFBRUssVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9ULCtCQUFlLENBQUNNLDBDQUEwQyxDQUFDUCxXQUFXRyxVQUFVSyxZQUFZQyxTQUFTQztJQUFhO0FBQzFOIn0=
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3R5cGVzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuaW1wb3J0IHsgVFlQRV9SVUxFX05BTUUgfSBmcm9tIFwiLi4vcnVsZU5hbWVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFR5cGVzTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFR5cGVOb2RlcygpIHtcbiAgICBjb25zdCBydWxlTmFtZSA9IFRZUEVfUlVMRV9OQU1FLFxuICAgICAgICAgIHR5cGVOb2RlcyA9IHRoaXMuZ2V0Tm9kZXNCeVJ1bGVOYW1lKHJ1bGVOYW1lKTtcblxuICAgIHJldHVybiB0eXBlTm9kZXM7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKFR5cGVzTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiVHlwZXNOb2RlIiwiTm9uVGVybWluYWxOb2RlIiwiZ2V0VHlwZU5vZGVzIiwicnVsZU5hbWUiLCJUWVBFX1JVTEVfTkFNRSIsInR5cGVOb2RlcyIsImdldE5vZGVzQnlSdWxlTmFtZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFxQkE7Ozt3RUFKTzsyQkFFRzs7Ozs7O0FBRWhCLE1BQU1BLGtCQUFrQkMsd0JBQWU7SUFDcERDLGVBQWU7UUFDYixNQUFNQyxXQUFXQyx5QkFBYyxFQUN6QkMsWUFBWSxJQUFJLENBQUNDLGtCQUFrQixDQUFDSDtRQUUxQyxPQUFPRTtJQUNUO0lBRUEsT0FBT0UsMkNBQTJDSixRQUFRLEVBQUVLLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPVCx3QkFBZSxDQUFDTSwwQ0FBMEMsQ0FBQ1AsV0FBV0csVUFBVUssWUFBWUMsU0FBU0M7SUFBYTtBQUMxTiJ9
@@ -8,8 +8,13 @@ Object.defineProperty(exports, "default", {
8
8
  return VariableNode;
9
9
  }
10
10
  });
11
- const _occamlanguages = require("occam-languages");
12
- class VariableNode 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 VariableNode extends _nonTerminalNode.default {
13
18
  getVariableIdentifier() {
14
19
  let variableIdentifier;
15
20
  this.someChildNode((childNode)=>{
@@ -23,8 +28,8 @@ class VariableNode extends _occamlanguages.NonTerminalNode {
23
28
  return variableIdentifier;
24
29
  }
25
30
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
26
- return _occamlanguages.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(VariableNode, ruleName, childNodes, opacity, precedence);
31
+ return _nonTerminalNode.default.fromRuleNameChildNodesOpacityAndPrecedence(VariableNode, ruleName, childNodes, opacity, precedence);
27
32
  }
28
33
  }
29
34
 
30
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3ZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFZhcmlhYmxlTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldFZhcmlhYmxlSWRlbnRpZmllcigpIHtcbiAgICBsZXQgdmFyaWFibGVJZGVudGlmaWVyO1xuXG4gICAgdGhpcy5zb21lQ2hpbGROb2RlKChjaGlsZE5vZGUpID0+IHtcbiAgICAgIGNvbnN0IGNoaWxkTm9kZVRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZS5pc1Rlcm1pbmFsTm9kZSgpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlVGVybWluYWxOb2RlKSB7XG4gICAgICAgIGNvbnN0IHRlcm1pbmFsTm9kZSA9IGNoaWxkTm9kZSwgLy8vXG4gICAgICAgICAgICAgIGNvbnRlbnQgPSB0ZXJtaW5hbE5vZGUuZ2V0Q29udGVudCgpO1xuXG4gICAgICAgIHZhcmlhYmxlSWRlbnRpZmllciA9IGNvbnRlbnQ7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHZhcmlhYmxlSWRlbnRpZmllcjtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UocnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpIHsgcmV0dXJuIE5vblRlcm1pbmFsTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoVmFyaWFibGVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJWYXJpYWJsZU5vZGUiLCJOb25UZXJtaW5hbE5vZGUiLCJnZXRWYXJpYWJsZUlkZW50aWZpZXIiLCJ2YXJpYWJsZUlkZW50aWZpZXIiLCJzb21lQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiY2hpbGROb2RlVGVybWluYWxOb2RlIiwiaXNUZXJtaW5hbE5vZGUiLCJ0ZXJtaW5hbE5vZGUiLCJjb250ZW50IiwiZ2V0Q29udGVudCIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFJQTs7O2VBQXFCQTs7O2dDQUZXO0FBRWpCLE1BQU1BLHFCQUFxQkMsK0JBQWU7SUFDdkRDLHdCQUF3QjtRQUN0QixJQUFJQztRQUVKLElBQUksQ0FBQ0MsYUFBYSxDQUFDLENBQUNDO1lBQ2xCLE1BQU1DLHdCQUF3QkQsVUFBVUUsY0FBYztZQUV0RCxJQUFJRCx1QkFBdUI7Z0JBQ3pCLE1BQU1FLGVBQWVILFdBQ2ZJLFVBQVVELGFBQWFFLFVBQVU7Z0JBRXZDUCxxQkFBcUJNLFNBQVMsR0FBRztnQkFFakMsT0FBTztZQUNUO1FBQ0Y7UUFFQSxPQUFPTjtJQUNUO0lBRUEsT0FBT1EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPZCwrQkFBZSxDQUFDVSwwQ0FBMEMsQ0FBQ1gsY0FBY1ksVUFBVUMsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9
35
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL3ZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9uVGVybWluYWxOb2RlIGZyb20gXCIuLi9ub25UZXJtaW5hbE5vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVmFyaWFibGVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0VmFyaWFibGVJZGVudGlmaWVyKCkge1xuICAgIGxldCB2YXJpYWJsZUlkZW50aWZpZXI7XG5cbiAgICB0aGlzLnNvbWVDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlVGVybWluYWxOb2RlID0gY2hpbGROb2RlLmlzVGVybWluYWxOb2RlKCk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVUZXJtaW5hbE5vZGUpIHtcbiAgICAgICAgY29uc3QgdGVybWluYWxOb2RlID0gY2hpbGROb2RlLCAvLy9cbiAgICAgICAgICAgICAgY29udGVudCA9IHRlcm1pbmFsTm9kZS5nZXRDb250ZW50KCk7XG5cbiAgICAgICAgdmFyaWFibGVJZGVudGlmaWVyID0gY29udGVudDsgLy8vXG5cbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gdmFyaWFibGVJZGVudGlmaWVyO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShWYXJpYWJsZU5vZGUsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuIl0sIm5hbWVzIjpbIlZhcmlhYmxlTm9kZSIsIk5vblRlcm1pbmFsTm9kZSIsImdldFZhcmlhYmxlSWRlbnRpZmllciIsInZhcmlhYmxlSWRlbnRpZmllciIsInNvbWVDaGlsZE5vZGUiLCJjaGlsZE5vZGUiLCJjaGlsZE5vZGVUZXJtaW5hbE5vZGUiLCJpc1Rlcm1pbmFsTm9kZSIsInRlcm1pbmFsTm9kZSIsImNvbnRlbnQiLCJnZXRDb250ZW50IiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUlBOzs7ZUFBcUJBOzs7d0VBRk87Ozs7OztBQUViLE1BQU1BLHFCQUFxQkMsd0JBQWU7SUFDdkRDLHdCQUF3QjtRQUN0QixJQUFJQztRQUVKLElBQUksQ0FBQ0MsYUFBYSxDQUFDLENBQUNDO1lBQ2xCLE1BQU1DLHdCQUF3QkQsVUFBVUUsY0FBYztZQUV0RCxJQUFJRCx1QkFBdUI7Z0JBQ3pCLE1BQU1FLGVBQWVILFdBQ2ZJLFVBQVVELGFBQWFFLFVBQVU7Z0JBRXZDUCxxQkFBcUJNLFNBQVMsR0FBRztnQkFFakMsT0FBTztZQUNUO1FBQ0Y7UUFFQSxPQUFPTjtJQUNUO0lBRUEsT0FBT1EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVLEVBQUU7UUFBRSxPQUFPZCx3QkFBZSxDQUFDVSwwQ0FBMEMsQ0FBQ1gsY0FBY1ksVUFBVUMsWUFBWUMsU0FBU0M7SUFBYTtBQUM3TiJ9
@@ -0,0 +1,20 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return NonTerminalNode;
9
+ }
10
+ });
11
+ const _occamlanguages = require("occam-languages");
12
+ const _occamparsers = require("occam-parsers");
13
+ class NonTerminalNode extends _occamparsers.NonTerminalNode {
14
+ static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) {
15
+ return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence);
16
+ }
17
+ }
18
+ Object.assign(NonTerminalNode.prototype, _occamlanguages.nodeMixins);
19
+
20
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ub25UZXJtaW5hbE5vZGUuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IG5vZGVNaXhpbnMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgYXMgTm9uVGVybWluYWxOb2RlQmFzZSB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE5vblRlcm1pbmFsTm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZUJhc2Uge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKENsYXNzLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlQmFzZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoQ2xhc3MsIHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKTsgfVxufVxuXG5PYmplY3QuYXNzaWduKE5vblRlcm1pbmFsTm9kZS5wcm90b3R5cGUsIG5vZGVNaXhpbnMpO1xuIl0sIm5hbWVzIjpbIk5vblRlcm1pbmFsTm9kZSIsIk5vblRlcm1pbmFsTm9kZUJhc2UiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJDbGFzcyIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiT2JqZWN0IiwiYXNzaWduIiwicHJvdG90eXBlIiwibm9kZU1peGlucyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBS0E7OztlQUFxQkE7OztnQ0FITTs4QkFDNEI7QUFFeEMsTUFBTUEsd0JBQXdCQyw2QkFBbUI7SUFDOUQsT0FBT0MsMkNBQTJDQyxLQUFLLEVBQUVDLFFBQVEsRUFBRUMsVUFBVSxFQUFFQyxPQUFPLEVBQUVDLFVBQVUsRUFBRTtRQUFFLE9BQU9OLDZCQUFtQixDQUFDQywwQ0FBMEMsQ0FBQ0MsT0FBT0MsVUFBVUMsWUFBWUMsU0FBU0M7SUFBYTtBQUNqTztBQUVBQyxPQUFPQyxNQUFNLENBQUNULGdCQUFnQlUsU0FBUyxFQUFFQywwQkFBVSJ9
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "occam-nominal",
3
3
  "author": "James Smith",
4
- "version": "1.0.253",
4
+ "version": "1.0.255",
5
5
  "license": "MIT, Anti-996",
6
6
  "homepage": "https://github.com/djalbat/occam-nominal",
7
7
  "description": "Occam's Nominal language.",
@@ -11,8 +11,8 @@
11
11
  },
12
12
  "dependencies": {
13
13
  "necessary": "^17.5.0",
14
- "occam-furtle": "^3.0.334",
15
- "occam-languages": "^1.0.1",
14
+ "occam-furtle": "^3.0.335",
15
+ "occam-languages": "^1.0.3",
16
16
  "occam-lexers": "^23.1.75",
17
17
  "occam-parsers": "^23.1.201",
18
18
  "occam-query": "^4.1.187"
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { TERM_RULE_NAME, TYPE_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  export default class AssertionNode extends NonTerminalNode {
6
6
  static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../../nonTerminalNode";
4
4
 
5
5
  import { STATEMENT_RULE_NAME } from "../../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { METAVARIABLE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
package/src/node/body.js CHANGED
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { NONSENSE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { REFERENCE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { TERM_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  export default class DeclarationNode extends NonTerminalNode {
6
6
  static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { NONSENSE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { STEP_RULE_NAME, SUBPROOF_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  export default class DocumentNode extends NonTerminalNode {
6
6
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DocumentNode, ruleName, childNodes, opacity, precedence); }
@@ -1,7 +1,8 @@
1
1
  "use strict";
2
2
 
3
3
  import { arrayUtilities } from "necessary";
4
- import { NonTerminalNode } from "occam-languages";
4
+
5
+ import NonTerminalNode from "../nonTerminalNode";
5
6
 
6
7
  import { TERM_RULE_NAME } from "../ruleNames";
7
8
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { TERM_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  export default class EquivalencesNode extends NonTerminalNode {
6
6
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(EquivalencesNode, ruleName, childNodes, opacity, precedence); }
package/src/node/error.js CHANGED
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  export default class ErrorNode extends NonTerminalNode {
6
6
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ErrorNode, ruleName, childNodes, opacity, precedence); }
package/src/node/frame.js CHANGED
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { ASSUMPTION_RULE_NAME, METAVARIABLE_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { TERM_RULE_NAME } from "../ruleNames";
6
6
 
package/src/node/goal.js CHANGED
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { METAVARIABLE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { SIGNATURE_RULE_NAME, PARENTHESISED_LABEL_RULE_NAME, PARENTHESISED_LABELS_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { NONSENSE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { GOAL_RULE_NAME, FRAME_RULE_NAME } from "../ruleNames";
6
6
 
package/src/node/label.js CHANGED
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { METAVARIABLE_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { LABEL_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  export default class MetaTypeNode extends NonTerminalNode {
6
6
  getMetaTypeName() {
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { TERM_RULE_NAME, TYPE_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { NAME_TOKEN_TYPE, IDENTIFIER_TOKEN_TYPE } from "../tokenTypes";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { LABEL_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { LABELS_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  export default class PlaceholderNode extends NonTerminalNode {
6
6
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(PlaceholderNode, ruleName, childNodes, opacity, precedence); }
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { PARAMETER_RULE_NAME, PROCEDURE_REFERENCE_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  export default class ProcedureReferenceNode extends NonTerminalNode {
6
6
  getName() {
package/src/node/proof.js CHANGED
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { DERIVATION_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { NONSENSE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { TERM_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { REFERENCE_RULE_NAME, SIGNATURE_ASSERTION_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { METAVARIABLE_RULE_NAME } from "../ruleNames";
6
6
 
package/src/node/rule.js CHANGED
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { RULE_BODY_RULE_NAME, RULE_HEADER_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { SCHEMA_BODY_RULE_NAME, SCHEMA_HEADER_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { AXIOM_RULE_NAME, LEMMA_RULE_NAME, THEOREM_RULE_NAME, CONJECTURE_RULE_NAME, HYPOTHESIS_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import NonTerminalNode from "../nonTerminalNode";
4
4
 
5
5
  import { TERM_RULE_NAME } from "../ruleNames";
6
6
 
@@ -1,6 +1,7 @@
1
1
  "use strict";
2
2
 
3
- import { NonTerminalNode } from "occam-languages";
3
+ import { nodeMixins } from "occam-languages";
4
+ import { NonTerminalNode } from "occam-grammar-utilities";
4
5
 
5
6
  import { TERM_RULE_NAME,
6
7
  FRAME_RULE_NAME,
@@ -18,7 +19,7 @@ import { TERM_RULE_NAME,
18
19
  CONTAINED_ASSERTION_RULE_NAME,
19
20
  STATEMENT_SUBSTITUTION_RULE_NAME } from "../ruleNames";
20
21
 
21
- export default class StatementNode extends NonTerminalNode {
22
+ class StatementNode extends NonTerminalNode {
22
23
  isSingular() {
23
24
  let singular = false;
24
25
 
@@ -165,3 +166,7 @@ export default class StatementNode extends NonTerminalNode {
165
166
 
166
167
  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(StatementNode, ruleName, childNodes, opacity, precedence); }
167
168
  }
169
+
170
+ Object.assign(StatementNode.prototype, nodeMixins);
171
+
172
+ export default StatementNode;