blob: 38d03a7cd84419fc6350ce092207e46c3b8ee887 [file] [log] [blame]
Joe Tsai23ddbd12018-08-26 22:48:17 -07001// Copyright 2018 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
Joe Tsaie1f8d502018-11-26 18:55:29 -08005// Package protodesc provides for converting descriptorpb.FileDescriptorProto
6// to/from the reflective protoreflect.FileDescriptor.
7package protodesc
Joe Tsai23ddbd12018-08-26 22:48:17 -07008
9import (
10 "fmt"
Joe Tsai23ddbd12018-08-26 22:48:17 -070011 "strings"
12
Joe Tsaic9899da2018-12-06 18:34:53 -080013 "github.com/golang/protobuf/v2/internal/encoding/defval"
Joe Tsai01ab2962018-09-21 17:44:00 -070014 "github.com/golang/protobuf/v2/internal/errors"
15 "github.com/golang/protobuf/v2/reflect/protoreflect"
16 "github.com/golang/protobuf/v2/reflect/protoregistry"
Joe Tsaie1f8d502018-11-26 18:55:29 -080017 "github.com/golang/protobuf/v2/reflect/prototype"
18
19 descriptorpb "github.com/golang/protobuf/v2/types/descriptor"
Joe Tsai23ddbd12018-08-26 22:48:17 -070020)
21
22// TODO: Should we be responsible for validating other parts of the descriptor
23// that we don't directly use?
24//
25// For example:
26// * That field numbers don't overlap with reserved numbers.
27// * That field names don't overlap with reserved names.
28// * That enum numbers don't overlap with reserved numbers.
29// * That enum names don't overlap with reserved names.
30// * That "extendee" is not set for a message field.
31// * That "oneof_index" is not set for an extension field.
32// * That "json_name" is not set for an extension field. Maybe, maybe not.
33// * That "type_name" is not set on a field for non-enums and non-messages.
34// * That "weak" is not set for an extension field (double check this).
35
36// TODO: Store the input file descriptor to implement:
37// * protoreflect.Descriptor.DescriptorProto
38// * protoreflect.Descriptor.DescriptorOptions
39
40// TODO: Should we return a File instead of protoreflect.FileDescriptor?
41// This would allow users to mutate the File before converting it.
42// However, this will complicate future work for validation since File may now
43// diverge from the stored descriptor proto (see above TODO).
44
Joe Tsaie1f8d502018-11-26 18:55:29 -080045// NewFile creates a new protoreflect.FileDescriptor from the provided
46// file descriptor message. The file must represent a valid proto file according
47// to protobuf semantics.
Joe Tsai23ddbd12018-08-26 22:48:17 -070048//
49// Any import files, enum types, or message types referenced in the file are
50// resolved using the provided registry. When looking up an import file path,
51// the path must be unique. The newly created file descriptor is not registered
52// back into the provided file registry.
53//
54// The caller must relinquish full ownership of the input fd and must not
55// access or mutate any fields.
Joe Tsaie1f8d502018-11-26 18:55:29 -080056func NewFile(fd *descriptorpb.FileDescriptorProto, r *protoregistry.Files) (protoreflect.FileDescriptor, error) {
57 var f prototype.File
Joe Tsai23ddbd12018-08-26 22:48:17 -070058 switch fd.GetSyntax() {
Joe Tsaibce82b82018-12-06 09:39:03 -080059 case "proto2", "":
Joe Tsai23ddbd12018-08-26 22:48:17 -070060 f.Syntax = protoreflect.Proto2
61 case "proto3":
62 f.Syntax = protoreflect.Proto3
63 default:
64 return nil, errors.New("invalid syntax: %v", fd.GetSyntax())
65 }
66 f.Path = fd.GetName()
67 f.Package = protoreflect.FullName(fd.GetPackage())
Damien Neil204f1c02018-10-23 15:03:38 -070068 f.Options = fd.GetOptions()
Joe Tsai23ddbd12018-08-26 22:48:17 -070069
70 f.Imports = make([]protoreflect.FileImport, len(fd.GetDependency()))
71 for _, i := range fd.GetPublicDependency() {
72 if int(i) >= len(f.Imports) || f.Imports[i].IsPublic {
73 return nil, errors.New("invalid or duplicate public import index: %d", i)
74 }
75 f.Imports[i].IsPublic = true
76 }
77 for _, i := range fd.GetWeakDependency() {
78 if int(i) >= len(f.Imports) || f.Imports[i].IsWeak {
79 return nil, errors.New("invalid or duplicate weak import index: %d", i)
80 }
81 f.Imports[i].IsWeak = true
82 }
83 for i, path := range fd.GetDependency() {
84 var n int
85 imp := &f.Imports[i]
86 r.RangeFilesByPath(path, func(fd protoreflect.FileDescriptor) bool {
87 imp.FileDescriptor = fd
88 n++
89 return true
90 })
91 if n > 1 {
92 return nil, errors.New("duplicate files for import %q", path)
93 }
94 if imp.IsWeak || imp.FileDescriptor == nil {
Joe Tsaie1f8d502018-11-26 18:55:29 -080095 imp.FileDescriptor = prototype.PlaceholderFile(path, "")
Joe Tsai23ddbd12018-08-26 22:48:17 -070096 }
97 }
98
99 var err error
Damien Neild4803f52018-09-19 11:43:35 -0700100 f.Messages, err = messagesFromDescriptorProto(fd.GetMessageType(), f.Syntax, r)
Joe Tsai23ddbd12018-08-26 22:48:17 -0700101 if err != nil {
102 return nil, err
103 }
104 f.Enums, err = enumsFromDescriptorProto(fd.GetEnumType(), r)
105 if err != nil {
106 return nil, err
107 }
108 f.Extensions, err = extensionsFromDescriptorProto(fd.GetExtension(), r)
109 if err != nil {
110 return nil, err
111 }
112 f.Services, err = servicesFromDescriptorProto(fd.GetService(), r)
113 if err != nil {
114 return nil, err
115 }
116
Joe Tsaie1f8d502018-11-26 18:55:29 -0800117 return prototype.NewFile(&f)
Joe Tsai23ddbd12018-08-26 22:48:17 -0700118}
119
Joe Tsaie1f8d502018-11-26 18:55:29 -0800120func messagesFromDescriptorProto(mds []*descriptorpb.DescriptorProto, syntax protoreflect.Syntax, r *protoregistry.Files) (ms []prototype.Message, err error) {
Joe Tsai23ddbd12018-08-26 22:48:17 -0700121 for _, md := range mds {
Joe Tsaie1f8d502018-11-26 18:55:29 -0800122 var m prototype.Message
Joe Tsai23ddbd12018-08-26 22:48:17 -0700123 m.Name = protoreflect.Name(md.GetName())
Damien Neil204f1c02018-10-23 15:03:38 -0700124 m.Options = md.GetOptions()
Joe Tsai23ddbd12018-08-26 22:48:17 -0700125 for _, fd := range md.GetField() {
Joe Tsaie1f8d502018-11-26 18:55:29 -0800126 var f prototype.Field
Joe Tsai23ddbd12018-08-26 22:48:17 -0700127 f.Name = protoreflect.Name(fd.GetName())
128 f.Number = protoreflect.FieldNumber(fd.GetNumber())
129 f.Cardinality = protoreflect.Cardinality(fd.GetLabel())
130 f.Kind = protoreflect.Kind(fd.GetType())
Damien Neil204f1c02018-10-23 15:03:38 -0700131 f.Options = fd.GetOptions()
Joe Tsai23ddbd12018-08-26 22:48:17 -0700132 f.JSONName = fd.GetJsonName()
Joe Tsai23ddbd12018-08-26 22:48:17 -0700133 if fd.DefaultValue != nil {
Joe Tsaic9899da2018-12-06 18:34:53 -0800134 f.Default, err = defval.Unmarshal(fd.GetDefaultValue(), f.Kind, defval.Descriptor)
Joe Tsai23ddbd12018-08-26 22:48:17 -0700135 if err != nil {
136 return nil, err
137 }
138 }
139 if fd.OneofIndex != nil {
140 i := int(fd.GetOneofIndex())
141 if i >= len(md.GetOneofDecl()) {
142 return nil, errors.New("invalid oneof index: %d", i)
143 }
144 f.OneofName = protoreflect.Name(md.GetOneofDecl()[i].GetName())
145 }
Joe Tsaie1f8d502018-11-26 18:55:29 -0800146 opts, _ := f.Options.(*descriptorpb.FieldOptions)
Joe Tsai23ddbd12018-08-26 22:48:17 -0700147 switch f.Kind {
148 case protoreflect.EnumKind:
149 f.EnumType, err = findEnumDescriptor(fd.GetTypeName(), r)
150 if err != nil {
151 return nil, err
152 }
Joe Tsaie1f8d502018-11-26 18:55:29 -0800153 if opts.GetWeak() && !f.EnumType.IsPlaceholder() {
154 f.EnumType = prototype.PlaceholderEnum(f.EnumType.FullName())
Joe Tsai23ddbd12018-08-26 22:48:17 -0700155 }
156 case protoreflect.MessageKind, protoreflect.GroupKind:
157 f.MessageType, err = findMessageDescriptor(fd.GetTypeName(), r)
158 if err != nil {
159 return nil, err
160 }
Joe Tsaie1f8d502018-11-26 18:55:29 -0800161 if opts.GetWeak() && !f.MessageType.IsPlaceholder() {
162 f.MessageType = prototype.PlaceholderMessage(f.MessageType.FullName())
Joe Tsai23ddbd12018-08-26 22:48:17 -0700163 }
164 }
165 m.Fields = append(m.Fields, f)
166 }
167 for _, od := range md.GetOneofDecl() {
Joe Tsaie1f8d502018-11-26 18:55:29 -0800168 m.Oneofs = append(m.Oneofs, prototype.Oneof{
Damien Neil204f1c02018-10-23 15:03:38 -0700169 Name: protoreflect.Name(od.GetName()),
170 Options: od.Options,
171 })
Joe Tsai23ddbd12018-08-26 22:48:17 -0700172 }
Joe Tsaibce82b82018-12-06 09:39:03 -0800173 for _, s := range md.GetReservedName() {
174 m.ReservedNames = append(m.ReservedNames, protoreflect.Name(s))
175 }
176 for _, rr := range md.GetReservedRange() {
177 m.ReservedRanges = append(m.ReservedRanges, [2]protoreflect.FieldNumber{
178 protoreflect.FieldNumber(rr.GetStart()),
179 protoreflect.FieldNumber(rr.GetEnd()),
180 })
181 }
Joe Tsai23ddbd12018-08-26 22:48:17 -0700182 for _, xr := range md.GetExtensionRange() {
183 m.ExtensionRanges = append(m.ExtensionRanges, [2]protoreflect.FieldNumber{
184 protoreflect.FieldNumber(xr.GetStart()),
185 protoreflect.FieldNumber(xr.GetEnd()),
186 })
Joe Tsai381f04c2018-12-06 12:10:41 -0800187 m.ExtensionRangeOptions = append(m.ExtensionRangeOptions, xr.GetOptions())
Joe Tsai23ddbd12018-08-26 22:48:17 -0700188 }
189
Damien Neild4803f52018-09-19 11:43:35 -0700190 m.Messages, err = messagesFromDescriptorProto(md.GetNestedType(), syntax, r)
Joe Tsai23ddbd12018-08-26 22:48:17 -0700191 if err != nil {
192 return nil, err
193 }
194 m.Enums, err = enumsFromDescriptorProto(md.GetEnumType(), r)
195 if err != nil {
196 return nil, err
197 }
198 m.Extensions, err = extensionsFromDescriptorProto(md.GetExtension(), r)
199 if err != nil {
200 return nil, err
201 }
202
203 ms = append(ms, m)
204 }
205 return ms, nil
206}
207
Joe Tsaie1f8d502018-11-26 18:55:29 -0800208func enumsFromDescriptorProto(eds []*descriptorpb.EnumDescriptorProto, r *protoregistry.Files) (es []prototype.Enum, err error) {
Joe Tsai23ddbd12018-08-26 22:48:17 -0700209 for _, ed := range eds {
Joe Tsaie1f8d502018-11-26 18:55:29 -0800210 var e prototype.Enum
Joe Tsai23ddbd12018-08-26 22:48:17 -0700211 e.Name = protoreflect.Name(ed.GetName())
Damien Neil204f1c02018-10-23 15:03:38 -0700212 e.Options = ed.GetOptions()
Joe Tsai23ddbd12018-08-26 22:48:17 -0700213 for _, vd := range ed.GetValue() {
Joe Tsaie1f8d502018-11-26 18:55:29 -0800214 e.Values = append(e.Values, prototype.EnumValue{
Damien Neil204f1c02018-10-23 15:03:38 -0700215 Name: protoreflect.Name(vd.GetName()),
216 Number: protoreflect.EnumNumber(vd.GetNumber()),
217 Options: vd.Options,
Joe Tsai23ddbd12018-08-26 22:48:17 -0700218 })
219 }
Joe Tsaibce82b82018-12-06 09:39:03 -0800220 for _, s := range ed.GetReservedName() {
221 e.ReservedNames = append(e.ReservedNames, protoreflect.Name(s))
222 }
223 for _, rr := range ed.GetReservedRange() {
224 e.ReservedRanges = append(e.ReservedRanges, [2]protoreflect.EnumNumber{
225 protoreflect.EnumNumber(rr.GetStart()),
226 protoreflect.EnumNumber(rr.GetEnd()),
227 })
228 }
Joe Tsai23ddbd12018-08-26 22:48:17 -0700229 es = append(es, e)
230 }
231 return es, nil
232}
233
Joe Tsaie1f8d502018-11-26 18:55:29 -0800234func extensionsFromDescriptorProto(xds []*descriptorpb.FieldDescriptorProto, r *protoregistry.Files) (xs []prototype.Extension, err error) {
Joe Tsai23ddbd12018-08-26 22:48:17 -0700235 for _, xd := range xds {
Joe Tsaie1f8d502018-11-26 18:55:29 -0800236 var x prototype.Extension
Joe Tsai23ddbd12018-08-26 22:48:17 -0700237 x.Name = protoreflect.Name(xd.GetName())
238 x.Number = protoreflect.FieldNumber(xd.GetNumber())
239 x.Cardinality = protoreflect.Cardinality(xd.GetLabel())
240 x.Kind = protoreflect.Kind(xd.GetType())
Damien Neil204f1c02018-10-23 15:03:38 -0700241 x.Options = xd.GetOptions()
Joe Tsai23ddbd12018-08-26 22:48:17 -0700242 if xd.DefaultValue != nil {
Joe Tsaic9899da2018-12-06 18:34:53 -0800243 x.Default, err = defval.Unmarshal(xd.GetDefaultValue(), x.Kind, defval.Descriptor)
Joe Tsai23ddbd12018-08-26 22:48:17 -0700244 if err != nil {
245 return nil, err
246 }
247 }
248 switch x.Kind {
249 case protoreflect.EnumKind:
250 x.EnumType, err = findEnumDescriptor(xd.GetTypeName(), r)
251 if err != nil {
252 return nil, err
253 }
254 case protoreflect.MessageKind, protoreflect.GroupKind:
255 x.MessageType, err = findMessageDescriptor(xd.GetTypeName(), r)
256 if err != nil {
257 return nil, err
258 }
259 }
260 x.ExtendedType, err = findMessageDescriptor(xd.GetExtendee(), r)
261 if err != nil {
262 return nil, err
263 }
264 xs = append(xs, x)
265 }
266 return xs, nil
267}
268
Joe Tsaie1f8d502018-11-26 18:55:29 -0800269func servicesFromDescriptorProto(sds []*descriptorpb.ServiceDescriptorProto, r *protoregistry.Files) (ss []prototype.Service, err error) {
Joe Tsai23ddbd12018-08-26 22:48:17 -0700270 for _, sd := range sds {
Joe Tsaie1f8d502018-11-26 18:55:29 -0800271 var s prototype.Service
Joe Tsai23ddbd12018-08-26 22:48:17 -0700272 s.Name = protoreflect.Name(sd.GetName())
Damien Neil204f1c02018-10-23 15:03:38 -0700273 s.Options = sd.GetOptions()
Joe Tsai23ddbd12018-08-26 22:48:17 -0700274 for _, md := range sd.GetMethod() {
Joe Tsaie1f8d502018-11-26 18:55:29 -0800275 var m prototype.Method
Joe Tsai23ddbd12018-08-26 22:48:17 -0700276 m.Name = protoreflect.Name(md.GetName())
Damien Neil204f1c02018-10-23 15:03:38 -0700277 m.Options = md.GetOptions()
Joe Tsai23ddbd12018-08-26 22:48:17 -0700278 m.InputType, err = findMessageDescriptor(md.GetInputType(), r)
279 if err != nil {
280 return nil, err
281 }
282 m.OutputType, err = findMessageDescriptor(md.GetOutputType(), r)
283 if err != nil {
284 return nil, err
285 }
286 m.IsStreamingClient = md.GetClientStreaming()
287 m.IsStreamingServer = md.GetServerStreaming()
288 s.Methods = append(s.Methods, m)
289 }
290 ss = append(ss, s)
291 }
292 return ss, nil
293}
294
295// TODO: Should we allow relative names? The protoc compiler has emitted
296// absolute names for some time now. Requiring absolute names as an input
297// simplifies our implementation as we won't need to implement C++'s namespace
298// scoping rules.
299
300func findMessageDescriptor(s string, r *protoregistry.Files) (protoreflect.MessageDescriptor, error) {
301 if !strings.HasPrefix(s, ".") {
302 return nil, errors.New("identifier name must be fully qualified with a leading dot: %v", s)
303 }
304 name := protoreflect.FullName(strings.TrimPrefix(s, "."))
305 switch m, err := r.FindDescriptorByName(name); {
306 case err == nil:
307 m, ok := m.(protoreflect.MessageDescriptor)
308 if !ok {
309 return nil, errors.New("resolved wrong type: got %v, want message", typeName(m))
310 }
311 return m, nil
312 case err == protoregistry.NotFound:
Joe Tsaie1f8d502018-11-26 18:55:29 -0800313 return prototype.PlaceholderMessage(name), nil
Joe Tsai23ddbd12018-08-26 22:48:17 -0700314 default:
315 return nil, err
316 }
317}
318
319func findEnumDescriptor(s string, r *protoregistry.Files) (protoreflect.EnumDescriptor, error) {
320 if !strings.HasPrefix(s, ".") {
321 return nil, errors.New("identifier name must be fully qualified with a leading dot: %v", s)
322 }
323 name := protoreflect.FullName(strings.TrimPrefix(s, "."))
324 switch e, err := r.FindDescriptorByName(name); {
325 case err == nil:
326 e, ok := e.(protoreflect.EnumDescriptor)
327 if !ok {
328 return nil, errors.New("resolved wrong type: got %T, want enum", typeName(e))
329 }
330 return e, nil
331 case err == protoregistry.NotFound:
Joe Tsaie1f8d502018-11-26 18:55:29 -0800332 return prototype.PlaceholderEnum(name), nil
Joe Tsai23ddbd12018-08-26 22:48:17 -0700333 default:
334 return nil, err
335 }
336}
337
338func typeName(t protoreflect.Descriptor) string {
339 switch t.(type) {
340 case protoreflect.EnumType:
341 return "enum"
342 case protoreflect.MessageType:
343 return "message"
344 default:
345 return fmt.Sprintf("%T", t)
346 }
347}