occam-verify-cli 1.0.421 → 1.0.428

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 (278) hide show
  1. package/lib/action/verify.js +7 -3
  2. package/lib/context/file.js +8 -44
  3. package/lib/context/local.js +8 -26
  4. package/lib/context/nominal.js +64 -0
  5. package/lib/context/release.js +2 -2
  6. package/lib/context/temporary.js +6 -58
  7. package/lib/element/assertion/contained.js +303 -0
  8. package/lib/element/assertion/defined.js +318 -0
  9. package/lib/element/assertion/property.js +299 -0
  10. package/lib/element/assertion/satisfies.js +264 -0
  11. package/lib/element/assertion/subproof.js +178 -0
  12. package/lib/element/assertion/type.js +294 -0
  13. package/lib/{ontology → element}/assertion.js +9 -9
  14. package/lib/element/assumption.js +365 -0
  15. package/lib/element/axiom.js +332 -0
  16. package/lib/element/axiomLemmaTheoremConjecture.js +346 -0
  17. package/lib/element/conclusion.js +151 -0
  18. package/lib/{ontology → element}/conjecture.js +7 -14
  19. package/lib/element/declaration/combinator.js +161 -0
  20. package/lib/element/declaration/complexType.js +343 -0
  21. package/lib/element/declaration/constructor.js +193 -0
  22. package/lib/element/declaration/metavariable.js +193 -0
  23. package/lib/element/declaration/simpleType.js +240 -0
  24. package/lib/element/declaration/typePrefix.js +179 -0
  25. package/lib/element/declaration/variable.js +196 -0
  26. package/lib/{ontology → element}/declaration.js +9 -9
  27. package/lib/element/deduction.js +207 -0
  28. package/lib/element/derivation.js +96 -0
  29. package/lib/element/equality.js +275 -0
  30. package/lib/element/equivalence.js +312 -0
  31. package/lib/element/equivalences.js +264 -0
  32. package/lib/{ontology → element}/error.js +12 -12
  33. package/lib/element/frame.js +387 -0
  34. package/lib/element/hypothesis.js +195 -0
  35. package/lib/element/judgement.js +243 -0
  36. package/lib/element/label.js +198 -0
  37. package/lib/{ontology → element}/lemma.js +7 -7
  38. package/lib/{ontology → element}/metaLemma.js +8 -8
  39. package/lib/element/metaLemmaMetatheorem.js +234 -0
  40. package/lib/{ontology → element}/metaType.js +18 -11
  41. package/lib/{ontology → element}/metatheorem.js +8 -8
  42. package/lib/element/metavariable.js +459 -0
  43. package/lib/element/parameter.js +108 -0
  44. package/lib/element/premise.js +310 -0
  45. package/lib/element/procedureCall.js +243 -0
  46. package/lib/{ontology → element}/procedureReference.js +3 -3
  47. package/lib/{ontology → element}/proof.js +4 -4
  48. package/lib/element/property.js +128 -0
  49. package/lib/element/propertyRelation.js +195 -0
  50. package/lib/element/reference.js +304 -0
  51. package/lib/element/rule.js +373 -0
  52. package/lib/element/section.js +255 -0
  53. package/lib/element/signature.js +217 -0
  54. package/lib/element/statement/combinator/bracketed.js +166 -0
  55. package/lib/element/statement/combinator.js +105 -0
  56. package/lib/element/statement.js +386 -0
  57. package/lib/element/step.js +274 -0
  58. package/lib/element/subDerivation.js +137 -0
  59. package/lib/element/subproof.js +240 -0
  60. package/lib/element/substitution/frame.js +216 -0
  61. package/lib/{ontology → element}/substitution/reference.js +5 -4
  62. package/lib/{ontology → element}/substitution/statement.js +7 -6
  63. package/lib/element/substitution/term.js +265 -0
  64. package/lib/element/substitution.js +206 -0
  65. package/lib/element/substitutions.js +425 -0
  66. package/lib/element/supposition.js +323 -0
  67. package/lib/{ontology → element/term}/constructor/bracketed.js +11 -7
  68. package/lib/element/term/constructor.js +172 -0
  69. package/lib/element/term.js +322 -0
  70. package/lib/{ontology → element}/theorem.js +8 -8
  71. package/lib/element/type.js +490 -0
  72. package/lib/element/typePrefix.js +99 -0
  73. package/lib/element/variable.js +345 -0
  74. package/lib/elements.js +27 -0
  75. package/lib/mixins/statement/verify.js +14 -14
  76. package/lib/mixins/step/unify.js +12 -12
  77. package/lib/mixins/term/verify.js +4 -4
  78. package/lib/node/equivalence.js +116 -0
  79. package/lib/node/substitution/frame.js +15 -1
  80. package/lib/node/substitution/statement.js +37 -1
  81. package/lib/node/substitution/term.js +15 -1
  82. package/lib/nonTerminalNodeMap.js +4 -3
  83. package/lib/preamble.js +63 -63
  84. package/lib/process/assign.js +58 -0
  85. package/lib/process/instantiate.js +74 -7
  86. package/lib/process/unify.js +26 -26
  87. package/lib/process/verify.js +21 -21
  88. package/lib/ruleNames.js +5 -1
  89. package/lib/utilities/brackets.js +9 -18
  90. package/lib/utilities/customGrammar.js +1 -1
  91. package/lib/utilities/element.js +1141 -0
  92. package/lib/utilities/json.js +32 -32
  93. package/lib/utilities/node.js +49 -61
  94. package/lib/utilities/statement.js +83 -0
  95. package/lib/utilities/string.js +80 -57
  96. package/package.json +6 -6
  97. package/src/action/verify.js +8 -1
  98. package/src/context/file.js +9 -39
  99. package/src/context/local.js +5 -11
  100. package/src/context/nominal.js +30 -0
  101. package/src/context/release.js +1 -1
  102. package/src/context/temporary.js +6 -63
  103. package/src/{ontology → element}/assertion/contained.js +4 -25
  104. package/src/{ontology → element}/assertion/defined.js +7 -26
  105. package/src/{ontology → element}/assertion/property.js +7 -26
  106. package/src/{ontology → element}/assertion/satisfies.js +5 -53
  107. package/src/{ontology → element}/assertion/subproof.js +3 -32
  108. package/src/{ontology → element}/assertion/type.js +7 -26
  109. package/src/{ontology → element}/assertion.js +6 -6
  110. package/src/{ontology → element}/assumption.js +3 -27
  111. package/src/{ontology → element}/axiom.js +4 -11
  112. package/src/{ontology/topLevelAssertion.js → element/axiomLemmaTheoremConjecture.js} +9 -105
  113. package/src/{ontology → element}/conclusion.js +4 -19
  114. package/src/{ontology → element}/conjecture.js +4 -11
  115. package/src/{ontology → element}/declaration/combinator.js +3 -14
  116. package/src/{ontology → element}/declaration/complexType.js +3 -19
  117. package/src/{ontology → element}/declaration/constructor.js +3 -14
  118. package/src/{ontology → element}/declaration/metavariable.js +3 -39
  119. package/src/{ontology → element}/declaration/simpleType.js +3 -19
  120. package/src/{ontology → element}/declaration/typePrefix.js +3 -15
  121. package/src/{ontology → element}/declaration/variable.js +3 -14
  122. package/src/{ontology → element}/declaration.js +6 -6
  123. package/src/{ontology → element}/deduction.js +9 -22
  124. package/src/{ontology → element}/derivation.js +2 -32
  125. package/src/{ontology → element}/equality.js +18 -42
  126. package/src/{ontology → element}/equivalence.js +37 -22
  127. package/src/{ontology → element}/equivalences.js +1 -2
  128. package/src/{ontology → element}/error.js +8 -8
  129. package/src/{ontology → element}/frame.js +8 -56
  130. package/src/{ontology → element}/hypothesis.js +5 -5
  131. package/src/{ontology → element}/judgement.js +7 -7
  132. package/src/{ontology → element}/label.js +3 -3
  133. package/src/{ontology → element}/lemma.js +4 -4
  134. package/src/{ontology → element}/metaLemma.js +5 -5
  135. package/src/{ontology/topLevelMetaAssertion.js → element/metaLemmaMetatheorem.js} +11 -11
  136. package/src/{ontology → element}/metaType.js +11 -7
  137. package/src/{ontology → element}/metatheorem.js +5 -5
  138. package/src/{ontology → element}/metavariable.js +10 -60
  139. package/src/{ontology → element}/parameter.js +1 -1
  140. package/src/{ontology → element}/premise.js +14 -14
  141. package/src/{ontology → element}/procedureCall.js +4 -4
  142. package/src/{ontology → element}/procedureReference.js +1 -1
  143. package/src/{ontology → element}/proof.js +3 -3
  144. package/src/{ontology → element}/property.js +7 -15
  145. package/src/{ontology → element}/propertyRelation.js +5 -11
  146. package/src/{ontology → element}/reference.js +5 -19
  147. package/src/{ontology → element}/rule.js +13 -13
  148. package/src/{ontology → element}/section.js +10 -10
  149. package/src/{ontology → element}/signature.js +12 -15
  150. package/src/element/statement/combinator/bracketed.js +38 -0
  151. package/src/element/statement/combinator.js +59 -0
  152. package/src/{ontology → element}/statement.js +11 -27
  153. package/src/{ontology → element}/step.js +10 -44
  154. package/src/{ontology → element}/subDerivation.js +3 -24
  155. package/src/{ontology → element}/subproof.js +3 -43
  156. package/src/{ontology → element}/substitution/frame.js +4 -21
  157. package/src/{ontology → element}/substitution/reference.js +3 -3
  158. package/src/{ontology → element}/substitution/statement.js +6 -10
  159. package/src/{ontology → element}/substitution/term.js +7 -23
  160. package/src/{ontology → element}/substitutions.js +1 -1
  161. package/src/{ontology → element}/supposition.js +10 -10
  162. package/src/{ontology → element/term}/constructor/bracketed.js +12 -13
  163. package/src/element/term/constructor.js +82 -0
  164. package/src/{ontology → element}/term.js +6 -38
  165. package/src/{ontology → element}/theorem.js +5 -5
  166. package/src/{ontology → element}/type.js +17 -64
  167. package/src/{ontology → element}/typePrefix.js +8 -12
  168. package/src/{ontology → element}/variable.js +9 -20
  169. package/src/elements.js +13 -0
  170. package/src/mixins/statement/verify.js +4 -4
  171. package/src/mixins/step/unify.js +6 -6
  172. package/src/mixins/term/verify.js +3 -3
  173. package/src/node/equivalence.js +16 -0
  174. package/src/node/substitution/frame.js +14 -0
  175. package/src/node/substitution/statement.js +40 -0
  176. package/src/node/substitution/term.js +15 -0
  177. package/src/nonTerminalNodeMap.js +4 -1
  178. package/src/preamble.js +62 -62
  179. package/src/process/assign.js +59 -0
  180. package/src/process/instantiate.js +71 -15
  181. package/src/process/unify.js +37 -39
  182. package/src/process/verify.js +20 -20
  183. package/src/ruleNames.js +1 -0
  184. package/src/utilities/brackets.js +12 -17
  185. package/src/utilities/customGrammar.js +3 -3
  186. package/src/utilities/element.js +1399 -0
  187. package/src/utilities/json.js +31 -31
  188. package/src/utilities/node.js +56 -64
  189. package/src/utilities/{context.js → statement.js} +10 -39
  190. package/src/utilities/string.js +83 -53
  191. package/lib/assignment/equality.js +0 -62
  192. package/lib/assignment/judgement.js +0 -62
  193. package/lib/assignment/variable.js +0 -64
  194. package/lib/context/bracketed/combinator.js +0 -121
  195. package/lib/context/bracketed/constructor.js +0 -121
  196. package/lib/context/bracketted.js +0 -86
  197. package/lib/context/partial/metavariable.js +0 -180
  198. package/lib/context/partial/statement.js +0 -180
  199. package/lib/context/partial/term.js +0 -192
  200. package/lib/context/partial/variable.js +0 -192
  201. package/lib/context/partial.js +0 -93
  202. package/lib/ontology/assertion/contained.js +0 -357
  203. package/lib/ontology/assertion/defined.js +0 -331
  204. package/lib/ontology/assertion/property.js +0 -313
  205. package/lib/ontology/assertion/satisfies.js +0 -302
  206. package/lib/ontology/assertion/subproof.js +0 -240
  207. package/lib/ontology/assertion/type.js +0 -308
  208. package/lib/ontology/assumption.js +0 -383
  209. package/lib/ontology/axiom.js +0 -339
  210. package/lib/ontology/combinator/bracketed.js +0 -202
  211. package/lib/ontology/combinator.js +0 -155
  212. package/lib/ontology/conclusion.js +0 -201
  213. package/lib/ontology/constructor.js +0 -185
  214. package/lib/ontology/declaration/combinator.js +0 -210
  215. package/lib/ontology/declaration/complexType.js +0 -393
  216. package/lib/ontology/declaration/constructor.js +0 -242
  217. package/lib/ontology/declaration/metavariable.js +0 -257
  218. package/lib/ontology/declaration/simpleType.js +0 -290
  219. package/lib/ontology/declaration/typePrefix.js +0 -228
  220. package/lib/ontology/declaration/variable.js +0 -245
  221. package/lib/ontology/deduction.js +0 -215
  222. package/lib/ontology/derivation.js +0 -155
  223. package/lib/ontology/equality.js +0 -288
  224. package/lib/ontology/equivalence.js +0 -295
  225. package/lib/ontology/equivalences.js +0 -264
  226. package/lib/ontology/frame.js +0 -419
  227. package/lib/ontology/hypothesis.js +0 -190
  228. package/lib/ontology/judgement.js +0 -248
  229. package/lib/ontology/label.js +0 -198
  230. package/lib/ontology/metavariable.js +0 -502
  231. package/lib/ontology/parameter.js +0 -108
  232. package/lib/ontology/premise.js +0 -310
  233. package/lib/ontology/procedureCall.js +0 -243
  234. package/lib/ontology/property.js +0 -166
  235. package/lib/ontology/propertyRelation.js +0 -202
  236. package/lib/ontology/reference.js +0 -315
  237. package/lib/ontology/rule.js +0 -373
  238. package/lib/ontology/section.js +0 -255
  239. package/lib/ontology/signature.js +0 -217
  240. package/lib/ontology/statement.js +0 -398
  241. package/lib/ontology/step.js +0 -295
  242. package/lib/ontology/subDerivation.js +0 -147
  243. package/lib/ontology/subproof.js +0 -265
  244. package/lib/ontology/substitution/frame.js +0 -261
  245. package/lib/ontology/substitution/term.js +0 -269
  246. package/lib/ontology/substitution.js +0 -206
  247. package/lib/ontology/substitutions.js +0 -425
  248. package/lib/ontology/supposition.js +0 -323
  249. package/lib/ontology/term.js +0 -351
  250. package/lib/ontology/topLevelAssertion.js +0 -431
  251. package/lib/ontology/topLevelMetaAssertion.js +0 -234
  252. package/lib/ontology/type.js +0 -556
  253. package/lib/ontology/typePrefix.js +0 -99
  254. package/lib/ontology/variable.js +0 -343
  255. package/lib/ontology.js +0 -27
  256. package/lib/utilities/assignments.js +0 -19
  257. package/lib/utilities/context.js +0 -101
  258. package/lib/utilities/subproof.js +0 -42
  259. package/lib/utilities/type.js +0 -40
  260. package/src/assignment/equality.js +0 -29
  261. package/src/assignment/judgement.js +0 -29
  262. package/src/assignment/variable.js +0 -34
  263. package/src/context/bracketed/combinator.js +0 -31
  264. package/src/context/bracketed/constructor.js +0 -31
  265. package/src/context/bracketted.js +0 -41
  266. package/src/context/partial/metavariable.js +0 -39
  267. package/src/context/partial/statement.js +0 -39
  268. package/src/context/partial/term.js +0 -49
  269. package/src/context/partial/variable.js +0 -49
  270. package/src/context/partial.js +0 -71
  271. package/src/ontology/combinator/bracketed.js +0 -38
  272. package/src/ontology/combinator.js +0 -72
  273. package/src/ontology/constructor.js +0 -105
  274. package/src/ontology.js +0 -13
  275. package/src/utilities/assignments.js +0 -11
  276. package/src/utilities/subproof.js +0 -56
  277. package/src/utilities/type.js +0 -35
  278. /package/src/{ontology → element}/substitution.js +0 -0
@@ -1,86 +0,0 @@
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 BracketedContext;
9
- }
10
- });
11
- function _class_call_check(instance, Constructor) {
12
- if (!(instance instanceof Constructor)) {
13
- throw new TypeError("Cannot call a class as a function");
14
- }
15
- }
16
- function _defineProperties(target, props) {
17
- for(var i = 0; i < props.length; i++){
18
- var descriptor = props[i];
19
- descriptor.enumerable = descriptor.enumerable || false;
20
- descriptor.configurable = true;
21
- if ("value" in descriptor) descriptor.writable = true;
22
- Object.defineProperty(target, descriptor.key, descriptor);
23
- }
24
- }
25
- function _create_class(Constructor, protoProps, staticProps) {
26
- if (protoProps) _defineProperties(Constructor.prototype, protoProps);
27
- if (staticProps) _defineProperties(Constructor, staticProps);
28
- return Constructor;
29
- }
30
- var BracketedContext = /*#__PURE__*/ function() {
31
- function BracketedContext(string, node, tokens) {
32
- _class_call_check(this, BracketedContext);
33
- this.string = string;
34
- this.node = node;
35
- this.tokens = tokens;
36
- }
37
- _create_class(BracketedContext, [
38
- {
39
- key: "getString",
40
- value: function getString() {
41
- return this.string;
42
- }
43
- },
44
- {
45
- key: "getNode",
46
- value: function getNode() {
47
- return this.node;
48
- }
49
- },
50
- {
51
- key: "getTokens",
52
- value: function getTokens() {
53
- return this.tokens;
54
- }
55
- },
56
- {
57
- key: "nodeAsTokens",
58
- value: function nodeAsTokens() {
59
- return this.tokens;
60
- }
61
- },
62
- {
63
- key: "nodeAsString",
64
- value: function nodeAsString() {
65
- return this.string;
66
- }
67
- },
68
- {
69
- key: "tokensAsString",
70
- value: function tokensAsString() {
71
- return this.string;
72
- }
73
- }
74
- ], [
75
- {
76
- key: "fromString",
77
- value: function fromString(Class, string, context) {
78
- var node = context.getNode(), tokens = context.getTokens(), bracketedContext = new Class(string, node, tokens);
79
- return bracketedContext;
80
- }
81
- }
82
- ]);
83
- return BracketedContext;
84
- }();
85
-
86
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L2JyYWNrZXR0ZWQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIEJyYWNrZXRlZENvbnRleHQge1xuICBjb25zdHJ1Y3RvcihzdHJpbmcsIG5vZGUsIHRva2Vucykge1xuICAgIHRoaXMuc3RyaW5nID0gc3RyaW5nO1xuICAgIHRoaXMubm9kZSA9IG5vZGU7XG4gICAgdGhpcy50b2tlbnMgPSB0b2tlbnM7XG4gIH1cblxuICBnZXRTdHJpbmcoKSB7XG4gICAgcmV0dXJuIHRoaXMuc3RyaW5nO1xuICB9XG5cbiAgZ2V0Tm9kZSgpIHtcbiAgICByZXR1cm4gdGhpcy5ub2RlO1xuICB9XG5cbiAgZ2V0VG9rZW5zKCkge1xuICAgIHJldHVybiB0aGlzLnRva2VucztcbiAgfVxuXG4gIG5vZGVBc1Rva2VucygpIHtcbiAgICByZXR1cm4gdGhpcy50b2tlbnM7XG4gIH1cblxuICBub2RlQXNTdHJpbmcoKSB7XG4gICAgcmV0dXJuIHRoaXMuc3RyaW5nO1xuICB9XG5cbiAgdG9rZW5zQXNTdHJpbmcoKSB7XG4gICAgcmV0dXJuIHRoaXMuc3RyaW5nO1xuICB9XG5cbiAgc3RhdGljIGZyb21TdHJpbmcoQ2xhc3MsIHN0cmluZywgY29udGV4dCkge1xuICAgIGNvbnN0IG5vZGUgPSBjb250ZXh0LmdldE5vZGUoKSxcbiAgICAgICAgICB0b2tlbnMgPSBjb250ZXh0LmdldFRva2VucygpLFxuICAgICAgICAgIGJyYWNrZXRlZENvbnRleHQgPSBuZXcgQ2xhc3Moc3RyaW5nLCBub2RlLCB0b2tlbnMpO1xuXG4gICAgcmV0dXJuIGJyYWNrZXRlZENvbnRleHQ7XG4gIH1cbn1cbiJdLCJuYW1lcyI6WyJCcmFja2V0ZWRDb250ZXh0Iiwic3RyaW5nIiwibm9kZSIsInRva2VucyIsImdldFN0cmluZyIsImdldE5vZGUiLCJnZXRUb2tlbnMiLCJub2RlQXNUb2tlbnMiLCJub2RlQXNTdHJpbmciLCJ0b2tlbnNBc1N0cmluZyIsImZyb21TdHJpbmciLCJDbGFzcyIsImNvbnRleHQiLCJicmFja2V0ZWRDb250ZXh0Il0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7OztlQUVxQkE7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFBTixJQUFBLEFBQU1BLGlDQUFOO2FBQU1BLGlCQUNQQyxNQUFNLEVBQUVDLElBQUksRUFBRUMsTUFBTTtnQ0FEYkg7UUFFakIsSUFBSSxDQUFDQyxNQUFNLEdBQUdBO1FBQ2QsSUFBSSxDQUFDQyxJQUFJLEdBQUdBO1FBQ1osSUFBSSxDQUFDQyxNQUFNLEdBQUdBOztrQkFKR0g7O1lBT25CSSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNILE1BQU07WUFDcEI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNILElBQUk7WUFDbEI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNILE1BQU07WUFDcEI7OztZQUVBSSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNKLE1BQU07WUFDcEI7OztZQUVBSyxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNQLE1BQU07WUFDcEI7OztZQUVBUSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsT0FBTyxJQUFJLENBQUNSLE1BQU07WUFDcEI7Ozs7WUFFT1MsS0FBQUE7bUJBQVAsU0FBT0EsV0FBV0MsS0FBSyxFQUFFVixNQUFNLEVBQUVXLE9BQU87Z0JBQ3RDLElBQU1WLE9BQU9VLFFBQVFQLE9BQU8sSUFDdEJGLFNBQVNTLFFBQVFOLFNBQVMsSUFDMUJPLG1CQUFtQixJQUFJRixNQUFNVixRQUFRQyxNQUFNQztnQkFFakQsT0FBT1U7WUFDVDs7O1dBckNtQmIifQ==
@@ -1,180 +0,0 @@
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 MetavariablePartialContext;
9
- }
10
- });
11
- var _partial = /*#__PURE__*/ _interop_require_wildcard(require("../../context/partial"));
12
- function _assert_this_initialized(self) {
13
- if (self === void 0) {
14
- throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
15
- }
16
- return self;
17
- }
18
- function _call_super(_this, derived, args) {
19
- derived = _get_prototype_of(derived);
20
- return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
21
- }
22
- function _class_call_check(instance, Constructor) {
23
- if (!(instance instanceof Constructor)) {
24
- throw new TypeError("Cannot call a class as a function");
25
- }
26
- }
27
- function _defineProperties(target, props) {
28
- for(var i = 0; i < props.length; i++){
29
- var descriptor = props[i];
30
- descriptor.enumerable = descriptor.enumerable || false;
31
- descriptor.configurable = true;
32
- if ("value" in descriptor) descriptor.writable = true;
33
- Object.defineProperty(target, descriptor.key, descriptor);
34
- }
35
- }
36
- function _create_class(Constructor, protoProps, staticProps) {
37
- if (protoProps) _defineProperties(Constructor.prototype, protoProps);
38
- if (staticProps) _defineProperties(Constructor, staticProps);
39
- return Constructor;
40
- }
41
- function _define_property(obj, key, value) {
42
- if (key in obj) {
43
- Object.defineProperty(obj, key, {
44
- value: value,
45
- enumerable: true,
46
- configurable: true,
47
- writable: true
48
- });
49
- } else {
50
- obj[key] = value;
51
- }
52
- return obj;
53
- }
54
- function _get_prototype_of(o) {
55
- _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
56
- return o.__proto__ || Object.getPrototypeOf(o);
57
- };
58
- return _get_prototype_of(o);
59
- }
60
- function _inherits(subClass, superClass) {
61
- if (typeof superClass !== "function" && superClass !== null) {
62
- throw new TypeError("Super expression must either be null or a function");
63
- }
64
- subClass.prototype = Object.create(superClass && superClass.prototype, {
65
- constructor: {
66
- value: subClass,
67
- writable: true,
68
- configurable: true
69
- }
70
- });
71
- if (superClass) _set_prototype_of(subClass, superClass);
72
- }
73
- function _getRequireWildcardCache(nodeInterop) {
74
- if (typeof WeakMap !== "function") return null;
75
- var cacheBabelInterop = new WeakMap();
76
- var cacheNodeInterop = new WeakMap();
77
- return (_getRequireWildcardCache = function(nodeInterop) {
78
- return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
79
- })(nodeInterop);
80
- }
81
- function _interop_require_wildcard(obj, nodeInterop) {
82
- if (!nodeInterop && obj && obj.__esModule) {
83
- return obj;
84
- }
85
- if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
86
- return {
87
- default: obj
88
- };
89
- }
90
- var cache = _getRequireWildcardCache(nodeInterop);
91
- if (cache && cache.has(obj)) {
92
- return cache.get(obj);
93
- }
94
- var newObj = {
95
- __proto__: null
96
- };
97
- var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
98
- for(var key in obj){
99
- if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
100
- var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
101
- if (desc && (desc.get || desc.set)) {
102
- Object.defineProperty(newObj, key, desc);
103
- } else {
104
- newObj[key] = obj[key];
105
- }
106
- }
107
- }
108
- newObj.default = obj;
109
- if (cache) {
110
- cache.set(obj, newObj);
111
- }
112
- return newObj;
113
- }
114
- function _possible_constructor_return(self, call) {
115
- if (call && (_type_of(call) === "object" || typeof call === "function")) {
116
- return call;
117
- }
118
- return _assert_this_initialized(self);
119
- }
120
- function _set_prototype_of(o, p) {
121
- _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
122
- o.__proto__ = p;
123
- return o;
124
- };
125
- return _set_prototype_of(o, p);
126
- }
127
- function _type_of(obj) {
128
- "@swc/helpers - typeof";
129
- return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
130
- }
131
- function _is_native_reflect_construct() {
132
- try {
133
- var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
134
- } catch (_) {}
135
- return (_is_native_reflect_construct = function() {
136
- return !!result;
137
- })();
138
- }
139
- var bnf = "\n\n _ ::= metavariable... <END_OF_LINE> ;\n \n ", rule = (0, _partial.ruleFromBNF)(bnf);
140
- var MetavariablePartialContext = /*#__PURE__*/ function(PartialContext) {
141
- _inherits(MetavariablePartialContext, PartialContext);
142
- function MetavariablePartialContext() {
143
- _class_call_check(this, MetavariablePartialContext);
144
- return _call_super(this, MetavariablePartialContext, arguments);
145
- }
146
- _create_class(MetavariablePartialContext, [
147
- {
148
- key: "getMetavariableNode",
149
- value: function getMetavariableNode() {
150
- var metavariableNode = this.node; ///
151
- return metavariableNode;
152
- }
153
- },
154
- {
155
- key: "getMetavariableTokens",
156
- value: function getMetavariableTokens() {
157
- var metavariableTokens = this.tokens; ///
158
- return metavariableTokens;
159
- }
160
- }
161
- ], [
162
- {
163
- key: "fromMetavariable",
164
- value: function fromMetavariable(metavariable, context) {
165
- var string = metavariable.getString(), lexer = context.getLexer(), parser = context.getParser(), metavariablePartialContext = _partial.default.fromStringLexerAndParser(MetavariablePartialContext, string, lexer, parser);
166
- return metavariablePartialContext;
167
- }
168
- },
169
- {
170
- key: "fromStringLexerAndParser",
171
- value: function fromStringLexerAndParser(string, lexer, parser) {
172
- return _partial.default.fromStringLexerAndParser(MetavariablePartialContext, string, lexer, parser);
173
- }
174
- }
175
- ]);
176
- return MetavariablePartialContext;
177
- }(_partial.default);
178
- _define_property(MetavariablePartialContext, "rule", rule);
179
-
180
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L3BhcnRpYWwvbWV0YXZhcmlhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgUGFydGlhbENvbnRleHQgZnJvbSBcIi4uLy4uL2NvbnRleHQvcGFydGlhbFwiO1xuXG5pbXBvcnQgeyBydWxlRnJvbUJORiB9IGZyb20gXCIuLi8uLi9jb250ZXh0L3BhcnRpYWxcIjtcblxuY29uc3QgYm5mID0gYFxuXG4gICAgICAgIF8gOjo9IG1ldGF2YXJpYWJsZS4uLiA8RU5EX09GX0xJTkU+IDtcbiAgICAgICAgXG4gICAgICBgLFxuICAgICAgcnVsZSA9IHJ1bGVGcm9tQk5GKGJuZik7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE1ldGF2YXJpYWJsZVBhcnRpYWxDb250ZXh0IGV4dGVuZHMgUGFydGlhbENvbnRleHQge1xuICBnZXRNZXRhdmFyaWFibGVOb2RlKCkge1xuICAgIGNvbnN0IG1ldGF2YXJpYWJsZU5vZGUgPSB0aGlzLm5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZU5vZGU7XG4gIH1cblxuICBnZXRNZXRhdmFyaWFibGVUb2tlbnMoKSB7XG4gICAgY29uc3QgbWV0YXZhcmlhYmxlVG9rZW5zID0gdGhpcy50b2tlbnM7IC8vL1xuXG4gICAgcmV0dXJuIG1ldGF2YXJpYWJsZVRva2VucztcbiAgfVxuXG4gIHN0YXRpYyBydWxlID0gcnVsZTtcblxuICBzdGF0aWMgZnJvbU1ldGF2YXJpYWJsZShtZXRhdmFyaWFibGUsIGNvbnRleHQpIHtcbiAgICBjb25zdCBzdHJpbmcgPSBtZXRhdmFyaWFibGUuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgbGV4ZXIgPSBjb250ZXh0LmdldExleGVyKCksXG4gICAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgICBtZXRhdmFyaWFibGVQYXJ0aWFsQ29udGV4dCA9IFBhcnRpYWxDb250ZXh0LmZyb21TdHJpbmdMZXhlckFuZFBhcnNlcihNZXRhdmFyaWFibGVQYXJ0aWFsQ29udGV4dCwgc3RyaW5nLCBsZXhlciwgcGFyc2VyKTtcblxuICAgIHJldHVybiBtZXRhdmFyaWFibGVQYXJ0aWFsQ29udGV4dDtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIoc3RyaW5nLCBsZXhlciwgcGFyc2VyKSB7IHJldHVybiBQYXJ0aWFsQ29udGV4dC5mcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIoTWV0YXZhcmlhYmxlUGFydGlhbENvbnRleHQsIHN0cmluZywgbGV4ZXIsIHBhcnNlcik7IH1cbn1cbiJdLCJuYW1lcyI6WyJNZXRhdmFyaWFibGVQYXJ0aWFsQ29udGV4dCIsImJuZiIsInJ1bGUiLCJydWxlRnJvbUJORiIsImdldE1ldGF2YXJpYWJsZU5vZGUiLCJtZXRhdmFyaWFibGVOb2RlIiwibm9kZSIsImdldE1ldGF2YXJpYWJsZVRva2VucyIsIm1ldGF2YXJpYWJsZVRva2VucyIsInRva2VucyIsImZyb21NZXRhdmFyaWFibGUiLCJtZXRhdmFyaWFibGUiLCJjb250ZXh0Iiwic3RyaW5nIiwiZ2V0U3RyaW5nIiwibGV4ZXIiLCJnZXRMZXhlciIsInBhcnNlciIsImdldFBhcnNlciIsIm1ldGF2YXJpYWJsZVBhcnRpYWxDb250ZXh0IiwiUGFydGlhbENvbnRleHQiLCJmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBYXFCQTs7OytEQVhNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUkzQixJQUFNQyxNQUFNLHVFQUtOQyxPQUFPQyxJQUFBQSxvQkFBVyxFQUFDRjtBQUVWLElBQUEsQUFBTUQsMkNBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJJLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxtQkFBbUIsSUFBSSxDQUFDQyxJQUFJLEVBQUUsR0FBRztnQkFFdkMsT0FBT0Q7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxxQkFBcUIsSUFBSSxDQUFDQyxNQUFNLEVBQUUsR0FBRztnQkFFM0MsT0FBT0Q7WUFDVDs7OztZQUlPRSxLQUFBQTttQkFBUCxTQUFPQSxpQkFBaUJDLFlBQVksRUFBRUMsT0FBTztnQkFDM0MsSUFBTUMsU0FBU0YsYUFBYUcsU0FBUyxJQUMvQkMsUUFBUUgsUUFBUUksUUFBUSxJQUN4QkMsU0FBU0wsUUFBUU0sU0FBUyxJQUMxQkMsNkJBQTZCQyxnQkFBYyxDQUFDQyx3QkFBd0IsQ0FuQnpEckIsNEJBbUJzRmEsUUFBUUUsT0FBT0U7Z0JBRXRILE9BQU9FO1lBQ1Q7OztZQUVPRSxLQUFBQTttQkFBUCxTQUFPQSx5QkFBeUJSLE1BQU0sRUFBRUUsS0FBSyxFQUFFRSxNQUFNO2dCQUFJLE9BQU9HLGdCQUFjLENBQUNDLHdCQUF3QixDQXhCcEZyQiw0QkF3QmlIYSxRQUFRRSxPQUFPRTtZQUFTOzs7V0F4QnpJakI7RUFBbUNvQixnQkFBYztBQWFwRSxpQkFibUJwQiw0QkFhWkUsUUFBT0EifQ==
@@ -1,180 +0,0 @@
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 StatementPartialContext;
9
- }
10
- });
11
- var _partial = /*#__PURE__*/ _interop_require_wildcard(require("../../context/partial"));
12
- function _assert_this_initialized(self) {
13
- if (self === void 0) {
14
- throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
15
- }
16
- return self;
17
- }
18
- function _call_super(_this, derived, args) {
19
- derived = _get_prototype_of(derived);
20
- return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
21
- }
22
- function _class_call_check(instance, Constructor) {
23
- if (!(instance instanceof Constructor)) {
24
- throw new TypeError("Cannot call a class as a function");
25
- }
26
- }
27
- function _defineProperties(target, props) {
28
- for(var i = 0; i < props.length; i++){
29
- var descriptor = props[i];
30
- descriptor.enumerable = descriptor.enumerable || false;
31
- descriptor.configurable = true;
32
- if ("value" in descriptor) descriptor.writable = true;
33
- Object.defineProperty(target, descriptor.key, descriptor);
34
- }
35
- }
36
- function _create_class(Constructor, protoProps, staticProps) {
37
- if (protoProps) _defineProperties(Constructor.prototype, protoProps);
38
- if (staticProps) _defineProperties(Constructor, staticProps);
39
- return Constructor;
40
- }
41
- function _define_property(obj, key, value) {
42
- if (key in obj) {
43
- Object.defineProperty(obj, key, {
44
- value: value,
45
- enumerable: true,
46
- configurable: true,
47
- writable: true
48
- });
49
- } else {
50
- obj[key] = value;
51
- }
52
- return obj;
53
- }
54
- function _get_prototype_of(o) {
55
- _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
56
- return o.__proto__ || Object.getPrototypeOf(o);
57
- };
58
- return _get_prototype_of(o);
59
- }
60
- function _inherits(subClass, superClass) {
61
- if (typeof superClass !== "function" && superClass !== null) {
62
- throw new TypeError("Super expression must either be null or a function");
63
- }
64
- subClass.prototype = Object.create(superClass && superClass.prototype, {
65
- constructor: {
66
- value: subClass,
67
- writable: true,
68
- configurable: true
69
- }
70
- });
71
- if (superClass) _set_prototype_of(subClass, superClass);
72
- }
73
- function _getRequireWildcardCache(nodeInterop) {
74
- if (typeof WeakMap !== "function") return null;
75
- var cacheBabelInterop = new WeakMap();
76
- var cacheNodeInterop = new WeakMap();
77
- return (_getRequireWildcardCache = function(nodeInterop) {
78
- return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
79
- })(nodeInterop);
80
- }
81
- function _interop_require_wildcard(obj, nodeInterop) {
82
- if (!nodeInterop && obj && obj.__esModule) {
83
- return obj;
84
- }
85
- if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
86
- return {
87
- default: obj
88
- };
89
- }
90
- var cache = _getRequireWildcardCache(nodeInterop);
91
- if (cache && cache.has(obj)) {
92
- return cache.get(obj);
93
- }
94
- var newObj = {
95
- __proto__: null
96
- };
97
- var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
98
- for(var key in obj){
99
- if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
100
- var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
101
- if (desc && (desc.get || desc.set)) {
102
- Object.defineProperty(newObj, key, desc);
103
- } else {
104
- newObj[key] = obj[key];
105
- }
106
- }
107
- }
108
- newObj.default = obj;
109
- if (cache) {
110
- cache.set(obj, newObj);
111
- }
112
- return newObj;
113
- }
114
- function _possible_constructor_return(self, call) {
115
- if (call && (_type_of(call) === "object" || typeof call === "function")) {
116
- return call;
117
- }
118
- return _assert_this_initialized(self);
119
- }
120
- function _set_prototype_of(o, p) {
121
- _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
122
- o.__proto__ = p;
123
- return o;
124
- };
125
- return _set_prototype_of(o, p);
126
- }
127
- function _type_of(obj) {
128
- "@swc/helpers - typeof";
129
- return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
130
- }
131
- function _is_native_reflect_construct() {
132
- try {
133
- var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
134
- } catch (_) {}
135
- return (_is_native_reflect_construct = function() {
136
- return !!result;
137
- })();
138
- }
139
- var bnf = "\n\n _ ::= statement... <END_OF_LINE> ;\n \n ", rule = (0, _partial.ruleFromBNF)(bnf);
140
- var StatementPartialContext = /*#__PURE__*/ function(PartialContext) {
141
- _inherits(StatementPartialContext, PartialContext);
142
- function StatementPartialContext() {
143
- _class_call_check(this, StatementPartialContext);
144
- return _call_super(this, StatementPartialContext, arguments);
145
- }
146
- _create_class(StatementPartialContext, [
147
- {
148
- key: "getStatementNode",
149
- value: function getStatementNode() {
150
- var statementNode = this.node; ///
151
- return statementNode;
152
- }
153
- },
154
- {
155
- key: "getStatementTokens",
156
- value: function getStatementTokens() {
157
- var statementTokens = this.tokens; ///
158
- return statementTokens;
159
- }
160
- }
161
- ], [
162
- {
163
- key: "fromStatement",
164
- value: function fromStatement(statement, context) {
165
- var string = statement.getString(), lexer = context.getLexer(), parser = context.getParser(), statementPartialContext = _partial.default.fromStringLexerAndParser(StatementPartialContext, string, lexer, parser);
166
- return statementPartialContext;
167
- }
168
- },
169
- {
170
- key: "fromStringLexerAndParser",
171
- value: function fromStringLexerAndParser(string, lexer, parser) {
172
- return _partial.default.fromStringLexerAndParser(StatementPartialContext, string, lexer, parser);
173
- }
174
- }
175
- ]);
176
- return StatementPartialContext;
177
- }(_partial.default);
178
- _define_property(StatementPartialContext, "rule", rule);
179
-
180
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L3BhcnRpYWwvc3RhdGVtZW50LmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgUGFydGlhbENvbnRleHQgZnJvbSBcIi4uLy4uL2NvbnRleHQvcGFydGlhbFwiO1xuXG5pbXBvcnQgeyBydWxlRnJvbUJORiB9IGZyb20gXCIuLi8uLi9jb250ZXh0L3BhcnRpYWxcIjtcblxuY29uc3QgYm5mID0gYFxuXG4gICAgICAgIF8gOjo9IHN0YXRlbWVudC4uLiA8RU5EX09GX0xJTkU+IDtcbiAgICAgICAgXG4gICAgICBgLFxuICAgICAgcnVsZSA9IHJ1bGVGcm9tQk5GKGJuZik7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIFN0YXRlbWVudFBhcnRpYWxDb250ZXh0IGV4dGVuZHMgUGFydGlhbENvbnRleHQge1xuICBnZXRTdGF0ZW1lbnROb2RlKCkge1xuICAgIGNvbnN0IHN0YXRlbWVudE5vZGUgPSB0aGlzLm5vZGU7IC8vL1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudE5vZGU7XG4gIH1cblxuICBnZXRTdGF0ZW1lbnRUb2tlbnMoKSB7XG4gICAgY29uc3Qgc3RhdGVtZW50VG9rZW5zID0gdGhpcy50b2tlbnM7IC8vL1xuXG4gICAgcmV0dXJuIHN0YXRlbWVudFRva2VucztcbiAgfVxuXG4gIHN0YXRpYyBydWxlID0gcnVsZTtcblxuICBzdGF0aWMgZnJvbVN0YXRlbWVudChzdGF0ZW1lbnQsIGNvbnRleHQpIHtcbiAgICBjb25zdCBzdHJpbmcgPSBzdGF0ZW1lbnQuZ2V0U3RyaW5nKCksXG4gICAgICAgICAgbGV4ZXIgPSBjb250ZXh0LmdldExleGVyKCksXG4gICAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgICBzdGF0ZW1lbnRQYXJ0aWFsQ29udGV4dCA9IFBhcnRpYWxDb250ZXh0LmZyb21TdHJpbmdMZXhlckFuZFBhcnNlcihTdGF0ZW1lbnRQYXJ0aWFsQ29udGV4dCwgc3RyaW5nLCBsZXhlciwgcGFyc2VyKTtcblxuICAgIHJldHVybiBzdGF0ZW1lbnRQYXJ0aWFsQ29udGV4dDtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIoc3RyaW5nLCBsZXhlciwgcGFyc2VyKSB7IHJldHVybiBQYXJ0aWFsQ29udGV4dC5mcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIoU3RhdGVtZW50UGFydGlhbENvbnRleHQsIHN0cmluZywgbGV4ZXIsIHBhcnNlcik7IH1cbn1cbiJdLCJuYW1lcyI6WyJTdGF0ZW1lbnRQYXJ0aWFsQ29udGV4dCIsImJuZiIsInJ1bGUiLCJydWxlRnJvbUJORiIsImdldFN0YXRlbWVudE5vZGUiLCJzdGF0ZW1lbnROb2RlIiwibm9kZSIsImdldFN0YXRlbWVudFRva2VucyIsInN0YXRlbWVudFRva2VucyIsInRva2VucyIsImZyb21TdGF0ZW1lbnQiLCJzdGF0ZW1lbnQiLCJjb250ZXh0Iiwic3RyaW5nIiwiZ2V0U3RyaW5nIiwibGV4ZXIiLCJnZXRMZXhlciIsInBhcnNlciIsImdldFBhcnNlciIsInN0YXRlbWVudFBhcnRpYWxDb250ZXh0IiwiUGFydGlhbENvbnRleHQiLCJmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBYXFCQTs7OytEQVhNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUkzQixJQUFNQyxNQUFNLG9FQUtOQyxPQUFPQyxJQUFBQSxvQkFBVyxFQUFDRjtBQUVWLElBQUEsQUFBTUQsd0NBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJJLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxnQkFBZ0IsSUFBSSxDQUFDQyxJQUFJLEVBQUUsR0FBRztnQkFFcEMsT0FBT0Q7WUFDVDs7O1lBRUFFLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxrQkFBa0IsSUFBSSxDQUFDQyxNQUFNLEVBQUUsR0FBRztnQkFFeEMsT0FBT0Q7WUFDVDs7OztZQUlPRSxLQUFBQTttQkFBUCxTQUFPQSxjQUFjQyxTQUFTLEVBQUVDLE9BQU87Z0JBQ3JDLElBQU1DLFNBQVNGLFVBQVVHLFNBQVMsSUFDNUJDLFFBQVFILFFBQVFJLFFBQVEsSUFDeEJDLFNBQVNMLFFBQVFNLFNBQVMsSUFDMUJDLDBCQUEwQkMsZ0JBQWMsQ0FBQ0Msd0JBQXdCLENBbkJ0RHJCLHlCQW1CZ0ZhLFFBQVFFLE9BQU9FO2dCQUVoSCxPQUFPRTtZQUNUOzs7WUFFT0UsS0FBQUE7bUJBQVAsU0FBT0EseUJBQXlCUixNQUFNLEVBQUVFLEtBQUssRUFBRUUsTUFBTTtnQkFBSSxPQUFPRyxnQkFBYyxDQUFDQyx3QkFBd0IsQ0F4QnBGckIseUJBd0I4R2EsUUFBUUUsT0FBT0U7WUFBUzs7O1dBeEJ0SWpCO0VBQWdDb0IsZ0JBQWM7QUFhakUsaUJBYm1CcEIseUJBYVpFLFFBQU9BIn0=
@@ -1,192 +0,0 @@
1
- "use strict";
2
- Object.defineProperty(exports, "__esModule", {
3
- value: true
4
- });
5
- function _export(target, all) {
6
- for(var name in all)Object.defineProperty(target, name, {
7
- enumerable: true,
8
- get: Object.getOwnPropertyDescriptor(all, name).get
9
- });
10
- }
11
- _export(exports, {
12
- get default () {
13
- return TermPartialContext;
14
- },
15
- get termNodeFromTermString () {
16
- return termNodeFromTermString;
17
- }
18
- });
19
- var _partial = /*#__PURE__*/ _interop_require_wildcard(require("../../context/partial"));
20
- function _assert_this_initialized(self) {
21
- if (self === void 0) {
22
- throw new ReferenceError("this hasn't been initialised - super() hasn't been called");
23
- }
24
- return self;
25
- }
26
- function _call_super(_this, derived, args) {
27
- derived = _get_prototype_of(derived);
28
- return _possible_constructor_return(_this, _is_native_reflect_construct() ? Reflect.construct(derived, args || [], _get_prototype_of(_this).constructor) : derived.apply(_this, args));
29
- }
30
- function _class_call_check(instance, Constructor) {
31
- if (!(instance instanceof Constructor)) {
32
- throw new TypeError("Cannot call a class as a function");
33
- }
34
- }
35
- function _defineProperties(target, props) {
36
- for(var i = 0; i < props.length; i++){
37
- var descriptor = props[i];
38
- descriptor.enumerable = descriptor.enumerable || false;
39
- descriptor.configurable = true;
40
- if ("value" in descriptor) descriptor.writable = true;
41
- Object.defineProperty(target, descriptor.key, descriptor);
42
- }
43
- }
44
- function _create_class(Constructor, protoProps, staticProps) {
45
- if (protoProps) _defineProperties(Constructor.prototype, protoProps);
46
- if (staticProps) _defineProperties(Constructor, staticProps);
47
- return Constructor;
48
- }
49
- function _define_property(obj, key, value) {
50
- if (key in obj) {
51
- Object.defineProperty(obj, key, {
52
- value: value,
53
- enumerable: true,
54
- configurable: true,
55
- writable: true
56
- });
57
- } else {
58
- obj[key] = value;
59
- }
60
- return obj;
61
- }
62
- function _get_prototype_of(o) {
63
- _get_prototype_of = Object.setPrototypeOf ? Object.getPrototypeOf : function getPrototypeOf(o) {
64
- return o.__proto__ || Object.getPrototypeOf(o);
65
- };
66
- return _get_prototype_of(o);
67
- }
68
- function _inherits(subClass, superClass) {
69
- if (typeof superClass !== "function" && superClass !== null) {
70
- throw new TypeError("Super expression must either be null or a function");
71
- }
72
- subClass.prototype = Object.create(superClass && superClass.prototype, {
73
- constructor: {
74
- value: subClass,
75
- writable: true,
76
- configurable: true
77
- }
78
- });
79
- if (superClass) _set_prototype_of(subClass, superClass);
80
- }
81
- function _getRequireWildcardCache(nodeInterop) {
82
- if (typeof WeakMap !== "function") return null;
83
- var cacheBabelInterop = new WeakMap();
84
- var cacheNodeInterop = new WeakMap();
85
- return (_getRequireWildcardCache = function(nodeInterop) {
86
- return nodeInterop ? cacheNodeInterop : cacheBabelInterop;
87
- })(nodeInterop);
88
- }
89
- function _interop_require_wildcard(obj, nodeInterop) {
90
- if (!nodeInterop && obj && obj.__esModule) {
91
- return obj;
92
- }
93
- if (obj === null || typeof obj !== "object" && typeof obj !== "function") {
94
- return {
95
- default: obj
96
- };
97
- }
98
- var cache = _getRequireWildcardCache(nodeInterop);
99
- if (cache && cache.has(obj)) {
100
- return cache.get(obj);
101
- }
102
- var newObj = {
103
- __proto__: null
104
- };
105
- var hasPropertyDescriptor = Object.defineProperty && Object.getOwnPropertyDescriptor;
106
- for(var key in obj){
107
- if (key !== "default" && Object.prototype.hasOwnProperty.call(obj, key)) {
108
- var desc = hasPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : null;
109
- if (desc && (desc.get || desc.set)) {
110
- Object.defineProperty(newObj, key, desc);
111
- } else {
112
- newObj[key] = obj[key];
113
- }
114
- }
115
- }
116
- newObj.default = obj;
117
- if (cache) {
118
- cache.set(obj, newObj);
119
- }
120
- return newObj;
121
- }
122
- function _possible_constructor_return(self, call) {
123
- if (call && (_type_of(call) === "object" || typeof call === "function")) {
124
- return call;
125
- }
126
- return _assert_this_initialized(self);
127
- }
128
- function _set_prototype_of(o, p) {
129
- _set_prototype_of = Object.setPrototypeOf || function setPrototypeOf(o, p) {
130
- o.__proto__ = p;
131
- return o;
132
- };
133
- return _set_prototype_of(o, p);
134
- }
135
- function _type_of(obj) {
136
- "@swc/helpers - typeof";
137
- return obj && typeof Symbol !== "undefined" && obj.constructor === Symbol ? "symbol" : typeof obj;
138
- }
139
- function _is_native_reflect_construct() {
140
- try {
141
- var result = !Boolean.prototype.valueOf.call(Reflect.construct(Boolean, [], function() {}));
142
- } catch (_) {}
143
- return (_is_native_reflect_construct = function() {
144
- return !!result;
145
- })();
146
- }
147
- var bnf = "\n\n _ ::= term... <END_OF_LINE> ;\n \n ", rule = (0, _partial.ruleFromBNF)(bnf);
148
- var TermPartialContext = /*#__PURE__*/ function(PartialContext) {
149
- _inherits(TermPartialContext, PartialContext);
150
- function TermPartialContext() {
151
- _class_call_check(this, TermPartialContext);
152
- return _call_super(this, TermPartialContext, arguments);
153
- }
154
- _create_class(TermPartialContext, [
155
- {
156
- key: "getTermNode",
157
- value: function getTermNode() {
158
- var termNode = this.node; ///
159
- return termNode;
160
- }
161
- },
162
- {
163
- key: "getTermTokens",
164
- value: function getTermTokens() {
165
- var termTokens = this.tokens; ///
166
- return termTokens;
167
- }
168
- }
169
- ], [
170
- {
171
- key: "fromTerm",
172
- value: function fromTerm(term, context) {
173
- var string = term.getString(), lexer = context.getLexer(), parser = context.getParser(), termPartialContext = _partial.default.fromStringLexerAndParser(TermPartialContext, string, lexer, parser);
174
- return termPartialContext;
175
- }
176
- },
177
- {
178
- key: "fromStringLexerAndParser",
179
- value: function fromStringLexerAndParser(string, lexer, parser) {
180
- return _partial.default.fromStringLexerAndParser(TermPartialContext, string, lexer, parser);
181
- }
182
- }
183
- ]);
184
- return TermPartialContext;
185
- }(_partial.default);
186
- _define_property(TermPartialContext, "rule", rule);
187
- function termNodeFromTermString(termString, context) {
188
- var string = termString, lexer = context.getLexer(), parser = context.getParser(), termPartialContext = TermPartialContext.fromStringLexerAndParser(string, lexer, parser), termNode = termPartialContext.getTermNode();
189
- return termNode;
190
- }
191
-
192
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250ZXh0L3BhcnRpYWwvdGVybS5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IFBhcnRpYWxDb250ZXh0IGZyb20gXCIuLi8uLi9jb250ZXh0L3BhcnRpYWxcIjtcblxuaW1wb3J0IHsgcnVsZUZyb21CTkYgfSBmcm9tIFwiLi4vLi4vY29udGV4dC9wYXJ0aWFsXCI7XG5cbmNvbnN0IGJuZiA9IGBcblxuICAgICAgICBfIDo6PSB0ZXJtLi4uIDxFTkRfT0ZfTElORT4gO1xuICAgICAgICBcbiAgICAgIGAsXG4gICAgICBydWxlID0gcnVsZUZyb21CTkYoYm5mKTtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVGVybVBhcnRpYWxDb250ZXh0IGV4dGVuZHMgUGFydGlhbENvbnRleHQge1xuICBnZXRUZXJtTm9kZSgpIHtcbiAgICBjb25zdCB0ZXJtTm9kZSA9IHRoaXMubm9kZTsgLy8vXG5cbiAgICByZXR1cm4gdGVybU5vZGU7XG4gIH1cblxuICBnZXRUZXJtVG9rZW5zKCkge1xuICAgIGNvbnN0IHRlcm1Ub2tlbnMgPSB0aGlzLnRva2VuczsgLy8vXG5cbiAgICByZXR1cm4gdGVybVRva2VucztcbiAgfVxuXG4gIHN0YXRpYyBydWxlID0gcnVsZTtcblxuICBzdGF0aWMgZnJvbVRlcm0odGVybSwgY29udGV4dCkge1xuICAgIGNvbnN0IHN0cmluZyA9IHRlcm0uZ2V0U3RyaW5nKCksXG4gICAgICAgICAgbGV4ZXIgPSBjb250ZXh0LmdldExleGVyKCksXG4gICAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgICB0ZXJtUGFydGlhbENvbnRleHQgPSBQYXJ0aWFsQ29udGV4dC5mcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIoVGVybVBhcnRpYWxDb250ZXh0LCBzdHJpbmcsIGxleGVyLCBwYXJzZXIpO1xuXG4gICAgcmV0dXJuIHRlcm1QYXJ0aWFsQ29udGV4dDtcbiAgfVxuXG4gIHN0YXRpYyBmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIoc3RyaW5nLCBsZXhlciwgcGFyc2VyKSB7IHJldHVybiBQYXJ0aWFsQ29udGV4dC5mcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIoVGVybVBhcnRpYWxDb250ZXh0LCBzdHJpbmcsIGxleGVyLCBwYXJzZXIpOyB9XG59XG5cbmV4cG9ydCBmdW5jdGlvbiB0ZXJtTm9kZUZyb21UZXJtU3RyaW5nKHRlcm1TdHJpbmcsIGNvbnRleHQpIHtcbiAgY29uc3Qgc3RyaW5nID0gdGVybVN0cmluZywgIC8vL1xuICAgICAgICBsZXhlciA9IGNvbnRleHQuZ2V0TGV4ZXIoKSxcbiAgICAgICAgcGFyc2VyID0gY29udGV4dC5nZXRQYXJzZXIoKSxcbiAgICAgICAgdGVybVBhcnRpYWxDb250ZXh0ID0gVGVybVBhcnRpYWxDb250ZXh0LmZyb21TdHJpbmdMZXhlckFuZFBhcnNlcihzdHJpbmcsIGxleGVyLCBwYXJzZXIpLFxuICAgICAgICB0ZXJtTm9kZSA9IHRlcm1QYXJ0aWFsQ29udGV4dC5nZXRUZXJtTm9kZSgpO1xuXG4gIHJldHVybiB0ZXJtTm9kZTtcbn1cbiJdLCJuYW1lcyI6WyJUZXJtUGFydGlhbENvbnRleHQiLCJ0ZXJtTm9kZUZyb21UZXJtU3RyaW5nIiwiYm5mIiwicnVsZSIsInJ1bGVGcm9tQk5GIiwiZ2V0VGVybU5vZGUiLCJ0ZXJtTm9kZSIsIm5vZGUiLCJnZXRUZXJtVG9rZW5zIiwidGVybVRva2VucyIsInRva2VucyIsImZyb21UZXJtIiwidGVybSIsImNvbnRleHQiLCJzdHJpbmciLCJnZXRTdHJpbmciLCJsZXhlciIsImdldExleGVyIiwicGFyc2VyIiwiZ2V0UGFyc2VyIiwidGVybVBhcnRpYWxDb250ZXh0IiwiUGFydGlhbENvbnRleHQiLCJmcm9tU3RyaW5nTGV4ZXJBbmRQYXJzZXIiLCJ0ZXJtU3RyaW5nIl0sIm1hcHBpbmdzIjoiQUFBQTs7Ozs7Ozs7Ozs7O2VBYXFCQTs7UUEyQkxDO2VBQUFBOzs7K0RBdENXOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUkzQixJQUFNQyxNQUFNLCtEQUtOQyxPQUFPQyxJQUFBQSxvQkFBVyxFQUFDRjtBQUVWLElBQUEsQUFBTUYsbUNBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO1FBQU4sT0FBQSxrQkFBTUE7O2tCQUFBQTs7WUFDbkJLLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxJQUFNQyxXQUFXLElBQUksQ0FBQ0MsSUFBSSxFQUFFLEdBQUc7Z0JBRS9CLE9BQU9EO1lBQ1Q7OztZQUVBRSxLQUFBQTttQkFBQUEsU0FBQUE7Z0JBQ0UsSUFBTUMsYUFBYSxJQUFJLENBQUNDLE1BQU0sRUFBRSxHQUFHO2dCQUVuQyxPQUFPRDtZQUNUOzs7O1lBSU9FLEtBQUFBO21CQUFQLFNBQU9BLFNBQVNDLElBQUksRUFBRUMsT0FBTztnQkFDM0IsSUFBTUMsU0FBU0YsS0FBS0csU0FBUyxJQUN2QkMsUUFBUUgsUUFBUUksUUFBUSxJQUN4QkMsU0FBU0wsUUFBUU0sU0FBUyxJQUMxQkMscUJBQXFCQyxnQkFBYyxDQUFDQyx3QkFBd0IsQ0FuQmpEdEIsb0JBbUJzRWMsUUFBUUUsT0FBT0U7Z0JBRXRHLE9BQU9FO1lBQ1Q7OztZQUVPRSxLQUFBQTttQkFBUCxTQUFPQSx5QkFBeUJSLE1BQU0sRUFBRUUsS0FBSyxFQUFFRSxNQUFNO2dCQUFJLE9BQU9HLGdCQUFjLENBQUNDLHdCQUF3QixDQXhCcEZ0QixvQkF3QnlHYyxRQUFRRSxPQUFPRTtZQUFTOzs7V0F4QmpJbEI7RUFBMkJxQixnQkFBYztBQWE1RCxpQkFibUJyQixvQkFhWkcsUUFBT0E7QUFjVCxTQUFTRix1QkFBdUJzQixVQUFVLEVBQUVWLE9BQU87SUFDeEQsSUFBTUMsU0FBU1MsWUFDVFAsUUFBUUgsUUFBUUksUUFBUSxJQUN4QkMsU0FBU0wsUUFBUU0sU0FBUyxJQUMxQkMscUJBQXFCcEIsbUJBQW1Cc0Isd0JBQXdCLENBQUNSLFFBQVFFLE9BQU9FLFNBQ2hGWixXQUFXYyxtQkFBbUJmLFdBQVc7SUFFL0MsT0FBT0M7QUFDVCJ9