add multiverse lookup to Type

Author: ziyue-101

v2/parser/parse.go

@@ -637,6 +637,12 @@ func (p *Parser) convertSignature(u types.Universe, t *gotypes.Signature) *types
 
 // walkType adds the type, and any necessary child types.
 func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type) *types.Type {
+	var out *types.Type
+	defer func() {
+		if out.GetMultiverse() == nil {
+			out.NewMultiverse(u)
+		}
+	}()
 	// Most of the cases are underlying types of the named type.
 	name := goNameToName(in.String())
 	if useName != nil {
@@ -645,13 +651,13 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 
 	// Handle alias types conditionally on go1.22+.
 	// Inline this once the minimum supported version is go1.22
-	if out := p.walkAliasType(u, in); out != nil {
+	if out = p.walkAliasType(u, in); out != nil {
 		return out
 	}
 
 	switch t := in.(type) {
 	case *gotypes.Struct:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out
@@ -670,7 +676,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		}
 		return out
 	case *gotypes.Map:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out
@@ -680,7 +686,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		out.Key = p.walkType(u, nil, t.Key())
 		return out
 	case *gotypes.Pointer:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out
@@ -689,7 +695,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		out.Elem = p.walkType(u, nil, t.Elem())
 		return out
 	case *gotypes.Slice:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out
@@ -698,7 +704,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		out.Elem = p.walkType(u, nil, t.Elem())
 		return out
 	case *gotypes.Array:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out
@@ -708,7 +714,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		out.Len = in.(*gotypes.Array).Len()
 		return out
 	case *gotypes.Chan:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out
@@ -719,7 +725,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		// cannot be properly written.
 		return out
 	case *gotypes.Basic:
-		out := u.Type(types.Name{
+		out = u.Type(types.Name{
 			Package: "", // This is a magic package name in the Universe.
 			Name:    t.Name(),
 		})
@@ -730,7 +736,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		out.Kind = types.Unsupported
 		return out
 	case *gotypes.Signature:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out
@@ -739,7 +745,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		out.Signature = p.convertSignature(u, t)
 		return out
 	case *gotypes.Interface:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out
@@ -758,7 +764,6 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 		}
 		return out
 	case *gotypes.Named:
-		var out *types.Type
 		switch t.Underlying().(type) {
 		case *gotypes.Named, *gotypes.Basic, *gotypes.Map, *gotypes.Slice:
 			name := goNameToName(t.String())
@@ -785,7 +790,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 				name.Name = fmt.Sprintf("%s[%s]", strings.SplitN(name.Name, "[", 2)[0], strings.Join(tpNames, ","))
 			}
 
-			if out := u.Type(name); out.Kind != types.Unknown {
+			if out = u.Type(name); out.Kind != types.Unknown {
 				out.GoType = in
 				return out // short circuit if we've already made this.
 			}
@@ -797,7 +802,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 			// "feature" for users. This flattens those types
 			// together.
 			name := goNameToName(t.String())
-			if out := u.Type(name); out.Kind != types.Unknown {
+			if out = u.Type(name); out.Kind != types.Unknown {
 				return out // short circuit if we've already made this.
 			}
 			out = p.walkType(u, &name, t.Underlying())
@@ -827,7 +832,7 @@ func (p *Parser) walkType(u types.Universe, useName *types.Name, in gotypes.Type
 			Kind: types.TypeParam,
 		}
 	default:
-		out := u.Type(name)
+		out = u.Type(name)
 		out.GoType = in
 		if out.Kind != types.Unknown {
 			return out

v2/parser/parse_test.go

@@ -548,6 +548,12 @@ func TestAddOnePkgToUniverse(t *testing.T) {
 		if len(ud.Types) == 0 {
 			t.Errorf("expected non-zero types in direct package")
 		} else {
+			// verify that multiverse has been populated in type
+			for _, tp := range ud.Types {
+				if tp.GetMultiverse() == nil {
+					t.Errorf("expected no nil multiverse in type %v", tp)
+				}
+			}
 			type testcase struct {
 				kind       types.Kind
 				elem       string // just the type name
@@ -1124,6 +1130,7 @@ func TestStructParse(t *testing.T) {
 			}
 			opts := []cmp.Option{
 				cmpopts.IgnoreFields(types.Type{}, "GoType"),
+				cmpopts.IgnoreFields(types.Type{}, "multiverse"),
 			}
 			if e, a := expected, st; !cmp.Equal(e, a, opts...) {
 				t.Errorf("wanted, got:\n%#v\n%#v\n%s", e, a, cmp.Diff(e, a, opts...))

v2/types/types.go

@@ -19,6 +19,7 @@ package types
 import (
 	gotypes "go/types"
 	"strings"
+	"sync"
 )
 
 // Ref makes a reference to the given type. It can only be used for e.g.
@@ -364,6 +365,60 @@ type Type struct {
 
 	// The underlying Go type.
 	GoType gotypes.Type
+
+	// The reference to Multiverse
+	multiverse *multiverse
+}
+
+// multiverse holds Type definitions that were not found in the imported code but are needed during
+// generation. For example the imported code my have T but not *T, while the generated code needs *T. This
+// can't be part of the main Universe because that is a simple map, with no locking, and we all know what happens
+// when you modify a map while it is being iterated. Sharing this multiverse across Types ensures that there's
+// a single *Type for every type, and maintains the invariant that PointerTo(String) == PointerTo(String).
+type multiverse struct {
+	real      Universe
+	mu        sync.Mutex
+	synthetic map[string]*Type
+}
+
+// NeMultiverse creates a multiverse.
+func (t *Type) NewMultiverse(u Universe) {
+	if t == nil {
+		return
+	}
+	t.multiverse = &multiverse{
+		real:      u,
+		mu:        sync.Mutex{},
+		synthetic: map[string]*Type{},
+	}
+}
+
+// GetMultiverse returns a Type.multiverse.
+func (t *Type) GetMultiverse() *multiverse {
+	if t == nil {
+		return nil
+	}
+	return t.multiverse
+}
+
+// GetOrAddType searches a Type in the Universe and synthetic map.
+// If there is a matching name, return the Type, otherwise, create the Type.
+func (m *multiverse) GetOrAddType(t *Type) *Type {
+	if m == nil {
+		return t
+	}
+	if p, ok := m.real[t.Name.Package]; ok {
+		if t, ok := p.Types[t.Name.Name]; ok {
+			return t
+		}
+	}
+	m.mu.Lock()
+	defer m.mu.Unlock()
+	if t, ok := m.synthetic[t.Name.Name]; ok {
+		return t
+	}
+	m.synthetic[t.Name.Name] = t
+	return t
 }
 
 // String returns the name of the type.
@@ -556,13 +611,14 @@ var (
 )
 
 func PointerTo(t *Type) *Type {
-	return &Type{
+	pt := &Type{
 		Name: Name{
 			Name: "*" + t.Name.String(),
 		},
 		Kind: Pointer,
 		Elem: t,
 	}
+	return t.multiverse.GetOrAddType(pt)
 }
 
 func IsInteger(t *Type) bool {

v2/types/types_test.go

@@ -17,6 +17,8 @@ limitations under the License.
 package types
 
 import (
+	"reflect"
+	"sync"
 	"testing"
 )
 
@@ -37,6 +39,95 @@ func TestGetBuiltin(t *testing.T) {
 	}
 }
 
+func TestPointerTo(t *testing.T) {
+	type1 := &Type{
+		Name: Name{Package: "pkgname", Name: "structname"},
+		Kind: Struct,
+	}
+	type2 := &Type{
+		Name: Name{Package: "pkgname", Name: "secondstructname"},
+		Kind: Struct,
+	}
+
+	u := Universe{
+		"pkgname": &Package{
+			Types: map[string]*Type{
+				"structname":       type1,
+				"secondstructname": type2,
+			},
+		},
+		"": &Package{
+			Types: map[string]*Type{
+				"*pkgname.structname": &Type{
+					Name: Name{Name: "*pkgname.structname"},
+					Kind: Pointer,
+				},
+			},
+		},
+	}
+
+	type3 := &Type{
+		Name: Name{Package: "pkgname", Name: "thridstructname"},
+		Kind: Struct,
+		multiverse: &multiverse{
+			real: u,
+			synthetic: map[string]*Type{
+				"*pkgname.thridstructname": &Type{
+					Name: Name{Name: "*pkgname.thridstructname"},
+					Kind: Pointer,
+				},
+			},
+			mu: sync.Mutex{},
+		},
+	}
+
+	testCases := []struct {
+		name           string
+		tp             *Type
+		expected       *Type
+		expectCreation bool
+	}{
+		{
+			name:           "universe has the pointer type",
+			tp:             type1,
+			expected:       u[""].Types["*pkgname.structname"],
+			expectCreation: false,
+		},
+		{
+			name: "neither universe or cache has the pointer type",
+			tp:   type2,
+			expected: &Type{
+				Name: Name{Name: "*pkgname.secondstructname"},
+				Kind: Pointer,
+				Elem: type2,
+			},
+			expectCreation: true,
+		},
+		{
+			name:           "cache has the pointer type",
+			tp:             type3,
+			expected:       type3.multiverse.synthetic["*pkgname.thridstructname"],
+			expectCreation: false,
+		},
+	}
+	for _, tc := range testCases {
+		if tc.tp.multiverse == nil {
+			tc.tp.multiverse = &multiverse{
+				real:      u,
+				synthetic: map[string]*Type{},
+				mu:        sync.Mutex{},
+			}
+		}
+		tp := PointerTo(tc.tp)
+		if tc.expectCreation && !reflect.DeepEqual(tp, tc.expected) {
+			t.Errorf("PointerTo failed, expected %v, got : %v", tc.expected, tp)
+		}
+		if !tc.expectCreation && tp != tc.expected {
+			t.Errorf("PointerTo should not create a new pointer type, expected %v, got : %v", tc.expected, tp)
+		}
+	}
+}
+
 func TestGetMarker(t *testing.T) {
 	u := Universe{}
 	n := Name{Package: "path/to/package", Name: "Foo"}