occam-verify-cli 1.0.184 → 1.0.192

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 (196) hide show
  1. package/lib/constants.js +5 -1
  2. package/lib/dom/assertion/property.js +2 -4
  3. package/lib/dom/assertion/subproof.js +3 -5
  4. package/lib/dom/assertion/type.js +6 -8
  5. package/lib/dom/axiom.js +15 -100
  6. package/lib/dom/conjecture.js +5 -4
  7. package/lib/dom/constructor/bracketed.js +6 -7
  8. package/lib/dom/declaration/complexType.js +6 -6
  9. package/lib/dom/declaration/metavariable.js +3 -5
  10. package/lib/dom/declaration/type.js +2 -2
  11. package/lib/dom/declaration.js +2 -4
  12. package/lib/dom/derivation.js +2 -4
  13. package/lib/dom/equality.js +9 -11
  14. package/lib/dom/frame.js +8 -12
  15. package/lib/dom/judgement.js +2 -4
  16. package/lib/dom/lemma.js +5 -4
  17. package/lib/dom/metaLemma.js +5 -4
  18. package/lib/dom/metaType.js +2 -4
  19. package/lib/dom/metatheorem.js +5 -4
  20. package/lib/dom/metavariable.js +12 -15
  21. package/lib/dom/parameter.js +2 -4
  22. package/lib/dom/procedureCall.js +6 -10
  23. package/lib/dom/proof.js +2 -4
  24. package/lib/dom/property.js +16 -51
  25. package/lib/dom/propertyRelation.js +8 -10
  26. package/lib/dom/reference.js +7 -11
  27. package/lib/dom/rule.js +6 -8
  28. package/lib/dom/statement.js +27 -31
  29. package/lib/dom/step.js +4 -6
  30. package/lib/dom/subDerivation.js +2 -4
  31. package/lib/dom/subproof.js +6 -8
  32. package/lib/dom/term.js +14 -20
  33. package/lib/dom/theorem.js +5 -4
  34. package/lib/dom/topLevelAssertion.js +30 -24
  35. package/lib/dom/topLevelMetaAssertion.js +5 -15
  36. package/lib/dom/type.js +8 -25
  37. package/lib/dom/variable.js +5 -11
  38. package/lib/node/assertion/contained.js +45 -58
  39. package/lib/node/assertion/defined.js +33 -58
  40. package/lib/node/assertion/property.js +33 -58
  41. package/lib/node/assertion/satisfies.js +21 -58
  42. package/lib/node/assertion/subproof.js +21 -58
  43. package/lib/node/assertion/type.js +33 -58
  44. package/lib/node/axiom.js +6 -52
  45. package/lib/node/combinator.js +6 -57
  46. package/lib/node/conclusion.js +21 -58
  47. package/lib/node/conjecture.js +6 -52
  48. package/lib/node/constructor.js +6 -57
  49. package/lib/node/declaration/combinator.js +13 -61
  50. package/lib/node/declaration/complexType.js +27 -75
  51. package/lib/node/declaration/constructor.js +24 -70
  52. package/lib/node/declaration/metavariable.js +40 -58
  53. package/lib/node/declaration/property.js +27 -72
  54. package/lib/node/declaration/type.js +23 -69
  55. package/lib/node/declaration/variable.js +28 -83
  56. package/lib/node/declaration.js +33 -58
  57. package/lib/node/deduction.js +21 -58
  58. package/lib/node/derivation.js +21 -58
  59. package/lib/node/equality.js +34 -58
  60. package/lib/node/error.js +6 -57
  61. package/lib/node/frame.js +52 -58
  62. package/lib/node/judgement.js +33 -58
  63. package/lib/node/label.js +21 -58
  64. package/lib/{node.js → node/labels.js} +25 -27
  65. package/lib/node/lemma.js +6 -52
  66. package/lib/node/metaLemma.js +6 -52
  67. package/lib/node/metaType.js +18 -60
  68. package/lib/node/metatheorem.js +6 -52
  69. package/lib/node/metavariable.js +40 -61
  70. package/lib/node/parameter.js +22 -58
  71. package/lib/node/parenthesisedLabels.js +123 -0
  72. package/lib/node/premise.js +33 -58
  73. package/lib/node/procedureCall.js +33 -58
  74. package/lib/node/proof.js +21 -58
  75. package/lib/node/property.js +18 -62
  76. package/lib/node/propertyRelation.js +40 -58
  77. package/lib/node/reference.js +21 -58
  78. package/lib/node/rule.js +6 -52
  79. package/lib/node/statement.js +105 -58
  80. package/lib/node/step.js +47 -58
  81. package/lib/node/subDerivation.js +21 -58
  82. package/lib/node/subproof.js +47 -58
  83. package/lib/node/supposition.js +33 -58
  84. package/lib/node/term.js +57 -58
  85. package/lib/node/theorem.js +6 -52
  86. package/lib/node/topLevelAssertion.js +86 -59
  87. package/lib/node/topLevelMetaAssertion.js +65 -59
  88. package/lib/node/type.js +14 -60
  89. package/lib/node/variable.js +14 -60
  90. package/lib/nominal/parser.js +3 -3
  91. package/lib/nonTerminalNodeMap.js +5 -3
  92. package/lib/ruleNames.js +10 -2
  93. package/lib/utilities/node.js +283 -7
  94. package/lib/utilities/type.js +16 -4
  95. package/lib/verifier/topLevel.js +6 -6
  96. package/package.json +8 -8
  97. package/src/constants.js +1 -0
  98. package/src/dom/assertion/property.js +1 -4
  99. package/src/dom/assertion/subproof.js +2 -6
  100. package/src/dom/assertion/type.js +7 -10
  101. package/src/dom/axiom.js +7 -77
  102. package/src/dom/conjecture.js +6 -1
  103. package/src/dom/constructor/bracketed.js +6 -8
  104. package/src/dom/declaration/complexType.js +7 -6
  105. package/src/dom/declaration/metavariable.js +2 -6
  106. package/src/dom/declaration/type.js +4 -2
  107. package/src/dom/declaration.js +1 -5
  108. package/src/dom/derivation.js +1 -4
  109. package/src/dom/equality.js +13 -17
  110. package/src/dom/frame.js +7 -19
  111. package/src/dom/judgement.js +1 -4
  112. package/src/dom/lemma.js +6 -1
  113. package/src/dom/metaLemma.js +6 -1
  114. package/src/dom/metaType.js +1 -5
  115. package/src/dom/metatheorem.js +6 -1
  116. package/src/dom/metavariable.js +11 -25
  117. package/src/dom/parameter.js +2 -6
  118. package/src/dom/procedureCall.js +5 -14
  119. package/src/dom/proof.js +1 -4
  120. package/src/dom/property.js +21 -78
  121. package/src/dom/propertyRelation.js +10 -14
  122. package/src/dom/reference.js +6 -18
  123. package/src/dom/rule.js +6 -12
  124. package/src/dom/statement.js +26 -46
  125. package/src/dom/step.js +3 -5
  126. package/src/dom/subDerivation.js +1 -4
  127. package/src/dom/subproof.js +8 -12
  128. package/src/dom/term.js +16 -32
  129. package/src/dom/theorem.js +6 -1
  130. package/src/dom/topLevelAssertion.js +30 -25
  131. package/src/dom/topLevelMetaAssertion.js +16 -28
  132. package/src/dom/type.js +9 -35
  133. package/src/dom/variable.js +4 -12
  134. package/src/node/assertion/contained.js +41 -3
  135. package/src/node/assertion/defined.js +29 -3
  136. package/src/node/assertion/property.js +29 -3
  137. package/src/node/assertion/satisfies.js +17 -3
  138. package/src/node/assertion/subproof.js +17 -3
  139. package/src/node/assertion/type.js +29 -3
  140. package/src/node/axiom.js +3 -3
  141. package/src/node/combinator.js +3 -3
  142. package/src/node/conclusion.js +17 -3
  143. package/src/node/conjecture.js +3 -3
  144. package/src/node/constructor.js +3 -3
  145. package/src/node/declaration/combinator.js +11 -7
  146. package/src/node/declaration/complexType.js +25 -24
  147. package/src/node/declaration/constructor.js +22 -17
  148. package/src/node/declaration/metavariable.js +36 -3
  149. package/src/node/declaration/property.js +21 -17
  150. package/src/node/declaration/type.js +22 -17
  151. package/src/node/declaration/variable.js +24 -32
  152. package/src/node/declaration.js +29 -3
  153. package/src/node/deduction.js +17 -3
  154. package/src/node/derivation.js +18 -3
  155. package/src/node/equality.js +31 -3
  156. package/src/node/error.js +3 -3
  157. package/src/node/frame.js +53 -3
  158. package/src/node/judgement.js +29 -3
  159. package/src/node/label.js +17 -3
  160. package/src/node/labels.js +21 -0
  161. package/src/node/lemma.js +3 -3
  162. package/src/node/metaLemma.js +3 -3
  163. package/src/node/metaType.js +19 -8
  164. package/src/node/metatheorem.js +3 -3
  165. package/src/node/metavariable.js +42 -9
  166. package/src/node/parameter.js +20 -3
  167. package/src/node/parenthesisedLabels.js +28 -0
  168. package/src/node/premise.js +29 -3
  169. package/src/node/procedureCall.js +29 -3
  170. package/src/node/proof.js +17 -3
  171. package/src/node/property.js +18 -12
  172. package/src/node/propertyRelation.js +35 -3
  173. package/src/node/reference.js +17 -3
  174. package/src/node/rule.js +3 -3
  175. package/src/node/statement.js +108 -3
  176. package/src/node/step.js +41 -3
  177. package/src/node/subDerivation.js +18 -3
  178. package/src/node/subproof.js +41 -3
  179. package/src/node/supposition.js +29 -3
  180. package/src/node/term.js +62 -3
  181. package/src/node/theorem.js +3 -3
  182. package/src/node/topLevelAssertion.js +89 -3
  183. package/src/node/topLevelMetaAssertion.js +59 -3
  184. package/src/node/type.js +15 -8
  185. package/src/node/variable.js +15 -8
  186. package/src/nominal/parser.js +1 -1
  187. package/src/nonTerminalNodeMap.js +9 -3
  188. package/src/ruleNames.js +3 -1
  189. package/src/utilities/node.js +147 -6
  190. package/src/utilities/type.js +9 -0
  191. package/src/verifier/topLevel.js +5 -10
  192. package/lib/defaultTerminalNode.js +0 -20
  193. package/lib/mixins/node.js +0 -145
  194. package/src/defaultTerminalNode.js +0 -7
  195. package/src/mixins/node.js +0 -201
  196. package/src/node.js +0 -29
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
8
8
  return EqualityNode;
9
9
  }
10
10
  });
11
- var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
11
+ var _occamparsers = require("occam-parsers");
12
12
  function _assert_this_initialized(self) {
13
13
  if (self === void 0) {
14
14
  throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
@@ -24,23 +24,6 @@ function _class_call_check(instance, Constructor) {
24
24
  throw new TypeError("Cannot call a class as a function");
25
25
  }
26
26
  }
27
- function _construct(Parent, args, Class) {
28
- if (_is_native_reflect_construct()) {
29
- _construct = Reflect.construct;
30
- } else {
31
- _construct = function construct(Parent, args, Class) {
32
- var a = [
33
- null
34
- ];
35
- a.push.apply(a, args);
36
- var Constructor = Function.bind.apply(Parent, a);
37
- var instance = new Constructor();
38
- if (Class) _set_prototype_of(instance, Class.prototype);
39
- return instance;
40
- };
41
- }
42
- return _construct.apply(null, arguments);
43
- }
44
27
  function _defineProperties(target, props) {
45
28
  for(var i = 0; i < props.length; i++){
46
29
  var descriptor = props[i];
@@ -74,14 +57,6 @@ function _inherits(subClass, superClass) {
74
57
  });
75
58
  if (superClass) _set_prototype_of(subClass, superClass);
76
59
  }
77
- function _interop_require_default(obj) {
78
- return obj && obj.__esModule ? obj : {
79
- default: obj
80
- };
81
- }
82
- function _is_native_function(fn) {
83
- return Function.toString.call(fn).indexOf("[native code]") !== -1;
84
- }
85
60
  function _possible_constructor_return(self, call) {
86
61
  if (call && (_type_of(call) === "object" || typeof call === "function")) {
87
62
  return call;
@@ -99,32 +74,6 @@ function _type_of(obj) {
99
74
  "@swc/helpers - typeof";
100
75
  return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
101
76
  }
102
- function _wrap_native_super(Class) {
103
- var _cache = typeof Map === "function" ? new Map() : undefined;
104
- _wrap_native_super = function wrapNativeSuper(Class) {
105
- if (Class === null || !_is_native_function(Class)) return Class;
106
- if (typeof Class !== "function") {
107
- throw new TypeError("Super expression must either be null or a function");
108
- }
109
- if (typeof _cache !== "undefined") {
110
- if (_cache.has(Class)) return _cache.get(Class);
111
- _cache.set(Class, Wrapper);
112
- }
113
- function Wrapper() {
114
- return _construct(Class, arguments, _get_prototype_of(this).constructor);
115
- }
116
- Wrapper.prototype = Object.create(Class.prototype, {
117
- constructor: {
118
- value: Wrapper,
119
- enumerable: false,
120
- writable: true,
121
- configurable: true
122
- }
123
- });
124
- return _set_prototype_of(Wrapper, Class);
125
- };
126
- return _wrap_native_super(Class);
127
- }
128
77
  function _is_native_reflect_construct() {
129
78
  try {
130
79
  var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
@@ -133,21 +82,48 @@ function _is_native_reflect_construct() {
133
82
  return !!result;
134
83
  })();
135
84
  }
136
- var EqualityNode = /*#__PURE__*/ function(Node) {
137
- _inherits(EqualityNode, Node);
85
+ var EqualityNode = /*#__PURE__*/ function(NonTerminalNode) {
86
+ _inherits(EqualityNode, NonTerminalNode);
138
87
  function EqualityNode() {
139
88
  _class_call_check(this, EqualityNode);
140
89
  return _call_super(this, EqualityNode, arguments);
141
90
  }
142
- _create_class(EqualityNode, null, [
91
+ _create_class(EqualityNode, [
92
+ {
93
+ key: "getLeftTermNode",
94
+ value: function getLeftTermNode() {
95
+ var leftTermNode;
96
+ this.someChildNode(function(childNode, index) {
97
+ if (index === 0) {
98
+ leftTermNode = childNode; ///
99
+ return true;
100
+ }
101
+ });
102
+ return leftTermNode;
103
+ }
104
+ },
105
+ {
106
+ key: "getRightTermNode",
107
+ value: function getRightTermNode() {
108
+ var rightTermNode;
109
+ this.someChildNode(function(childNode, index) {
110
+ if (index === 2) {
111
+ rightTermNode = childNode; ///
112
+ return true;
113
+ }
114
+ });
115
+ return rightTermNode;
116
+ }
117
+ }
118
+ ], [
143
119
  {
144
120
  key: "fromRuleNameChildNodesOpacityAndPrecedence",
145
121
  value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
146
- return _node.default.fromRuleNameChildNodesOpacityAndPrecedence(EqualityNode, ruleName, childNodes, opacity, precedence);
122
+ return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(EqualityNode, ruleName, childNodes, opacity, precedence);
147
123
  }
148
124
  }
149
125
  ]);
150
126
  return EqualityNode;
151
- }(_wrap_native_super(_node.default));
127
+ }(_occamparsers.NonTerminalNode);
152
128
 
153
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2VxdWFsaXR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBFcXVhbGl0eU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRXF1YWxpdHlOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJFcXVhbGl0eU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsNkJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0wsMENBQTBDLENBRGxJRCxjQUNpSkUsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBRDdMTDtxQkFBcUJNLGFBQUkifQ==
129
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2VxdWFsaXR5LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tcGFyc2Vyc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBFcXVhbGl0eU5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBnZXRMZWZ0VGVybU5vZGUoKSB7XG4gICAgbGV0IGxlZnRUZXJtTm9kZTtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgaWYgKGluZGV4ID09PSAwKSB7XG4gICAgICAgIGxlZnRUZXJtTm9kZSA9IGNoaWxkTm9kZTsgLy8vXG5cbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gbGVmdFRlcm1Ob2RlO1xuICB9XG5cbiAgZ2V0UmlnaHRUZXJtTm9kZSgpIHtcbiAgICBsZXQgcmlnaHRUZXJtTm9kZTtcblxuICAgIHRoaXMuc29tZUNoaWxkTm9kZSgoY2hpbGROb2RlLCBpbmRleCkgPT4ge1xuICAgICAgaWYgKGluZGV4ID09PSAyKSB7XG4gICAgICAgIHJpZ2h0VGVybU5vZGUgPSBjaGlsZE5vZGU7IC8vL1xuXG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pO1xuXG4gICAgcmV0dXJuIHJpZ2h0VGVybU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEVxdWFsaXR5Tm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiRXF1YWxpdHlOb2RlIiwiZ2V0TGVmdFRlcm1Ob2RlIiwibGVmdFRlcm1Ob2RlIiwic29tZUNoaWxkTm9kZSIsImNoaWxkTm9kZSIsImluZGV4IiwiZ2V0UmlnaHRUZXJtTm9kZSIsInJpZ2h0VGVybU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFJcUJBOzs7NEJBRlc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRWpCLElBQUEsQUFBTUEsNkJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQztnQkFFSixJQUFJLENBQUNDLGFBQWEsQ0FBQyxTQUFDQyxXQUFXQztvQkFDN0IsSUFBSUEsVUFBVSxHQUFHO3dCQUNmSCxlQUFlRSxXQUFXLEdBQUc7d0JBRTdCLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT0Y7WUFDVDs7O1lBRUFJLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQztnQkFFSixJQUFJLENBQUNKLGFBQWEsQ0FBQyxTQUFDQyxXQUFXQztvQkFDN0IsSUFBSUEsVUFBVSxHQUFHO3dCQUNmRSxnQkFBZ0JILFdBQVcsR0FBRzt3QkFFOUIsT0FBTztvQkFDVDtnQkFDRjtnQkFFQSxPQUFPRztZQUNUOzs7O1lBRU9DLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyw2QkFBZSxDQUFDTCwwQ0FBMEMsQ0E3QjdJUixjQTZCNEpTLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQTdCeE1aO0VBQXFCYSw2QkFBZSJ9
package/lib/node/error.js CHANGED
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
8
8
  return ErrorNode;
9
9
  }
10
10
  });
11
- var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
11
+ var _occamparsers = require("occam-parsers");
12
12
  function _assert_this_initialized(self) {
13
13
  if (self === void 0) {
14
14
  throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
@@ -24,23 +24,6 @@ function _class_call_check(instance, Constructor) {
24
24
  throw new TypeError("Cannot call a class as a function");
25
25
  }
26
26
  }
27
- function _construct(Parent, args, Class) {
28
- if (_is_native_reflect_construct()) {
29
- _construct = Reflect.construct;
30
- } else {
31
- _construct = function construct(Parent, args, Class) {
32
- var a = [
33
- null
34
- ];
35
- a.push.apply(a, args);
36
- var Constructor = Function.bind.apply(Parent, a);
37
- var instance = new Constructor();
38
- if (Class) _set_prototype_of(instance, Class.prototype);
39
- return instance;
40
- };
41
- }
42
- return _construct.apply(null, arguments);
43
- }
44
27
  function _defineProperties(target, props) {
45
28
  for(var i = 0; i < props.length; i++){
46
29
  var descriptor = props[i];
@@ -74,14 +57,6 @@ function _inherits(subClass, superClass) {
74
57
  });
75
58
  if (superClass) _set_prototype_of(subClass, superClass);
76
59
  }
77
- function _interop_require_default(obj) {
78
- return obj && obj.__esModule ? obj : {
79
- default: obj
80
- };
81
- }
82
- function _is_native_function(fn) {
83
- return Function.toString.call(fn).indexOf("[native code]") !== -1;
84
- }
85
60
  function _possible_constructor_return(self, call) {
86
61
  if (call && (_type_of(call) === "object" || typeof call === "function")) {
87
62
  return call;
@@ -99,32 +74,6 @@ function _type_of(obj) {
99
74
  "@swc/helpers - typeof";
100
75
  return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
101
76
  }
102
- function _wrap_native_super(Class) {
103
- var _cache = typeof Map === "function" ? new Map() : undefined;
104
- _wrap_native_super = function wrapNativeSuper(Class) {
105
- if (Class === null || !_is_native_function(Class)) return Class;
106
- if (typeof Class !== "function") {
107
- throw new TypeError("Super expression must either be null or a function");
108
- }
109
- if (typeof _cache !== "undefined") {
110
- if (_cache.has(Class)) return _cache.get(Class);
111
- _cache.set(Class, Wrapper);
112
- }
113
- function Wrapper() {
114
- return _construct(Class, arguments, _get_prototype_of(this).constructor);
115
- }
116
- Wrapper.prototype = Object.create(Class.prototype, {
117
- constructor: {
118
- value: Wrapper,
119
- enumerable: false,
120
- writable: true,
121
- configurable: true
122
- }
123
- });
124
- return _set_prototype_of(Wrapper, Class);
125
- };
126
- return _wrap_native_super(Class);
127
- }
128
77
  function _is_native_reflect_construct() {
129
78
  try {
130
79
  var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
@@ -133,8 +82,8 @@ function _is_native_reflect_construct() {
133
82
  return !!result;
134
83
  })();
135
84
  }
136
- var ErrorNode = /*#__PURE__*/ function(Node) {
137
- _inherits(ErrorNode, Node);
85
+ var ErrorNode = /*#__PURE__*/ function(NonTerminalNode) {
86
+ _inherits(ErrorNode, NonTerminalNode);
138
87
  function ErrorNode() {
139
88
  _class_call_check(this, ErrorNode);
140
89
  return _call_super(this, ErrorNode, arguments);
@@ -143,11 +92,11 @@ var ErrorNode = /*#__PURE__*/ function(Node) {
143
92
  {
144
93
  key: "fromRuleNameChildNodesOpacityAndPrecedence",
145
94
  value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
146
- return _node.default.fromRuleNameChildNodesOpacityAndPrecedence(ErrorNode, ruleName, childNodes, opacity, precedence);
95
+ return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ErrorNode, ruleName, childNodes, opacity, precedence);
147
96
  }
148
97
  }
149
98
  ]);
150
99
  return ErrorNode;
151
- }(_wrap_native_super(_node.default));
100
+ }(_occamparsers.NonTerminalNode);
152
101
 
153
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Vycm9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBFcnJvck5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRXJyb3JOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJFcnJvck5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0wsMENBQTBDLENBRGxJRCxXQUM4SUUsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBRDFMTDtxQkFBa0JNLGFBQUkifQ==
102
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2Vycm9yLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBOb25UZXJtaW5hbE5vZGUgfSBmcm9tIFwib2NjYW0tcGFyc2Vyc1wiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBFcnJvck5vZGUgZXh0ZW5kcyBOb25UZXJtaW5hbE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEVycm9yTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiRXJyb3JOb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb25UZXJtaW5hbE5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzRCQUZXOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVqQixJQUFBLEFBQU1BLDBCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyw2QkFBZSxDQUFDTCwwQ0FBMEMsQ0FEN0lELFdBQ3lKRSxVQUFVQyxZQUFZQyxTQUFTQztZQUFhOzs7V0FEck1MO0VBQWtCTSw2QkFBZSJ9
package/lib/node/frame.js CHANGED
@@ -8,7 +8,9 @@ Object.defineProperty(exports, "default", {
8
8
  return FrameNode;
9
9
  }
10
10
  });
11
- var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
11
+ var _necessary = require("necessary");
12
+ var _occamparsers = require("occam-parsers");
13
+ var _node = require("../utilities/node");
12
14
  function _assert_this_initialized(self) {
13
15
  if (self === void 0) {
14
16
  throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
@@ -24,23 +26,6 @@ function _class_call_check(instance, Constructor) {
24
26
  throw new TypeError("Cannot call a class as a function");
25
27
  }
26
28
  }
27
- function _construct(Parent, args, Class) {
28
- if (_is_native_reflect_construct()) {
29
- _construct = Reflect.construct;
30
- } else {
31
- _construct = function construct(Parent, args, Class) {
32
- var a = [
33
- null
34
- ];
35
- a.push.apply(a, args);
36
- var Constructor = Function.bind.apply(Parent, a);
37
- var instance = new Constructor();
38
- if (Class) _set_prototype_of(instance, Class.prototype);
39
- return instance;
40
- };
41
- }
42
- return _construct.apply(null, arguments);
43
- }
44
29
  function _defineProperties(target, props) {
45
30
  for(var i = 0; i < props.length; i++){
46
31
  var descriptor = props[i];
@@ -74,14 +59,6 @@ function _inherits(subClass, superClass) {
74
59
  });
75
60
  if (superClass) _set_prototype_of(subClass, superClass);
76
61
  }
77
- function _interop_require_default(obj) {
78
- return obj && obj.__esModule ? obj : {
79
- default: obj
80
- };
81
- }
82
- function _is_native_function(fn) {
83
- return Function.toString.call(fn).indexOf("[native code]") !== -1;
84
- }
85
62
  function _possible_constructor_return(self, call) {
86
63
  if (call && (_type_of(call) === "object" || typeof call === "function")) {
87
64
  return call;
@@ -99,32 +76,6 @@ function _type_of(obj) {
99
76
  "@swc/helpers - typeof";
100
77
  return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
101
78
  }
102
- function _wrap_native_super(Class) {
103
- var _cache = typeof Map === "function" ? new Map() : undefined;
104
- _wrap_native_super = function wrapNativeSuper(Class) {
105
- if (Class === null || !_is_native_function(Class)) return Class;
106
- if (typeof Class !== "function") {
107
- throw new TypeError("Super expression must either be null or a function");
108
- }
109
- if (typeof _cache !== "undefined") {
110
- if (_cache.has(Class)) return _cache.get(Class);
111
- _cache.set(Class, Wrapper);
112
- }
113
- function Wrapper() {
114
- return _construct(Class, arguments, _get_prototype_of(this).constructor);
115
- }
116
- Wrapper.prototype = Object.create(Class.prototype, {
117
- constructor: {
118
- value: Wrapper,
119
- enumerable: false,
120
- writable: true,
121
- configurable: true
122
- }
123
- });
124
- return _set_prototype_of(Wrapper, Class);
125
- };
126
- return _wrap_native_super(Class);
127
- }
128
79
  function _is_native_reflect_construct() {
129
80
  try {
130
81
  var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
@@ -133,21 +84,64 @@ function _is_native_reflect_construct() {
133
84
  return !!result;
134
85
  })();
135
86
  }
136
- var FrameNode = /*#__PURE__*/ function(Node) {
137
- _inherits(FrameNode, Node);
87
+ var first = _necessary.arrayUtilities.first;
88
+ var FrameNode = /*#__PURE__*/ function(NonTerminalNode) {
89
+ _inherits(FrameNode, NonTerminalNode);
138
90
  function FrameNode() {
139
91
  _class_call_check(this, FrameNode);
140
92
  return _call_super(this, FrameNode, arguments);
141
93
  }
142
- _create_class(FrameNode, null, [
94
+ _create_class(FrameNode, [
95
+ {
96
+ key: "getDeclarationNodes",
97
+ value: function getDeclarationNodes() {
98
+ var declarationNodes = this.filterChildNode(function(childNode) {
99
+ var childNodeDeclarationNode = (0, _node.isNodeDeclarationNode)(childNode);
100
+ if (childNodeDeclarationNode) {
101
+ return true;
102
+ }
103
+ });
104
+ return declarationNodes;
105
+ }
106
+ },
107
+ {
108
+ key: "getMetavariableNodes",
109
+ value: function getMetavariableNodes() {
110
+ var metavariableNodes = this.filterChildNode(function(childNode) {
111
+ var childNodeMetavariableNode = (0, _node.isNodeMetavariableNode)(childNode);
112
+ if (childNodeMetavariableNode) {
113
+ return true;
114
+ }
115
+ });
116
+ return metavariableNodes;
117
+ }
118
+ },
119
+ {
120
+ key: "getSingularMetavariableNode",
121
+ value: function getSingularMetavariableNode() {
122
+ var singularMetavariableNode = null;
123
+ var metavariableNodes = this.filterChildNode(function(childNode) {
124
+ var childNodeMetavariableNode = (0, _node.isNodeMetavariableNode)(childNode);
125
+ if (!childNodeMetavariableNode) {
126
+ return true;
127
+ }
128
+ }), metavariableNodesLength = metavariableNodes.length;
129
+ if (metavariableNodesLength === 1) {
130
+ var firstMetavariableNode = first(metavariableNodes);
131
+ singularMetavariableNode = firstMetavariableNode; ///
132
+ }
133
+ return singularMetavariableNode;
134
+ }
135
+ }
136
+ ], [
143
137
  {
144
138
  key: "fromRuleNameChildNodesOpacityAndPrecedence",
145
139
  value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
146
- return _node.default.fromRuleNameChildNodesOpacityAndPrecedence(FrameNode, ruleName, childNodes, opacity, precedence);
140
+ return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(FrameNode, ruleName, childNodes, opacity, precedence);
147
141
  }
148
142
  }
149
143
  ]);
150
144
  return FrameNode;
151
- }(_wrap_native_super(_node.default));
145
+ }(_occamparsers.NonTerminalNode);
152
146
 
153
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2ZyYW1lLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgTm9kZSBmcm9tIFwiLi4vbm9kZVwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBGcmFtZU5vZGUgZXh0ZW5kcyBOb2RlIHtcbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9kZS5mcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UoRnJhbWVOb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJGcmFtZU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vZGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBSXFCQTs7OzJEQUZKOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVGLElBQUEsQUFBTUEsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDWkMsS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLGFBQUksQ0FBQ0wsMENBQTBDLENBRGxJRCxXQUM4SUUsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBRDFMTDtxQkFBa0JNLGFBQUkifQ==
147
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2ZyYW1lLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBhcnJheVV0aWxpdGllcyB9IGZyb20gXCJuZWNlc3NhcnlcIjtcbmltcG9ydCB7IE5vblRlcm1pbmFsTm9kZSB9IGZyb20gXCJvY2NhbS1wYXJzZXJzXCI7XG5cbmltcG9ydCB7IGlzTm9kZURlY2xhcmF0aW9uTm9kZSwgaXNOb2RlTWV0YXZhcmlhYmxlTm9kZSB9IGZyb20gXCIuLi91dGlsaXRpZXMvbm9kZVwiO1xuXG5jb25zdCB7IGZpcnN0IH0gPSBhcnJheVV0aWxpdGllcztcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgRnJhbWVOb2RlIGV4dGVuZHMgTm9uVGVybWluYWxOb2RlIHtcbiAgZ2V0RGVjbGFyYXRpb25Ob2RlcygpIHtcbiAgICBjb25zdCBkZWNsYXJhdGlvbk5vZGVzID0gdGhpcy5maWx0ZXJDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlRGVjbGFyYXRpb25Ob2RlID0gaXNOb2RlRGVjbGFyYXRpb25Ob2RlKGNoaWxkTm9kZSk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVEZWNsYXJhdGlvbk5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gZGVjbGFyYXRpb25Ob2RlcztcbiAgfVxuXG4gIGdldE1ldGF2YXJpYWJsZU5vZGVzKCkge1xuICAgIGNvbnN0IG1ldGF2YXJpYWJsZU5vZGVzID0gdGhpcy5maWx0ZXJDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlTWV0YXZhcmlhYmxlTm9kZSA9IGlzTm9kZU1ldGF2YXJpYWJsZU5vZGUoY2hpbGROb2RlKTtcblxuICAgICAgaWYgKGNoaWxkTm9kZU1ldGF2YXJpYWJsZU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSk7XG5cbiAgICByZXR1cm4gbWV0YXZhcmlhYmxlTm9kZXM7XG4gIH1cblxuICBnZXRTaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUoKSB7XG4gICAgbGV0IHNpbmd1bGFyTWV0YXZhcmlhYmxlTm9kZSA9IG51bGw7XG5cbiAgICBjb25zdCBtZXRhdmFyaWFibGVOb2RlcyA9IHRoaXMuZmlsdGVyQ2hpbGROb2RlKChjaGlsZE5vZGUpID0+IHtcbiAgICAgICAgICAgIGNvbnN0IGNoaWxkTm9kZU1ldGF2YXJpYWJsZU5vZGUgPSBpc05vZGVNZXRhdmFyaWFibGVOb2RlKGNoaWxkTm9kZSk7XG5cbiAgICAgICAgICAgIGlmICghY2hpbGROb2RlTWV0YXZhcmlhYmxlTm9kZSkge1xuICAgICAgICAgICAgICByZXR1cm4gdHJ1ZTtcbiAgICAgICAgICAgIH1cbiAgICAgICAgICB9KSxcbiAgICAgICAgICBtZXRhdmFyaWFibGVOb2Rlc0xlbmd0aCA9IG1ldGF2YXJpYWJsZU5vZGVzLmxlbmd0aDtcblxuICAgIGlmIChtZXRhdmFyaWFibGVOb2Rlc0xlbmd0aCA9PT0gMSkge1xuICAgICAgY29uc3QgZmlyc3RNZXRhdmFyaWFibGVOb2RlID0gZmlyc3QobWV0YXZhcmlhYmxlTm9kZXMpO1xuXG4gICAgICBzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGUgPSBmaXJzdE1ldGF2YXJpYWJsZU5vZGU7IC8vL1xuICAgIH1cblxuICAgIHJldHVybiBzaW5ndWxhck1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb25UZXJtaW5hbE5vZGUuZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKEZyYW1lTm9kZSwgcnVsZU5hbWUsIGNoaWxkTm9kZXMsIG9wYWNpdHksIHByZWNlZGVuY2UpOyB9XG59XG4iXSwibmFtZXMiOlsiRnJhbWVOb2RlIiwiZmlyc3QiLCJhcnJheVV0aWxpdGllcyIsImdldERlY2xhcmF0aW9uTm9kZXMiLCJkZWNsYXJhdGlvbk5vZGVzIiwiZmlsdGVyQ2hpbGROb2RlIiwiY2hpbGROb2RlIiwiY2hpbGROb2RlRGVjbGFyYXRpb25Ob2RlIiwiaXNOb2RlRGVjbGFyYXRpb25Ob2RlIiwiZ2V0TWV0YXZhcmlhYmxlTm9kZXMiLCJtZXRhdmFyaWFibGVOb2RlcyIsImNoaWxkTm9kZU1ldGF2YXJpYWJsZU5vZGUiLCJpc05vZGVNZXRhdmFyaWFibGVOb2RlIiwiZ2V0U2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlIiwic2luZ3VsYXJNZXRhdmFyaWFibGVOb2RlIiwibWV0YXZhcmlhYmxlTm9kZXNMZW5ndGgiLCJsZW5ndGgiLCJmaXJzdE1ldGF2YXJpYWJsZU5vZGUiLCJmcm9tUnVsZU5hbWVDaGlsZE5vZGVzT3BhY2l0eUFuZFByZWNlZGVuY2UiLCJydWxlTmFtZSIsImNoaWxkTm9kZXMiLCJvcGFjaXR5IiwicHJlY2VkZW5jZSIsIk5vblRlcm1pbmFsTm9kZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7ZUFTcUJBOzs7eUJBUFU7NEJBQ0M7b0JBRThCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUU5RCxJQUFNLEFBQUVDLFFBQVVDLHlCQUFjLENBQXhCRDtBQUVPLElBQUEsQUFBTUQsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxtQkFBbUIsSUFBSSxDQUFDQyxlQUFlLENBQUMsU0FBQ0M7b0JBQzdDLElBQU1DLDJCQUEyQkMsSUFBQUEsMkJBQXFCLEVBQUNGO29CQUV2RCxJQUFJQywwQkFBMEI7d0JBQzVCLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT0g7WUFDVDs7O1lBRUFLLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxvQkFBb0IsSUFBSSxDQUFDTCxlQUFlLENBQUMsU0FBQ0M7b0JBQzlDLElBQU1LLDRCQUE0QkMsSUFBQUEsNEJBQXNCLEVBQUNOO29CQUV6RCxJQUFJSywyQkFBMkI7d0JBQzdCLE9BQU87b0JBQ1Q7Z0JBQ0Y7Z0JBRUEsT0FBT0Q7WUFDVDs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFJQywyQkFBMkI7Z0JBRS9CLElBQU1KLG9CQUFvQixJQUFJLENBQUNMLGVBQWUsQ0FBQyxTQUFDQztvQkFDeEMsSUFBTUssNEJBQTRCQyxJQUFBQSw0QkFBc0IsRUFBQ047b0JBRXpELElBQUksQ0FBQ0ssMkJBQTJCO3dCQUM5QixPQUFPO29CQUNUO2dCQUNGLElBQ0FJLDBCQUEwQkwsa0JBQWtCTSxNQUFNO2dCQUV4RCxJQUFJRCw0QkFBNEIsR0FBRztvQkFDakMsSUFBTUUsd0JBQXdCaEIsTUFBTVM7b0JBRXBDSSwyQkFBMkJHLHVCQUF1QixHQUFHO2dCQUN2RDtnQkFFQSxPQUFPSDtZQUNUOzs7O1lBRU9JLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyw2QkFBZSxDQUFDTCwwQ0FBMEMsQ0E5QzdJbEIsV0E4Q3lKbUIsVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBOUNyTXRCO0VBQWtCdUIsNkJBQWUifQ==
@@ -8,7 +8,8 @@ Object.defineProperty(exports, "default", {
8
8
  return JudgementNode;
9
9
  }
10
10
  });
11
- var _node = /*#__PURE__*/ _interop_require_default(require("../node"));
11
+ var _occamparsers = require("occam-parsers");
12
+ var _node = require("../utilities/node");
12
13
  function _assert_this_initialized(self) {
13
14
  if (self === void 0) {
14
15
  throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
@@ -24,23 +25,6 @@ function _class_call_check(instance, Constructor) {
24
25
  throw new TypeError("Cannot call a class as a function");
25
26
  }
26
27
  }
27
- function _construct(Parent, args, Class) {
28
- if (_is_native_reflect_construct()) {
29
- _construct = Reflect.construct;
30
- } else {
31
- _construct = function construct(Parent, args, Class) {
32
- var a = [
33
- null
34
- ];
35
- a.push.apply(a, args);
36
- var Constructor = Function.bind.apply(Parent, a);
37
- var instance = new Constructor();
38
- if (Class) _set_prototype_of(instance, Class.prototype);
39
- return instance;
40
- };
41
- }
42
- return _construct.apply(null, arguments);
43
- }
44
28
  function _defineProperties(target, props) {
45
29
  for(var i = 0; i < props.length; i++){
46
30
  var descriptor = props[i];
@@ -74,14 +58,6 @@ function _inherits(subClass, superClass) {
74
58
  });
75
59
  if (superClass) _set_prototype_of(subClass, superClass);
76
60
  }
77
- function _interop_require_default(obj) {
78
- return obj && obj.__esModule ? obj : {
79
- default: obj
80
- };
81
- }
82
- function _is_native_function(fn) {
83
- return Function.toString.call(fn).indexOf("[native code]") !== -1;
84
- }
85
61
  function _possible_constructor_return(self, call) {
86
62
  if (call && (_type_of(call) === "object" || typeof call === "function")) {
87
63
  return call;
@@ -99,32 +75,6 @@ function _type_of(obj) {
99
75
  "@swc/helpers - typeof";
100
76
  return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
101
77
  }
102
- function _wrap_native_super(Class) {
103
- var _cache = typeof Map === "function" ? new Map() : undefined;
104
- _wrap_native_super = function wrapNativeSuper(Class) {
105
- if (Class === null || !_is_native_function(Class)) return Class;
106
- if (typeof Class !== "function") {
107
- throw new TypeError("Super expression must either be null or a function");
108
- }
109
- if (typeof _cache !== "undefined") {
110
- if (_cache.has(Class)) return _cache.get(Class);
111
- _cache.set(Class, Wrapper);
112
- }
113
- function Wrapper() {
114
- return _construct(Class, arguments, _get_prototype_of(this).constructor);
115
- }
116
- Wrapper.prototype = Object.create(Class.prototype, {
117
- constructor: {
118
- value: Wrapper,
119
- enumerable: false,
120
- writable: true,
121
- configurable: true
122
- }
123
- });
124
- return _set_prototype_of(Wrapper, Class);
125
- };
126
- return _wrap_native_super(Class);
127
- }
128
78
  function _is_native_reflect_construct() {
129
79
  try {
130
80
  var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
@@ -133,21 +83,46 @@ function _is_native_reflect_construct() {
133
83
  return !!result;
134
84
  })();
135
85
  }
136
- var JudgementNode = /*#__PURE__*/ function(Node) {
137
- _inherits(JudgementNode, Node);
86
+ var JudgementNode = /*#__PURE__*/ function(NonTerminalNode) {
87
+ _inherits(JudgementNode, NonTerminalNode);
138
88
  function JudgementNode() {
139
89
  _class_call_check(this, JudgementNode);
140
90
  return _call_super(this, JudgementNode, arguments);
141
91
  }
142
- _create_class(JudgementNode, null, [
92
+ _create_class(JudgementNode, [
93
+ {
94
+ key: "getFrameNode",
95
+ value: function getFrameNode() {
96
+ var frameNode = this.findChildNode(function(childNode) {
97
+ var childNodeFrameNode = (0, _node.isNodeFrameNode)(childNode);
98
+ if (childNodeFrameNode) {
99
+ return true;
100
+ }
101
+ }) || null;
102
+ return frameNode;
103
+ }
104
+ },
105
+ {
106
+ key: "getDeclarationNode",
107
+ value: function getDeclarationNode() {
108
+ var declarationNode = this.findChildNode(function(childNode) {
109
+ var childNodeDeclarationNode = (0, _node.isNodeDeclarationNode)(childNode);
110
+ if (childNodeDeclarationNode) {
111
+ return true;
112
+ }
113
+ }) || null;
114
+ return declarationNode;
115
+ }
116
+ }
117
+ ], [
143
118
  {
144
119
  key: "fromRuleNameChildNodesOpacityAndPrecedence",
145
120
  value: function fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) {
146
- return _node.default.fromRuleNameChildNodesOpacityAndPrecedence(JudgementNode, ruleName, childNodes, opacity, precedence);
121
+ return _occamparsers.NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(JudgementNode, ruleName, childNodes, opacity, precedence);
147
122
  }
148
123
  }
149
124
  ]);
150
125
  return JudgementNode;
151
- }(_wrap_native_super(_node.default));
126
+ }(_occamparsers.NonTerminalNode);
152
127
 
153
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2p1ZGdlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE5vZGUgZnJvbSBcIi4uL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgSnVkZ2VtZW50Tm9kZSBleHRlbmRzIE5vZGUge1xuICBzdGF0aWMgZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlKHJ1bGVOYW1lLCBjaGlsZE5vZGVzLCBvcGFjaXR5LCBwcmVjZWRlbmNlKSB7IHJldHVybiBOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShKdWRnZW1lbnROb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJKdWRnZW1lbnROb2RlIiwiZnJvbVJ1bGVOYW1lQ2hpbGROb2Rlc09wYWNpdHlBbmRQcmVjZWRlbmNlIiwicnVsZU5hbWUiLCJjaGlsZE5vZGVzIiwib3BhY2l0eSIsInByZWNlZGVuY2UiLCJOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUlxQkE7OzsyREFGSjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFRixJQUFBLEFBQU1BLDhCQUFOO2NBQU1BO2FBQUFBO2dDQUFBQTtRQUFOLE9BQUEsa0JBQU1BOztrQkFBQUE7O1lBQ1pDLEtBQUFBO21CQUFQLFNBQU9BLDJDQUEyQ0MsUUFBUSxFQUFFQyxVQUFVLEVBQUVDLE9BQU8sRUFBRUMsVUFBVTtnQkFBSSxPQUFPQyxhQUFJLENBQUNMLDBDQUEwQyxDQURsSUQsZUFDa0pFLFVBQVVDLFlBQVlDLFNBQVNDO1lBQWE7OztXQUQ5TEw7cUJBQXNCTSxhQUFJIn0=
128
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2RlL2p1ZGdlbWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHsgTm9uVGVybWluYWxOb2RlIH0gZnJvbSBcIm9jY2FtLXBhcnNlcnNcIjtcblxuaW1wb3J0IHsgaXNOb2RlRnJhbWVOb2RlLCBpc05vZGVEZWNsYXJhdGlvbk5vZGUgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL25vZGVcIjtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgSnVkZ2VtZW50Tm9kZSBleHRlbmRzIE5vblRlcm1pbmFsTm9kZSB7XG4gIGdldEZyYW1lTm9kZSgpIHtcbiAgICBjb25zdCBmcmFtZU5vZGUgPSB0aGlzLmZpbmRDaGlsZE5vZGUoKGNoaWxkTm9kZSkgPT4ge1xuICAgICAgY29uc3QgY2hpbGROb2RlRnJhbWVOb2RlID0gaXNOb2RlRnJhbWVOb2RlKGNoaWxkTm9kZSk7XG5cbiAgICAgIGlmIChjaGlsZE5vZGVGcmFtZU5vZGUpIHtcbiAgICAgICAgcmV0dXJuIHRydWU7XG4gICAgICB9XG4gICAgfSkgfHwgbnVsbDtcblxuICAgIHJldHVybiBmcmFtZU5vZGU7XG4gIH1cblxuICBnZXREZWNsYXJhdGlvbk5vZGUoKSB7XG4gICAgY29uc3QgZGVjbGFyYXRpb25Ob2RlID0gdGhpcy5maW5kQ2hpbGROb2RlKChjaGlsZE5vZGUpID0+IHtcbiAgICAgIGNvbnN0IGNoaWxkTm9kZURlY2xhcmF0aW9uTm9kZSA9IGlzTm9kZURlY2xhcmF0aW9uTm9kZShjaGlsZE5vZGUpO1xuXG4gICAgICBpZiAoY2hpbGROb2RlRGVjbGFyYXRpb25Ob2RlKSB7XG4gICAgICAgIHJldHVybiB0cnVlO1xuICAgICAgfVxuICAgIH0pIHx8IG51bGw7XG5cbiAgICByZXR1cm4gZGVjbGFyYXRpb25Ob2RlO1xuICB9XG5cbiAgc3RhdGljIGZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSkgeyByZXR1cm4gTm9uVGVybWluYWxOb2RlLmZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZShKdWRnZW1lbnROb2RlLCBydWxlTmFtZSwgY2hpbGROb2Rlcywgb3BhY2l0eSwgcHJlY2VkZW5jZSk7IH1cbn1cbiJdLCJuYW1lcyI6WyJKdWRnZW1lbnROb2RlIiwiZ2V0RnJhbWVOb2RlIiwiZnJhbWVOb2RlIiwiZmluZENoaWxkTm9kZSIsImNoaWxkTm9kZSIsImNoaWxkTm9kZUZyYW1lTm9kZSIsImlzTm9kZUZyYW1lTm9kZSIsImdldERlY2xhcmF0aW9uTm9kZSIsImRlY2xhcmF0aW9uTm9kZSIsImNoaWxkTm9kZURlY2xhcmF0aW9uTm9kZSIsImlzTm9kZURlY2xhcmF0aW9uTm9kZSIsImZyb21SdWxlTmFtZUNoaWxkTm9kZXNPcGFjaXR5QW5kUHJlY2VkZW5jZSIsInJ1bGVOYW1lIiwiY2hpbGROb2RlcyIsIm9wYWNpdHkiLCJwcmVjZWRlbmNlIiwiTm9uVGVybWluYWxOb2RlIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQU1xQkE7Ozs0QkFKVztvQkFFdUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRXhDLElBQUEsQUFBTUEsOEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJDLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxZQUFZLElBQUksQ0FBQ0MsYUFBYSxDQUFDLFNBQUNDO29CQUNwQyxJQUFNQyxxQkFBcUJDLElBQUFBLHFCQUFlLEVBQUNGO29CQUUzQyxJQUFJQyxvQkFBb0I7d0JBQ3RCLE9BQU87b0JBQ1Q7Z0JBQ0YsTUFBTTtnQkFFTixPQUFPSDtZQUNUOzs7WUFFQUssS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLElBQU1DLGtCQUFrQixJQUFJLENBQUNMLGFBQWEsQ0FBQyxTQUFDQztvQkFDMUMsSUFBTUssMkJBQTJCQyxJQUFBQSwyQkFBcUIsRUFBQ047b0JBRXZELElBQUlLLDBCQUEwQjt3QkFDNUIsT0FBTztvQkFDVDtnQkFDRixNQUFNO2dCQUVOLE9BQU9EO1lBQ1Q7Ozs7WUFFT0csS0FBQUE7bUJBQVAsU0FBT0EsMkNBQTJDQyxRQUFRLEVBQUVDLFVBQVUsRUFBRUMsT0FBTyxFQUFFQyxVQUFVO2dCQUFJLE9BQU9DLDZCQUFlLENBQUNMLDBDQUEwQyxDQXpCN0lYLGVBeUI2SlksVUFBVUMsWUFBWUMsU0FBU0M7WUFBYTs7O1dBekJ6TWY7RUFBc0JnQiw2QkFBZSJ9