grammar-well 1.2.0 → 1.2.2

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 (67) hide show
  1. package/bootstrap.ts +14 -7
  2. package/build/compiler/builtin.json +1 -0
  3. package/build/compiler/compiler.d.ts +2 -1
  4. package/build/compiler/compiler.js +43 -24
  5. package/build/compiler/compiler.js.map +1 -1
  6. package/build/compiler/gwell.d.ts +1050 -0
  7. package/build/compiler/gwell.js +555 -0
  8. package/build/compiler/gwell.js.map +1 -0
  9. package/build/index.d.ts +1 -0
  10. package/build/index.js +1 -0
  11. package/build/index.js.map +1 -1
  12. package/build/parser/algorithms/cyk.js +1 -1
  13. package/build/parser/algorithms/cyk.js.map +1 -1
  14. package/build/parser/algorithms/earley.js +10 -8
  15. package/build/parser/algorithms/earley.js.map +1 -1
  16. package/build/parser/algorithms/lr.js +47 -0
  17. package/build/parser/algorithms/lr.js.map +5 -1
  18. package/build/parser/algorithms/lr0.d.ts +7 -0
  19. package/build/parser/algorithms/lr0.js +156 -0
  20. package/build/parser/algorithms/lr0.js.map +1 -0
  21. package/build/parser/algorithms/lrk/algorithm.d.ts +7 -0
  22. package/build/parser/algorithms/lrk/algorithm.js +35 -0
  23. package/build/parser/algorithms/lrk/algorithm.js.map +1 -0
  24. package/build/parser/algorithms/lrk/bimap.d.ts +6 -0
  25. package/build/parser/algorithms/lrk/bimap.js +19 -0
  26. package/build/parser/algorithms/lrk/bimap.js.map +1 -0
  27. package/build/parser/algorithms/lrk/canonical-collection.d.ts +14 -0
  28. package/build/parser/algorithms/lrk/canonical-collection.js +73 -0
  29. package/build/parser/algorithms/lrk/canonical-collection.js.map +1 -0
  30. package/build/parser/algorithms/lrk/closure.d.ts +10 -0
  31. package/build/parser/algorithms/lrk/closure.js +30 -0
  32. package/build/parser/algorithms/lrk/closure.js.map +1 -0
  33. package/build/parser/algorithms/lrk/stack.d.ts +19 -0
  34. package/build/parser/algorithms/lrk/stack.js +39 -0
  35. package/build/parser/algorithms/lrk/stack.js.map +1 -0
  36. package/build/parser/algorithms/lrk/state.d.ts +12 -0
  37. package/build/parser/algorithms/lrk/state.js +3 -0
  38. package/build/parser/algorithms/lrk/state.js.map +1 -0
  39. package/build/parser/parser.d.ts +3 -3
  40. package/build/parser/parser.js +3 -3
  41. package/build/parser/parser.js.map +1 -1
  42. package/build/typings.d.ts +1 -0
  43. package/build/utility/monarch.d.ts +5 -0
  44. package/build/utility/monarch.js +42 -0
  45. package/build/utility/monarch.js.map +1 -0
  46. package/package.json +1 -1
  47. package/src/compiler/builtin/json.gwell +74 -0
  48. package/src/compiler/builtin/number.gwell +20 -0
  49. package/src/compiler/builtin/string.gwell +48 -0
  50. package/src/compiler/builtin/whitespace.gwell +10 -0
  51. package/src/compiler/builtin.json +1 -0
  52. package/src/compiler/compiler.ts +45 -24
  53. package/src/compiler/gwell.gwell +283 -0
  54. package/src/compiler/gwell.js +557 -0
  55. package/src/index.ts +2 -1
  56. package/src/parser/algorithms/cyk.ts +1 -1
  57. package/src/parser/algorithms/earley.ts +10 -10
  58. package/src/parser/algorithms/lrk/algorithm.ts +36 -0
  59. package/src/parser/algorithms/lrk/bimap.ts +17 -0
  60. package/src/parser/algorithms/lrk/canonical-collection.ts +79 -0
  61. package/src/parser/algorithms/lrk/closure.ts +37 -0
  62. package/src/parser/algorithms/lrk/stack.ts +53 -0
  63. package/src/parser/algorithms/lrk/state.ts +10 -0
  64. package/src/parser/parser.ts +5 -5
  65. package/src/typings.ts +1 -0
  66. package/src/utility/monarch.ts +36 -0
  67. package/src/parser/algorithms/lr.ts +0 -74
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,sDAAoC;AACpC,6DAA2C;AAC3C,kDAAgC;AAChC,4CAAyB"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,sDAAoC;AACpC,6DAA2C;AAC3C,kDAAgC;AAChC,4CAAyB;AACzB,oDAAkC"}
@@ -24,7 +24,7 @@ function CYK(language, _options = {}) {
24
24
  currentTokenIndex++;
25
25
  chart.resize(currentTokenIndex + 2, currentTokenIndex + 2);
26
26
  for (const rule of terminals) {
27
- if (parser_1.ParserUtility.TokenMatchesSymbol(token, rule.symbols[0])) {
27
+ if (parser_1.ParserUtility.SymbolMatchesToken(rule.symbols[0], token)) {
28
28
  chart.get(currentTokenIndex, currentTokenIndex).set(rule.name, { rule, token });
29
29
  }
30
30
  }
@@ -1 +1 @@
1
- {"version":3,"file":"cyk.js","sourceRoot":"","sources":["../../../src/parser/algorithms/cyk.ts"],"names":[],"mappings":";;;AAEA,mDAA+C;AAC/C,sCAA0C;AAE1C,SAAgB,GAAG,CAAC,QAAsD,EAAE,QAAQ,GAAG,EAAE;IACrF,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAErC,MAAM,SAAS,GAAkB,EAAE,CAAC;IACpC,MAAM,YAAY,GAAkB,EAAE,CAAC;IAEvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE;QAC9B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YACpC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;YACzB,IAAI,sBAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC5C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACxB;iBAAM;gBACH,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC3B;SACJ;KACJ;IAED,IAAI,iBAAiB,GAAG,CAAC,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,gBAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAA6C,CAAC,CAAC;IAC3F,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;QACxB,iBAAiB,EAAE,CAAC;QACpB,KAAK,CAAC,MAAM,CAAC,iBAAiB,GAAG,CAAC,EAAE,iBAAiB,GAAG,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE;YAC1B,IAAI,sBAAa,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC1D,KAAK,CAAC,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;aAClF;SACJ;QAGD,KAAK,IAAI,KAAK,GAAG,iBAAiB,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE;YACrD,KAAK,IAAI,KAAK,GAAG,KAAK,EAAE,KAAK,IAAI,iBAAiB,EAAE,KAAK,EAAE,EAAE;gBACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACzC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,iBAAiB,CAAC,CAAC;gBAE1D,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE;oBAC7B,MAAM,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,GAAG,IAAI,CAAC;oBACpD,MAAM,IAAI,GAA2B,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBAC9D,MAAM,KAAK,GAA2B,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;oBACjE,IAAI,IAAI,IAAI,KAAK,EAAE;wBACf,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;qBAC7E;iBACJ;aACJ;SACJ;KACJ;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,OAAO,EAAE,OAAO,EAAE,CAAC;AACvB,CAAC;AAhDD,kBAgDC;AAED,SAAS,QAAQ,CAAC,GAA2B;IACzC,IAAI,CAAC,GAAG;QACJ,OAAO;IACX,IAAI,OAAO,IAAI,GAAG,EAAE;QAChB,OAAO,sBAAa,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;KAC3D;IACD,OAAO,sBAAa,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACzF,CAAC"}
1
+ {"version":3,"file":"cyk.js","sourceRoot":"","sources":["../../../src/parser/algorithms/cyk.ts"],"names":[],"mappings":";;;AAEA,mDAA+C;AAC/C,sCAA0C;AAE1C,SAAgB,GAAG,CAAC,QAAsD,EAAE,QAAQ,GAAG,EAAE;IACrF,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAErC,MAAM,SAAS,GAAkB,EAAE,CAAC;IACpC,MAAM,YAAY,GAAkB,EAAE,CAAC;IAEvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE;QAC9B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YACpC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;YACzB,IAAI,sBAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC5C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACxB;iBAAM;gBACH,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC3B;SACJ;KACJ;IAED,IAAI,iBAAiB,GAAG,CAAC,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,gBAAM,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAA6C,CAAC,CAAC;IAC3F,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;QACxB,iBAAiB,EAAE,CAAC;QACpB,KAAK,CAAC,MAAM,CAAC,iBAAiB,GAAG,CAAC,EAAE,iBAAiB,GAAG,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE;YAC1B,IAAI,sBAAa,CAAC,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE;gBAC1D,KAAK,CAAC,GAAG,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;aAClF;SACJ;QAGD,KAAK,IAAI,KAAK,GAAG,iBAAiB,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE;YACrD,KAAK,IAAI,KAAK,GAAG,KAAK,EAAE,KAAK,IAAI,iBAAiB,EAAE,KAAK,EAAE,EAAE;gBACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACzC,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,EAAE,iBAAiB,CAAC,CAAC;gBAE1D,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE;oBAC7B,MAAM,EAAE,OAAO,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,GAAG,IAAI,CAAC;oBACpD,MAAM,IAAI,GAA2B,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBAC9D,MAAM,KAAK,GAA2B,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;oBACjE,IAAI,IAAI,IAAI,KAAK,EAAE;wBACf,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;qBAC7E;iBACJ;aACJ;SACJ;KACJ;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3F,OAAO,EAAE,OAAO,EAAE,CAAC;AACvB,CAAC;AAhDD,kBAgDC;AAED,SAAS,QAAQ,CAAC,GAA2B;IACzC,IAAI,CAAC,GAAG;QACJ,OAAO;IACX,IAAI,OAAO,IAAI,GAAG,EAAE;QAChB,OAAO,sBAAa,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;KAC3D;IACD,OAAO,sBAAa,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;AACzF,CAAC"}
@@ -24,10 +24,11 @@ function Earley(language, options = {}) {
24
24
  const data = token;
25
25
  nextColumn.data = literal;
26
26
  const { scannable } = previousColumn;
27
- for (let w = scannable.length; w--;) {
27
+ let w = scannable.length;
28
+ while (w--) {
28
29
  const state = scannable[w];
29
30
  const symbol = state.rule.symbols[state.dot];
30
- if (parser_1.ParserUtility.TokenMatchesSymbol(token, symbol)) {
31
+ if (parser_1.ParserUtility.SymbolMatchesToken(symbol, token)) {
31
32
  const next = state.nextState({ data, token, isToken: true, reference: current - 1 });
32
33
  nextColumn.states.push(next);
33
34
  }
@@ -104,12 +105,13 @@ class Column {
104
105
  }
105
106
  }
106
107
  expects() {
107
- return this.states
108
- .filter((state) => {
109
- const nextSymbol = state.rule.symbols[state.dot];
110
- return nextSymbol && typeof nextSymbol !== "string";
111
- })
112
- .map(v => ({ ...v.rule, index: v.dot }));
108
+ const result = [];
109
+ for (const state of this.states) {
110
+ if (state.rule.symbols[state.dot] && typeof state.rule.symbols[state.dot] !== 'string') {
111
+ result.push({ ...state.rule, index: state.dot });
112
+ }
113
+ }
114
+ return result;
113
115
  }
114
116
  complete(left, right) {
115
117
  const copy = left.nextState(right);
@@ -1 +1 @@
1
- {"version":3,"file":"earley.js","sourceRoot":"","sources":["../../../src/parser/algorithms/earley.ts"],"names":[],"mappings":";;;AAEA,2DAA0D;AAC1D,sCAA0C;AAM1C,SAAgB,MAAM,CAAC,QAAsD,EAAE,UAA+B,EAAE;IAC5G,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAC5B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtB,MAAM,CAAC,OAAO,EAAE,CAAC;IAEjB,IAAI,OAAO,GAAW,CAAC,CAAC;IAExB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;QACxB,MAAM,cAAc,GAAW,KAAK,CAAC,OAAO,CAAC,CAAC;QAE9C,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;YACxB,OAAO,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;SAC7B;QAED,OAAO,EAAE,CAAC;QAEV,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEvB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC;QACnB,UAAU,CAAC,IAAI,GAAG,OAAO,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,GAAG,cAAc,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG;YACjC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7C,IAAI,sBAAa,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE;gBACjD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrF,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAChC;SACJ;QAED,UAAU,CAAC,OAAO,EAAE,CAAC;QAErB,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;YAChC,MAAM,2BAAa,CAAC,eAAe,CAAC,MAAM,EAAE,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC;SACzE;KACJ;IAED,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,MAAM,EAAE;QACpE,IAAI,IAAI,KAAK,KAAK,IAAI,GAAG,KAAK,OAAO,CAAC,MAAM,IAAI,SAAS,IAAI,CAAC,EAAE;YAC5D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACtB;KACJ;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;AACxC,CAAC;AAnDD,wBAmDC;AAGD,MAAM,MAAM;IAQI;IACD;IARX,IAAI,CAAM;IACV,MAAM,GAAY,EAAE,CAAC;IACrB,KAAK,GAAwB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjD,SAAS,GAAY,EAAE,CAAC;IACxB,SAAS,GAAwB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAErD,YACY,KAAgC,EACjC,KAAa;QADZ,UAAK,GAAL,KAAK,CAA2B;QACjC,UAAK,GAAL,KAAK,CAAQ;IACpB,CAAC;IAGL,OAAO;QACH,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,IAAI,KAAY,CAAC;QAGjB,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE;YAC7B,IAAI,KAAK,CAAC,UAAU,EAAE;gBAClB,KAAK,CAAC,MAAM,EAAE,CAAC;gBACf,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;gBAC3B,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG;oBAChC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;iBACrC;gBAGD,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,KAAK,EAAE;oBAChC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;oBAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBACpC;aACJ;iBAAM;gBACH,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC1C,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE;oBACzB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC3B,SAAS;iBACZ;gBAGD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACjB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAE5B,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;wBACrB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;4BACrC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;yBAC/B;qBACJ;iBACJ;qBAAM;oBACH,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBAC1B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;iBACrB;aACJ;SACJ;IACL,CAAC;IAED,OAAO,CAAC,GAAW;QACf,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO;QAEX,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;YAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACrE;IACL,CAAC;IAED,OAAO;QACH,OAAO,IAAI,CAAC,MAAM;aACb,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;YACd,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACjD,OAAO,UAAU,IAAI,OAAO,UAAU,KAAK,QAAQ,CAAC;QACxD,CAAC,CAAC;aACD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjD,CAAC;IAEO,QAAQ,CAAC,IAAW,EAAE,KAAY;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;CAGJ;AAED,MAAM,KAAK;IAMI;IACA;IACA;IACA;IARX,UAAU,CAAU;IACpB,IAAI,GAAQ,EAAE,CAAC;IACf,IAAI,CAAQ;IACZ,KAAK,CAAqB;IAC1B,YACW,IAAiB,EACjB,GAAW,EACX,SAAiB,EACjB,QAAiB;QAHjB,SAAI,GAAJ,IAAI,CAAa;QACjB,QAAG,GAAH,GAAG,CAAQ;QACX,cAAS,GAAT,SAAS,CAAQ;QACjB,aAAQ,GAAR,QAAQ,CAAS;QAExB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACvD,CAAC;IAED,SAAS,CAAC,KAAyB;QAC/B,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChF,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAClB,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;QACpB,IAAI,KAAK,CAAC,UAAU,EAAE;YAClB,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YAC3B,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC;SAC3B;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAGD,MAAM;QACF,IAAI,CAAC,IAAI,GAAG,sBAAa,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9G,CAAC;IAES,KAAK;QACX,MAAM,QAAQ,GAAG,EAAE,CAAC;QAEpB,IAAI,IAAI,GAAU,IAAI,CAAC;QACvB,GAAG;YACC,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACzC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;SACpB,QAAQ,IAAI,CAAC,IAAI,EAAE;QACpB,OAAO,QAAQ,CAAC;IACpB,CAAC;CACJ"}
1
+ {"version":3,"file":"earley.js","sourceRoot":"","sources":["../../../src/parser/algorithms/earley.ts"],"names":[],"mappings":";;;AAEA,2DAA0D;AAC1D,sCAA0C;AAM1C,SAAgB,MAAM,CAAC,QAAsD,EAAE,UAA+B,EAAE;IAC5G,MAAM,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAC5B,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACpC,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtB,MAAM,CAAC,OAAO,EAAE,CAAC;IAEjB,IAAI,OAAO,GAAW,CAAC,CAAC;IAExB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE;QACxB,MAAM,cAAc,GAAW,KAAK,CAAC,OAAO,CAAC,CAAC;QAE9C,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;YACxB,OAAO,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;SAC7B;QAED,OAAO,EAAE,CAAC;QAEV,MAAM,UAAU,GAAG,IAAI,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAEvB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC;QACnB,UAAU,CAAC,IAAI,GAAG,OAAO,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,GAAG,cAAc,CAAC;QACrC,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;QACzB,OAAO,CAAC,EAAE,EAAE;YACR,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC7C,IAAI,sBAAa,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;gBACjD,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC,CAAC;gBACrF,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAChC;SACJ;QAED,UAAU,CAAC,OAAO,EAAE,CAAC;QAErB,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE;YAChC,MAAM,2BAAa,CAAC,eAAe,CAAC,MAAM,EAAE,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC;SACzE;KACJ;IAED,MAAM,OAAO,GAAG,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,MAAM,EAAE;QACpE,IAAI,IAAI,KAAK,KAAK,IAAI,GAAG,KAAK,OAAO,CAAC,MAAM,IAAI,SAAS,IAAI,CAAC,EAAE;YAC5D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACtB;KACJ;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;AACxC,CAAC;AApDD,wBAoDC;AAGD,MAAM,MAAM;IAQI;IACD;IARX,IAAI,CAAM;IACV,MAAM,GAAY,EAAE,CAAC;IACrB,KAAK,GAAwB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjD,SAAS,GAAY,EAAE,CAAC;IACxB,SAAS,GAAwB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAErD,YACY,KAAgC,EACjC,KAAa;QADZ,UAAK,GAAL,KAAK,CAA2B;QACjC,UAAK,GAAL,KAAK,CAAQ;IACpB,CAAC;IAGL,OAAO;QACH,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,IAAI,KAAY,CAAC;QAGjB,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE;YAC7B,IAAI,KAAK,CAAC,UAAU,EAAE;gBAClB,KAAK,CAAC,MAAM,EAAE,CAAC;gBACf,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;gBAC3B,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG;oBAChC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;iBACrC;gBAGD,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,KAAK,EAAE;oBAChC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC;oBAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;iBACpC;aACJ;iBAAM;gBACH,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC1C,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE;oBACzB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAC3B,SAAS;iBACZ;gBAGD,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;oBACjB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAE5B,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;wBACrB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE;4BACrC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;yBAC/B;qBACJ;iBACJ;qBAAM;oBACH,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBAC1B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;iBACrB;aACJ;SACJ;IACL,CAAC;IAED,OAAO,CAAC,GAAW;QACf,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAChB,OAAO;QAEX,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;YAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACrE;IACL,CAAC;IAED,OAAO;QACH,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE;YAC7B,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,QAAQ,EAAE;gBACpF,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAS,CAAC,CAAA;aAC1D;SACJ;QACD,OAAO,MAAM,CAAC;IAClB,CAAC;IAEO,QAAQ,CAAC,IAAW,EAAE,KAAY;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;CACJ;AAED,MAAM,KAAK;IAMI;IACA;IACA;IACA;IARX,UAAU,CAAU;IACpB,IAAI,GAAQ,EAAE,CAAC;IACf,IAAI,CAAQ;IACZ,KAAK,CAAqB;IAC1B,YACW,IAAiB,EACjB,GAAW,EACX,SAAiB,EACjB,QAAiB;QAHjB,SAAI,GAAJ,IAAI,CAAa;QACjB,QAAG,GAAH,GAAG,CAAQ;QACX,cAAS,GAAT,SAAS,CAAQ;QACjB,aAAQ,GAAR,QAAQ,CAAS;QAExB,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;IACvD,CAAC;IAED,SAAS,CAAC,KAAyB;QAC/B,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChF,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC;QAClB,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC;QACpB,IAAI,KAAK,CAAC,UAAU,EAAE;YAClB,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;YAC3B,KAAK,CAAC,KAAK,GAAG,SAAS,CAAC;SAC3B;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAGD,MAAM;QACF,IAAI,CAAC,IAAI,GAAG,sBAAa,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9G,CAAC;IAES,KAAK;QACX,MAAM,QAAQ,GAAG,EAAE,CAAC;QAEpB,IAAI,IAAI,GAAU,IAAI,CAAC;QACvB,GAAG;YACC,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACzC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;SACpB,QAAQ,IAAI,CAAC,IAAI,EAAE;QACpB,OAAO,QAAQ,CAAC;IACpB,CAAC;CACJ"}
@@ -2,6 +2,20 @@
2
2
  Object.defineProperty(exports, "__esModule", { value: true });
3
3
  exports.LR = void 0;
4
4
  const parser_1 = require("../parser");
5
+ <<<<<<< HEAD
6
+ function LR(language, options = {}) {
7
+ const { grammar, tokens } = language;
8
+ const terminals = [];
9
+ const nonTerminals = [];
10
+ for (const name in grammar.rules) {
11
+ for (const rule of grammar.rules[name]) {
12
+ const { symbols } = rule;
13
+ if (parser_1.ParserUtility.SymbolIsTerminal(symbols[0])) {
14
+ terminals.push(rule);
15
+ }
16
+ else {
17
+ nonTerminals.push(rule);
18
+ =======
5
19
  function LR(language, _options = {}) {
6
20
  const { lr, tokens } = language;
7
21
  const { table } = lr;
@@ -13,6 +27,7 @@ function LR(language, _options = {}) {
13
27
  if (parser_1.ParserUtility.TokenMatchesSymbol(token, symbol)) {
14
28
  stack.push({ symbol, state: table[next], value: token });
15
29
  break;
30
+ >>>>>>> main
16
31
  }
17
32
  }
18
33
  while (stack.current.state?.isFinal) {
@@ -23,6 +38,37 @@ function LR(language, _options = {}) {
23
38
  stack.shift(table[s]);
24
39
  }
25
40
  }
41
+ <<<<<<< HEAD
42
+ const table = new ParsingTable(grammar);
43
+ return { results: [] };
44
+ }
45
+ exports.LR = LR;
46
+ class ParsingTable {
47
+ constructor(grammar) {
48
+ this.grammar = grammar;
49
+ this.states = [];
50
+ this.symbolIds = new IdMap();
51
+ this.ruleIds = new IdMap();
52
+ this.stateIds = new Map();
53
+ this.queue = [];
54
+ this.queue.push({ name: 'S\'', symbols: [grammar.start] });
55
+ let item;
56
+ while (item = this.queue.shift()) {
57
+ this.addRule(item);
58
+ }
59
+ }
60
+ addRule(rule) {
61
+ if (this.ruleIds.map.has(rule))
62
+ return;
63
+ for (let i = 0; i <= rule.symbols.length; i++) {
64
+ this.getStateId(rule, i);
65
+ const symbol = rule.symbols[i];
66
+ if (symbol && !parser_1.ParserUtility.SymbolIsTerminal(symbol)) {
67
+ const subs = this.grammar.rules[symbol];
68
+ this.queue.push(...this.grammar.rules[symbol]);
69
+ }
70
+ }
71
+ =======
26
72
  return { results: [stack.current.value] };
27
73
  }
28
74
  exports.LR = LR;
@@ -33,6 +79,7 @@ class LRStack {
33
79
  }
34
80
  get previous() {
35
81
  return this.stack[this.stack.length - 2];
82
+ >>>>>>> main
36
83
  }
37
84
  shift(state) {
38
85
  this.current.state = state;
@@ -1 +1,5 @@
1
- {"version":3,"file":"lr.js","sourceRoot":"","sources":["../../../src/parser/algorithms/lr.ts"],"names":[],"mappings":";;;AAGA,sCAA0C;AAE1C,SAAgB,EAAE,CAAC,QAAsD,EAAE,QAAQ,GAAG,EAAE;IACpF,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAChC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACrB,MAAM,KAAK,GAAG,IAAI,OAAO,EAAE,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAEpC,IAAI,KAAK,CAAC;IAGV,OAAO,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE;QAC1B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;YACxD,IAAI,sBAAa,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE;gBACjD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACzD,MAAM;aACT;SACJ;QAED,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;YACxC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,sBAAa,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAChG,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;SACzB;KACJ;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7C,CAAC;AA3BD,gBA2BC;AAGD,MAAM,OAAO;IAET,KAAK,GAAkB,EAAE,CAAC;IAE1B,IAAI,OAAO;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,KAAc;QAChB,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,IAAiB;QACpB,MAAM,CAAC,GAAG,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9B,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC;QACd,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,CAAC,IAA0B;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACtC,CAAC;CACJ;AAED,MAAM,WAAW;IACb,QAAQ,GAAkB,EAAE,CAAC;IAC7B,KAAK,CAAU;IACf,MAAM,CAAoB;IAC1B,IAAI,CAAc;IAClB,KAAK,CAAM;CACd"}
1
+ <<<<<<< HEAD
2
+ {"version":3,"file":"lr.js","sourceRoot":"","sources":["../../../src/parser/algorithms/lr.ts"],"names":[],"mappings":";;;AAEA,sCAA0C;AAE1C,SAAgB,EAAE,CAAC,QAAsD,EAAE,OAAO,GAAG,EAAE;IACnF,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAErC,MAAM,SAAS,GAAkB,EAAE,CAAC;IACpC,MAAM,YAAY,GAAkB,EAAE,CAAC;IAEvC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE;QAC9B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YACpC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;YACzB,IAAI,sBAAa,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC5C,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACxB;iBAAM;gBACH,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aAC3B;SACJ;KACJ;IACD,MAAM,KAAK,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC;IAExC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAnBD,gBAmBC;AAGD,MAAM,YAAY;IAOd,YAAoB,OAAsC;QAAtC,YAAO,GAAP,OAAO,CAA+B;QAN1D,WAAM,GAAU,EAAE,CAAC;QACnB,cAAS,GAAsC,IAAI,KAAK,EAAE,CAAC;QAC3D,YAAO,GAAgC,IAAI,KAAK,EAAE,CAAC;QACnD,aAAQ,GAAwB,IAAI,GAAG,EAAE,CAAC;QAC1C,UAAK,GAAkB,EAAE,CAAC;QAGtB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3D,IAAI,IAAiB,CAAC;QACtB,OAAO,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE;YAC9B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;SACtB;IAEL,CAAC;IAED,OAAO,CAAC,IAAiB;QACrB,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAC1B,OAAO;QAEX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC3C,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,MAAM,IAAI,CAAC,sBAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE;gBACnD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAgB,CAAC,CAAC;gBAClD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAgB,CAAC,CAAC,CAAC;aAC5D;SACJ;IACL,CAAC;IAED,UAAU,CAAC,IAAiB,EAAE,GAAW;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC;QAC/E,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;YAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAA;YAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;SACxD;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAExC,CAAC;CACJ;AAED,MAAM,KAAK;IAAX;QACY,OAAE,GAAG,CAAC,CAAC;QAEf,QAAG,GAAmB,IAAI,GAAG,EAAE,CAAC;IAQpC,CAAC;IANG,KAAK,CAAC,GAAM;QACR,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YACpB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;SAChC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;CACJ"}
3
+ =======
4
+ {"version":3,"file":"lr.js","sourceRoot":"","sources":["../../../src/parser/algorithms/lr.ts"],"names":[],"mappings":";;;AAGA,sCAA0C;AAE1C,SAAgB,EAAE,CAAC,QAAsD,EAAE,QAAQ,GAAG,EAAE;IACpF,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IAChC,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACrB,MAAM,KAAK,GAAG,IAAI,OAAO,EAAE,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAEpC,IAAI,KAAK,CAAC;IAGV,OAAO,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE;QAC1B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;YACxD,IAAI,sBAAa,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE;gBACjD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACzD,MAAM;aACT;SACJ;QAED,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;YACxC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,sBAAa,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAChG,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;SACzB;KACJ;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7C,CAAC;AA3BD,gBA2BC;AAGD,MAAM,OAAO;IAET,KAAK,GAAkB,EAAE,CAAC;IAE1B,IAAI,OAAO;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,KAAK,CAAC,KAAc;QAChB,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,IAAiB;QACpB,MAAM,CAAC,GAAG,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9B,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC;QACd,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,IAAI,CAAC,IAA0B;QAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACtC,CAAC;CACJ;AAED,MAAM,WAAW;IACb,QAAQ,GAAkB,EAAE,CAAC;IAC7B,KAAK,CAAU;IACf,MAAM,CAAoB;IAC1B,IAAI,CAAc;IAClB,KAAK,CAAM;CACd"}
5
+ >>>>>>> main
@@ -0,0 +1,7 @@
1
+ import { TokenBuffer } from "../../lexers/token-buffer";
2
+ import { LanguageDefinition } from "../../typings";
3
+ export declare function LR0(language: LanguageDefinition & {
4
+ tokens: TokenBuffer;
5
+ }, options?: {}): {
6
+ results: any[];
7
+ };
@@ -0,0 +1,156 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.LR0 = void 0;
4
+ const parser_1 = require("../parser");
5
+ function LR0(language, options = {}) {
6
+ var _a;
7
+ const { grammar, tokens } = language;
8
+ const collection = new CanonicalCollection(grammar);
9
+ const stack = new LRStack();
10
+ const s = collection.states.get('0.0');
11
+ stack.append(s.rule.name);
12
+ stack.shift(s);
13
+ let token;
14
+ while (token = tokens.next()) {
15
+ for (const [symbol, state] of stack.current.state.actions) {
16
+ if (parser_1.ParserUtility.SymbolMatchesToken(symbol, token)) {
17
+ stack.append(symbol);
18
+ stack.shift(collection.states.get(state));
19
+ stack.current.value = token;
20
+ break;
21
+ }
22
+ }
23
+ while ((_a = stack.current.state) === null || _a === void 0 ? void 0 : _a.isFinal) {
24
+ const rule = collection.rules.getItem(stack.current.state.reduce);
25
+ stack.reduce(rule);
26
+ stack.current.value = parser_1.ParserUtility.PostProcess(rule, stack.current.children.map(v => v.value));
27
+ const s = stack.previous.state.goto.get(rule.name);
28
+ stack.shift(collection.states.get(s));
29
+ }
30
+ }
31
+ return { results: [stack.current.value] };
32
+ }
33
+ exports.LR0 = LR0;
34
+ class Node {
35
+ constructor() {
36
+ this.children = [];
37
+ }
38
+ }
39
+ class LRStack {
40
+ constructor() {
41
+ this.stack = [];
42
+ }
43
+ get current() {
44
+ return this.stack[this.stack.length - 1];
45
+ }
46
+ get previous() {
47
+ return this.stack[this.stack.length - 2];
48
+ }
49
+ shift(state) {
50
+ this.current.state = state;
51
+ }
52
+ reduce(rule) {
53
+ const n = new Node();
54
+ const l = rule.symbols.length;
55
+ n.children = this.stack.splice(l * -1, l);
56
+ n.children.forEach(v => delete v.state);
57
+ n.rule = rule;
58
+ n.symbol = rule.name;
59
+ this.stack.push(n);
60
+ }
61
+ append(symbol) {
62
+ this.stack.push(new Node());
63
+ this.current.symbol = symbol;
64
+ }
65
+ }
66
+ class CanonicalCollection {
67
+ constructor(grammar) {
68
+ this.grammar = grammar;
69
+ this.rules = new IdMap();
70
+ this.states = new Map();
71
+ const augment = Symbol();
72
+ const augmented = { name: augment, symbols: [grammar.start] };
73
+ grammar['rules'][augment] = [augmented];
74
+ this.rules.getId(augmented);
75
+ this.addState(grammar['rules'][augment][0], 0);
76
+ this.linkStates('0.0', new Set());
77
+ }
78
+ addState(rule, dot) {
79
+ const id = this.getStateId(rule, dot);
80
+ if (this.states.has(id))
81
+ return;
82
+ const state = new State(this.grammar, rule, dot);
83
+ this.states.set(id, state);
84
+ if (!state.isFinal)
85
+ for (let i = 0; i < state.items.length; i++) {
86
+ const item = state.items[i];
87
+ this.addState(item.rule, item.dot + 1);
88
+ }
89
+ }
90
+ getStateId(rule, dot) {
91
+ return this.rules.getId(rule) + '.' + dot;
92
+ }
93
+ linkStates(id, completed) {
94
+ completed.add(id);
95
+ const state = this.states.get(id);
96
+ if (!state.isFinal) {
97
+ for (let i = 0; i < state.items.length; i++) {
98
+ const item = state.items[i];
99
+ const symbol = item.rule.symbols[item.dot];
100
+ const itemStateId = this.getStateId(item.rule, item.dot + 1);
101
+ if (parser_1.ParserUtility.SymbolIsTerminal(symbol) && typeof symbol != 'symbol') {
102
+ state.actions.set(symbol, itemStateId);
103
+ }
104
+ else {
105
+ state.goto.set(symbol, itemStateId);
106
+ }
107
+ if (!completed.has(itemStateId))
108
+ this.linkStates(itemStateId, completed);
109
+ }
110
+ }
111
+ else {
112
+ state.reduce = this.rules.getId(state.rule);
113
+ }
114
+ }
115
+ }
116
+ class State {
117
+ constructor(grammar, rule, dot) {
118
+ this.rule = rule;
119
+ this.items = [];
120
+ this.isFinal = false;
121
+ this.actions = new Map();
122
+ this.goto = new Map();
123
+ if (rule.symbols.length == dot)
124
+ this.isFinal = true;
125
+ this.addClosure(grammar, rule, dot);
126
+ }
127
+ addClosure(grammar, rule, dot, visited = new Set()) {
128
+ const symbol = rule.symbols[dot];
129
+ if (visited.has(symbol))
130
+ return;
131
+ visited.add(symbol);
132
+ this.items.push({ rule, dot });
133
+ if (!parser_1.ParserUtility.SymbolIsTerminal(symbol)) {
134
+ grammar
135
+ .rules[symbol]
136
+ .forEach(v => this.addClosure(grammar, v, 0, visited));
137
+ }
138
+ }
139
+ }
140
+ class IdMap {
141
+ constructor() {
142
+ this.map = new Map();
143
+ this.items = [];
144
+ }
145
+ getId(ref) {
146
+ if (!this.map.has(ref)) {
147
+ this.map.set(ref, this.items.length);
148
+ this.items.push(ref);
149
+ }
150
+ return this.map.get(ref);
151
+ }
152
+ getItem(ref) {
153
+ return this.items[ref];
154
+ }
155
+ }
156
+ //# sourceMappingURL=lr0.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"lr0.js","sourceRoot":"","sources":["../../../src/parser/algorithms/lr0.ts"],"names":[],"mappings":";;;AAEA,sCAA0C;AAE1C,SAAgB,GAAG,CAAC,QAAsD,EAAE,OAAO,GAAG,EAAE;;IACpF,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IACrC,MAAM,UAAU,GAAG,IAAI,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,OAAO,EAAE,CAAC;IAC5B,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACvC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACf,IAAI,KAAK,CAAC;IAEV,OAAO,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE;QAC1B,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;YACvD,IAAI,sBAAa,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;gBACjD,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACrB,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC1C,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;gBAC5B,MAAM;aACT;SACJ;QACD,OAAO,MAAA,KAAK,CAAC,OAAO,CAAC,KAAK,0CAAE,OAAO,EAAE;YACjC,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAClE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,sBAAa,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAChG,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SAEzC;KACJ;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7C,CAAC;AA7BD,kBA6BC;AAED,MAAM,IAAI;IAAV;QACI,aAAQ,GAAW,EAAE,CAAC;IAK1B,CAAC;CAAA;AAED,MAAM,OAAO;IAAb;QAEI,UAAK,GAAW,EAAE,CAAC;IA6BvB,CAAC;IA3BG,IAAI,OAAO;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,IAAI,QAAQ;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAGD,KAAK,CAAC,KAAY;QACd,IAAI,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;IAC/B,CAAC;IAED,MAAM,CAAC,IAAiB;QACpB,MAAM,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAC9B,CAAC,CAAC,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC;QACd,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;QACrB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,MAAM,CAAC,MAAyB;QAC5B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAA;QAC3B,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC;IACjC,CAAC;CACJ;AAED,MAAM,mBAAmB;IAIrB,YAAmB,OAAsC;QAAtC,YAAO,GAAP,OAAO,CAA+B;QAHzD,UAAK,GAAuB,IAAI,KAAK,EAAE,CAAC;QACxC,WAAM,GAAuB,IAAI,GAAG,EAAE,CAAC;QAGnC,MAAM,OAAO,GAAQ,MAAM,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAA;QAC7D,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC5B,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACtC,CAAC;IAED,QAAQ,CAAC,IAAiB,EAAE,GAAW;QACnC,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO;QAEX,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAEjD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAE3B,IAAI,CAAC,KAAK,CAAC,OAAO;YACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACzC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;aAC1C;IACT,CAAC;IAED,UAAU,CAAC,IAAiB,EAAE,GAAW;QACrC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC;IAC9C,CAAC;IAGD,UAAU,CAAC,EAAU,EAAE,SAAsB;QACzC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE;YAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACzC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBAC7D,IAAI,sBAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,IAAI,QAAQ,EAAE;oBACrE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;iBAC1C;qBAAM;oBACH,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;iBACvC;gBACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC;oBAC3B,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;aAC/C;SACJ;aAAM;YACH,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SAC/C;IACL,CAAC;CACJ;AAGD,MAAM,KAAK;IAOP,YACI,OAAsC,EAC/B,IAAiB,EACxB,GAAW;QADJ,SAAI,GAAJ,IAAI,CAAa;QAR5B,UAAK,GAAyC,EAAE,CAAC;QACjD,YAAO,GAAG,KAAK,CAAC;QAChB,YAAO,GAAmC,IAAI,GAAG,EAAE,CAAC;QACpD,SAAI,GAAmC,IAAI,GAAG,EAAE,CAAC;QAQ7C,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG;YAC1B,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACxB,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACxC,CAAC;IAEO,UAAU,CAAC,OAAsC,EAAE,IAAiB,EAAE,GAAW,EAAE,UAAkC,IAAI,GAAG,EAAE;QAClI,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;YACnB,OAAO;QACX,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAE/B,IAAI,CAAC,sBAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE;YACzC,OAAO;iBACF,KAAK,CAAC,MAAgB,CAAC;iBACvB,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;SAC9D;IACL,CAAC;CACJ;AAED,MAAM,KAAK;IAAX;QAEI,QAAG,GAAmB,IAAI,GAAG,EAAE,CAAC;QACxB,UAAK,GAAQ,EAAE,CAAC;IAc5B,CAAC;IAZG,KAAK,CAAC,GAAM;QACR,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YACpB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACxB;QAED,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO,CAAC,GAAW;QACf,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;CACJ"}
@@ -0,0 +1,7 @@
1
+ import { TokenBuffer } from "../../../lexers/token-buffer";
2
+ import { LanguageDefinition } from "../../../typings";
3
+ export declare function LRK(language: LanguageDefinition & {
4
+ tokens: TokenBuffer;
5
+ }, options?: {}): {
6
+ results: any[];
7
+ };
@@ -0,0 +1,35 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.LRK = void 0;
4
+ const parser_1 = require("../../parser");
5
+ const canonical_collection_1 = require("./canonical-collection");
6
+ const stack_1 = require("./stack");
7
+ function LRK(language, options = {}) {
8
+ const { grammar, tokens } = language;
9
+ const { states, rules: rules } = new canonical_collection_1.CanonicalCollection(grammar);
10
+ const stack = new stack_1.LRStack();
11
+ const s = states.get('0.0');
12
+ stack.append(s.rule.name);
13
+ stack.shift(s);
14
+ let token;
15
+ while (token = tokens.next()) {
16
+ for (const [symbol, state] of stack.current.state.actions) {
17
+ if (parser_1.ParserUtility.SymbolMatchesToken(symbol, token)) {
18
+ stack.append(symbol);
19
+ stack.shift(states.get(state));
20
+ stack.current.value = token;
21
+ break;
22
+ }
23
+ }
24
+ while (stack.current.state?.isFinal) {
25
+ const rule = rules.fetch(stack.current.state.reduce);
26
+ stack.reduce(rule);
27
+ stack.current.value = parser_1.ParserUtility.PostProcess(rule, stack.current.children.map(v => v.value));
28
+ const s = stack.previous.state.goto.get(rule.name);
29
+ stack.shift(states.get(s));
30
+ }
31
+ }
32
+ return { results: [stack.current.value] };
33
+ }
34
+ exports.LRK = LRK;
35
+ //# sourceMappingURL=algorithm.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"algorithm.js","sourceRoot":"","sources":["../../../../src/parser/algorithms/lrk/algorithm.ts"],"names":[],"mappings":";;;AAEA,yCAA6C;AAC7C,iEAA6D;AAC7D,mCAAkC;AAElC,SAAgB,GAAG,CAAC,QAAsD,EAAE,OAAO,GAAG,EAAE;IACpF,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;IACrC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,0CAAmB,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,eAAO,EAAE,CAAC;IAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5B,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACf,IAAI,KAAK,CAAC;IAEV,OAAO,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE;QAC1B,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;YACvD,IAAI,sBAAa,CAAC,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;gBACjD,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACrB,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC/B,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,KAAK,CAAC;gBAC5B,MAAM;aACT;SACJ;QACD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,KAAK,CAAC,OAAO,CAAC,KAAK,GAAG,sBAAa,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YAChG,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SAE9B;KACJ;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7C,CAAC;AA7BD,kBA6BC"}
@@ -0,0 +1,6 @@
1
+ export declare class BiMap<T> {
2
+ private map;
3
+ private items;
4
+ id(ref: T): number;
5
+ fetch(index: number): T;
6
+ }
@@ -0,0 +1,19 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.BiMap = void 0;
4
+ class BiMap {
5
+ map = new Map();
6
+ items = [];
7
+ id(ref) {
8
+ if (!this.map.has(ref)) {
9
+ this.map.set(ref, this.items.length);
10
+ this.items.push(ref);
11
+ }
12
+ return this.map.get(ref);
13
+ }
14
+ fetch(index) {
15
+ return this.items[index];
16
+ }
17
+ }
18
+ exports.BiMap = BiMap;
19
+ //# sourceMappingURL=bimap.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"bimap.js","sourceRoot":"","sources":["../../../../src/parser/algorithms/lrk/bimap.ts"],"names":[],"mappings":";;;AAAA,MAAa,KAAK;IACN,GAAG,GAAmB,IAAI,GAAG,EAAE,CAAC;IAChC,KAAK,GAAQ,EAAE,CAAC;IAExB,EAAE,CAAC,GAAM;QACL,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YACpB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;SACxB;QAED,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAED,KAAK,CAAC,KAAa;QACf,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;CACJ;AAhBD,sBAgBC"}
@@ -0,0 +1,14 @@
1
+ import { GrammarRule, GrammarRuleSymbol, LanguageDefinition } from "../../../typings";
2
+ import { BiMap } from "./bimap";
3
+ import { State } from "./state";
4
+ export declare class CanonicalCollection {
5
+ grammar: LanguageDefinition['grammar'];
6
+ states: Map<string, State>;
7
+ rules: BiMap<GrammarRule>;
8
+ terminals: BiMap<GrammarRuleSymbol>;
9
+ private closure;
10
+ constructor(grammar: LanguageDefinition['grammar']);
11
+ private addState;
12
+ private linkStates;
13
+ private getStateId;
14
+ }
@@ -0,0 +1,73 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.CanonicalCollection = void 0;
4
+ const parser_1 = require("../../parser");
5
+ const bimap_1 = require("./bimap");
6
+ const closure_1 = require("./closure");
7
+ class CanonicalCollection {
8
+ grammar;
9
+ states = new Map();
10
+ rules = new bimap_1.BiMap();
11
+ terminals = new bimap_1.BiMap();
12
+ closure;
13
+ constructor(grammar) {
14
+ this.grammar = grammar;
15
+ const augmented = {
16
+ name: Symbol(),
17
+ symbols: [grammar.start]
18
+ };
19
+ grammar['rules'][augmented.name] = [augmented];
20
+ this.closure = new closure_1.ClosureBuilder(grammar);
21
+ this.rules.id(augmented);
22
+ this.addState(grammar['rules'][augmented.name][0], 0);
23
+ this.linkStates('0.0');
24
+ }
25
+ addState(rule, dot) {
26
+ const id = this.getStateId(rule, dot);
27
+ if (this.states.has(id))
28
+ return;
29
+ const state = {
30
+ items: [],
31
+ isFinal: false,
32
+ actions: new Map(),
33
+ goto: new Map(),
34
+ reduce: null,
35
+ rule: rule
36
+ };
37
+ state.items.push({ rule, dot });
38
+ if (rule.symbols.length == dot)
39
+ state.isFinal = true;
40
+ this.states.set(id, state);
41
+ state.items.push(...this.closure.get(rule.symbols[dot]));
42
+ if (!state.isFinal)
43
+ for (const { rule, dot } of state.items) {
44
+ this.addState(rule, dot + 1);
45
+ }
46
+ }
47
+ linkStates(id, completed = new Set()) {
48
+ completed.add(id);
49
+ const state = this.states.get(id);
50
+ if (!state.isFinal) {
51
+ for (const { rule, dot } of state.items) {
52
+ const symbol = rule.symbols[dot];
53
+ const itemStateId = this.getStateId(rule, dot + 1);
54
+ if (parser_1.ParserUtility.SymbolIsTerminal(symbol) && typeof symbol != 'symbol') {
55
+ state.actions.set(symbol, itemStateId);
56
+ }
57
+ else {
58
+ state.goto.set(symbol, itemStateId);
59
+ }
60
+ if (!completed.has(itemStateId))
61
+ this.linkStates(itemStateId, completed);
62
+ }
63
+ }
64
+ else {
65
+ state.reduce = this.rules.id(state.rule);
66
+ }
67
+ }
68
+ getStateId(rule, dot) {
69
+ return this.rules.id(rule) + '.' + dot;
70
+ }
71
+ }
72
+ exports.CanonicalCollection = CanonicalCollection;
73
+ //# sourceMappingURL=canonical-collection.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"canonical-collection.js","sourceRoot":"","sources":["../../../../src/parser/algorithms/lrk/canonical-collection.ts"],"names":[],"mappings":";;;AACA,yCAA6C;AAC7C,mCAAgC;AAChC,uCAA2C;AAG3C,MAAa,mBAAmB;IAOjB;IANX,MAAM,GAAuB,IAAI,GAAG,EAAE,CAAC;IACvC,KAAK,GAAuB,IAAI,aAAK,EAAE,CAAC;IACxC,SAAS,GAA6B,IAAI,aAAK,EAAE,CAAC;IAE1C,OAAO,CAAiB;IAChC,YACW,OAAsC;QAAtC,YAAO,GAAP,OAAO,CAA+B;QAE7C,MAAM,SAAS,GAAG;YACd,IAAI,EAAE,MAAM,EAAuB;YACnC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;SAC3B,CAAA;QACD,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO,GAAG,IAAI,wBAAc,CAAC,OAAO,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAEO,QAAQ,CAAC,IAAiB,EAAE,GAAW;QAC3C,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO;QAEX,MAAM,KAAK,GAAU;YACjB,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,IAAI,GAAG,EAAE;YAClB,IAAI,EAAE,IAAI,GAAG,EAAE;YACf,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,IAAI;SACb,CAAA;QAED,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,GAAG;YAC1B,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QAEzB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAE3B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAW,CAAC,CAAC,CAAA;QAElE,IAAI,CAAC,KAAK,CAAC,OAAO;YACd,KAAK,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE;gBACrC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;aAChC;IACT,CAAC;IAEO,UAAU,CAAC,EAAU,EAAE,YAAyB,IAAI,GAAG,EAAE;QAC7D,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE;YAChB,KAAK,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,CAAC,KAAK,EAAE;gBACrC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACjC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;gBACnD,IAAI,sBAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,OAAO,MAAM,IAAI,QAAQ,EAAE;oBACrE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;iBAC1C;qBAAM;oBACH,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;iBACvC;gBAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC;oBAC3B,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;aAC/C;SACJ;aAAM;YACH,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SAC5C;IACL,CAAC;IAEO,UAAU,CAAC,IAAiB,EAAE,GAAW;QAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC;IAC3C,CAAC;CACJ;AAxED,kDAwEC"}
@@ -0,0 +1,10 @@
1
+ import { GrammarRule, LanguageDefinition } from "../../../typings";
2
+ export declare class ClosureBuilder {
3
+ private grammar;
4
+ constructor(grammar: LanguageDefinition['grammar']);
5
+ get(rule: string): {
6
+ rule: GrammarRule;
7
+ dot: number;
8
+ }[];
9
+ private addClosure;
10
+ }
@@ -0,0 +1,30 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", { value: true });
3
+ exports.ClosureBuilder = void 0;
4
+ const parser_1 = require("../../parser");
5
+ class ClosureBuilder {
6
+ grammar;
7
+ constructor(grammar) {
8
+ this.grammar = grammar;
9
+ }
10
+ get(rule) {
11
+ const closure = { items: [], visited: new Set() };
12
+ this.addClosure(closure, rule);
13
+ return closure.items;
14
+ }
15
+ addClosure(closure, symbol) {
16
+ if (!parser_1.ParserUtility.SymbolIsTerminal(symbol)) {
17
+ const key = symbol;
18
+ if (!(closure.visited.has(key))) {
19
+ closure.visited.add(key);
20
+ const rules = this.grammar.rules[key];
21
+ for (const rule of rules) {
22
+ closure.items.push({ rule, dot: 0 });
23
+ this.addClosure(closure, rule.symbols[0]);
24
+ }
25
+ }
26
+ }
27
+ }
28
+ }
29
+ exports.ClosureBuilder = ClosureBuilder;
30
+ //# sourceMappingURL=closure.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"closure.js","sourceRoot":"","sources":["../../../../src/parser/algorithms/lrk/closure.ts"],"names":[],"mappings":";;;AACA,yCAA4C;AAE5C,MAAa,cAAc;IAEX;IADZ,YACY,OAAsC;QAAtC,YAAO,GAAP,OAAO,CAA+B;IAC9C,CAAC;IAEL,GAAG,CAAC,IAAY;QACZ,MAAM,OAAO,GAAgB,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAC/D,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/B,OAAO,OAAO,CAAC,KAAK,CAAC;IACzB,CAAC;IAEO,UAAU,CAAC,OAAoB,EAAE,MAAyB;QAC9D,IAAI,CAAC,sBAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE;YACzC,MAAM,GAAG,GAAG,MAAgB,CAAC;YAC7B,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE;gBAC7B,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAEzB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;oBACtB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;oBACpC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;iBAC7C;aACJ;SACJ;IACL,CAAC;CACJ;AAzBD,wCAyBC"}
@@ -0,0 +1,19 @@
1
+ import { GrammarRule, GrammarRuleSymbol } from "../../../typings";
2
+ import { State } from "./state";
3
+ export declare class LRStack {
4
+ stack: LRStackItem[];
5
+ get current(): LRStackItem;
6
+ get previous(): LRStackItem;
7
+ shift(state: State): void;
8
+ reduce(rule: GrammarRule): void;
9
+ append(symbol: GrammarRuleSymbol): void;
10
+ static NewItem(): LRStackItem;
11
+ }
12
+ interface LRStackItem {
13
+ children: LRStackItem[];
14
+ state: State;
15
+ symbol: GrammarRuleSymbol;
16
+ rule: GrammarRule;
17
+ value: any;
18
+ }
19
+ export {};