Source file
src/go/types/scope.go
1
2
3
4
5
6
7
8
9
10 package types
11
12 import (
13 "fmt"
14 "go/token"
15 "io"
16 "slices"
17 "strings"
18 "sync"
19 )
20
21
22
23
24
25 type Scope struct {
26 parent *Scope
27 children []*Scope
28 number int
29 elems map[string]Object
30 pos, end token.Pos
31 comment string
32 isFunc bool
33 }
34
35
36
37 func NewScope(parent *Scope, pos, end token.Pos, comment string) *Scope {
38 s := &Scope{parent, nil, 0, nil, pos, end, comment, false}
39
40 if parent != nil && parent != Universe {
41 parent.children = append(parent.children, s)
42 s.number = len(parent.children)
43 }
44 return s
45 }
46
47
48 func (s *Scope) Parent() *Scope { return s.parent }
49
50
51 func (s *Scope) Len() int { return len(s.elems) }
52
53
54 func (s *Scope) Names() []string {
55 names := make([]string, len(s.elems))
56 i := 0
57 for name := range s.elems {
58 names[i] = name
59 i++
60 }
61 slices.Sort(names)
62 return names
63 }
64
65
66 func (s *Scope) NumChildren() int { return len(s.children) }
67
68
69 func (s *Scope) Child(i int) *Scope { return s.children[i] }
70
71
72
73 func (s *Scope) Lookup(name string) Object {
74 obj := resolve(name, s.elems[name])
75
76
77
78
79
80
81
82
83 if obj == universeAnyAlias && !aliasAny() {
84 return universeAnyNoAlias
85 }
86 return obj
87 }
88
89
90
91
92
93
94 func (s *Scope) Insert(obj Object) Object {
95 name := obj.Name()
96 if alt := s.Lookup(name); alt != nil {
97 return alt
98 }
99 s.insert(name, obj)
100
101
102
103
104
105 if obj.Parent() == nil {
106 obj.setParent(s)
107 }
108 return nil
109 }
110
111
112
113
114
115
116
117
118 func (s *Scope) _InsertLazy(name string, resolve func() Object) bool {
119 if s.elems[name] != nil {
120 return false
121 }
122 s.insert(name, &lazyObject{parent: s, resolve: resolve})
123 return true
124 }
125
126 func (s *Scope) insert(name string, obj Object) {
127 if s.elems == nil {
128 s.elems = make(map[string]Object)
129 }
130 s.elems[name] = obj
131 }
132
133
134
135
136
137
138 func (s *Scope) WriteTo(w io.Writer, n int, recurse bool) {
139 const ind = ". "
140 indn := strings.Repeat(ind, n)
141
142 fmt.Fprintf(w, "%s%s scope %p {\n", indn, s.comment, s)
143
144 indn1 := indn + ind
145 for _, name := range s.Names() {
146 fmt.Fprintf(w, "%s%s\n", indn1, s.Lookup(name))
147 }
148
149 if recurse {
150 for _, s := range s.children {
151 s.WriteTo(w, n+1, recurse)
152 }
153 }
154
155 fmt.Fprintf(w, "%s}\n", indn)
156 }
157
158
159 func (s *Scope) String() string {
160 var buf strings.Builder
161 s.WriteTo(&buf, 0, false)
162 return buf.String()
163 }
164
165
166
167 type lazyObject struct {
168 parent *Scope
169 resolve func() Object
170 obj Object
171 once sync.Once
172 }
173
174
175
176 func resolve(name string, obj Object) Object {
177 if lazy, ok := obj.(*lazyObject); ok {
178 lazy.once.Do(func() {
179 obj := lazy.resolve()
180
181 if _, ok := obj.(*lazyObject); ok {
182 panic("recursive lazy object")
183 }
184 if obj.Name() != name {
185 panic("lazy object has unexpected name")
186 }
187
188 if obj.Parent() == nil {
189 obj.setParent(lazy.parent)
190 }
191 lazy.obj = obj
192 })
193
194 obj = lazy.obj
195 }
196 return obj
197 }
198
199
200
201 func (*lazyObject) Parent() *Scope { panic("unreachable") }
202 func (*lazyObject) Pos() token.Pos { panic("unreachable") }
203 func (*lazyObject) Pkg() *Package { panic("unreachable") }
204 func (*lazyObject) Name() string { panic("unreachable") }
205 func (*lazyObject) Type() Type { panic("unreachable") }
206 func (*lazyObject) Exported() bool { panic("unreachable") }
207 func (*lazyObject) Id() string { panic("unreachable") }
208 func (*lazyObject) String() string { panic("unreachable") }
209 func (*lazyObject) order() uint32 { panic("unreachable") }
210 func (*lazyObject) color() color { panic("unreachable") }
211 func (*lazyObject) setType(Type) { panic("unreachable") }
212 func (*lazyObject) setOrder(uint32) { panic("unreachable") }
213 func (*lazyObject) setColor(color color) { panic("unreachable") }
214 func (*lazyObject) setParent(*Scope) { panic("unreachable") }
215 func (*lazyObject) sameId(*Package, string, bool) bool { panic("unreachable") }
216 func (*lazyObject) scopePos() token.Pos { panic("unreachable") }
217 func (*lazyObject) setScopePos(token.Pos) { panic("unreachable") }
218
View as plain text