go/hcl
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
effa9a97b5
hcl/zcl/zclsyntax/parser_test.go

343 lines
8.8 KiB
Go
Raw Normal View History

zclsyntax: initial pass at body parsing Only able to parse empty bodies so far.
2017-05-30 02:28:10 +00:00
package zclsyntax
import (
"reflect"
"testing"
"github.com/kylelemons/godebug/pretty"
"github.com/zclconf/go-zcl/zcl"
)
func TestParseConfig(t *testing.T) {
tests := []struct {
input string
diagCount int
want *Body
}{
{
``,
0,
&Body{
Attributes: Attributes{},
Blocks: Blocks{},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 1, Byte: 0},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 1, Byte: 0},
},
},
},
zclsyntax: parsing of nested blocks within bodies
2017-05-30 14:52:22 +00:00
{
`block {}`,
0,
&Body{
Attributes: Attributes{},
Blocks: Blocks{
&Block{
Type: "block",
Labels: nil,
Body: &Body{
Attributes: Attributes{},
Blocks: Blocks{},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 7, Byte: 6},
End: zcl.Pos{Line: 1, Column: 9, Byte: 8},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 9, Byte: 8},
End: zcl.Pos{Line: 1, Column: 9, Byte: 8},
},
},
TypeRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 6, Byte: 5},
},
LabelRanges: nil,
OpenBraceRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 7, Byte: 6},
End: zcl.Pos{Line: 1, Column: 8, Byte: 7},
},
CloseBraceRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 8, Byte: 7},
End: zcl.Pos{Line: 1, Column: 9, Byte: 8},
},
},
},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 9, Byte: 8},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 9, Byte: 8},
End: zcl.Pos{Line: 1, Column: 9, Byte: 8},
},
},
},
{
`block "foo" {}`,
0,
&Body{
Attributes: Attributes{},
Blocks: Blocks{
&Block{
Type: "block",
Labels: []string{"foo"},
Body: &Body{
Attributes: Attributes{},
Blocks: Blocks{},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 13, Byte: 12},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 15, Byte: 14},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
},
TypeRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 6, Byte: 5},
},
LabelRanges: []zcl.Range{
{
Start: zcl.Pos{Line: 1, Column: 7, Byte: 6},
End: zcl.Pos{Line: 1, Column: 12, Byte: 11},
},
},
OpenBraceRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 13, Byte: 12},
End: zcl.Pos{Line: 1, Column: 14, Byte: 13},
},
CloseBraceRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 14, Byte: 13},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
},
},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 15, Byte: 14},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
},
},
zclsyntax: recoverAfterBodyItem implementation This recovery method attempts to place the peeker directly after the newline indicating the end of the current body item. It does this by counting open and close bracketing constructs and then returning when a newline is encountered with no bracketing constructs open. It's designed for use in the "header" part of a body item, with no bracketing constructs open yet. It _might_ work in other situations, but is likely to end up choosing the wrong end point if used in the middle of a bracketed expression that itself contains newlines.
2017-05-31 01:42:45 +00:00
{
`
block "invalid" 1.2 {}
block "valid" {}
`,
1,
&Body{
Attributes: Attributes{},
Blocks: Blocks{
&Block{
Type: "block",
Labels: []string{"invalid"},
Body: nil,
TypeRange: zcl.Range{
Start: zcl.Pos{Line: 2, Column: 1, Byte: 1},
End: zcl.Pos{Line: 2, Column: 6, Byte: 6},
},
LabelRanges: []zcl.Range{
{
Start: zcl.Pos{Line: 2, Column: 7, Byte: 7},
End: zcl.Pos{Line: 2, Column: 16, Byte: 16},
},
},
// Since we failed parsing before we got to the
// braces, the type range is used as a placeholder
// for these.
OpenBraceRange: zcl.Range{
Start: zcl.Pos{Line: 2, Column: 1, Byte: 1},
End: zcl.Pos{Line: 2, Column: 6, Byte: 6},
},
CloseBraceRange: zcl.Range{
Start: zcl.Pos{Line: 2, Column: 1, Byte: 1},
End: zcl.Pos{Line: 2, Column: 6, Byte: 6},
},
},
// Recovery behavior should allow us to still see this
// second block, even though the first was invalid.
&Block{
Type: "block",
Labels: []string{"valid"},
Body: &Body{
Attributes: Attributes{},
Blocks: Blocks{},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 3, Column: 15, Byte: 38},
End: zcl.Pos{Line: 3, Column: 17, Byte: 40},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 3, Column: 17, Byte: 40},
End: zcl.Pos{Line: 3, Column: 17, Byte: 40},
},
},
TypeRange: zcl.Range{
Start: zcl.Pos{Line: 3, Column: 1, Byte: 24},
End: zcl.Pos{Line: 3, Column: 6, Byte: 29},
},
LabelRanges: []zcl.Range{
{
Start: zcl.Pos{Line: 3, Column: 7, Byte: 30},
End: zcl.Pos{Line: 3, Column: 14, Byte: 37},
},
},
OpenBraceRange: zcl.Range{
Start: zcl.Pos{Line: 3, Column: 15, Byte: 38},
End: zcl.Pos{Line: 3, Column: 16, Byte: 39},
},
CloseBraceRange: zcl.Range{
Start: zcl.Pos{Line: 3, Column: 16, Byte: 39},
End: zcl.Pos{Line: 3, Column: 17, Byte: 40},
},
},
},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 4, Column: 1, Byte: 41},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 4, Column: 1, Byte: 41},
End: zcl.Pos{Line: 4, Column: 1, Byte: 41},
},
},
},
zclsyntax: decoding of quoted string literal escape sequences
2017-05-31 02:38:31 +00:00
{
`block "f\o" {}`,
zclsyntax: decode both quoted and unquoted string literals This rewrite of decodeQuotedLit, now called decodeStringLit, is able to handle both cases with a single function, and also now correctly handles situations where double-$ and double-! are not followed immediately by a { symbol, and must thus be treated literally.
2017-05-31 14:16:32 +00:00
1, // "\o" is not a valid escape sequence
zclsyntax: decoding of quoted string literal escape sequences
2017-05-31 02:38:31 +00:00
&Body{
Attributes: Attributes{},
Blocks: Blocks{
&Block{
Type: "block",
Labels: []string{"fo"},
Body: nil,
TypeRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 6, Byte: 5},
},
LabelRanges: []zcl.Range{
{
Start: zcl.Pos{Line: 1, Column: 7, Byte: 6},
End: zcl.Pos{Line: 1, Column: 12, Byte: 11},
},
},
OpenBraceRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 6, Byte: 5},
},
CloseBraceRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 6, Byte: 5},
},
},
},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 15, Byte: 14},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
},
},
{
`block "f\n" {}`,
0,
&Body{
Attributes: Attributes{},
Blocks: Blocks{
&Block{
Type: "block",
Labels: []string{"f\n"},
Body: &Body{
Attributes: Attributes{},
Blocks: Blocks{},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 13, Byte: 12},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 15, Byte: 14},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
},
TypeRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 6, Byte: 5},
},
LabelRanges: []zcl.Range{
{
Start: zcl.Pos{Line: 1, Column: 7, Byte: 6},
End: zcl.Pos{Line: 1, Column: 12, Byte: 11},
},
},
OpenBraceRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 13, Byte: 12},
End: zcl.Pos{Line: 1, Column: 14, Byte: 13},
},
CloseBraceRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 14, Byte: 13},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
},
},
SrcRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 1, Byte: 0},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
EndRange: zcl.Range{
Start: zcl.Pos{Line: 1, Column: 15, Byte: 14},
End: zcl.Pos{Line: 1, Column: 15, Byte: 14},
},
},
},
zclsyntax: initial pass at body parsing Only able to parse empty bodies so far.
2017-05-30 02:28:10 +00:00
}
prettyConfig := &pretty.Config{
Diffable: true,
IncludeUnexported: true,
PrintStringers: true,
}
for _, test := range tests {
t.Run(test.input, func(t *testing.T) {
zclparse: ParseZCL and ParseZCLFile methods These are the top-level interface to parsing configuration files in the native zcl syntax, similarly to the existing methods for parsing other syntaxes.
2017-05-30 15:03:38 +00:00
file, diags := ParseConfig([]byte(test.input), "", zcl.Pos{Byte: 0, Line: 1, Column: 1})
zclsyntax: initial pass at body parsing Only able to parse empty bodies so far.
2017-05-30 02:28:10 +00:00
if len(diags) != test.diagCount {
t.Errorf("wrong number of diagnostics %d; want %d", len(diags), test.diagCount)
for _, diag := range diags {
t.Logf(" - %s", diag.Error())
}
}
zclparse: ParseZCL and ParseZCLFile methods These are the top-level interface to parsing configuration files in the native zcl syntax, similarly to the existing methods for parsing other syntaxes.
2017-05-30 15:03:38 +00:00
got := file.Body
zclsyntax: initial pass at body parsing Only able to parse empty bodies so far.
2017-05-30 02:28:10 +00:00
if !reflect.DeepEqual(got, test.want) {
diff := prettyConfig.Compare(test.want, got)
t.Errorf("wrong result\ninput: %s\ndiff: %s", test.input, diff)
}
})
}
}
Reference in New Issue Copy Permalink