blob: ebc33b71f842dbc936775da2a0254d1eae76f515 [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 Ongcddf8192018-11-28 18:25:20 -080018)
19
Herbie Ong800c9902018-12-06 15:28:53 -080020// Marshal writes the given proto.Message in textproto format using default options.
Herbie Ongcddf8192018-11-28 18:25:20 -080021// TODO: may want to describe when Marshal returns error.
22func Marshal(m proto.Message) ([]byte, error) {
23 return MarshalOptions{}.Marshal(m)
24}
25
26// MarshalOptions is a configurable text format marshaler.
27type MarshalOptions struct {
28 pragma.NoUnkeyedLiterals
29
30 // Set Compact to true to have output in a single line with no line breaks.
31 Compact bool
Herbie Ongf42b55f2019-01-02 15:46:07 -080032
33 // Resolver is the registry used for type lookups when marshaling out
34 // google.protobuf.Any messages in expanded form. If Resolver is not set,
35 // marshaling will default to using protoregistry.GlobalTypes. If a type is
36 // not found, an Any message will be marshaled as a regular message.
37 Resolver *protoregistry.Types
Herbie Ongcddf8192018-11-28 18:25:20 -080038}
39
Herbie Ong800c9902018-12-06 15:28:53 -080040// Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
Herbie Ongcddf8192018-11-28 18:25:20 -080041func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ongf42b55f2019-01-02 15:46:07 -080042 if o.Resolver == nil {
43 o.Resolver = protoregistry.GlobalTypes
44 }
45
Herbie Ongcddf8192018-11-28 18:25:20 -080046 var nerr errors.NonFatal
Herbie Ongf5db2df2019-02-07 20:17:45 -080047 v, err := o.marshalMessage(m.ProtoReflect())
Herbie Ong800c9902018-12-06 15:28:53 -080048 if !nerr.Merge(err) {
49 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080050 }
51
52 indent := " "
53 if o.Compact {
54 indent = ""
55 }
56 delims := [2]byte{'{', '}'}
57
58 const outputASCII = false
59 b, err := text.Marshal(v, indent, delims, outputASCII)
60 if !nerr.Merge(err) {
61 return nil, err
62 }
63 return b, nerr.E
64}
65
66// marshalMessage converts a protoreflect.Message to a text.Value.
67func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
68 var nerr errors.NonFatal
69 var msgFields [][2]text.Value
Herbie Ongf42b55f2019-01-02 15:46:07 -080070 msgType := m.Type()
71
72 // Handle Any expansion.
73 if msgType.FullName() == "google.protobuf.Any" {
74 msg, err := o.marshalAny(m)
75 if err == nil || nerr.Merge(err) {
76 // Return as is for nil or non-fatal error.
77 return msg, nerr.E
78 }
Herbie Onga94f78c2019-01-03 15:39:58 -080079 // For other errors, continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080080 }
Herbie Ongcddf8192018-11-28 18:25:20 -080081
82 // Handle known fields.
Herbie Ongcddf8192018-11-28 18:25:20 -080083 fieldDescs := msgType.Fields()
84 knownFields := m.KnownFields()
85 size := fieldDescs.Len()
86 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080087 fd := fieldDescs.Get(i)
88 num := fd.Number()
Herbie Ongcddf8192018-11-28 18:25:20 -080089
Herbie Ong800c9902018-12-06 15:28:53 -080090 if !knownFields.Has(num) {
91 if fd.Cardinality() == pref.Required {
Herbie Ongcddf8192018-11-28 18:25:20 -080092 // Treat unset required fields as a non-fatal error.
Herbie Ong800c9902018-12-06 15:28:53 -080093 nerr.AppendRequiredNotSet(string(fd.FullName()))
Herbie Ongcddf8192018-11-28 18:25:20 -080094 }
95 continue
96 }
97
Herbie Ongf5db2df2019-02-07 20:17:45 -080098 name := text.ValueOf(fd.Name())
99 // Use type name for group field name.
100 if fd.Kind() == pref.GroupKind {
101 name = text.ValueOf(fd.MessageType().Name())
102 }
Herbie Ong800c9902018-12-06 15:28:53 -0800103 pval := knownFields.Get(num)
Herbie Ongcf253082018-12-17 17:13:07 -0800104 var err error
Herbie Ongf5db2df2019-02-07 20:17:45 -0800105 msgFields, err = o.appendField(msgFields, name, pval, fd)
Herbie Ongcf253082018-12-17 17:13:07 -0800106 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.
Herbie Ongf5db2df2019-02-07 20:17:45 -0800129func (o MarshalOptions) appendField(msgFields [][2]text.Value, name text.Value, pval pref.Value, fd pref.FieldDescriptor) ([][2]text.Value, error) {
Herbie Ongcf253082018-12-17 17:13:07 -0800130 var nerr errors.NonFatal
131
132 if fd.Cardinality() == pref.Repeated {
133 // Map or repeated fields.
134 var items []text.Value
135 var err error
136 if fd.IsMap() {
137 items, err = o.marshalMap(pval.Map(), fd)
138 if !nerr.Merge(err) {
139 return msgFields, err
140 }
141 } else {
142 items, err = o.marshalList(pval.List(), fd)
143 if !nerr.Merge(err) {
144 return msgFields, err
145 }
146 }
147
148 // Add each item as key: value field.
149 for _, item := range items {
Herbie Ongf5db2df2019-02-07 20:17:45 -0800150 msgFields = append(msgFields, [2]text.Value{name, item})
Herbie Ongcf253082018-12-17 17:13:07 -0800151 }
152 } else {
153 // Required or optional fields.
154 tval, err := o.marshalSingular(pval, fd)
155 if !nerr.Merge(err) {
156 return msgFields, err
157 }
Herbie Ongf5db2df2019-02-07 20:17:45 -0800158 msgFields = append(msgFields, [2]text.Value{name, tval})
Herbie Ongcf253082018-12-17 17:13:07 -0800159 }
160
161 return msgFields, nerr.E
162}
163
Herbie Ongcddf8192018-11-28 18:25:20 -0800164// marshalSingular converts a non-repeated field value to text.Value.
165// This includes all scalar types, enums, messages, and groups.
166func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
167 kind := fd.Kind()
168 switch kind {
169 case pref.BoolKind,
170 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
171 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
172 pref.Sfixed32Kind, pref.Fixed32Kind,
173 pref.Sfixed64Kind, pref.Fixed64Kind,
174 pref.FloatKind, pref.DoubleKind,
175 pref.StringKind, pref.BytesKind:
176 return text.ValueOf(val.Interface()), nil
177
178 case pref.EnumKind:
179 num := val.Enum()
180 if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
181 return text.ValueOf(desc.Name()), nil
182 }
183 // Use numeric value if there is no enum description.
184 return text.ValueOf(int32(num)), nil
185
186 case pref.MessageKind, pref.GroupKind:
187 return o.marshalMessage(val.Message())
188 }
189
190 return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind)
191}
192
193// marshalList converts a protoreflect.List to []text.Value.
194func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
195 var nerr errors.NonFatal
196 size := list.Len()
197 values := make([]text.Value, 0, size)
198
199 for i := 0; i < size; i++ {
200 item := list.Get(i)
201 val, err := o.marshalSingular(item, fd)
202 if !nerr.Merge(err) {
203 // Return already marshaled values.
204 return values, err
205 }
206 values = append(values, val)
207 }
208
209 return values, nerr.E
210}
211
212var (
213 mapKeyName = text.ValueOf(pref.Name("key"))
214 mapValueName = text.ValueOf(pref.Name("value"))
215)
216
217// marshalMap converts a protoreflect.Map to []text.Value.
218func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
219 var nerr errors.NonFatal
220 // values is a list of messages.
221 values := make([]text.Value, 0, mmap.Len())
222 msgFields := fd.MessageType().Fields()
223 keyType := msgFields.ByNumber(1)
224 valType := msgFields.ByNumber(2)
225
226 mmap.Range(func(key pref.MapKey, val pref.Value) bool {
227 keyTxtVal, err := o.marshalSingular(key.Value(), keyType)
228 if !nerr.Merge(err) {
229 return false
230 }
231 valTxtVal, err := o.marshalSingular(val, valType)
232 if !nerr.Merge(err) {
233 return false
234 }
235 // Map entry (message) contains 2 fields, first field for key and second field for value.
236 msg := text.ValueOf([][2]text.Value{
237 {mapKeyName, keyTxtVal},
238 {mapValueName, valTxtVal},
239 })
240 values = append(values, msg)
241 return true
242 })
243
244 sortMap(keyType.Kind(), values)
245 return values, nerr.E
246}
247
248// sortMap orders list based on value of key field for deterministic output.
249// TODO: Improve sort comparison of text.Value for map keys.
250func sortMap(keyKind pref.Kind, values []text.Value) {
251 less := func(i, j int) bool {
252 mi := values[i].Message()
253 mj := values[j].Message()
254 return mi[0][1].String() < mj[0][1].String()
255 }
256 switch keyKind {
257 case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
258 less = func(i, j int) bool {
259 mi := values[i].Message()
260 mj := values[j].Message()
261 ni, _ := mi[0][1].Int(false)
262 nj, _ := mj[0][1].Int(false)
263 return ni < nj
264 }
265 case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
266 less = func(i, j int) bool {
267 mi := values[i].Message()
268 mj := values[j].Message()
269 ni, _ := mi[0][1].Int(true)
270 nj, _ := mj[0][1].Int(true)
271 return ni < nj
272 }
273
274 case pref.Uint32Kind, pref.Fixed32Kind:
275 less = func(i, j int) bool {
276 mi := values[i].Message()
277 mj := values[j].Message()
278 ni, _ := mi[0][1].Uint(false)
279 nj, _ := mj[0][1].Uint(false)
280 return ni < nj
281 }
282 case pref.Uint64Kind, pref.Fixed64Kind:
283 less = func(i, j int) bool {
284 mi := values[i].Message()
285 mj := values[j].Message()
286 ni, _ := mi[0][1].Uint(true)
287 nj, _ := mj[0][1].Uint(true)
288 return ni < nj
289 }
290 }
291 sort.Slice(values, less)
292}
Herbie Ong20a1d312018-12-11 21:08:58 -0800293
Herbie Ongcf253082018-12-17 17:13:07 -0800294// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
295func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
296 var nerr errors.NonFatal
297 xtTypes := knownFields.ExtensionTypes()
298 xtFields := make([][2]text.Value, 0, xtTypes.Len())
299
300 var err error
301 xtTypes.Range(func(xt pref.ExtensionType) bool {
Herbie Ong6470ea62019-01-07 18:56:57 -0800302 name := xt.FullName()
303 // If extended type is a MessageSet, set field name to be the message type name.
304 if isMessageSetExtension(xt) {
305 name = xt.MessageType().FullName()
306 }
Herbie Ongcf253082018-12-17 17:13:07 -0800307
308 num := xt.Number()
309 if knownFields.Has(num) {
310 // Use string type to produce [name] format.
Herbie Ong6470ea62019-01-07 18:56:57 -0800311 tname := text.ValueOf(string(name))
Herbie Ongcf253082018-12-17 17:13:07 -0800312 pval := knownFields.Get(num)
313 xtFields, err = o.appendField(xtFields, tname, pval, xt)
314 if err != nil {
315 return false
316 }
317 }
318 return true
319 })
320 if !nerr.Merge(err) {
321 return msgFields, err
322 }
323
324 // Sort extensions lexicographically and append to output.
325 sort.SliceStable(xtFields, func(i, j int) bool {
326 return xtFields[i][0].String() < xtFields[j][0].String()
327 })
328 return append(msgFields, xtFields...), nerr.E
329}
330
Herbie Ong6470ea62019-01-07 18:56:57 -0800331// isMessageSetExtension reports whether extension extends a message set.
332func isMessageSetExtension(xt pref.ExtensionType) bool {
333 if xt.Name() != "message_set_extension" {
334 return false
335 }
336 mt := xt.MessageType()
337 if mt == nil {
338 return false
339 }
340 if xt.FullName().Parent() != mt.FullName() {
341 return false
342 }
Joe Tsai1321a0e2019-03-20 09:46:22 -0700343 xmt, ok := xt.ExtendedType().(interface{ IsMessageSet() bool })
344 return ok && xmt.IsMessageSet()
Herbie Ong6470ea62019-01-07 18:56:57 -0800345}
346
Herbie Ong20a1d312018-12-11 21:08:58 -0800347// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
348// This function assumes proper encoding in the given []byte.
349func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
350 for len(b) > 0 {
351 var value interface{}
352 num, wtype, n := wire.ConsumeTag(b)
353 b = b[n:]
354
355 switch wtype {
356 case wire.VarintType:
357 value, n = wire.ConsumeVarint(b)
358 case wire.Fixed32Type:
359 value, n = wire.ConsumeFixed32(b)
360 case wire.Fixed64Type:
361 value, n = wire.ConsumeFixed64(b)
362 case wire.BytesType:
363 value, n = wire.ConsumeBytes(b)
364 case wire.StartGroupType:
365 var v []byte
366 v, n = wire.ConsumeGroup(num, b)
367 var msg [][2]text.Value
368 value = appendUnknown(msg, v)
369 default:
370 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
371 }
372
373 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
374 b = b[n:]
375 }
376 return fields
377}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800378
379// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
380func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
381 var nerr errors.NonFatal
382
383 fds := m.Type().Fields()
384 tfd := fds.ByName("type_url")
385 if tfd == nil || tfd.Kind() != pref.StringKind {
386 return text.Value{}, errors.New("invalid google.protobuf.Any message")
387 }
388 vfd := fds.ByName("value")
389 if vfd == nil || vfd.Kind() != pref.BytesKind {
390 return text.Value{}, errors.New("invalid google.protobuf.Any message")
391 }
392
393 knownFields := m.KnownFields()
Herbie Ong66c365c2019-01-04 14:08:41 -0800394 typeURL := knownFields.Get(tfd.Number()).String()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800395 value := knownFields.Get(vfd.Number())
396
Herbie Ong66c365c2019-01-04 14:08:41 -0800397 emt, err := o.Resolver.FindMessageByURL(typeURL)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800398 if !nerr.Merge(err) {
399 return text.Value{}, err
400 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800401 em := emt.New().Interface()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800402 // TODO: Need to set types registry in binary unmarshaling.
403 err = proto.Unmarshal(value.Bytes(), em)
404 if !nerr.Merge(err) {
405 return text.Value{}, err
406 }
407
408 msg, err := o.marshalMessage(em.ProtoReflect())
409 if !nerr.Merge(err) {
410 return text.Value{}, err
411 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800412 // Expanded Any field value contains only a single field with the type_url field value as the
413 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800414 msgFields := [][2]text.Value{
415 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800416 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800417 msg,
418 },
419 }
420 return text.ValueOf(msgFields), nerr.E
421}