| // Copyright 2011 The Go Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style | |
| // license that can be found in the LICENSE file. | |
| package parse | |
| import ( | |
| "flag" | |
| "fmt" | |
| "strings" | |
| "testing" | |
| ) | |
| var debug = flag.Bool("debug", false, "show the errors produced by the main tests") | |
| type numberTest struct { | |
| text string | |
| isInt bool | |
| isUint bool | |
| isFloat bool | |
| isComplex bool | |
| int64 | |
| uint64 | |
| float64 | |
| complex128 | |
| } | |
| var numberTests = []numberTest{ | |
| // basics | |
| {"0", true, true, true, false, 0, 0, 0, 0}, | |
| {"-0", true, true, true, false, 0, 0, 0, 0}, // check that -0 is a uint. | |
| {"73", true, true, true, false, 73, 73, 73, 0}, | |
| {"7_3", true, true, true, false, 73, 73, 73, 0}, | |
| {"0b10_010_01", true, true, true, false, 73, 73, 73, 0}, | |
| {"0B10_010_01", true, true, true, false, 73, 73, 73, 0}, | |
| {"073", true, true, true, false, 073, 073, 073, 0}, | |
| {"0o73", true, true, true, false, 073, 073, 073, 0}, | |
| {"0O73", true, true, true, false, 073, 073, 073, 0}, | |
| {"0x73", true, true, true, false, 0x73, 0x73, 0x73, 0}, | |
| {"0X73", true, true, true, false, 0x73, 0x73, 0x73, 0}, | |
| {"0x7_3", true, true, true, false, 0x73, 0x73, 0x73, 0}, | |
| {"-73", true, false, true, false, -73, 0, -73, 0}, | |
| {"+73", true, false, true, false, 73, 0, 73, 0}, | |
| {"100", true, true, true, false, 100, 100, 100, 0}, | |
| {"1e9", true, true, true, false, 1e9, 1e9, 1e9, 0}, | |
| {"-1e9", true, false, true, false, -1e9, 0, -1e9, 0}, | |
| {"-1.2", false, false, true, false, 0, 0, -1.2, 0}, | |
| {"1e19", false, true, true, false, 0, 1e19, 1e19, 0}, | |
| {"1e1_9", false, true, true, false, 0, 1e19, 1e19, 0}, | |
| {"1E19", false, true, true, false, 0, 1e19, 1e19, 0}, | |
| {"-1e19", false, false, true, false, 0, 0, -1e19, 0}, | |
| {"0x_1p4", true, true, true, false, 16, 16, 16, 0}, | |
| {"0X_1P4", true, true, true, false, 16, 16, 16, 0}, | |
| {"0x_1p-4", false, false, true, false, 0, 0, 1 / 16., 0}, | |
| {"4i", false, false, false, true, 0, 0, 0, 4i}, | |
| {"-1.2+4.2i", false, false, false, true, 0, 0, 0, -1.2 + 4.2i}, | |
| {"073i", false, false, false, true, 0, 0, 0, 73i}, // not octal! | |
| // complex with 0 imaginary are float (and maybe integer) | |
| {"0i", true, true, true, true, 0, 0, 0, 0}, | |
| {"-1.2+0i", false, false, true, true, 0, 0, -1.2, -1.2}, | |
| {"-12+0i", true, false, true, true, -12, 0, -12, -12}, | |
| {"13+0i", true, true, true, true, 13, 13, 13, 13}, | |
| // funny bases | |
| {"0123", true, true, true, false, 0123, 0123, 0123, 0}, | |
| {"-0x0", true, true, true, false, 0, 0, 0, 0}, | |
| {"0xdeadbeef", true, true, true, false, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0}, | |
| // character constants | |
| {`'a'`, true, true, true, false, 'a', 'a', 'a', 0}, | |
| {`'\n'`, true, true, true, false, '\n', '\n', '\n', 0}, | |
| {`'\\'`, true, true, true, false, '\\', '\\', '\\', 0}, | |
| {`'\''`, true, true, true, false, '\'', '\'', '\'', 0}, | |
| {`'\xFF'`, true, true, true, false, 0xFF, 0xFF, 0xFF, 0}, | |
| {`'パ'`, true, true, true, false, 0x30d1, 0x30d1, 0x30d1, 0}, | |
| {`'\u30d1'`, true, true, true, false, 0x30d1, 0x30d1, 0x30d1, 0}, | |
| {`'\U000030d1'`, true, true, true, false, 0x30d1, 0x30d1, 0x30d1, 0}, | |
| // some broken syntax | |
| {text: "+-2"}, | |
| {text: "0x123."}, | |
| {text: "1e."}, | |
| {text: "0xi."}, | |
| {text: "1+2."}, | |
| {text: "'x"}, | |
| {text: "'xx'"}, | |
| {text: "'433937734937734969526500969526500'"}, // Integer too large - issue 10634. | |
| // Issue 8622 - 0xe parsed as floating point. Very embarrassing. | |
| {"0xef", true, true, true, false, 0xef, 0xef, 0xef, 0}, | |
| } | |
| func init() { | |
| // Use a small stack limit for testing to avoid creating huge expressions. | |
| maxStackDepth = 3 | |
| } | |
| func TestNumberParse(t *testing.T) { | |
| for _, test := range numberTests { | |
| // If fmt.Sscan thinks it's complex, it's complex. We can't trust the output | |
| // because imaginary comes out as a number. | |
| var c complex128 | |
| typ := itemNumber | |
| var tree *Tree | |
| if test.text[0] == '\'' { | |
| typ = itemCharConstant | |
| } else { | |
| _, err := fmt.Sscan(test.text, &c) | |
| if err == nil { | |
| typ = itemComplex | |
| } | |
| } | |
| n, err := tree.newNumber(0, test.text, typ) | |
| ok := test.isInt || test.isUint || test.isFloat || test.isComplex | |
| if ok && err != nil { | |
| t.Errorf("unexpected error for %q: %s", test.text, err) | |
| continue | |
| } | |
| if !ok && err == nil { | |
| t.Errorf("expected error for %q", test.text) | |
| continue | |
| } | |
| if !ok { | |
| if *debug { | |
| fmt.Printf("%s\n\t%s\n", test.text, err) | |
| } | |
| continue | |
| } | |
| if n.IsComplex != test.isComplex { | |
| t.Errorf("complex incorrect for %q; should be %t", test.text, test.isComplex) | |
| } | |
| if test.isInt { | |
| if !n.IsInt { | |
| t.Errorf("expected integer for %q", test.text) | |
| } | |
| if n.Int64 != test.int64 { | |
| t.Errorf("int64 for %q should be %d Is %d", test.text, test.int64, n.Int64) | |
| } | |
| } else if n.IsInt { | |
| t.Errorf("did not expect integer for %q", test.text) | |
| } | |
| if test.isUint { | |
| if !n.IsUint { | |
| t.Errorf("expected unsigned integer for %q", test.text) | |
| } | |
| if n.Uint64 != test.uint64 { | |
| t.Errorf("uint64 for %q should be %d Is %d", test.text, test.uint64, n.Uint64) | |
| } | |
| } else if n.IsUint { | |
| t.Errorf("did not expect unsigned integer for %q", test.text) | |
| } | |
| if test.isFloat { | |
| if !n.IsFloat { | |
| t.Errorf("expected float for %q", test.text) | |
| } | |
| if n.Float64 != test.float64 { | |
| t.Errorf("float64 for %q should be %g Is %g", test.text, test.float64, n.Float64) | |
| } | |
| } else if n.IsFloat { | |
| t.Errorf("did not expect float for %q", test.text) | |
| } | |
| if test.isComplex { | |
| if !n.IsComplex { | |
| t.Errorf("expected complex for %q", test.text) | |
| } | |
| if n.Complex128 != test.complex128 { | |
| t.Errorf("complex128 for %q should be %g Is %g", test.text, test.complex128, n.Complex128) | |
| } | |
| } else if n.IsComplex { | |
| t.Errorf("did not expect complex for %q", test.text) | |
| } | |
| } | |
| } | |
| type parseTest struct { | |
| name string | |
| input string | |
| ok bool | |
| result string // what the user would see in an error message. | |
| } | |
| const ( | |
| noError = true | |
| hasError = false | |
| ) | |
| var parseTests = []parseTest{ | |
| {"empty", "", noError, | |
| ``}, | |
| {"comment", "{{/*\n\n\n*/}}", noError, | |
| ``}, | |
| {"spaces", " \t\n", noError, | |
| `" \t\n"`}, | |
| {"text", "some text", noError, | |
| `"some text"`}, | |
| {"emptyAction", "{{}}", hasError, | |
| `{{}}`}, | |
| {"field", "{{.X}}", noError, | |
| `{{.X}}`}, | |
| {"simple command", "{{printf}}", noError, | |
| `{{printf}}`}, | |
| {"$ invocation", "{{$}}", noError, | |
| "{{$}}"}, | |
| {"variable invocation", "{{with $x := 3}}{{$x 23}}{{end}}", noError, | |
| "{{with $x := 3}}{{$x 23}}{{end}}"}, | |
| {"variable with fields", "{{$.I}}", noError, | |
| "{{$.I}}"}, | |
| {"multi-word command", "{{printf `%d` 23}}", noError, | |
| "{{printf `%d` 23}}"}, | |
| {"pipeline", "{{.X|.Y}}", noError, | |
| `{{.X | .Y}}`}, | |
| {"pipeline with decl", "{{$x := .X|.Y}}", noError, | |
| `{{$x := .X | .Y}}`}, | |
| {"nested pipeline", "{{.X (.Y .Z) (.A | .B .C) (.E)}}", noError, | |
| `{{.X (.Y .Z) (.A | .B .C) (.E)}}`}, | |
| {"field applied to parentheses", "{{(.Y .Z).Field}}", noError, | |
| `{{(.Y .Z).Field}}`}, | |
| {"simple if", "{{if .X}}hello{{end}}", noError, | |
| `{{if .X}}"hello"{{end}}`}, | |
| {"if with else", "{{if .X}}true{{else}}false{{end}}", noError, | |
| `{{if .X}}"true"{{else}}"false"{{end}}`}, | |
| {"if with else if", "{{if .X}}true{{else if .Y}}false{{end}}", noError, | |
| `{{if .X}}"true"{{else}}{{if .Y}}"false"{{end}}{{end}}`}, | |
| {"if else chain", "+{{if .X}}X{{else if .Y}}Y{{else if .Z}}Z{{end}}+", noError, | |
| `"+"{{if .X}}"X"{{else}}{{if .Y}}"Y"{{else}}{{if .Z}}"Z"{{end}}{{end}}{{end}}"+"`}, | |
| {"simple range", "{{range .X}}hello{{end}}", noError, | |
| `{{range .X}}"hello"{{end}}`}, | |
| {"chained field range", "{{range .X.Y.Z}}hello{{end}}", noError, | |
| `{{range .X.Y.Z}}"hello"{{end}}`}, | |
| {"nested range", "{{range .X}}hello{{range .Y}}goodbye{{end}}{{end}}", noError, | |
| `{{range .X}}"hello"{{range .Y}}"goodbye"{{end}}{{end}}`}, | |
| {"range with else", "{{range .X}}true{{else}}false{{end}}", noError, | |
| `{{range .X}}"true"{{else}}"false"{{end}}`}, | |
| {"range over pipeline", "{{range .X|.M}}true{{else}}false{{end}}", noError, | |
| `{{range .X | .M}}"true"{{else}}"false"{{end}}`}, | |
| {"range []int", "{{range .SI}}{{.}}{{end}}", noError, | |
| `{{range .SI}}{{.}}{{end}}`}, | |
| {"range 1 var", "{{range $x := .SI}}{{.}}{{end}}", noError, | |
| `{{range $x := .SI}}{{.}}{{end}}`}, | |
| {"range 2 vars", "{{range $x, $y := .SI}}{{.}}{{end}}", noError, | |
| `{{range $x, $y := .SI}}{{.}}{{end}}`}, | |
| {"range with break", "{{range .SI}}{{.}}{{break}}{{end}}", noError, | |
| `{{range .SI}}{{.}}{{break}}{{end}}`}, | |
| {"range with continue", "{{range .SI}}{{.}}{{continue}}{{end}}", noError, | |
| `{{range .SI}}{{.}}{{continue}}{{end}}`}, | |
| {"constants", "{{range .SI 1 -3.2i true false 'a' nil}}{{end}}", noError, | |
| `{{range .SI 1 -3.2i true false 'a' nil}}{{end}}`}, | |
| {"template", "{{template `x`}}", noError, | |
| `{{template "x"}}`}, | |
| {"template with arg", "{{template `x` .Y}}", noError, | |
| `{{template "x" .Y}}`}, | |
| {"with", "{{with .X}}hello{{end}}", noError, | |
| `{{with .X}}"hello"{{end}}`}, | |
| {"with with else", "{{with .X}}hello{{else}}goodbye{{end}}", noError, | |
| `{{with .X}}"hello"{{else}}"goodbye"{{end}}`}, | |
| {"with with else with", "{{with .X}}hello{{else with .Y}}goodbye{{end}}", noError, | |
| `{{with .X}}"hello"{{else}}{{with .Y}}"goodbye"{{end}}{{end}}`}, | |
| {"with else chain", "{{with .X}}X{{else with .Y}}Y{{else with .Z}}Z{{end}}", noError, | |
| `{{with .X}}"X"{{else}}{{with .Y}}"Y"{{else}}{{with .Z}}"Z"{{end}}{{end}}{{end}}`}, | |
| // Trimming spaces. | |
| {"trim left", "x \r\n\t{{- 3}}", noError, `"x"{{3}}`}, | |
| {"trim right", "{{3 -}}\n\n\ty", noError, `{{3}}"y"`}, | |
| {"trim left and right", "x \r\n\t{{- 3 -}}\n\n\ty", noError, `"x"{{3}}"y"`}, | |
| {"trim with extra spaces", "x\n{{- 3 -}}\ny", noError, `"x"{{3}}"y"`}, | |
| {"comment trim left", "x \r\n\t{{- /* hi */}}", noError, `"x"`}, | |
| {"comment trim right", "{{/* hi */ -}}\n\n\ty", noError, `"y"`}, | |
| {"comment trim left and right", "x \r\n\t{{- /* */ -}}\n\n\ty", noError, `"x""y"`}, | |
| {"block definition", `{{block "foo" .}}hello{{end}}`, noError, | |
| `{{template "foo" .}}`}, | |
| {"newline in assignment", "{{ $x \n := \n 1 \n }}", noError, "{{$x := 1}}"}, | |
| {"newline in empty action", "{{\n}}", hasError, "{{\n}}"}, | |
| {"newline in pipeline", "{{\n\"x\"\n|\nprintf\n}}", noError, `{{"x" | printf}}`}, | |
| {"newline in comment", "{{/*\nhello\n*/}}", noError, ""}, | |
| {"newline in comment", "{{-\n/*\nhello\n*/\n-}}", noError, ""}, | |
| {"spaces around continue", "{{range .SI}}{{.}}{{ continue }}{{end}}", noError, | |
| `{{range .SI}}{{.}}{{continue}}{{end}}`}, | |
| {"spaces around break", "{{range .SI}}{{.}}{{ break }}{{end}}", noError, | |
| `{{range .SI}}{{.}}{{break}}{{end}}`}, | |
| // Errors. | |
| {"unclosed action", "hello{{range", hasError, ""}, | |
| {"unmatched end", "{{end}}", hasError, ""}, | |
| {"unmatched else", "{{else}}", hasError, ""}, | |
| {"unmatched else after if", "{{if .X}}hello{{end}}{{else}}", hasError, ""}, | |
| {"multiple else", "{{if .X}}1{{else}}2{{else}}3{{end}}", hasError, ""}, | |
| {"missing end", "hello{{range .x}}", hasError, ""}, | |
| {"missing end after else", "hello{{range .x}}{{else}}", hasError, ""}, | |
| {"undefined function", "hello{{undefined}}", hasError, ""}, | |
| {"undefined variable", "{{$x}}", hasError, ""}, | |
| {"variable undefined after end", "{{with $x := 4}}{{end}}{{$x}}", hasError, ""}, | |
| {"variable undefined in template", "{{template $v}}", hasError, ""}, | |
| {"declare with field", "{{with $x.Y := 4}}{{end}}", hasError, ""}, | |
| {"template with field ref", "{{template .X}}", hasError, ""}, | |
| {"template with var", "{{template $v}}", hasError, ""}, | |
| {"invalid punctuation", "{{printf 3, 4}}", hasError, ""}, | |
| {"multidecl outside range", "{{with $v, $u := 3}}{{end}}", hasError, ""}, | |
| {"too many decls in range", "{{range $u, $v, $w := 3}}{{end}}", hasError, ""}, | |
| {"dot applied to parentheses", "{{printf (printf .).}}", hasError, ""}, | |
| {"adjacent args", "{{printf 3`x`}}", hasError, ""}, | |
| {"adjacent args with .", "{{printf `x`.}}", hasError, ""}, | |
| {"extra end after if", "{{if .X}}a{{else if .Y}}b{{end}}{{end}}", hasError, ""}, | |
| {"break outside range", "{{range .}}{{end}} {{break}}", hasError, ""}, | |
| {"continue outside range", "{{range .}}{{end}} {{continue}}", hasError, ""}, | |
| {"break in range else", "{{range .}}{{else}}{{break}}{{end}}", hasError, ""}, | |
| {"continue in range else", "{{range .}}{{else}}{{continue}}{{end}}", hasError, ""}, | |
| // Other kinds of assignments and operators aren't available yet. | |
| {"bug0a", "{{$x := 0}}{{$x}}", noError, "{{$x := 0}}{{$x}}"}, | |
| {"bug0b", "{{$x += 1}}{{$x}}", hasError, ""}, | |
| {"bug0c", "{{$x ! 2}}{{$x}}", hasError, ""}, | |
| {"bug0d", "{{$x % 3}}{{$x}}", hasError, ""}, | |
| // Check the parse fails for := rather than comma. | |
| {"bug0e", "{{range $x := $y := 3}}{{end}}", hasError, ""}, | |
| // Another bug: variable read must ignore following punctuation. | |
| {"bug1a", "{{$x:=.}}{{$x!2}}", hasError, ""}, // ! is just illegal here. | |
| {"bug1b", "{{$x:=.}}{{$x+2}}", hasError, ""}, // $x+2 should not parse as ($x) (+2). | |
| {"bug1c", "{{$x:=.}}{{$x +2}}", noError, "{{$x := .}}{{$x +2}}"}, // It's OK with a space. | |
| // Check the range handles assignment vs. declaration properly. | |
| {"bug2a", "{{range $x := 0}}{{$x}}{{end}}", noError, "{{range $x := 0}}{{$x}}{{end}}"}, | |
| {"bug2b", "{{range $x = 0}}{{$x}}{{end}}", noError, "{{range $x = 0}}{{$x}}{{end}}"}, | |
| // dot following a literal value | |
| {"dot after integer", "{{1.E}}", hasError, ""}, | |
| {"dot after float", "{{0.1.E}}", hasError, ""}, | |
| {"dot after boolean", "{{true.E}}", hasError, ""}, | |
| {"dot after char", "{{'a'.any}}", hasError, ""}, | |
| {"dot after string", `{{"hello".guys}}`, hasError, ""}, | |
| {"dot after dot", "{{..E}}", hasError, ""}, | |
| {"dot after nil", "{{nil.E}}", hasError, ""}, | |
| // Wrong pipeline | |
| {"wrong pipeline dot", "{{12|.}}", hasError, ""}, | |
| {"wrong pipeline number", "{{.|12|printf}}", hasError, ""}, | |
| {"wrong pipeline string", "{{.|printf|\"error\"}}", hasError, ""}, | |
| {"wrong pipeline char", "{{12|printf|'e'}}", hasError, ""}, | |
| {"wrong pipeline boolean", "{{.|true}}", hasError, ""}, | |
| {"wrong pipeline nil", "{{'c'|nil}}", hasError, ""}, | |
| {"empty pipeline", `{{printf "%d" ( ) }}`, hasError, ""}, | |
| // Missing pipeline in block | |
| {"block definition", `{{block "foo"}}hello{{end}}`, hasError, ""}, | |
| // Expression nested depth tests. | |
| {"paren nesting normal", "{{ (( 1 )) }}", noError, "{{((1))}}"}, | |
| {"paren nesting at limit", "{{ ((( 1 ))) }}", noError, "{{(((1)))}}"}, | |
| {"paren nesting exceeds limit", "{{ (((( 1 )))) }}", hasError, "template: test:1: max expression depth exceeded"}, | |
| {"paren nesting in pipeline", "{{ ((( 1 ))) | printf }}", noError, "{{(((1))) | printf}}"}, | |
| {"paren nesting in pipeline exceeds limit", "{{ (((( 1 )))) | printf }}", hasError, "template: test:1: max expression depth exceeded"}, | |
| {"paren nesting with other constructs", "{{ if ((( true ))) }}YES{{ end }}", noError, "{{if (((true)))}}\"YES\"{{end}}"}, | |
| {"paren nesting with other constructs exceeds limit", "{{ if (((( true )))) }}YES{{ end }}", hasError, "template: test:1: max expression depth exceeded"}, | |
| {"control structure nesting at limit", "{{if .X}}{{with .Y}}{{range .Z}}x{{end}}{{end}}{{end}}", noError, `{{if .X}}{{with .Y}}{{range .Z}}"x"{{end}}{{end}}{{end}}`}, | |
| } | |
| var builtins = map[string]any{ | |
| "printf": fmt.Sprintf, | |
| "contains": strings.Contains, | |
| } | |
| func testParse(doCopy bool, t *testing.T) { | |
| textFormat = "%q" | |
| defer func() { textFormat = "%s" }() | |
| for _, test := range parseTests { | |
| tmpl, err := New(test.name).Parse(test.input, "", "", make(map[string]*Tree), builtins) | |
| switch { | |
| case err == nil && !test.ok: | |
| t.Errorf("%q: expected error; got none", test.name) | |
| continue | |
| case err != nil && test.ok: | |
| t.Errorf("%q: unexpected error: %v", test.name, err) | |
| continue | |
| case err != nil && !test.ok: | |
| // expected error, got one | |
| if *debug { | |
| fmt.Printf("%s: %s\n\t%s\n", test.name, test.input, err) | |
| } | |
| continue | |
| } | |
| var result string | |
| if doCopy { | |
| result = tmpl.Root.Copy().String() | |
| } else { | |
| result = tmpl.Root.String() | |
| } | |
| if result != test.result { | |
| t.Errorf("%s=(%q): got\n\t%v\nexpected\n\t%v", test.name, test.input, result, test.result) | |
| } | |
| } | |
| } | |
| func TestParse(t *testing.T) { | |
| testParse(false, t) | |
| } | |
| // Same as TestParse, but we copy the node first | |
| func TestParseCopy(t *testing.T) { | |
| testParse(true, t) | |
| } | |
| func TestParseWithComments(t *testing.T) { | |
| textFormat = "%q" | |
| defer func() { textFormat = "%s" }() | |
| tests := [...]parseTest{ | |
| {"comment", "{{/*\n\n\n*/}}", noError, "{{/*\n\n\n*/}}"}, | |
| {"comment trim left", "x \r\n\t{{- /* hi */}}", noError, `"x"{{/* hi */}}`}, | |
| {"comment trim right", "{{/* hi */ -}}\n\n\ty", noError, `{{/* hi */}}"y"`}, | |
| {"comment trim left and right", "x \r\n\t{{- /* */ -}}\n\n\ty", noError, `"x"{{/* */}}"y"`}, | |
| } | |
| for _, test := range tests { | |
| t.Run(test.name, func(t *testing.T) { | |
| tr := New(test.name) | |
| tr.Mode = ParseComments | |
| tmpl, err := tr.Parse(test.input, "", "", make(map[string]*Tree)) | |
| if err != nil { | |
| t.Errorf("%q: expected error; got none", test.name) | |
| } | |
| if result := tmpl.Root.String(); result != test.result { | |
| t.Errorf("%s=(%q): got\n\t%v\nexpected\n\t%v", test.name, test.input, result, test.result) | |
| } | |
| }) | |
| } | |
| } | |
| func TestDelimsStringRoundtrip(t *testing.T) { | |
| // Each input is already in canonical String form, so parsing it with the | |
| // custom delimiters and printing the resulting tree must reproduce the | |
| // input exactly. This exercises the String/writeTo methods of every node | |
| // type that emits delimiters. | |
| const ( | |
| left = "[[" | |
| right = "]]" | |
| ) | |
| for _, input := range []string{ | |
| `[[.X]]`, // ActionNode | |
| `[[/* a comment */]]`, // CommentNode | |
| `[[if .X]]y[[else]]z[[end]]`, // BranchNode (if), with else and end | |
| `[[range .X]][[break]][[continue]][[end]]`, // RangeNode, BreakNode, ContinueNode | |
| `[[with .X]]y[[end]]`, // BranchNode (with) | |
| `[[template "name" .]]`, // TemplateNode | |
| } { | |
| tr := New("test") | |
| tr.Mode = ParseComments | |
| tmpl, err := tr.Parse(input, left, right, make(map[string]*Tree)) | |
| if err != nil { | |
| t.Errorf("%q: unexpected parse error: %v", input, err) | |
| continue | |
| } | |
| if got := tmpl.Root.String(); got != input { | |
| t.Errorf("got\n\t%q\nexpected\n\t%q", got, input) | |
| } | |
| } | |
| } | |
| func TestKeywordsAndFuncs(t *testing.T) { | |
| // Check collisions between functions and new keywords like 'break'. When a | |
| // break function is provided, the parser should treat 'break' as a function, | |
| // not a keyword. | |
| textFormat = "%q" | |
| defer func() { textFormat = "%s" }() | |
| inp := `{{range .X}}{{break 20}}{{end}}` | |
| { | |
| // 'break' is a defined function, don't treat it as a keyword: it should | |
| // accept an argument successfully. | |
| var funcsWithKeywordFunc = map[string]any{ | |
| "break": func(in any) any { return in }, | |
| } | |
| tmpl, err := New("").Parse(inp, "", "", make(map[string]*Tree), funcsWithKeywordFunc) | |
| if err != nil || tmpl == nil { | |
| t.Errorf("with break func: unexpected error: %v", err) | |
| } | |
| } | |
| { | |
| // No function called 'break'; treat it as a keyword. Results in a parse | |
| // error. | |
| tmpl, err := New("").Parse(inp, "", "", make(map[string]*Tree), make(map[string]any)) | |
| if err == nil || tmpl != nil { | |
| t.Errorf("without break func: expected error; got none") | |
| } | |
| } | |
| } | |
| func TestSkipFuncCheck(t *testing.T) { | |
| oldTextFormat := textFormat | |
| textFormat = "%q" | |
| defer func() { textFormat = oldTextFormat }() | |
| tr := New("skip func check") | |
| tr.Mode = SkipFuncCheck | |
| tmpl, err := tr.Parse("{{fn 1 2}}", "", "", make(map[string]*Tree)) | |
| if err != nil { | |
| t.Fatalf("unexpected error: %v", err) | |
| } | |
| expected := "{{fn 1 2}}" | |
| if result := tmpl.Root.String(); result != expected { | |
| t.Errorf("got\n\t%v\nexpected\n\t%v", result, expected) | |
| } | |
| } | |
| type isEmptyTest struct { | |
| name string | |
| input string | |
| empty bool | |
| } | |
| var isEmptyTests = []isEmptyTest{ | |
| {"empty", ``, true}, | |
| {"nonempty", `hello`, false}, | |
| {"spaces only", " \t\n \t\n", true}, | |
| {"comment only", "{{/* comment */}}", true}, | |
| {"definition", `{{define "x"}}something{{end}}`, true}, | |
| {"definitions and space", "{{define `x`}}something{{end}}\n\n{{define `y`}}something{{end}}\n\n", true}, | |
| {"definitions and text", "{{define `x`}}something{{end}}\nx\n{{define `y`}}something{{end}}\ny\n", false}, | |
| {"definition and action", "{{define `x`}}something{{end}}{{if 3}}foo{{end}}", false}, | |
| } | |
| func TestIsEmpty(t *testing.T) { | |
| if !IsEmptyTree(nil) { | |
| t.Errorf("nil tree is not empty") | |
| } | |
| for _, test := range isEmptyTests { | |
| tree, err := New("root").Parse(test.input, "", "", make(map[string]*Tree), nil) | |
| if err != nil { | |
| t.Errorf("%q: unexpected error: %v", test.name, err) | |
| continue | |
| } | |
| if empty := IsEmptyTree(tree.Root); empty != test.empty { | |
| t.Errorf("%q: expected %t got %t", test.name, test.empty, empty) | |
| } | |
| } | |
| } | |
| func TestErrorContextWithTreeCopy(t *testing.T) { | |
| tree, err := New("root").Parse("{{if true}}{{end}}", "", "", make(map[string]*Tree), nil) | |
| if err != nil { | |
| t.Fatalf("unexpected tree parse failure: %v", err) | |
| } | |
| treeCopy := tree.Copy() | |
| wantLocation, wantContext := tree.ErrorContext(tree.Root.Nodes[0]) | |
| gotLocation, gotContext := treeCopy.ErrorContext(treeCopy.Root.Nodes[0]) | |
| if wantLocation != gotLocation { | |
| t.Errorf("wrong error location want %q got %q", wantLocation, gotLocation) | |
| } | |
| if wantContext != gotContext { | |
| t.Errorf("wrong error location want %q got %q", wantContext, gotContext) | |
| } | |
| } | |
| // All failures, and the result is a string that must appear in the error message. | |
| var errorTests = []parseTest{ | |
| // Check line numbers are accurate. | |
| {"unclosed1", | |
| "line1\n{{", | |
| hasError, `unclosed1:2: unclosed action`}, | |
| {"unclosed2", | |
| "line1\n{{define `x`}}line2\n{{", | |
| hasError, `unclosed2:3: unclosed action`}, | |
| {"unclosed3", | |
| "line1\n{{\"x\"\n\"y\"\n", | |
| hasError, `unclosed3:4: unclosed action started at unclosed3:2`}, | |
| {"unclosed4", | |
| "{{\n\n\n\n\n", | |
| hasError, `unclosed4:6: unclosed action started at unclosed4:1`}, | |
| {"var1", | |
| "line1\n{{\nx\n}}", | |
| hasError, `var1:3: function "x" not defined`}, | |
| // Specific errors. | |
| {"function", | |
| "{{foo}}", | |
| hasError, `function "foo" not defined`}, | |
| {"comment1", | |
| "{{/*}}", | |
| hasError, `comment1:1: unclosed comment`}, | |
| {"comment2", | |
| "{{/*\nhello\n}}", | |
| hasError, `comment2:1: unclosed comment`}, | |
| {"lparen", | |
| "{{.X (1 2 3}}", | |
| hasError, `unclosed left paren`}, | |
| {"rparen", | |
| "{{.X 1 2 3 ) }}", | |
| hasError, "unexpected right paren"}, | |
| {"rparen2", | |
| "{{(.X 1 2 3", | |
| hasError, `unclosed action`}, | |
| {"space", | |
| "{{`x`3}}", | |
| hasError, `in operand`}, | |
| {"idchar", | |
| "{{a#}}", | |
| hasError, `'#'`}, | |
| {"charconst", | |
| "{{'a}}", | |
| hasError, `unterminated character constant`}, | |
| {"stringconst", | |
| `{{"a}}`, | |
| hasError, `unterminated quoted string`}, | |
| {"rawstringconst", | |
| "{{`a}}", | |
| hasError, `unterminated raw quoted string`}, | |
| {"number", | |
| "{{0xi}}", | |
| hasError, `number syntax`}, | |
| {"multidefine", | |
| "{{define `a`}}a{{end}}{{define `a`}}b{{end}}", | |
| hasError, `multiple definition of template`}, | |
| {"eof", | |
| "{{range .X}}", | |
| hasError, `unexpected EOF`}, | |
| {"variable", | |
| // Declare $x so it's defined, to avoid that error, and then check we don't parse a declaration. | |
| "{{$x := 23}}{{with $x.y := 3}}{{$x 23}}{{end}}", | |
| hasError, `unexpected ":="`}, | |
| {"multidecl", | |
| "{{$a,$b,$c := 23}}", | |
| hasError, `too many declarations`}, | |
| {"undefvar", | |
| "{{$a}}", | |
| hasError, `undefined variable`}, | |
| {"wrongdot", | |
| "{{true.any}}", | |
| hasError, `unexpected . after term`}, | |
| {"wrongpipeline", | |
| "{{12|false}}", | |
| hasError, `non executable command in pipeline`}, | |
| {"emptypipeline", | |
| `{{ ( ) }}`, | |
| hasError, `missing value for parenthesized pipeline`}, | |
| {"multilinerawstring", | |
| "{{ $v := `\n` }} {{", | |
| hasError, `multilinerawstring:2: unclosed action`}, | |
| {"rangeundefvar", | |
| "{{range $k}}{{end}}", | |
| hasError, `undefined variable`}, | |
| {"rangeundefvars", | |
| "{{range $k, $v}}{{end}}", | |
| hasError, `undefined variable`}, | |
| {"rangemissingvalue1", | |
| "{{range $k,}}{{end}}", | |
| hasError, `missing value for range`}, | |
| {"rangemissingvalue2", | |
| "{{range $k, $v := }}{{end}}", | |
| hasError, `missing value for range`}, | |
| {"rangenotvariable1", | |
| "{{range $k, .}}{{end}}", | |
| hasError, `range can only initialize variables`}, | |
| {"rangenotvariable2", | |
| "{{range $k, 123 := .}}{{end}}", | |
| hasError, `range can only initialize variables`}, | |
| {"ifnesting", | |
| "{{if .}}{{if .}}{{if .}}{{if .}}{{end}}{{end}}{{end}}{{end}}", | |
| hasError, `max control structure depth exceeded`}, | |
| {"rangenesting", | |
| "{{range .}}{{range .}}{{range .}}{{range .}}{{end}}{{end}}{{end}}{{end}}", | |
| hasError, `max control structure depth exceeded`}, | |
| {"withnesting", | |
| "{{with .}}{{with .}}{{with .}}{{with .}}{{end}}{{end}}{{end}}{{end}}", | |
| hasError, `max control structure depth exceeded`}, | |
| {"elseifnesting", | |
| "{{if .}}{{else if .}}{{else if .}}{{else if .}}{{end}}", | |
| hasError, `max control structure depth exceeded`}, | |
| {"blocknesting", | |
| "{{block `a` .}}{{block `b` .}}{{block `c` .}}{{block `d` .}}{{end}}{{end}}{{end}}{{end}}", | |
| hasError, `max control structure depth exceeded`}, | |
| {"parennesting", | |
| "{{if .}}{{with .}}{{range .}}{{(.)}}{{end}}{{end}}{{end}}", | |
| hasError, `max expression depth exceeded`}, | |
| } | |
| func TestErrors(t *testing.T) { | |
| for _, test := range errorTests { | |
| t.Run(test.name, func(t *testing.T) { | |
| _, err := New(test.name).Parse(test.input, "", "", make(map[string]*Tree)) | |
| if err == nil { | |
| t.Fatalf("expected error %q, got nil", test.result) | |
| } | |
| if !strings.Contains(err.Error(), test.result) { | |
| t.Fatalf("error %q does not contain %q", err, test.result) | |
| } | |
| }) | |
| } | |
| } | |
| func TestBlock(t *testing.T) { | |
| const ( | |
| input = `a{{block "inner" .}}bar{{.}}baz{{end}}b` | |
| outer = `a{{template "inner" .}}b` | |
| inner = `bar{{.}}baz` | |
| ) | |
| treeSet := make(map[string]*Tree) | |
| tmpl, err := New("outer").Parse(input, "", "", treeSet, nil) | |
| if err != nil { | |
| t.Fatal(err) | |
| } | |
| if g, w := tmpl.Root.String(), outer; g != w { | |
| t.Errorf("outer template = %q, want %q", g, w) | |
| } | |
| inTmpl := treeSet["inner"] | |
| if inTmpl == nil { | |
| t.Fatal("block did not define template") | |
| } | |
| if g, w := inTmpl.Root.String(), inner; g != w { | |
| t.Errorf("inner template = %q, want %q", g, w) | |
| } | |
| } | |
| func TestLineNum(t *testing.T) { | |
| // const count = 100 | |
| const count = 3 | |
| text := strings.Repeat("{{printf 1234}}\n", count) | |
| tree, err := New("bench").Parse(text, "", "", make(map[string]*Tree), builtins) | |
| if err != nil { | |
| t.Fatal(err) | |
| } | |
| // Check the line numbers. Each line is an action containing a template, followed by text. | |
| // That's two nodes per line. | |
| nodes := tree.Root.Nodes | |
| for i := 0; i < len(nodes); i += 2 { | |
| line := 1 + i/2 | |
| // Action first. | |
| action := nodes[i].(*ActionNode) | |
| if action.Line != line { | |
| t.Errorf("line %d: action is line %d", line, action.Line) | |
| } | |
| pipe := action.Pipe | |
| if pipe.Line != line { | |
| t.Errorf("line %d: pipe is line %d", line, pipe.Line) | |
| } | |
| } | |
| } | |
| func BenchmarkParseLarge(b *testing.B) { | |
| text := strings.Repeat("{{1234}}\n", 10000) | |
| for i := 0; i < b.N; i++ { | |
| _, err := New("bench").Parse(text, "", "", make(map[string]*Tree), builtins) | |
| if err != nil { | |
| b.Fatal(err) | |
| } | |
| } | |
| } | |
| var sinkv, sinkl string | |
| func BenchmarkVariableString(b *testing.B) { | |
| v := &VariableNode{ | |
| Ident: []string{"$", "A", "BB", "CCC", "THIS_IS_THE_VARIABLE_BEING_PROCESSED"}, | |
| } | |
| b.ResetTimer() | |
| b.ReportAllocs() | |
| for i := 0; i < b.N; i++ { | |
| sinkv = v.String() | |
| } | |
| if sinkv == "" { | |
| b.Fatal("Benchmark was not run") | |
| } | |
| } | |
| func BenchmarkListString(b *testing.B) { | |
| text := ` | |
| {{(printf .Field1.Field2.Field3).Value}} | |
| {{$x := (printf .Field1.Field2.Field3).Value}} | |
| {{$y := (printf $x.Field1.Field2.Field3).Value}} | |
| {{$z := $y.Field1.Field2.Field3}} | |
| {{if contains $y $z}} | |
| {{printf "%q" $y}} | |
| {{else}} | |
| {{printf "%q" $x}} | |
| {{end}} | |
| {{with $z.Field1 | contains "boring"}} | |
| {{printf "%q" . | printf "%s"}} | |
| {{else}} | |
| {{printf "%d %d %d" 11 11 11}} | |
| {{printf "%d %d %s" 22 22 $x.Field1.Field2.Field3 | printf "%s"}} | |
| {{printf "%v" (contains $z.Field1.Field2 $y)}} | |
| {{end}} | |
| ` | |
| tree, err := New("bench").Parse(text, "", "", make(map[string]*Tree), builtins) | |
| if err != nil { | |
| b.Fatal(err) | |
| } | |
| b.ResetTimer() | |
| b.ReportAllocs() | |
| for i := 0; i < b.N; i++ { | |
| sinkl = tree.Root.String() | |
| } | |
| if sinkl == "" { | |
| b.Fatal("Benchmark was not run") | |
| } | |
| } |