-
Notifications
You must be signed in to change notification settings - Fork 12
/
atomicvalue.go
459 lines (404 loc) · 13.7 KB
/
atomicvalue.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
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
// Copyright 2020 The searKing Author. All rights reserved.
// Use of this source code is governed by a BSD-style
// license that can be found in the LICENSE file.
// go-atomicvalue Generates Go code using a package as a generic template for atomic.Value.
// Given the name of a atomic.Value type T , and the name of a type Value
// go-atomicvalue will create a new self-contained Go source file implementing
//
// func (m *T) Store(value Value)
// func (m *T) Load() Value
//
// The file is created in the same package and directory as the package that defines T, Key.
// It has helpful defaults designed for use with go generate.
//
// For example, given this snippet,
//
// package painkiller
//
// import "sync/atomic"
//
// type Pill atomic.Value
//
// running this command
//
// go-atomicvalue -type=Pill<time.Time>
//
// in the same directory will create the file pill_atomicvalue.go, in package painkiller,
// containing a definition of
//
// func (m *Pill) Store(value time.Time)
// func (m *Pill) Load() time.Time
//
// Typically this process would be run using go generate, like this:
//
// //go:generate go-atomicvalue -type=Pill<int>
// //go:generate go-atomicvalue -type=Pill<*string>
// //go:generate go-atomicvalue -type=Pill<time.Time>
// //go:generate go-atomicvalue -type=Pill<*encoding/json.Token>
//
// With no arguments, it processes the package in the current directory.
// Otherwise, the arguments must name a single directory holding a Go package
// or a set of Go source files that represent a single Go package.
//
// The -type flag accepts a comma-separated list of types so a single run can
// generate methods for multiple types. The default output file is t_string.go,
// where t is the lower-cased name of the first type listed. It can be overridden
// with the -output flag.
package main
import (
"bytes"
"flag"
"fmt"
"go/ast"
"go/format"
"go/token"
"go/types"
"io/ioutil"
"log"
"os"
"path/filepath"
"strings"
strings_ "github.com/searKing/golang/tools/pkg/strings"
"golang.org/x/tools/go/packages"
"golang.org/x/tools/imports"
)
var (
typeInfos = flag.String("type", "", "comma-separated list of type names; must be set")
output = flag.String("output", "", "output file name; default srcdir/<type>_atomicvalue.go")
trimprefix = flag.String("trimprefix", "", "trim the `prefix` from the generated constant names")
linecomment = flag.Bool("linecomment", false, "use line comment text as printed text when present")
buildTags = flag.String("tags", "", "comma-separated list of build tags to apply")
)
// Usage is a replacement usage function for the flags package.
func Usage() {
_, _ = fmt.Fprintf(os.Stderr, "Usage of go-atomicvalue:\n")
_, _ = fmt.Fprintf(os.Stderr, "\tgo-atomicvalue [flags] -type T [directory]\n")
_, _ = fmt.Fprintf(os.Stderr, "\tgo-atomicvalue [flags] -type T<V> [directory]\n")
_, _ = fmt.Fprintf(os.Stderr, "\tgo-atomicvalue [flags] -type T<V> files... # Must be a single package\n")
_, _ = fmt.Fprintf(os.Stderr, "\tgo-atomicvalue [flags] -type T,S [directory]\n")
_, _ = fmt.Fprintf(os.Stderr, "\tgo-atomicvalue [flags] -type T<V>,S<V> [directory]\n")
_, _ = fmt.Fprintf(os.Stderr, "For more information, see:\n")
_, _ = fmt.Fprintf(os.Stderr, "\thttps://pkg.go.dev/github.com/searKing/golang/tools/go-atomicvalue\n")
_, _ = fmt.Fprintf(os.Stderr, "Flags:\n")
flag.PrintDefaults()
}
const (
goAtomicValueToolName = "go-atomicvalue"
)
func main() {
log.SetFlags(0)
log.SetPrefix("go-atomicvalue: ")
flag.Usage = Usage
flag.Parse()
if len(*typeInfos) == 0 {
flag.Usage()
os.Exit(2)
}
// type <key, value> type <key, value>
types := newTypeInfo(*typeInfos)
if len(types) == 0 {
flag.Usage()
os.Exit(3)
}
var tags []string
if len(*buildTags) > 0 {
tags = strings.Split(*buildTags, ",")
}
// We accept either one directory or a list of files. Which do we have?
args := flag.Args()
if len(args) == 0 {
// Default: process whole package in current directory.
args = []string{"."}
}
// Parse the package once.
var dir string
g := Generator{
trimPrefix: *trimprefix,
lineComment: *linecomment,
}
// TODO(suzmue): accept other patterns for packages (directories, list of files, import paths, etc).
if len(args) == 1 && isDirectory(args[0]) {
dir = args[0]
} else {
if len(tags) != 0 {
log.Fatal("-tags option applies only to directories, not when files are specified")
}
dir = filepath.Dir(args[0])
}
g.parsePackage(args, tags)
// Print the header and package clause.
g.Printf("// Code generated by \"%s %s\"; DO NOT EDIT.\n", goAtomicValueToolName, strings.Join(os.Args[1:], " "))
g.Printf("\n")
g.Printf("// Install %[1]s by `go get install github.com/searKing/golang/tools/%[1]s`", goAtomicValueToolName)
g.Printf("\n")
g.Printf("package %s", g.pkg.name)
g.Printf("\n")
g.Printf(stringImport, "sync/atomic") // Used by atomic.Value.
// Run generate for each type.
for _, typeInfo := range types {
g.generate(typeInfo)
}
// Format the output.
src := g.format()
target := g.goimport(src)
// Write to file.
outputName := *output
if outputName == "" {
baseName := fmt.Sprintf("%s_atomicvalue.go", types[0].Name)
outputName = filepath.Join(dir, strings.ToLower(baseName))
}
err := ioutil.WriteFile(outputName, target, 0644)
if err != nil {
log.Fatalf("writing output: %s", err)
}
}
// isDirectory reports whether the named file is a directory.
func isDirectory(name string) bool {
info, err := os.Stat(name)
if err != nil {
log.Fatal(err)
}
return info.IsDir()
}
// Generator holds the state of the analysis. Primarily used to buffer
// the output for format.Source.
type Generator struct {
buf bytes.Buffer // Accumulated output.
pkg *Package // Package we are scanning.
trimPrefix string
lineComment bool
}
// Printf format & write to the buf in this generator
func (g *Generator) Printf(format string, args ...any) {
_, _ = fmt.Fprintf(&g.buf, format, args...)
}
// File holds a single parsed file and associated data.
type File struct {
pkg *Package // Package to which this file belongs.
file *ast.File // Parsed AST.
// These fields are reset for each type being generated.
typeInfo typeInfo
values []Value // Accumulator for constant values of that type.
trimPrefix string
lineComment bool
}
// Package holds a single parsed package and associated files and ast files.
type Package struct {
// Name is the package name as it appears in the package source code.
name string
// Defs maps identifiers to the objects they define (including
// package names, dots "." of dot-imports, and blank "_" identifiers).
// For identifiers that do not denote objects (e.g., the package name
// in package clauses, or symbolic variables t in t := x.(type) of
// type switch headers), the corresponding objects are nil.
//
// For an embedded field, Defs returns the field *Var it defines.
//
// Invariant: Defs[id] == nil || Defs[id].Pos() == id.Pos()
defs map[*ast.Ident]types.Object
// Ast files to which this package contains.
files []*File
}
// parsePackage analyzes the single package constructed from the patterns and tags.
// parsePackage exits if there is an error.
func (g *Generator) parsePackage(patterns []string, tags []string) {
cfg := &packages.Config{
Mode: packages.LoadSyntax,
// TODO: Need to think about constants in test files. Maybe write type_string_test.go
// in a separate pass? For later.
Tests: false,
BuildFlags: []string{fmt.Sprintf("-tags=%s", strings.Join(tags, " "))},
}
pkgs, err := packages.Load(cfg, patterns...)
if err != nil {
log.Fatal(err)
}
if len(pkgs) != 1 {
log.Fatalf("error: %d packages found", len(pkgs))
}
g.addPackage(pkgs[0])
}
// addPackage adds a type checked Package and its syntax files to the generator.
func (g *Generator) addPackage(pkg *packages.Package) {
g.pkg = &Package{
name: pkg.Name,
defs: pkg.TypesInfo.Defs,
files: make([]*File, len(pkg.Syntax)),
}
for i, file := range pkg.Syntax {
g.pkg.files[i] = &File{
file: file,
pkg: g.pkg,
trimPrefix: g.trimPrefix,
lineComment: g.lineComment,
}
}
}
// generate produces the String method for the named type.
func (g *Generator) generate(typeInfo typeInfo) {
// <key, value>
values := make([]Value, 0, 100)
for _, file := range g.pkg.files {
// Set the state for this run of the walker.
file.typeInfo = typeInfo
file.values = nil
if file.file != nil {
ast.Inspect(file.file, file.genDecl)
values = append(values, file.values...)
}
}
if len(values) == 0 {
log.Fatalf("no values defined for type %+v", typeInfo)
}
g.buildOneRun(values[0])
}
// format returns the gofmt-ed contents of the Generator's buffer.
func (g *Generator) format() []byte {
src, err := format.Source(g.buf.Bytes())
if err != nil {
// Should never happen, but can arise when developing this code.
// The user can compile the output to see the error.
log.Printf("warning: internal error: invalid Go generated: %s", err)
log.Printf("warning: compile the package to analyze the error")
return g.buf.Bytes()
}
return src
}
func (g *Generator) goimport(src []byte) []byte {
var opt = &imports.Options{
TabWidth: 8,
TabIndent: true,
Comments: true,
Fragment: true,
}
res, err := imports.Process("", src, opt)
if err != nil {
log.Fatalf("process import: %s", err)
}
return res
}
// Value represents a declared constant.
type Value struct {
originalName string // The name of the constant.
name string // The name with trimmed prefix.
str string // The string representation given by the "go/constant" package.
eleImport string // import path of the atomic.Value type.
eleName string // Name of the atomic.Value type.
valueImport string // import path of the atomic.Value's value.
valueType string // The type of the value in atomic.Value.
valueIsPointer bool // whether the value's type is ptr
valueTypePrefix string // The type's prefix, such as []*[]
}
func (v *Value) String() string {
return v.str
}
// genDecl processes one declaration clause.
func (f *File) genDecl(node ast.Node) bool {
decl, ok := node.(*ast.GenDecl)
// Token must be in IMPORT, CONST, TYPE, VAR
if !ok || decl.Tok != token.TYPE {
// We only care about const declarations.
return true
}
// The name of the type of the constants we are declaring.
// Can change if this is a multi-element declaration.
typ := ""
// Loop over the elements of the declaration. Each element is a ValueSpec:
// a list of names possibly followed by a type, possibly followed by values.
// If the type and value are both missing, we carry down the type (and value,
// but the "go/types" package takes care of that).
for _, spec := range decl.Specs {
tspec := spec.(*ast.TypeSpec) // Guaranteed to succeed as this is TYPE.
typ = tspec.Name.Name
sExpr, ok := tspec.Type.(*ast.SelectorExpr)
if !ok {
continue
}
if sExpr.X.(*ast.Ident).Name == "atomic" && sExpr.Sel.Name == "Value" {
if typ != f.typeInfo.Name {
// This is not the type we're looking for.
continue
}
v := Value{
originalName: typ,
str: typ,
valueImport: f.typeInfo.valueImport,
valueType: f.typeInfo.valueType,
valueIsPointer: f.typeInfo.valueIsPointer,
valueTypePrefix: f.typeInfo.valueTypePrefix,
}
if c := tspec.Comment; f.lineComment && c != nil && len(c.List) == 1 {
v.name = strings.TrimSpace(c.Text())
} else {
v.name = strings.TrimPrefix(v.originalName, f.trimPrefix)
}
v.eleName = v.name
if strings.TrimSpace(v.valueType) == "" {
v.valueType = "interface{}"
}
f.values = append(f.values, v)
}
}
return false
}
// Helpers
// declareNameVar declares the concatenated names
// strings representing the runs of values
func (g *Generator) declareNameVar(run Value) string {
nilValName, nilValDecl := g.createValAndNameDecl(run)
g.Printf("var %s\n", nilValDecl)
return nilValName
}
// createValAndNameDecl returns the pair of declarations for the run. The caller will add "var".
func (g *Generator) createValAndNameDecl(val Value) (string, string) {
goRep := strings.NewReplacer(".", "_", "{", "_", "}", "_")
nilValName := fmt.Sprintf("_nil_%s_%s_value",
val.eleName,
goRep.Replace(val.valueType))
nilValDecl := fmt.Sprintf("%s = func() (val %s) { return }()", nilValName, val.valueType)
return nilValName, nilValDecl
}
// buildOneRun generates the variables and String method for a single run of contiguous values.
func (g *Generator) buildOneRun(value Value) {
//values := run
g.Printf("\n")
if strings.TrimSpace(value.eleImport) != "" {
g.Printf(stringImport, value.eleImport)
}
if strings.TrimSpace(value.valueImport) != "" {
g.Printf(stringImport, value.valueImport)
}
// Generate code that will fail if the constants change value.
g.Printf("func _() {\n")
g.Printf("\t// An \"cannot convert %s literal (type %s) to type atomic.Value\" compiler error signifies that the base type have changed.\n", value.eleName, value.eleName)
g.Printf("\t// Re-run the go-atomicvalue command to generate them again.\n")
g.Printf("\t _ = (atomic.Value)(%s{})\n", value.eleName)
g.Printf("}\n")
//The generated code is simple enough to write as a Printf format.
g.Printf(stringOneRun, value.eleName,
strings_.LoadElse(value.valueIsPointer, "*", "")+value.valueTypePrefix+value.valueType,
strings_.LoadElseGet(value.valueIsPointer, "nil", func() string {
return g.declareNameVar(value)
}))
}
// Arguments to format are:
//
// [1]: import path
const stringImport = `import "%s"
`
// Arguments to format are:
//
// [1]: map type name
// [2]: value type name
// [3]: nil value of map type
const stringOneRun = `func (m *%[1]s) Store(value %[2]s) {
(*atomic.Value)(m).Store(value)
}
func (m *%[1]s) Load() %[2]s {
value := (*atomic.Value)(m).Load()
if value == nil {
return %[3]s
}
return value.(%[2]s)
}
`