diff options
| author | Ryo Nihei <nihei.dev@gmail.com> | 2022-05-09 23:52:56 +0900 |
|---|---|---|
| committer | Ryo Nihei <nihei.dev@gmail.com> | 2022-05-10 23:14:52 +0900 |
| commit | 054307b6c99ab962cfa9bcb4c4d50f3aea5406ea (patch) | |
| tree | 73aea74559c64f3bcb55f3a39b2399714b616174 /grammar/lalr1_test.go | |
| parent | Change the default suffix of a grammar file from .vr to .vartan (diff) | |
| download | cotia-054307b6c99ab962cfa9bcb4c4d50f3aea5406ea.tar.gz cotia-054307b6c99ab962cfa9bcb4c4d50f3aea5406ea.tar.xz | |
Make the identifier format strict
Diffstat (limited to 'grammar/lalr1_test.go')
| -rw-r--r-- | grammar/lalr1_test.go | 56 |
1 files changed, 28 insertions, 28 deletions
diff --git a/grammar/lalr1_test.go b/grammar/lalr1_test.go index 94dfd65..2f8074b 100644 --- a/grammar/lalr1_test.go +++ b/grammar/lalr1_test.go @@ -12,9 +12,9 @@ func TestGenLALR1Automaton(t *testing.T) { src := ` #name test; -S: L eq R | R; -L: ref R | id; -R: L; +s: l eq r | r; +l: ref r | id; +r: l; eq: '='; ref: '*'; id: "[A-Za-z0-9_]+"; @@ -66,35 +66,35 @@ id: "[A-Za-z0-9_]+"; expectedKernels := map[int][]*lrItem{ 0: { - withLookAhead(genLR0Item("S'", 0, "S"), symbolEOF), + withLookAhead(genLR0Item("s'", 0, "s"), symbolEOF), }, 1: { - withLookAhead(genLR0Item("S'", 1, "S"), symbolEOF), + withLookAhead(genLR0Item("s'", 1, "s"), symbolEOF), }, 2: { - withLookAhead(genLR0Item("S", 1, "L", "eq", "R"), symbolEOF), - withLookAhead(genLR0Item("R", 1, "L"), symbolEOF), + withLookAhead(genLR0Item("s", 1, "l", "eq", "r"), symbolEOF), + withLookAhead(genLR0Item("r", 1, "l"), symbolEOF), }, 3: { - withLookAhead(genLR0Item("S", 1, "R"), symbolEOF), + withLookAhead(genLR0Item("s", 1, "r"), symbolEOF), }, 4: { - withLookAhead(genLR0Item("L", 1, "ref", "R"), genSym("eq"), symbolEOF), + withLookAhead(genLR0Item("l", 1, "ref", "r"), genSym("eq"), symbolEOF), }, 5: { - withLookAhead(genLR0Item("L", 1, "id"), genSym("eq"), symbolEOF), + withLookAhead(genLR0Item("l", 1, "id"), genSym("eq"), symbolEOF), }, 6: { - withLookAhead(genLR0Item("S", 2, "L", "eq", "R"), symbolEOF), + withLookAhead(genLR0Item("s", 2, "l", "eq", "r"), symbolEOF), }, 7: { - withLookAhead(genLR0Item("L", 2, "ref", "R"), genSym("eq"), symbolEOF), + withLookAhead(genLR0Item("l", 2, "ref", "r"), genSym("eq"), symbolEOF), }, 8: { - withLookAhead(genLR0Item("R", 1, "L"), genSym("eq"), symbolEOF), + withLookAhead(genLR0Item("r", 1, "l"), genSym("eq"), symbolEOF), }, 9: { - withLookAhead(genLR0Item("S", 3, "L", "eq", "R"), symbolEOF), + withLookAhead(genLR0Item("s", 3, "l", "eq", "r"), symbolEOF), }, } @@ -102,9 +102,9 @@ id: "[A-Za-z0-9_]+"; { kernelItems: expectedKernels[0], nextStates: map[symbol][]*lrItem{ - genSym("S"): expectedKernels[1], - genSym("L"): expectedKernels[2], - genSym("R"): expectedKernels[3], + genSym("s"): expectedKernels[1], + genSym("l"): expectedKernels[2], + genSym("r"): expectedKernels[3], genSym("ref"): expectedKernels[4], genSym("id"): expectedKernels[5], }, @@ -114,7 +114,7 @@ id: "[A-Za-z0-9_]+"; kernelItems: expectedKernels[1], nextStates: map[symbol][]*lrItem{}, reducibleProds: []*production{ - genProd("S'", "S"), + genProd("s'", "s"), }, }, { @@ -123,21 +123,21 @@ id: "[A-Za-z0-9_]+"; genSym("eq"): expectedKernels[6], }, reducibleProds: []*production{ - genProd("R", "L"), + genProd("r", "l"), }, }, { kernelItems: expectedKernels[3], nextStates: map[symbol][]*lrItem{}, reducibleProds: []*production{ - genProd("S", "R"), + genProd("s", "r"), }, }, { kernelItems: expectedKernels[4], nextStates: map[symbol][]*lrItem{ - genSym("R"): expectedKernels[7], - genSym("L"): expectedKernels[8], + genSym("r"): expectedKernels[7], + genSym("l"): expectedKernels[8], genSym("ref"): expectedKernels[4], genSym("id"): expectedKernels[5], }, @@ -147,14 +147,14 @@ id: "[A-Za-z0-9_]+"; kernelItems: expectedKernels[5], nextStates: map[symbol][]*lrItem{}, reducibleProds: []*production{ - genProd("L", "id"), + genProd("l", "id"), }, }, { kernelItems: expectedKernels[6], nextStates: map[symbol][]*lrItem{ - genSym("R"): expectedKernels[9], - genSym("L"): expectedKernels[8], + genSym("r"): expectedKernels[9], + genSym("l"): expectedKernels[8], genSym("ref"): expectedKernels[4], genSym("id"): expectedKernels[5], }, @@ -164,21 +164,21 @@ id: "[A-Za-z0-9_]+"; kernelItems: expectedKernels[7], nextStates: map[symbol][]*lrItem{}, reducibleProds: []*production{ - genProd("L", "ref", "R"), + genProd("l", "ref", "r"), }, }, { kernelItems: expectedKernels[8], nextStates: map[symbol][]*lrItem{}, reducibleProds: []*production{ - genProd("R", "L"), + genProd("r", "l"), }, }, { kernelItems: expectedKernels[9], nextStates: map[symbol][]*lrItem{}, reducibleProds: []*production{ - genProd("S", "L", "eq", "R"), + genProd("s", "l", "eq", "r"), }, }, } |