From ed43562cf58e8c0f9390421848879308fdfc60cb Mon Sep 17 00:00:00 2001 From: Ryo Nihei Date: Mon, 28 Mar 2022 22:31:30 +0900 Subject: Add label notation --- grammar/grammar.go | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) (limited to 'grammar/grammar.go') diff --git a/grammar/grammar.go b/grammar/grammar.go index 9d1933b..3f1117c 100644 --- a/grammar/grammar.go +++ b/grammar/grammar.go @@ -677,6 +677,7 @@ func (b *GrammarBuilder) genProductionsAndActions(root *spec.RootNode, symTabAnd LOOP_RHS: for _, alt := range prod.RHS { altSyms := make([]symbol, len(alt.Elements)) + labels := map[string]int{} for i, elem := range alt.Elements { var sym symbol if elem.Pattern != "" { @@ -707,6 +708,28 @@ func (b *GrammarBuilder) genProductionsAndActions(root *spec.RootNode, symTabAnd } } altSyms[i] = sym + + if elem.Label != nil { + if _, added := labels[elem.Label.Name]; added { + b.errs = append(b.errs, &verr.SpecError{ + Cause: semErrDuplicateLabel, + Detail: elem.Label.Name, + Row: elem.Label.Pos.Row, + Col: elem.Label.Pos.Col, + }) + continue LOOP_RHS + } + if _, found := symTab.toSymbol(elem.Label.Name); found { + b.errs = append(b.errs, &verr.SpecError{ + Cause: semErrInvalidLabel, + Detail: elem.Label.Name, + Row: elem.Label.Pos.Row, + Col: elem.Label.Pos.Col, + }) + continue LOOP_RHS + } + labels[elem.Label.Name] = i + } } p, err := newProduction(lhsSym, altSyms) -- cgit v1.2.3