blob: 50d1cc5009a14f468962f403b4b2b679207dc0da [file] [log] [blame]
Alan Donovan312d1a52017-10-02 10:10:28 -04001// Copyright 2017 The Bazel Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
5package resolve_test
6
7import (
8 "strings"
9 "testing"
10
Alan Donovan6beab7e2018-10-31 17:53:09 -040011 "go.starlark.net/internal/chunkedfile"
12 "go.starlark.net/resolve"
13 "go.starlark.net/starlarktest"
14 "go.starlark.net/syntax"
Alan Donovan312d1a52017-10-02 10:10:28 -040015)
16
Alan Donovanc0b6b762018-12-18 13:09:56 -050017func setOptions(src string) {
Alan Donovanc0b6b762018-12-18 13:09:56 -050018 resolve.AllowGlobalReassign = option(src, "globalreassign")
Alan Donovanc0b6b762018-12-18 13:09:56 -050019 resolve.AllowRecursion = option(src, "recursion")
20 resolve.AllowSet = option(src, "set")
alandonovan754257e2019-04-03 16:43:05 -040021 resolve.LoadBindsGlobally = option(src, "loadbindsglobally")
Alan Donovanc0b6b762018-12-18 13:09:56 -050022}
23
24func option(chunk, name string) bool {
25 return strings.Contains(chunk, "option:"+name)
26}
27
Alan Donovan312d1a52017-10-02 10:10:28 -040028func TestResolve(t *testing.T) {
Alan Donovanc0b6b762018-12-18 13:09:56 -050029 defer setOptions("")
Alan Donovan6beab7e2018-10-31 17:53:09 -040030 filename := starlarktest.DataFile("resolve", "testdata/resolve.star")
Alan Donovan312d1a52017-10-02 10:10:28 -040031 for _, chunk := range chunkedfile.Read(filename, t) {
Laurent Le Brun689fc222018-02-22 19:37:18 +010032 f, err := syntax.Parse(filename, chunk.Source, 0)
Alan Donovan312d1a52017-10-02 10:10:28 -040033 if err != nil {
34 t.Error(err)
35 continue
36 }
37
alandonovancea917a2021-01-21 17:58:09 -050038 // A chunk may set options by containing e.g. "option:recursion".
Alan Donovanc0b6b762018-12-18 13:09:56 -050039 setOptions(chunk.Source)
Alan Donovan312d1a52017-10-02 10:10:28 -040040
alandonovana1b28d82018-03-13 10:59:24 -040041 if err := resolve.File(f, isPredeclared, isUniversal); err != nil {
Alan Donovan312d1a52017-10-02 10:10:28 -040042 for _, err := range err.(resolve.ErrorList) {
43 chunk.GotError(int(err.Pos.Line), err.Msg)
44 }
45 }
46 chunk.Done()
47 }
48}
49
Alan Donovan312d1a52017-10-02 10:10:28 -040050func TestDefVarargsAndKwargsSet(t *testing.T) {
51 source := "def f(*args, **kwargs): pass\n"
Alan Donovane3deafe2018-10-23 11:05:09 -040052 file, err := syntax.Parse("foo.star", source, 0)
Alan Donovan312d1a52017-10-02 10:10:28 -040053 if err != nil {
54 t.Fatal(err)
55 }
alandonovana1b28d82018-03-13 10:59:24 -040056 if err := resolve.File(file, isPredeclared, isUniversal); err != nil {
Alan Donovan312d1a52017-10-02 10:10:28 -040057 t.Fatal(err)
58 }
alandonovan6ddc71c2019-06-04 09:08:55 -040059 fn := file.Stmts[0].(*syntax.DefStmt).Function.(*resolve.Function)
Alan Donovan312d1a52017-10-02 10:10:28 -040060 if !fn.HasVarargs {
61 t.Error("HasVarargs not set")
62 }
63 if !fn.HasKwargs {
64 t.Error("HasKwargs not set")
65 }
66}
67
68func TestLambdaVarargsAndKwargsSet(t *testing.T) {
69 resolve.AllowLambda = true
70 source := "f = lambda *args, **kwargs: 0\n"
Alan Donovane3deafe2018-10-23 11:05:09 -040071 file, err := syntax.Parse("foo.star", source, 0)
Alan Donovan312d1a52017-10-02 10:10:28 -040072 if err != nil {
73 t.Fatal(err)
74 }
alandonovana1b28d82018-03-13 10:59:24 -040075 if err := resolve.File(file, isPredeclared, isUniversal); err != nil {
Alan Donovan312d1a52017-10-02 10:10:28 -040076 t.Fatal(err)
77 }
alandonovan6ddc71c2019-06-04 09:08:55 -040078 lam := file.Stmts[0].(*syntax.AssignStmt).RHS.(*syntax.LambdaExpr).Function.(*resolve.Function)
Alan Donovan312d1a52017-10-02 10:10:28 -040079 if !lam.HasVarargs {
80 t.Error("HasVarargs not set")
81 }
82 if !lam.HasKwargs {
83 t.Error("HasKwargs not set")
84 }
85}
86
alandonovana1b28d82018-03-13 10:59:24 -040087func isPredeclared(name string) bool { return name == "M" }
88
89func isUniversal(name string) bool { return name == "U" || name == "float" }