5
0
mirror of https://github.com/wailsapp/wails.git synced 2025-05-14 07:59:30 +08:00
wails/v3/internal/generator/collect/service.go
Fabio Massaioli 90b7ea944d
[v3] New binding generator (#3468)
* Support variadic arguments and slice, pointer types

* Fix computation of type namespaces

* Improve comments and general formatting

* Set default values correctly for composite types

* Add templates for bindings

Additionally:
* fixes generation of tuple return type
* improves imports and namespacing in JS mode
* general cleanup of generated code

* Simplify import list construction

* Refactor type generation code

Improves support for unknown types (encoded as any) and maps (using
Typescript index signatures)

* Support slices with pointer elements

* Match encoding/json behaviour in struct parser

* Update tests and example

* Add tests for complex method signatures and json tag parsing

* Add test `function_multiple_files`

* Attempt looking up idents with missing denotation

* Update test data

* fix quoted bool field

* Test quoted booleans

* Delete old parser code

* Remove old test data

* Update bindgen flags

* Makes call by ID the default

* Add package loading code

* Add static analyser

* Temporarily ignore binding generation code

* Add complex slice expressions test

* Fix variable reference analysis

* Unwrap casts to interface types

* Complete code comments

* Refactor static analyser

* Restrict options struct usage

* Update tests

* Fix method selector sink and source processing

* Improve Set API

* Add package info collector

* Rename analyser package to analyse

* Improve template functions

* Add index file templates

* Add glue code for binding generation

* Refactor collection and rendering code

* Implement binding generator

* Implement global index generation

* Improve marshaler and alias handling

* Use package path in binding calls by name

* Implement model collection and rendering

* Fix wrong exit condition in analyser

* Fix enum rendering

* Generate shortcuts for all packages.

* Implement generator tests

* Ignore non-pointer bound types

* Treat main package specially

* Compute stats

* Plug new API into generate command

* Support all named types

* Update JS runtime

* Report dual role types

* Remove go1.22 syntax

* Fix type assertion in TS bindings

* encoding/json compliance for arrays and slices

* Ignore got files in testdata

* Cleanup type rendering mechanism

* Update JS runtime

* Implement generic models

* Add missing field in renderer initialisation

* Improve generic creation code

* Add generic model test

* Add error reporting infrastructure

* Support configurable file names

* Detect file naming collisions

* Print final error report

* New shortcut file structure + collision detection

* Update test layout and data

* Autoconfiguration for analyser tests

* Live progress reporting

* Update code comments

* Fix model doc rendering

* Simplify name resolution

* Add test for out of tree types

* Fix generic creation code

* Fix potential collisions between methods and models

* Fix generic class alias rendering

* Report model discovery in debug mode

* Add interface mode for JS

* Collect interface method comments

* Add interface methods test

* Unwrap generic instantiations in method receivers

* Fix rendering of nullable types in interface mode

* Fix rendering of class aliases

* Expose promise cancel method to typescript

* Update test data

* Update binding example

* Fix rendering of aliased quoted type params

* Move to strongly typed bindings

* Implement lightweight analyser

* Update test cases

* Update binding example

* Add complex instantiation test

* Load full dependency tree

* Rewrite collector

* Update renderer to match new collector

* Update generator to match new collector

* Update test data

* Update binding example

* Configure includes and injections by language

* Improve system path resolution

* Support rich conditions in inject/include directives

* Fix error handling in Generator.Generate

* Retrieve compiled go file paths from fileset

* Do not rely on struct info in struct flattening algorithm

* Fix doc comment for findDeclaraion

* Fix bugs in embedded field handling

* Fix bugs and comments in package collection

* Remove useless fields from ServiceInfo

* Fix empty line at the beginning of TS indexes

* Remove global index and shortcuts

* Remove generation tests for individual packages

* Enforce lower-case file names

* Update test data

* Improve error reporting

* Update binding example

* Reintroduce go1.22 syntax

* Improve relative import path computation

* Improve alias support

* Add alias test

* Update test data

* Remove no services error

* Rename global analyser test

* Add workaround and test for bug in typeutil.Map

* Update test data

* Do not split fully qualified names

* Update typeutil package and remove workaround

* Unify alias/named type handling

* Fix rendering of generic named class aliases

* Fix rendering of array types

* Minor tweaks and cleanups

* Rmove namespaced export construct

* Update test data

* Update binding example

* Break type cycles

* Fix typo in comment

* Fix creation code for cyclic types

* Fix type of variadic params in interface mode

* Update test data

* Fix bad whitespace

* Refactor type assertions inside bound methods

* Update test data

* Rename field application.Options.Bind to Services

* Rename parser package to generator

* Update binding example

* Update test data

* Update generator readme

* Add typescript test harness

* Move test output to new subfolder

* Fix code generation bugs

* Use .js extensions in TS mode imports

* Update test data

* Revert default generator output dir to frontend/bindings

* Bump runtime package version

* Update templates

* Update changelog

* Improve newline handling

---------

Co-authored-by: Andreas Bichinger <andreas.bichinger@gmail.com>
2024-05-19 20:40:44 +10:00

312 lines
8.5 KiB
Go

package collect
import (
"fmt"
"go/ast"
"go/types"
"strconv"
"sync"
"github.com/wailsapp/wails/v3/internal/hash"
"golang.org/x/tools/go/types/typeutil"
)
type (
// ServiceInfo records all information that is required
// to render JS/TS code for a service type.
//
// Read accesses to any public field are only safe
// if a call to [ServiceInfo.Collect] has completed before the access,
// for example by calling it in the accessing goroutine
// or before spawning the accessing goroutine.
ServiceInfo struct {
*TypeInfo
Imports *ImportMap
Methods []*ServiceMethodInfo
// Injections stores a list of JS code lines
// that should be injected into the generated file.
Injections []string
collector *Collector
once sync.Once
}
// ServiceMethodInfo records all information that is required
// to render JS/TS code for a service method.
ServiceMethodInfo struct {
*MethodInfo
FQN string
ID string
Internal bool
Params []*ParamInfo
Results []types.Type
}
// ParamInfo records all information that is required
// to render JS/TS code for a service method parameter.
ParamInfo struct {
Name string
Type types.Type
Blank bool
Variadic bool
}
)
func newServiceInfo(collector *Collector, obj *types.TypeName) *ServiceInfo {
return &ServiceInfo{
TypeInfo: collector.Type(obj),
collector: collector,
}
}
// Service returns the unique ServiceInfo instance
// associated to the given object within a collector
// and registers it for code generation.
//
// Service is safe for concurrent use.
func (collector *Collector) Service(obj *types.TypeName) *ServiceInfo {
pkg := collector.Package(obj.Pkg())
if pkg == nil {
return nil
}
return pkg.recordService(obj)
}
// IsEmpty returns true if no methods or code injections
// are present for this service, for the selected language.
func (info *ServiceInfo) IsEmpty() bool {
// Ensure information has been collected.
info.Collect()
return len(info.Injections) == 0 && len(info.Methods) == 0
}
// Collect gathers information about the service described by its receiver.
// It can be called concurrently by multiple goroutines;
// the computation will be performed just once.
//
// Collect returns the receiver for chaining.
// It is safe to call Collect with nil receiver.
//
// After Collect returns, the calling goroutine and all goroutines
// it might spawn afterwards are free to access
// the receiver's fields indefinitely.
func (info *ServiceInfo) Collect() *ServiceInfo {
if info == nil {
return nil
}
info.once.Do(func() {
collector := info.collector
obj := info.Object().(*types.TypeName)
// Collect type information.
info.TypeInfo.Collect()
// Initialise import map.
info.Imports = NewImportMap(collector.Package(obj.Pkg()))
// Compute intuitive method set (i.e. both pointer and non-pointer receiver).
// Do not use a method set cache because
// - it would hurt concurrency (requires mutual exclusion),
// - it is only useful when the same type is queried many times;
// this may only happen here if some embedded types appear frequently,
// which should be far from average.
mset := typeutil.IntuitiveMethodSet(obj.Type(), nil)
// Collect method information.
info.Methods = make([]*ServiceMethodInfo, 0, len(mset))
for _, sel := range mset {
if !sel.Obj().Exported() {
// Ignore unexported methods.
continue
}
methodInfo := info.collectMethod(sel.Obj().(*types.Func))
if methodInfo != nil {
info.Methods = append(info.Methods, methodInfo)
}
}
// Parse directives.
for _, doc := range []*ast.CommentGroup{info.Doc, info.Decl.Doc} {
if doc == nil {
continue
}
for _, comment := range doc.List {
if IsDirective(comment.Text, "inject") {
// Check condition.
line, cond, err := ParseCondition(ParseDirective(comment.Text, "inject"))
if err != nil {
collector.logger.Errorf(
"%s: in `wails:inject` directive: %v",
collector.Package(obj.Pkg()).Fset.Position(comment.Pos()),
err,
)
continue
}
if !cond.Satisfied(collector.options) {
continue
}
// Record injected line.
info.Injections = append(info.Injections, line)
}
}
}
})
return info
}
// typeError caches the type-checker type for the Go error interface.
var typeError = types.Universe.Lookup("error").Type()
// typeAny caches the empty interface type.
var typeAny = types.Universe.Lookup("any").Type().Underlying()
// collectMethod collects and returns information about a service method.
// It is intended to be called only by ServiceInfo.Collect.
func (info *ServiceInfo) collectMethod(method *types.Func) *ServiceMethodInfo {
collector := info.collector
obj := info.Object().(*types.TypeName)
signature, _ := method.Type().(*types.Signature)
if signature == nil {
// Skip invalid interface method.
// TODO: is this actually necessary?
return nil
}
// Compute fully qualified name.
path := obj.Pkg().Path()
if obj.Pkg().Name() == "main" {
// reflect.Method.PkgPath is always "main" for the main package.
// This should not cause collisions because
// other main packages are not importable.
path = "main"
}
fqn := path + "." + obj.Name() + "." + method.Name()
id, _ := hash.Fnv(fqn)
methodInfo := &ServiceMethodInfo{
MethodInfo: collector.Method(method).Collect(),
FQN: fqn,
ID: strconv.FormatUint(uint64(id), 10),
Params: make([]*ParamInfo, 0, signature.Params().Len()),
Results: make([]types.Type, 0, signature.Results().Len()),
}
// Parse directives.
if methodInfo.Doc != nil {
var methodIdFound bool
for _, comment := range methodInfo.Doc.List {
switch {
case IsDirective(comment.Text, "internal"):
methodInfo.Internal = true
case !methodIdFound && IsDirective(comment.Text, "id"):
idString := ParseDirective(comment.Text, "id")
idValue, err := strconv.ParseUint(idString, 10, 32)
if err != nil {
collector.logger.Errorf(
"%s: invalid value '%s' in `wails:id` directive: expected a valid uint32 value",
collector.Package(method.Pkg()).Fset.Position(comment.Pos()),
idString,
)
continue
}
// Announce and record alias.
collector.logger.Infof(
"package %s: method %s.%s: default ID %s replaced by %d",
path,
obj.Name(),
method.Name(),
methodInfo.ID,
idValue,
)
methodInfo.ID = strconv.FormatUint(idValue, 10)
}
}
}
var needsContext bool
// Collect parameters.
for i := range signature.Params().Len() {
param := signature.Params().At(i)
if i == 0 {
// Skip first parameter if it has context type.
named, ok := types.Unalias(param.Type()).(*types.Named)
if ok && named.Obj().Pkg().Path() == collector.systemPaths.ContextPackage && named.Obj().Name() == "Context" {
needsContext = true
continue
}
}
if i == 0 || (i == 1 && needsContext) {
// Skip first parameter if it has window type,
// or second parameter if it has window type and first is context.
named, ok := types.Unalias(param.Type()).(*types.Named)
if ok && named.Obj().Pkg().Path() == collector.systemPaths.ApplicationPackage && named.Obj().Name() == "Window" {
continue
}
}
if types.IsInterface(param.Type()) && !types.Identical(param.Type(), typeAny) {
paramName := param.Name()
if paramName == "" || paramName == "_" {
paramName = fmt.Sprintf("#%d", i+1)
}
collector.logger.Warningf(
"%s: parameter %s has non-empty interface type %s: this is not supported by encoding/json and will likely result in runtime errors",
collector.Package(method.Pkg()).Fset.Position(param.Pos()),
paramName,
param.Type(),
)
}
// Record type dependencies.
info.Imports.AddType(param.Type())
// Record parameter.
methodInfo.Params = append(methodInfo.Params, &ParamInfo{
Name: param.Name(),
Type: param.Type(),
Blank: param.Name() == "" || param.Name() == "_",
})
}
if signature.Variadic() {
methodInfo.Params[len(methodInfo.Params)-1].Type = methodInfo.Params[len(methodInfo.Params)-1].Type.(*types.Slice).Elem()
methodInfo.Params[len(methodInfo.Params)-1].Variadic = true
}
// Collect results.
for i := range signature.Results().Len() {
result := signature.Results().At(i)
if types.Identical(result.Type(), typeError) {
// Skip error results, they are thrown as exceptions
continue
}
// Record type dependencies.
info.Imports.AddType(result.Type())
// Record result.
methodInfo.Results = append(methodInfo.Results, result.Type())
}
return methodInfo
}