blob: 73326d1d621297f259555dc9b3420388f927c8e9 [file] [log] [blame]
Herbie Ongcddf8192018-11-28 18:25:20 -08001// 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
5package textpb
6
7import (
Herbie Ong20a1d312018-12-11 21:08:58 -08008 "fmt"
Herbie Ongcddf8192018-11-28 18:25:20 -08009 "sort"
10
11 "github.com/golang/protobuf/v2/internal/encoding/text"
Herbie Ong20a1d312018-12-11 21:08:58 -080012 "github.com/golang/protobuf/v2/internal/encoding/wire"
Herbie Ongcddf8192018-11-28 18:25:20 -080013 "github.com/golang/protobuf/v2/internal/errors"
14 "github.com/golang/protobuf/v2/internal/pragma"
15 "github.com/golang/protobuf/v2/proto"
16 pref "github.com/golang/protobuf/v2/reflect/protoreflect"
Herbie Ongf42b55f2019-01-02 15:46:07 -080017 "github.com/golang/protobuf/v2/reflect/protoregistry"
Herbie Ong6470ea62019-01-07 18:56:57 -080018
19 descpb "github.com/golang/protobuf/v2/types/descriptor"
Herbie Ongcddf8192018-11-28 18:25:20 -080020)
21
Herbie Ong800c9902018-12-06 15:28:53 -080022// Marshal writes the given proto.Message in textproto format using default options.
Herbie Ongcddf8192018-11-28 18:25:20 -080023// TODO: may want to describe when Marshal returns error.
24func Marshal(m proto.Message) ([]byte, error) {
25 return MarshalOptions{}.Marshal(m)
26}
27
28// MarshalOptions is a configurable text format marshaler.
29type MarshalOptions struct {
30 pragma.NoUnkeyedLiterals
31
32 // Set Compact to true to have output in a single line with no line breaks.
33 Compact bool
Herbie Ongf42b55f2019-01-02 15:46:07 -080034
35 // Resolver is the registry used for type lookups when marshaling out
36 // google.protobuf.Any messages in expanded form. If Resolver is not set,
37 // marshaling will default to using protoregistry.GlobalTypes. If a type is
38 // not found, an Any message will be marshaled as a regular message.
39 Resolver *protoregistry.Types
Herbie Ongcddf8192018-11-28 18:25:20 -080040}
41
Herbie Ong800c9902018-12-06 15:28:53 -080042// Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
Herbie Ongcddf8192018-11-28 18:25:20 -080043func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ongf42b55f2019-01-02 15:46:07 -080044 if o.Resolver == nil {
45 o.Resolver = protoregistry.GlobalTypes
46 }
47
Herbie Ongcddf8192018-11-28 18:25:20 -080048 var nerr errors.NonFatal
49 var v text.Value
Herbie Ong800c9902018-12-06 15:28:53 -080050 var err error
51 v, err = o.marshalMessage(m.ProtoReflect())
52 if !nerr.Merge(err) {
53 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080054 }
55
56 indent := " "
57 if o.Compact {
58 indent = ""
59 }
60 delims := [2]byte{'{', '}'}
61
62 const outputASCII = false
63 b, err := text.Marshal(v, indent, delims, outputASCII)
64 if !nerr.Merge(err) {
65 return nil, err
66 }
67 return b, nerr.E
68}
69
70// marshalMessage converts a protoreflect.Message to a text.Value.
71func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
72 var nerr errors.NonFatal
73 var msgFields [][2]text.Value
Herbie Ongf42b55f2019-01-02 15:46:07 -080074 msgType := m.Type()
75
76 // Handle Any expansion.
77 if msgType.FullName() == "google.protobuf.Any" {
78 msg, err := o.marshalAny(m)
79 if err == nil || nerr.Merge(err) {
80 // Return as is for nil or non-fatal error.
81 return msg, nerr.E
82 }
Herbie Onga94f78c2019-01-03 15:39:58 -080083 // For other errors, continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080084 }
Herbie Ongcddf8192018-11-28 18:25:20 -080085
86 // Handle known fields.
Herbie Ongcddf8192018-11-28 18:25:20 -080087 fieldDescs := msgType.Fields()
88 knownFields := m.KnownFields()
89 size := fieldDescs.Len()
90 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080091 fd := fieldDescs.Get(i)
92 num := fd.Number()
Herbie Ongcddf8192018-11-28 18:25:20 -080093
Herbie Ong800c9902018-12-06 15:28:53 -080094 if !knownFields.Has(num) {
95 if fd.Cardinality() == pref.Required {
Herbie Ongcddf8192018-11-28 18:25:20 -080096 // Treat unset required fields as a non-fatal error.
Herbie Ong800c9902018-12-06 15:28:53 -080097 nerr.AppendRequiredNotSet(string(fd.FullName()))
Herbie Ongcddf8192018-11-28 18:25:20 -080098 }
99 continue
100 }
101
Herbie Ong800c9902018-12-06 15:28:53 -0800102 tname := text.ValueOf(fd.Name())
103 pval := knownFields.Get(num)
Herbie Ongcf253082018-12-17 17:13:07 -0800104 var err error
105 msgFields, err = o.appendField(msgFields, tname, pval, fd)
106 if !nerr.Merge(err) {
107 return text.Value{}, err
Herbie Ongcddf8192018-11-28 18:25:20 -0800108 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800109 }
110
Herbie Ongcf253082018-12-17 17:13:07 -0800111 // Handle extensions.
112 var err error
113 msgFields, err = o.appendExtensions(msgFields, knownFields)
114 if !nerr.Merge(err) {
115 return text.Value{}, err
116 }
117
118 // Handle unknown fields.
Herbie Ong20a1d312018-12-11 21:08:58 -0800119 // TODO: Provide option to exclude or include unknown fields.
120 m.UnknownFields().Range(func(_ pref.FieldNumber, raw pref.RawFields) bool {
121 msgFields = appendUnknown(msgFields, raw)
122 return true
123 })
124
Herbie Ongcddf8192018-11-28 18:25:20 -0800125 return text.ValueOf(msgFields), nerr.E
126}
127
Herbie Ongcf253082018-12-17 17:13:07 -0800128// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
129func (o MarshalOptions) appendField(msgFields [][2]text.Value, tname text.Value, pval pref.Value, fd pref.FieldDescriptor) ([][2]text.Value, error) {
130 var nerr errors.NonFatal
131
Herbie Ongde7313b2019-01-14 19:26:50 -0800132 // Use type name for group field name.
133 if fd.Kind() == pref.GroupKind {
134 tname = text.ValueOf(fd.MessageType().Name())
135 }
136
Herbie Ongcf253082018-12-17 17:13:07 -0800137 if fd.Cardinality() == pref.Repeated {
138 // Map or repeated fields.
139 var items []text.Value
140 var err error
141 if fd.IsMap() {
142 items, err = o.marshalMap(pval.Map(), fd)
143 if !nerr.Merge(err) {
144 return msgFields, err
145 }
146 } else {
147 items, err = o.marshalList(pval.List(), fd)
148 if !nerr.Merge(err) {
149 return msgFields, err
150 }
151 }
152
153 // Add each item as key: value field.
154 for _, item := range items {
155 msgFields = append(msgFields, [2]text.Value{tname, item})
156 }
157 } else {
158 // Required or optional fields.
159 tval, err := o.marshalSingular(pval, fd)
160 if !nerr.Merge(err) {
161 return msgFields, err
162 }
163 msgFields = append(msgFields, [2]text.Value{tname, tval})
164 }
165
166 return msgFields, nerr.E
167}
168
Herbie Ongcddf8192018-11-28 18:25:20 -0800169// marshalSingular converts a non-repeated field value to text.Value.
170// This includes all scalar types, enums, messages, and groups.
171func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
172 kind := fd.Kind()
173 switch kind {
174 case pref.BoolKind,
175 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
176 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
177 pref.Sfixed32Kind, pref.Fixed32Kind,
178 pref.Sfixed64Kind, pref.Fixed64Kind,
179 pref.FloatKind, pref.DoubleKind,
180 pref.StringKind, pref.BytesKind:
181 return text.ValueOf(val.Interface()), nil
182
183 case pref.EnumKind:
184 num := val.Enum()
185 if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
186 return text.ValueOf(desc.Name()), nil
187 }
188 // Use numeric value if there is no enum description.
189 return text.ValueOf(int32(num)), nil
190
191 case pref.MessageKind, pref.GroupKind:
192 return o.marshalMessage(val.Message())
193 }
194
195 return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind)
196}
197
198// marshalList converts a protoreflect.List to []text.Value.
199func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
200 var nerr errors.NonFatal
201 size := list.Len()
202 values := make([]text.Value, 0, size)
203
204 for i := 0; i < size; i++ {
205 item := list.Get(i)
206 val, err := o.marshalSingular(item, fd)
207 if !nerr.Merge(err) {
208 // Return already marshaled values.
209 return values, err
210 }
211 values = append(values, val)
212 }
213
214 return values, nerr.E
215}
216
217var (
218 mapKeyName = text.ValueOf(pref.Name("key"))
219 mapValueName = text.ValueOf(pref.Name("value"))
220)
221
222// marshalMap converts a protoreflect.Map to []text.Value.
223func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
224 var nerr errors.NonFatal
225 // values is a list of messages.
226 values := make([]text.Value, 0, mmap.Len())
227 msgFields := fd.MessageType().Fields()
228 keyType := msgFields.ByNumber(1)
229 valType := msgFields.ByNumber(2)
230
231 mmap.Range(func(key pref.MapKey, val pref.Value) bool {
232 keyTxtVal, err := o.marshalSingular(key.Value(), keyType)
233 if !nerr.Merge(err) {
234 return false
235 }
236 valTxtVal, err := o.marshalSingular(val, valType)
237 if !nerr.Merge(err) {
238 return false
239 }
240 // Map entry (message) contains 2 fields, first field for key and second field for value.
241 msg := text.ValueOf([][2]text.Value{
242 {mapKeyName, keyTxtVal},
243 {mapValueName, valTxtVal},
244 })
245 values = append(values, msg)
246 return true
247 })
248
249 sortMap(keyType.Kind(), values)
250 return values, nerr.E
251}
252
253// sortMap orders list based on value of key field for deterministic output.
254// TODO: Improve sort comparison of text.Value for map keys.
255func sortMap(keyKind pref.Kind, values []text.Value) {
256 less := func(i, j int) bool {
257 mi := values[i].Message()
258 mj := values[j].Message()
259 return mi[0][1].String() < mj[0][1].String()
260 }
261 switch keyKind {
262 case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
263 less = func(i, j int) bool {
264 mi := values[i].Message()
265 mj := values[j].Message()
266 ni, _ := mi[0][1].Int(false)
267 nj, _ := mj[0][1].Int(false)
268 return ni < nj
269 }
270 case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
271 less = func(i, j int) bool {
272 mi := values[i].Message()
273 mj := values[j].Message()
274 ni, _ := mi[0][1].Int(true)
275 nj, _ := mj[0][1].Int(true)
276 return ni < nj
277 }
278
279 case pref.Uint32Kind, pref.Fixed32Kind:
280 less = func(i, j int) bool {
281 mi := values[i].Message()
282 mj := values[j].Message()
283 ni, _ := mi[0][1].Uint(false)
284 nj, _ := mj[0][1].Uint(false)
285 return ni < nj
286 }
287 case pref.Uint64Kind, pref.Fixed64Kind:
288 less = func(i, j int) bool {
289 mi := values[i].Message()
290 mj := values[j].Message()
291 ni, _ := mi[0][1].Uint(true)
292 nj, _ := mj[0][1].Uint(true)
293 return ni < nj
294 }
295 }
296 sort.Slice(values, less)
297}
Herbie Ong20a1d312018-12-11 21:08:58 -0800298
Herbie Ongcf253082018-12-17 17:13:07 -0800299// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
300func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
301 var nerr errors.NonFatal
302 xtTypes := knownFields.ExtensionTypes()
303 xtFields := make([][2]text.Value, 0, xtTypes.Len())
304
305 var err error
306 xtTypes.Range(func(xt pref.ExtensionType) bool {
Herbie Ong6470ea62019-01-07 18:56:57 -0800307 name := xt.FullName()
308 // If extended type is a MessageSet, set field name to be the message type name.
309 if isMessageSetExtension(xt) {
310 name = xt.MessageType().FullName()
311 }
Herbie Ongcf253082018-12-17 17:13:07 -0800312
313 num := xt.Number()
314 if knownFields.Has(num) {
315 // Use string type to produce [name] format.
Herbie Ong6470ea62019-01-07 18:56:57 -0800316 tname := text.ValueOf(string(name))
Herbie Ongcf253082018-12-17 17:13:07 -0800317 pval := knownFields.Get(num)
318 xtFields, err = o.appendField(xtFields, tname, pval, xt)
319 if err != nil {
320 return false
321 }
322 }
323 return true
324 })
325 if !nerr.Merge(err) {
326 return msgFields, err
327 }
328
329 // Sort extensions lexicographically and append to output.
330 sort.SliceStable(xtFields, func(i, j int) bool {
331 return xtFields[i][0].String() < xtFields[j][0].String()
332 })
333 return append(msgFields, xtFields...), nerr.E
334}
335
Herbie Ong6470ea62019-01-07 18:56:57 -0800336// isMessageSetExtension reports whether extension extends a message set.
337func isMessageSetExtension(xt pref.ExtensionType) bool {
338 if xt.Name() != "message_set_extension" {
339 return false
340 }
341 mt := xt.MessageType()
342 if mt == nil {
343 return false
344 }
345 if xt.FullName().Parent() != mt.FullName() {
346 return false
347 }
348 xmt := xt.ExtendedType()
349 if xmt.Fields().Len() != 0 {
350 return false
351 }
352 opt := xmt.Options().(*descpb.MessageOptions)
353 if opt == nil {
354 return false
355 }
356 return opt.GetMessageSetWireFormat()
357}
358
Herbie Ong20a1d312018-12-11 21:08:58 -0800359// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
360// This function assumes proper encoding in the given []byte.
361func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
362 for len(b) > 0 {
363 var value interface{}
364 num, wtype, n := wire.ConsumeTag(b)
365 b = b[n:]
366
367 switch wtype {
368 case wire.VarintType:
369 value, n = wire.ConsumeVarint(b)
370 case wire.Fixed32Type:
371 value, n = wire.ConsumeFixed32(b)
372 case wire.Fixed64Type:
373 value, n = wire.ConsumeFixed64(b)
374 case wire.BytesType:
375 value, n = wire.ConsumeBytes(b)
376 case wire.StartGroupType:
377 var v []byte
378 v, n = wire.ConsumeGroup(num, b)
379 var msg [][2]text.Value
380 value = appendUnknown(msg, v)
381 default:
382 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
383 }
384
385 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
386 b = b[n:]
387 }
388 return fields
389}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800390
391// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
392func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
393 var nerr errors.NonFatal
394
395 fds := m.Type().Fields()
396 tfd := fds.ByName("type_url")
397 if tfd == nil || tfd.Kind() != pref.StringKind {
398 return text.Value{}, errors.New("invalid google.protobuf.Any message")
399 }
400 vfd := fds.ByName("value")
401 if vfd == nil || vfd.Kind() != pref.BytesKind {
402 return text.Value{}, errors.New("invalid google.protobuf.Any message")
403 }
404
405 knownFields := m.KnownFields()
Herbie Ong66c365c2019-01-04 14:08:41 -0800406 typeURL := knownFields.Get(tfd.Number()).String()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800407 value := knownFields.Get(vfd.Number())
408
Herbie Ong66c365c2019-01-04 14:08:41 -0800409 emt, err := o.Resolver.FindMessageByURL(typeURL)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800410 if !nerr.Merge(err) {
411 return text.Value{}, err
412 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800413 em := emt.New().Interface()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800414 // TODO: Need to set types registry in binary unmarshaling.
415 err = proto.Unmarshal(value.Bytes(), em)
416 if !nerr.Merge(err) {
417 return text.Value{}, err
418 }
419
420 msg, err := o.marshalMessage(em.ProtoReflect())
421 if !nerr.Merge(err) {
422 return text.Value{}, err
423 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800424 // Expanded Any field value contains only a single field with the type_url field value as the
425 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800426 msgFields := [][2]text.Value{
427 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800428 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800429 msg,
430 },
431 }
432 return text.ValueOf(msgFields), nerr.E
433}