blob: d12f751c40728066021f160aa74ff6a605c49d41 [file] [log] [blame]
// Copyright 2018 The CUE Authors
//
// 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
//
// http://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 scanner
import (
"fmt"
"io/ioutil"
"os"
"path/filepath"
"runtime"
"strings"
"testing"
"github.com/google/go-cmp/cmp"
"cuelang.org/go/cue/errors"
"cuelang.org/go/cue/token"
)
const /* class */ (
special = iota
literal
operator
keyword
)
func tokenclass(tok token.Token) int {
switch {
case tok.IsLiteral():
return literal
case tok.IsOperator():
return operator
case tok.IsKeyword():
return keyword
}
return special
}
type elt struct {
tok token.Token
lit string
class int
}
var testTokens = [...]elt{
// Special tokens
{token.COMMENT, "// a comment \n", special},
{token.COMMENT, "//\r\n", special},
// Attributes
{token.ATTRIBUTE, "@foo()", special},
{token.ATTRIBUTE, "@foo(,,)", special},
{token.ATTRIBUTE, "@foo(a)", special},
{token.ATTRIBUTE, "@foo(aa=b)", special},
{token.ATTRIBUTE, "@foo(,a=b)", special},
{token.ATTRIBUTE, `@foo(",a=b")`, special},
{token.ATTRIBUTE, `@foo(##"\(),a=b"##)`, special},
{token.ATTRIBUTE, `@foo("",a="")`, special},
{token.ATTRIBUTE, `@foo(2,bytes,a.b=c)`, special},
{token.ATTRIBUTE, `@foo([{()}]())`, special},
// Identifiers and basic type literals
{token.BOTTOM, "_|_", literal},
{token.IDENT, "foobar", literal},
{token.IDENT, "$foobar", literal},
{token.IDENT, "#foobar", literal},
// {token.IDENT, "#0", literal},
{token.IDENT, "#", literal},
{token.IDENT, "_foobar", literal},
{token.IDENT, "__foobar", literal},
{token.IDENT, "#_foobar", literal},
{token.IDENT, "_#foobar", literal},
{token.IDENT, "__#foobar", literal},
{token.IDENT, "`foobar`", literal},
{token.IDENT, "a۰۱۸", literal},
{token.IDENT, "foo६४", literal},
{token.IDENT, "bar9876", literal},
{token.IDENT, "ŝ", literal},
{token.IDENT, "ŝfoo", literal},
{token.INT, "0", literal},
{token.INT, "1", literal},
{token.INT, "123456789012345678890", literal},
{token.INT, "12345_67890_12345_6788_90", literal},
{token.INT, "1234567M", literal},
{token.INT, "1234567Mi", literal},
{token.INT, "1234567", literal},
{token.INT, ".3Mi", literal},
{token.INT, "3.3Mi", literal},
{token.INT, "0xcafebabe", literal},
{token.INT, "0b1100_1001", literal},
{token.INT, "0o1234567", literal},
{token.FLOAT, "0.", literal},
{token.FLOAT, ".0", literal},
{token.FLOAT, "3.14159265", literal},
{token.FLOAT, "1e0", literal},
{token.FLOAT, "1e+100", literal},
{token.FLOAT, "1e-100", literal},
{token.FLOAT, "1E+100", literal},
{token.FLOAT, "1E-100", literal},
{token.FLOAT, "0e-5", literal},
{token.FLOAT, "0e+100", literal},
{token.FLOAT, "0e-100", literal},
{token.FLOAT, "0E+100", literal},
{token.FLOAT, "0E-100", literal},
{token.FLOAT, "2.71828e-1000", literal},
{token.STRING, "'a'", literal},
{token.STRING, "'\\000'", literal},
{token.STRING, "'\\xFF'", literal},
{token.STRING, "'\\uff16'", literal},
{token.STRING, "'\\uD801'", literal},
{token.STRING, "'\\U0000ff16'", literal},
{token.STRING, "'foobar'", literal},
{token.STRING, `'foo\/bar'`, literal},
{token.STRING, `#" ""#`, literal},
{token.STRING, `#"foobar"#`, literal},
{token.STRING, `#"\r"#`, literal},
{token.STRING, `#"\("#`, literal},
{token.STRING, `#"\q"#`, literal},
{token.STRING, `###"\##q"###`, literal},
{token.STRING, "'" + `\r` + "'", literal},
{token.STRING, "'foo" + `\r\n` + "bar'", literal},
{token.STRING, `"foobar"`, literal},
{token.STRING, "\"\"\"\n foobar\n \"\"\"", literal},
{token.STRING, "#\"\"\"\n \\(foobar\n \"\"\"#", literal},
// TODO: should we preserve the \r instead and have it removed by the
// literal parser? This would allow preserving \r for formatting without
// changing the semantics of evaluation.
{token.STRING, "#\"\"\"\r\n \\(foobar\n \"\"\"#", literal},
// Operators and delimiters
{token.ADD, "+", operator},
{token.SUB, "-", operator},
{token.MUL, "*", operator},
{token.QUO, "/", operator},
{token.AND, "&", operator},
{token.OR, "|", operator},
{token.LAND, "&&", operator},
{token.LOR, "||", operator},
{token.EQL, "==", operator},
{token.LSS, "<", operator},
{token.GTR, ">", operator},
{token.BIND, "=", operator},
{token.NOT, "!", operator},
{token.NEQ, "!=", operator},
{token.LEQ, "<=", operator},
{token.GEQ, ">=", operator},
{token.ELLIPSIS, "...", operator},
{token.MAT, "=~", operator},
{token.NMAT, "!~", operator},
{token.LPAREN, "(", operator},
{token.LBRACK, "[", operator},
{token.LBRACE, "{", operator},
{token.COMMA, ",", operator},
{token.PERIOD, ".", operator},
{token.OPTION, "?", operator},
{token.RPAREN, ")", operator},
{token.RBRACK, "]", operator},
{token.RBRACE, "}", operator},
{token.COLON, ":", operator},
{token.ISA, "::", operator},
// Keywords
{token.TRUE, "true", keyword},
{token.FALSE, "false", keyword},
{token.NULL, "null", keyword},
{token.FOR, "for", keyword},
{token.IF, "if", keyword},
{token.IN, "in", keyword},
}
const whitespace = " \t \n\n\n" // to separate tokens
var source = func() []byte {
var src []byte
for _, t := range testTokens {
src = append(src, t.lit...)
src = append(src, whitespace...)
}
return src
}()
func newlineCount(s string) int {
n := 0
for i := 0; i < len(s); i++ {
if s[i] == '\n' {
n++
}
}
return n
}
func checkPosScan(t *testing.T, lit string, p token.Pos, expected token.Position) {
pos := p.Position()
if pos.Filename != expected.Filename {
t.Errorf("bad filename for %q: got %s, expected %s", lit, pos.Filename, expected.Filename)
}
if pos.Offset != expected.Offset {
t.Errorf("bad position for %q: got %d, expected %d", lit, pos.Offset, expected.Offset)
}
if pos.Line != expected.Line {
t.Errorf("bad line for %q: got %d, expected %d", lit, pos.Line, expected.Line)
}
if pos.Column != expected.Column {
t.Errorf("bad column for %q: got %d, expected %d", lit, pos.Column, expected.Column)
}
}
// Verify that calling Scan() provides the correct results.
func TestScan(t *testing.T) {
whitespace_linecount := newlineCount(whitespace)
// error handler
eh := func(_ token.Pos, msg string, args []interface{}) {
t.Errorf("error handler called (msg = %s)", fmt.Sprintf(msg, args...))
}
// verify scan
var s Scanner
s.Init(token.NewFile("", 1, len(source)), source, eh, ScanComments|dontInsertCommas)
// set up expected position
epos := token.Position{
Filename: "",
Offset: 0,
Line: 1,
Column: 1,
}
index := 0
for {
pos, tok, lit := s.Scan()
// check position
if tok == token.EOF {
// correction for EOF
epos.Line = newlineCount(string(source))
epos.Column = 2
}
checkPosScan(t, lit, pos, epos)
// check token
e := elt{token.EOF, "", special}
if index < len(testTokens) {
e = testTokens[index]
index++
}
if tok != e.tok {
t.Errorf("bad token for %q: got %s, expected %s", lit, tok, e.tok)
}
// check token class
if tokenclass(tok) != e.class {
t.Errorf("bad class for %q: got %d, expected %d", lit, tokenclass(tok), e.class)
}
// check literal
elit := ""
switch e.tok {
case token.COMMENT:
// no CRs in comments
elit = string(stripCR([]byte(e.lit)))
//-style comment literal doesn't contain newline
if elit[1] == '/' {
elit = elit[0 : len(elit)-1]
}
case token.ATTRIBUTE:
elit = e.lit
case token.IDENT:
elit = e.lit
case token.COMMA:
elit = ","
default:
if e.tok.IsLiteral() {
// no CRs in raw string literals
elit = e.lit
if elit[0] == '`' {
elit = string(stripCR([]byte(elit)))
}
} else if e.tok.IsKeyword() {
elit = e.lit
}
}
if lit != elit {
t.Errorf("bad literal for %q: got %q, expected %q", lit, lit, elit)
}
if tok == token.EOF {
break
}
// update position
epos.Offset += len(e.lit) + len(whitespace)
epos.Line += newlineCount(e.lit) + whitespace_linecount
}
if s.ErrorCount != 0 {
t.Errorf("found %d errors", s.ErrorCount)
}
}
func checkComma(t *testing.T, line string, mode Mode) {
var S Scanner
file := token.NewFile("TestCommas", 1, len(line))
S.Init(file, []byte(line), nil, mode)
pos, tok, lit := S.Scan()
for tok != token.EOF {
if tok == token.ILLEGAL {
// the illegal token literal indicates what
// kind of semicolon literal to expect
commaLit := "\n"
if lit[0] == '~' {
commaLit = ","
}
// next token must be a comma
commaPos := file.Position(pos)
commaPos.Offset++
commaPos.Column++
pos, tok, lit = S.Scan()
if tok == token.COMMA {
if lit != commaLit {
t.Errorf(`bad literal for %q: got %q (%q), expected %q`, line, lit, tok, commaLit)
}
checkPosScan(t, line, pos, commaPos)
} else {
t.Errorf("bad token for %q: got %s, expected ','", line, tok)
}
} else if tok == token.COMMA {
t.Errorf("bad token for %q: got ',', expected no ','", line)
}
pos, tok, lit = S.Scan()
}
}
var lines = []string{
// ~ indicates a comma present in the source
// ^ indicates an automatically inserted comma
"",
"\ufeff~,", // first BOM is ignored
"~,",
"foo^\n",
"_foo^\n",
"123^\n",
"1.2^\n",
"'x'^\n",
"_|_^\n",
"_|_^\n",
`"x"` + "^\n",
"#'x'#^\n",
`"""
foo
"""` + "^\n",
// `"""
// foo \(bar)
// """` + "^\n",
`'''
foo
'''` + "^\n",
"+\n",
"-\n",
"*\n",
"/\n",
"&\n",
// "&^\n",
"|\n",
"&&\n",
"||\n",
"<-\n",
"->\n",
"==\n",
"<\n",
">\n",
"=\n",
"!\n",
"!=\n",
"<=\n",
">=\n",
":=\n",
"...\n",
"(\n",
"[\n",
"[[\n",
"{\n",
"{{\n",
"~,\n",
".\n",
")^\n",
"]^\n",
"]]^\n",
"}^\n",
"}}^\n",
":\n",
"::\n",
";^\n",
"true^\n",
"false^\n",
"null^\n",
"foo^//comment\n",
"foo^//comment",
"foo ^// comment\n",
"foo ^// comment",
"foo ^",
"foo ^//",
"package main^\n\nfoo: bar^",
"package main^",
}
func TestCommas(t *testing.T) {
for _, line := range lines {
checkComma(t, line, 0)
checkComma(t, line, ScanComments)
// if the input ended in newlines, the input must tokenize the
// same with or without those newlines
for i := len(line) - 1; i >= 0 && line[i] == '\n'; i-- {
checkComma(t, line[0:i], 0)
checkComma(t, line[0:i], ScanComments)
}
}
}
func TestRelative(t *testing.T) {
test := `
package foo
// comment
a: 1 // a
b : 5
// line one
// line two
c: "dfs"
`
want := []string{
`newline IDENT package`,
`blank IDENT foo`,
"elided , \n",
`section COMMENT // comment`,
`newline IDENT a`,
`nospace : `,
`blank INT 1`,
"elided , \n",
`blank COMMENT // a`,
`newline IDENT b`,
`blank : `,
`blank INT 5`,
"elided , \n",
"newline COMMENT // line one",
"newline COMMENT // line two",
`newline IDENT c`,
`nospace : `,
`blank STRING "dfs"`,
"elided , \n",
}
var S Scanner
f := token.NewFile("TestCommas", 1, len(test))
S.Init(f, []byte(test), nil, ScanComments)
pos, tok, lit := S.Scan()
got := []string{}
for tok != token.EOF {
got = append(got, fmt.Sprintf("%-7s %-8s %s", pos.RelPos(), tok, lit))
pos, tok, lit = S.Scan()
}
if !cmp.Equal(got, want) {
t.Error(cmp.Diff(got, want))
}
}
type segment struct {
srcline string // a line of source text
filename string // filename for current token
line int // line number for current token
}
var segments = []segment{
// exactly one token per line since the test consumes one token per segment
{" line1", filepath.Join("dir", "TestLineComments"), 1},
{"\nline2", filepath.Join("dir", "TestLineComments"), 2},
{"\nline3 //line File1.go:100", filepath.Join("dir", "TestLineComments"), 3}, // bad line comment, ignored
{"\nline4", filepath.Join("dir", "TestLineComments"), 4},
{"\n//line File1.go:100\n line100", filepath.Join("dir", "File1.go"), 100},
{"\n//line \t :42\n line1", "", 42},
{"\n//line File2.go:200\n line200", filepath.Join("dir", "File2.go"), 200},
{"\n//line foo\t:42\n line42", filepath.Join("dir", "foo"), 42},
{"\n //line foo:42\n line44", filepath.Join("dir", "foo"), 44}, // bad line comment, ignored
{"\n//line foo 42\n line46", filepath.Join("dir", "foo"), 46}, // bad line comment, ignored
{"\n//line foo:42 extra text\n line48", filepath.Join("dir", "foo"), 48}, // bad line comment, ignored
{"\n//line ./foo:42\n line42", filepath.Join("dir", "foo"), 42},
{"\n//line a/b/c/File1.go:100\n line100", filepath.Join("dir", "a", "b", "c", "File1.go"), 100},
}
var unixsegments = []segment{
{"\n//line /bar:42\n line42", "/bar", 42},
}
var winsegments = []segment{
{"\n//line c:\\bar:42\n line42", "c:\\bar", 42},
{"\n//line c:\\dir\\File1.go:100\n line100", "c:\\dir\\File1.go", 100},
}
// Verify that comments of the form "//line filename:line" are interpreted correctly.
func TestLineComments(t *testing.T) {
segs := segments
if runtime.GOOS == "windows" {
segs = append(segs, winsegments...)
} else {
segs = append(segs, unixsegments...)
}
// make source
var src string
for _, e := range segs {
src += e.srcline
}
// verify scan
var S Scanner
f := token.NewFile(filepath.Join("dir", "TestLineComments"), 1, len(src))
S.Init(f, []byte(src), nil, dontInsertCommas)
for _, s := range segs {
p, _, lit := S.Scan()
pos := f.Position(p)
checkPosScan(t, lit, p, token.Position{
Filename: s.filename,
Offset: pos.Offset,
Line: s.line,
Column: pos.Column,
})
}
if S.ErrorCount != 0 {
t.Errorf("found %d errors", S.ErrorCount)
}
}
// Verify that initializing the same scanner more than once works correctly.
func TestInit(t *testing.T) {
var s Scanner
// 1st init
src1 := "false true { }"
f1 := token.NewFile("src1", 1, len(src1))
s.Init(f1, []byte(src1), nil, dontInsertCommas)
if f1.Size() != len(src1) {
t.Errorf("bad file size: got %d, expected %d", f1.Size(), len(src1))
}
s.Scan() // false
s.Scan() // true
_, tok, _ := s.Scan() // {
if tok != token.LBRACE {
t.Errorf("bad token: got %s, expected %s", tok, token.LBRACE)
}
// 2nd init
src2 := "null true { ]"
f2 := token.NewFile("src2", 1, len(src2))
s.Init(f2, []byte(src2), nil, dontInsertCommas)
if f2.Size() != len(src2) {
t.Errorf("bad file size: got %d, expected %d", f2.Size(), len(src2))
}
_, tok, _ = s.Scan() // go
if tok != token.NULL {
t.Errorf("bad token: got %s, expected %s", tok, token.NULL)
}
if s.ErrorCount != 0 {
t.Errorf("found %d errors", s.ErrorCount)
}
}
func TestScanInterpolation(t *testing.T) {
// error handler
eh := func(pos token.Pos, msg string, args []interface{}) {
msg = fmt.Sprintf(msg, args...)
t.Errorf("error handler called (pos = %v, msg = %s)", pos, msg)
}
trim := func(s string) string { return strings.Trim(s, `#"\()`) }
sources := []string{
`"first\(first)\\second\(second)"`,
`#"first\#(first)\second\#(second)"#`,
`"level\( ["foo", "level", level ][2] )end\( end )"`,
`##"level\##( ["foo", "level", level ][2] )end\##( end )"##`,
`"level\( { "foo": 1, "bar": level } )end\(end)"`,
}
for i, src := range sources {
name := fmt.Sprintf("tsrc%d", i)
t.Run(name, func(t *testing.T) {
f := token.NewFile(name, 1, len(src))
// verify scan
var s Scanner
s.Init(f, []byte(src), eh, ScanComments)
count := 0
var lit, str string
for tok := token.ILLEGAL; tok != token.EOF; {
switch tok {
case token.LPAREN:
count++
case token.RPAREN:
if count--; count == 0 {
str = trim(s.ResumeInterpolation())
}
case token.INTERPOLATION:
str = trim(lit)
case token.IDENT:
if lit != str {
t.Errorf("str: got %v; want %v", lit, str)
}
}
_, tok, lit = s.Scan()
}
})
}
}
func TestStdErrorHander(t *testing.T) {
const src = "~\n" + // illegal character, cause an error
"~ ~\n" + // two errors on the same line
"//line File2:20\n" +
"~\n" + // different file, but same line
"//line File2:1\n" +
"~ ~\n" + // same file, decreasing line number
"//line File1:1\n" +
"~ ~ ~" // original file, line 1 again
var list errors.Error
eh := func(pos token.Pos, msg string, args []interface{}) {
list = errors.Append(list, errors.Newf(pos, msg, args...))
}
var s Scanner
s.Init(token.NewFile("File1", 1, len(src)), []byte(src), eh, dontInsertCommas)
for {
if _, tok, _ := s.Scan(); tok == token.EOF {
break
}
}
n := len(errors.Errors(list))
if n != s.ErrorCount {
t.Errorf("found %d errors, expected %d", n, s.ErrorCount)
}
if n != 9 {
t.Errorf("found %d raw errors, expected 9", n)
errors.Print(os.Stderr, list, nil)
}
n = len(errors.Errors(errors.Sanitize(list)))
if n != 4 {
t.Errorf("found %d one-per-line errors, expected 4", n)
errors.Print(os.Stderr, list, nil)
}
}
type errorCollector struct {
cnt int // number of errors encountered
msg string // last error message encountered
pos token.Pos // last error position encountered
}
func checkError(t *testing.T, src string, tok token.Token, pos int, lit, err string) {
t.Helper()
var s Scanner
var h errorCollector
eh := func(pos token.Pos, msg string, args []interface{}) {
h.cnt++
h.msg = fmt.Sprintf(msg, args...)
h.pos = pos
}
s.Init(token.NewFile("", 1, len(src)), []byte(src), eh, ScanComments|dontInsertCommas)
_, tok0, lit0 := s.Scan()
if tok0 != tok {
t.Errorf("%q: got %s, expected %s", src, tok0, tok)
}
if tok0 != token.ILLEGAL && lit0 != lit {
t.Errorf("%q: got literal %q, expected %q", src, lit0, lit)
}
cnt := 0
if err != "" {
cnt = 1
}
if h.cnt != cnt {
t.Errorf("%q: got cnt %d, expected %d", src, h.cnt, cnt)
}
if h.msg != err {
t.Errorf("%q: got msg %q, expected %q", src, h.msg, err)
}
if h.pos.Offset() != pos {
t.Errorf("%q: got offset %d, expected %d", src, h.pos.Offset(), pos)
}
}
var errorTests = []struct {
src string
tok token.Token
pos int
lit string
err string
}{
{"\a", token.ILLEGAL, 0, "", "illegal character U+0007"},
{`^`, token.ILLEGAL, 0, "", "illegal character U+005E '^'"},
{`…`, token.ILLEGAL, 0, "", "illegal character U+2026 '…'"},
{`_|`, token.ILLEGAL, 0, "", "illegal token '_|'; expected '_'"},
{"`foo=bar`", token.IDENT, 4, "`foo=bar`", "invalid character '=' in identifier"},
{"`foo\nbar`", token.IDENT, 4, "`foo", "quoted identifier not terminated"},
{`@`, token.ATTRIBUTE, 1, `@`, "invalid attribute: expected '('"},
{`@foo`, token.ATTRIBUTE, 4, `@foo`, "invalid attribute: expected '('"},
{`@foo(`, token.ATTRIBUTE, 5, `@foo(`, "attribute missing ')'"},
{`@foo( `, token.ATTRIBUTE, 6, `@foo( `, "attribute missing ')'"},
{`@foo( ""])`, token.ATTRIBUTE, 9, `@foo( ""])`, "unexpected ']'"},
{`@foo(3})`, token.ATTRIBUTE, 7, `@foo(3})`, "unexpected '}'"},
{`@foo(["")])`, token.ATTRIBUTE, 9, `@foo(["")])`, "unexpected ')'"},
{`@foo(""`, token.ATTRIBUTE, 7, `@foo(""`, "attribute missing ')'"},
{`@foo(aa`, token.ATTRIBUTE, 7, `@foo(aa`, "attribute missing ')'"},
{`@foo("\(())")`, token.ATTRIBUTE, 7, `@foo("\(())")`, "interpolation not allowed in attribute"},
// {`' '`, STRING, 0, `' '`, ""},
// {"`\0`", STRING, 3, `'\0'`, "illegal character U+0027 ''' in escape sequence"},
// {`'\07'`, STRING, 4, `'\07'`, "illegal character U+0027 ''' in escape sequence"},
{`"\8"`, token.STRING, 2, `"\8"`, "unknown escape sequence"},
{`"\08"`, token.STRING, 3, `"\08"`, "illegal character U+0038 '8' in escape sequence"},
{`"\x"`, token.STRING, 3, `"\x"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\x0"`, token.STRING, 4, `"\x0"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\x0g"`, token.STRING, 4, `"\x0g"`, "illegal character U+0067 'g' in escape sequence"},
{`"\u"`, token.STRING, 3, `"\u"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\u0"`, token.STRING, 4, `"\u0"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\u00"`, token.STRING, 5, `"\u00"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\u000"`, token.STRING, 6, `"\u000"`, "illegal character U+0022 '\"' in escape sequence"},
// {`"\u000`, token.STRING, 6, `"\u000`, "string literal not terminated"}, two errors
{`"\u0000"`, token.STRING, 0, `"\u0000"`, ""},
{`"\U"`, token.STRING, 3, `"\U"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\U0"`, token.STRING, 4, `"\U0"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\U00"`, token.STRING, 5, `"\U00"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\U000"`, token.STRING, 6, `"\U000"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\U0000"`, token.STRING, 7, `"\U0000"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\U00000"`, token.STRING, 8, `"\U00000"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\U000000"`, token.STRING, 9, `"\U000000"`, "illegal character U+0022 '\"' in escape sequence"},
{`"\U0000000"`, token.STRING, 10, `"\U0000000"`, "illegal character U+0022 '\"' in escape sequence"},
// {`"\U0000000`, token.STRING, 10, `"\U0000000`, "string literal not terminated"}, // escape sequence not terminated"}, two errors
{`"\U00000000"`, token.STRING, 0, `"\U00000000"`, ""},
{`"\Uffffffff"`, token.STRING, 2, `"\Uffffffff"`, "escape sequence is invalid Unicode code point"},
{`'`, token.STRING, 0, `'`, "string literal not terminated"},
{`""`, token.STRING, 0, `""`, ""},
{`"abc`, token.STRING, 0, `"abc`, "string literal not terminated"},
{`""abc`, token.STRING, 0, `""`, ""},
{"\"\"\"\nabc", token.STRING, 0, "\"\"\"\nabc", "string literal not terminated"},
{"'''\nabc", token.STRING, 0, "'''\nabc", "string literal not terminated"},
{"\"abc\n", token.STRING, 0, `"abc`, "string literal not terminated"},
{"\"abc\n ", token.STRING, 0, `"abc`, "string literal not terminated"},
{"\"abc\r\n ", token.STRING, 0, "\"abc\r", "string literal not terminated"},
{`#""`, token.STRING, 0, `#""`, "string literal not terminated"},
{`#"""`, token.STRING, 0, `#"""`, `expected newline after multiline quote #"""`},
{`#""#`, token.STRING, 0, `#""#`, ""},
// {"$", IDENT, 0, "$", ""}, // TODO: for root of file?
{"#'", token.STRING, 0, "#'", "string literal not terminated"},
{"''", token.STRING, 0, "''", ""},
{"'", token.STRING, 0, "'", "string literal not terminated"},
{`"\("`, token.INTERPOLATION, 0, `"\(`, ""},
{`#"\("#`, token.STRING, 0, `#"\("#`, ""},
{`#"\#("#`, token.INTERPOLATION, 0, `#"\#(`, ""},
{`"\q"`, token.STRING, 2, `"\q"`, "unknown escape sequence"},
{`#"\q"#`, token.STRING, 0, `#"\q"#`, ""},
{`#"\#q"#`, token.STRING, 4, `#"\#q"#`, "unknown escape sequence"},
{"0", token.INT, 0, "0", ""},
{"077", token.INT, 0, "077", "illegal integer number"},
{"078.", token.FLOAT, 0, "078.", ""},
{"07801234567.", token.FLOAT, 0, "07801234567.", ""},
{"078e0", token.FLOAT, 0, "078e0", ""},
{"078", token.INT, 0, "078", "illegal integer number"},
{"07800000009", token.INT, 0, "07800000009", "illegal integer number"},
{"0x", token.INT, 0, "0x", "illegal hexadecimal number"},
{"0X", token.INT, 0, "0X", "illegal hexadecimal number"},
{"0Xbeef_", token.INT, 6, "0Xbeef_", "illegal '_' in number"},
{"0Xbeef__beef", token.INT, 7, "0Xbeef__beef", "illegal '_' in number"},
{"0b", token.INT, 0, "0b", "illegal binary number"},
{"0o", token.INT, 0, "0o", "illegal octal number"},
// {"123456789012345678890_i", IMAG, 21, "123456789012345678890_i", "illegal '_' in number"},
{"\"abc\x00def\"", token.STRING, 4, "\"abc\x00def\"", "illegal character NUL"},
{"\"abc\x80def\"", token.STRING, 4, "\"abc\x80def\"", "illegal UTF-8 encoding"},
{"\ufeff\ufeff", token.ILLEGAL, 3, "\ufeff\ufeff", "illegal byte order mark"}, // only first BOM is ignored
{"//\ufeff", token.COMMENT, 2, "//\ufeff", "illegal byte order mark"}, // only first BOM is ignored
// {"`a\ufeff`", IDENT, 2, "`a\ufeff`", "illegal byte order mark"}, // only first BOM is ignored
{`"` + "abc\ufeffdef" + `"`, token.STRING, 4, `"` + "abc\ufeffdef" + `"`, "illegal byte order mark"}, // only first BOM is ignored
}
func TestScanErrors(t *testing.T) {
for _, e := range errorTests {
t.Run(e.src, func(t *testing.T) {
checkError(t, e.src, e.tok, e.pos, e.lit, e.err)
})
}
}
// Verify that no comments show up as literal values when skipping comments.
func TestNoLiteralComments(t *testing.T) {
var src = `
a: {
A: 1 // foo
}
b :: {
B: 2
// foo
}
c: 3 // foo
d: 4
// foo
b anycode(): {
// foo
}
`
var s Scanner
s.Init(token.NewFile("", 1, len(src)), []byte(src), nil, 0)
for {
pos, tok, lit := s.Scan()
class := tokenclass(tok)
if lit != "" && class != keyword && class != literal && tok != token.COMMA {
t.Errorf("%s: tok = %s, lit = %q", pos, tok, lit)
}
if tok <= token.EOF {
break
}
}
}
func BenchmarkScan(b *testing.B) {
b.StopTimer()
file := token.NewFile("", 1, len(source))
var s Scanner
b.StartTimer()
for i := 0; i < b.N; i++ {
s.Init(file, source, nil, ScanComments)
for {
_, tok, _ := s.Scan()
if tok == token.EOF {
break
}
}
}
}
func BenchmarkScanFile(b *testing.B) {
b.StopTimer()
const filename = "go"
src, err := ioutil.ReadFile(filename)
if err != nil {
panic(err)
}
file := token.NewFile(filename, 1, len(src))
b.SetBytes(int64(len(src)))
var s Scanner
b.StartTimer()
for i := 0; i < b.N; i++ {
s.Init(file, src, nil, ScanComments)
for {
_, tok, _ := s.Scan()
if tok == token.EOF {
break
}
}
}
}