1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
// Copyright 2022 Google LLC
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// https://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
package parser
import (
"fmt"
"testing"
antlr "github.com/antlr/antlr4/runtime/Go/antlr/v4"
)
type errListener struct {
antlr.DefaultErrorListener
errs []error
}
func (l *errListener) SyntaxError(recognizer antlr.Recognizer, offendingSymbol any, line, column int, msg string, e antlr.RecognitionException) {
l.errs = append(l.errs, fmt.Errorf("(%d:%d) %s", line, column, msg))
}
func tryParse(t testing.TB, s string) error {
t.Helper()
l := &errListener{}
is := antlr.NewInputStream(s)
lexer := NewCommandsLexer(is)
lexer.RemoveErrorListeners()
lexer.AddErrorListener(l)
p := NewCommandsParser(antlr.NewCommonTokenStream(lexer, antlr.TokenDefaultChannel))
p.RemoveErrorListeners()
p.AddErrorListener(l)
p.StartCommand()
if len(l.errs) == 0 {
return nil
}
err := l.errs[0].Error()
for _, el := range l.errs[1:] {
err = err + "\n" + el.Error()
}
return fmt.Errorf("parse errors: %s", err)
}
func TestAccept(t *testing.T) {
var testCases = []string{
"%exit",
"%let id = 2",
"%arbitrary",
"%arbitrary --flag -alt_flag 'string arg'",
" ",
"%let y : int = [1, 2, 3]",
"%let fn (y : int) : int -> y + 10",
"%let fn () : int -> 10",
"%let fn (x:int, y : int) : int -> x + y",
"%let fn (x:int, y : int) : int -> x + y",
"%let com.google.fn (x:int, y : int) : int -> x + y",
"%let int.plus (x: int) : int -> this + x",
"%delete id",
"%delete com.google.id",
"%delete int.fn(x:int): int",
"%declare x : int",
"%declare fn (x : int) : int",
"%declare x", // accepted by grammar, but business logic will error
"x + 2", // also an expr
}
for _, tc := range testCases {
err := tryParse(t, tc)
if err != nil {
t.Errorf("parse %s:\ngot %v\nexpected nil", tc, err)
}
}
}
func TestReject(t *testing.T) {
var testCases = []string{
"%declare 1",
"%let 1 = 2",
"%1badid",
"%let fn x : int : int -> x + 2", // parens required
"%let fn (x : int) -> x + 2", // return type required
"x{{", // won't parse as CEL expr
"%declare fn (x: int)", // return type required
"%declare fn (x) : int", // arg type required
}
for _, tc := range testCases {
err := tryParse(t, tc)
if err == nil {
t.Errorf("parse %s got nil, expected error", tc)
}
}
}
|
