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.
- package/bootstrap.ts +14 -7
- package/build/compiler/builtin.json +1 -0
- package/build/compiler/compiler.d.ts +2 -1
- package/build/compiler/compiler.js +43 -24
- package/build/compiler/compiler.js.map +1 -1
- package/build/compiler/gwell.d.ts +1050 -0
- package/build/compiler/gwell.js +555 -0
- package/build/compiler/gwell.js.map +1 -0
- package/build/index.d.ts +1 -0
- package/build/index.js +1 -0
- package/build/index.js.map +1 -1
- package/build/parser/algorithms/cyk.js +1 -1
- package/build/parser/algorithms/cyk.js.map +1 -1
- package/build/parser/algorithms/earley.js +10 -8
- package/build/parser/algorithms/earley.js.map +1 -1
- package/build/parser/algorithms/lr.js +47 -0
- package/build/parser/algorithms/lr.js.map +5 -1
- package/build/parser/algorithms/lr0.d.ts +7 -0
- package/build/parser/algorithms/lr0.js +156 -0
- package/build/parser/algorithms/lr0.js.map +1 -0
- package/build/parser/algorithms/lrk/algorithm.d.ts +7 -0
- package/build/parser/algorithms/lrk/algorithm.js +35 -0
- package/build/parser/algorithms/lrk/algorithm.js.map +1 -0
- package/build/parser/algorithms/lrk/bimap.d.ts +6 -0
- package/build/parser/algorithms/lrk/bimap.js +19 -0
- package/build/parser/algorithms/lrk/bimap.js.map +1 -0
- package/build/parser/algorithms/lrk/canonical-collection.d.ts +14 -0
- package/build/parser/algorithms/lrk/canonical-collection.js +73 -0
- package/build/parser/algorithms/lrk/canonical-collection.js.map +1 -0
- package/build/parser/algorithms/lrk/closure.d.ts +10 -0
- package/build/parser/algorithms/lrk/closure.js +30 -0
- package/build/parser/algorithms/lrk/closure.js.map +1 -0
- package/build/parser/algorithms/lrk/stack.d.ts +19 -0
- package/build/parser/algorithms/lrk/stack.js +39 -0
- package/build/parser/algorithms/lrk/stack.js.map +1 -0
- package/build/parser/algorithms/lrk/state.d.ts +12 -0
- package/build/parser/algorithms/lrk/state.js +3 -0
- package/build/parser/algorithms/lrk/state.js.map +1 -0
- package/build/parser/parser.d.ts +3 -3
- package/build/parser/parser.js +3 -3
- package/build/parser/parser.js.map +1 -1
- package/build/typings.d.ts +1 -0
- package/build/utility/monarch.d.ts +5 -0
- package/build/utility/monarch.js +42 -0
- package/build/utility/monarch.js.map +1 -0
- package/package.json +1 -1
- package/src/compiler/builtin/json.gwell +74 -0
- package/src/compiler/builtin/number.gwell +20 -0
- package/src/compiler/builtin/string.gwell +48 -0
- package/src/compiler/builtin/whitespace.gwell +10 -0
- package/src/compiler/builtin.json +1 -0
- package/src/compiler/compiler.ts +45 -24
- package/src/compiler/gwell.gwell +283 -0
- package/src/compiler/gwell.js +557 -0
- package/src/index.ts +2 -1
- package/src/parser/algorithms/cyk.ts +1 -1
- package/src/parser/algorithms/earley.ts +10 -10
- package/src/parser/algorithms/lrk/algorithm.ts +36 -0
- package/src/parser/algorithms/lrk/bimap.ts +17 -0
- package/src/parser/algorithms/lrk/canonical-collection.ts +79 -0
- package/src/parser/algorithms/lrk/closure.ts +37 -0
- package/src/parser/algorithms/lrk/stack.ts +53 -0
- package/src/parser/algorithms/lrk/state.ts +10 -0
- package/src/parser/parser.ts +5 -5
- package/src/typings.ts +1 -0
- package/src/utility/monarch.ts +36 -0
- package/src/parser/algorithms/lr.ts +0 -74
package/build/index.js.map
CHANGED
|
@@ -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.
|
|
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,
|
|
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
|
-
|
|
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.
|
|
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
|
-
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
112
|
-
|
|
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,
|
|
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
|
-
|
|
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,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,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,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 {};
|