-
Notifications
You must be signed in to change notification settings - Fork 0
/
goq_test.go
130 lines (112 loc) · 2.67 KB
/
goq_test.go
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
package goq_test
import (
"go/ast"
"go/importer"
"go/parser"
"go/token"
"go/types"
"reflect"
"testing"
. "github.com/tenntenn/goq"
"github.com/tenntenn/optional"
)
func TestExec(t *testing.T) {
const src = `package main
func main() {
n := 10
println(n)
}`
fset := token.NewFileSet()
f, err := parser.ParseFile(fset, "main.go", src, 0)
if err != nil {
t.Fatalf("unexpected error: %v", err)
}
config := &types.Config{
Importer: importer.Default(),
}
info := &types.Info{
Defs: map[*ast.Ident]types.Object{},
Uses: map[*ast.Ident]types.Object{},
}
if _, err := config.Check("main", fset, []*ast.File{f}, info); err != nil {
t.Fatalf("unexpected error: %v", err)
}
q := &Int{}
results := New(fset, []*ast.File{f}, info).Query(q)
if len(results) != 2 {
t.Fatalf("the number of result must be 2 but %d", len(results))
}
if n := results[0].Object.Name(); n != "n" {
t.Errorf(`exepect object name is "n" but %q`, n)
}
}
func TestError(t *testing.T) {
const src = `package main
type Err string
func (err Err) Error() string {return string(err)}
func f() (int, Err) { // 4
return 0, Err("hoge")
}
func main() {
println(f()) // 8
println(func() Err { // 9
return Err("fuga")
}())
println(func() error { // 12
return nil
}())
}`
fset := token.NewFileSet()
f, err := parser.ParseFile(fset, "main.go", src, 0)
if err != nil {
t.Fatalf("unexpected error: %v", err)
}
config := &types.Config{
Importer: importer.Default(),
}
info := &types.Info{
Defs: map[*ast.Ident]types.Object{},
Uses: map[*ast.Ident]types.Object{},
Types: map[ast.Expr]types.TypeAndValue{},
}
files := []*ast.File{f}
if _, err := config.Check("main", fset, files, info); err != nil {
t.Fatalf("unexpected error: %v", err)
}
errorType := types.Universe.Lookup("error").Type()
results := New(fset, []*ast.File{f}, info).Query(&Signature{
Results: NewTupple(nil).Put(optional.Last, &Var{
Type: And(&Type{
Implements: errorType,
}, Not(&Type{
Identical: errorType,
})),
}),
}).Filter(Or(&Node{
Files: files,
Path: []Query{
&Node{
Type: reflect.TypeOf((*ast.FuncLit)(nil)),
},
},
}, &Node{
Files: files,
Path: []Query{
&Node{
Type: reflect.TypeOf((*ast.FuncDecl)(nil)),
},
&Node{
Type: reflect.TypeOf((*ast.Ident)(nil)),
},
},
}))
if len(results) != 2 {
t.Fatalf("the number of result must be 2 but %d", len(results))
}
if pos := results[0].Node.Pos(); fset.Position(pos).Line != 4 {
t.Errorf(`exepect first line is 4 but %d`, fset.Position(pos).Line)
}
if pos := results[1].Node.Pos(); fset.Position(pos).Line != 9 {
t.Errorf(`exepect first line is 9 but %d`, fset.Position(pos).Line)
}
}