blob: d94f771b72abd000afca66cbaa0d74a8a1737750 [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 -080021func Marshal(m proto.Message) ([]byte, error) {
22 return MarshalOptions{}.Marshal(m)
23}
24
25// MarshalOptions is a configurable text format marshaler.
26type MarshalOptions struct {
27 pragma.NoUnkeyedLiterals
28
Herbie Ong42577ea2019-03-26 16:26:22 -070029 // AllowPartial allows messages that have missing required fields to marshal
30 // without returning an error. If AllowPartial is false (the default),
31 // Marshal will return error if there are any missing required fields.
32 AllowPartial bool
33
Herbie Ong3a385912019-03-20 14:04:24 -070034 // If Indent is a non-empty string, it causes entries for a Message to be
35 // preceded by the indent and trailed by a newline. Indent can only be
36 // composed of space or tab characters.
37 Indent string
Herbie Ongf42b55f2019-01-02 15:46:07 -080038
39 // Resolver is the registry used for type lookups when marshaling out
40 // google.protobuf.Any messages in expanded form. If Resolver is not set,
41 // marshaling will default to using protoregistry.GlobalTypes. If a type is
42 // not found, an Any message will be marshaled as a regular message.
43 Resolver *protoregistry.Types
Herbie Ongcddf8192018-11-28 18:25:20 -080044}
45
Herbie Ong800c9902018-12-06 15:28:53 -080046// Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
Herbie Ongcddf8192018-11-28 18:25:20 -080047func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ongf42b55f2019-01-02 15:46:07 -080048 if o.Resolver == nil {
49 o.Resolver = protoregistry.GlobalTypes
50 }
51
Herbie Ongcddf8192018-11-28 18:25:20 -080052 var nerr errors.NonFatal
Herbie Ongf5db2df2019-02-07 20:17:45 -080053 v, err := o.marshalMessage(m.ProtoReflect())
Herbie Ong800c9902018-12-06 15:28:53 -080054 if !nerr.Merge(err) {
55 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080056 }
57
Herbie Ongcddf8192018-11-28 18:25:20 -080058 delims := [2]byte{'{', '}'}
Herbie Ongcddf8192018-11-28 18:25:20 -080059 const outputASCII = false
Herbie Ong3a385912019-03-20 14:04:24 -070060 b, err := text.Marshal(v, o.Indent, delims, outputASCII)
Herbie Ongcddf8192018-11-28 18:25:20 -080061 if !nerr.Merge(err) {
62 return nil, err
63 }
64 return b, nerr.E
65}
66
67// marshalMessage converts a protoreflect.Message to a text.Value.
68func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
69 var nerr errors.NonFatal
70 var msgFields [][2]text.Value
Herbie Ongf42b55f2019-01-02 15:46:07 -080071 msgType := m.Type()
72
73 // Handle Any expansion.
74 if msgType.FullName() == "google.protobuf.Any" {
75 msg, err := o.marshalAny(m)
76 if err == nil || nerr.Merge(err) {
77 // Return as is for nil or non-fatal error.
78 return msg, nerr.E
79 }
Herbie Onga94f78c2019-01-03 15:39:58 -080080 // For other errors, continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080081 }
Herbie Ongcddf8192018-11-28 18:25:20 -080082
83 // Handle known fields.
Herbie Ongcddf8192018-11-28 18:25:20 -080084 fieldDescs := msgType.Fields()
85 knownFields := m.KnownFields()
86 size := fieldDescs.Len()
87 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080088 fd := fieldDescs.Get(i)
89 num := fd.Number()
Herbie Ongcddf8192018-11-28 18:25:20 -080090
Herbie Ong800c9902018-12-06 15:28:53 -080091 if !knownFields.Has(num) {
Herbie Ong42577ea2019-03-26 16:26:22 -070092 if !o.AllowPartial && fd.Cardinality() == pref.Required {
Herbie Ongcddf8192018-11-28 18:25:20 -080093 // Treat unset required fields as a non-fatal error.
Herbie Ong800c9902018-12-06 15:28:53 -080094 nerr.AppendRequiredNotSet(string(fd.FullName()))
Herbie Ongcddf8192018-11-28 18:25:20 -080095 }
96 continue
97 }
98
Herbie Ongf5db2df2019-02-07 20:17:45 -080099 name := text.ValueOf(fd.Name())
100 // Use type name for group field name.
101 if fd.Kind() == pref.GroupKind {
102 name = text.ValueOf(fd.MessageType().Name())
103 }
Herbie Ong800c9902018-12-06 15:28:53 -0800104 pval := knownFields.Get(num)
Herbie Ongcf253082018-12-17 17:13:07 -0800105 var err error
Herbie Ongf5db2df2019-02-07 20:17:45 -0800106 msgFields, err = o.appendField(msgFields, name, pval, fd)
Herbie Ongcf253082018-12-17 17:13:07 -0800107 if !nerr.Merge(err) {
108 return text.Value{}, err
Herbie Ongcddf8192018-11-28 18:25:20 -0800109 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800110 }
111
Herbie Ongcf253082018-12-17 17:13:07 -0800112 // Handle extensions.
113 var err error
114 msgFields, err = o.appendExtensions(msgFields, knownFields)
115 if !nerr.Merge(err) {
116 return text.Value{}, err
117 }
118
119 // Handle unknown fields.
Herbie Ong20a1d312018-12-11 21:08:58 -0800120 // TODO: Provide option to exclude or include unknown fields.
121 m.UnknownFields().Range(func(_ pref.FieldNumber, raw pref.RawFields) bool {
122 msgFields = appendUnknown(msgFields, raw)
123 return true
124 })
125
Herbie Ongcddf8192018-11-28 18:25:20 -0800126 return text.ValueOf(msgFields), nerr.E
127}
128
Herbie Ongcf253082018-12-17 17:13:07 -0800129// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
Herbie Ongf5db2df2019-02-07 20:17:45 -0800130func (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 -0800131 var nerr errors.NonFatal
132
133 if fd.Cardinality() == pref.Repeated {
134 // Map or repeated fields.
135 var items []text.Value
136 var err error
137 if fd.IsMap() {
138 items, err = o.marshalMap(pval.Map(), fd)
139 if !nerr.Merge(err) {
140 return msgFields, err
141 }
142 } else {
143 items, err = o.marshalList(pval.List(), fd)
144 if !nerr.Merge(err) {
145 return msgFields, err
146 }
147 }
148
149 // Add each item as key: value field.
150 for _, item := range items {
Herbie Ongf5db2df2019-02-07 20:17:45 -0800151 msgFields = append(msgFields, [2]text.Value{name, item})
Herbie Ongcf253082018-12-17 17:13:07 -0800152 }
153 } else {
154 // Required or optional fields.
155 tval, err := o.marshalSingular(pval, fd)
156 if !nerr.Merge(err) {
157 return msgFields, err
158 }
Herbie Ongf5db2df2019-02-07 20:17:45 -0800159 msgFields = append(msgFields, [2]text.Value{name, tval})
Herbie Ongcf253082018-12-17 17:13:07 -0800160 }
161
162 return msgFields, nerr.E
163}
164
Herbie Ongcddf8192018-11-28 18:25:20 -0800165// marshalSingular converts a non-repeated field value to text.Value.
166// This includes all scalar types, enums, messages, and groups.
167func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
168 kind := fd.Kind()
169 switch kind {
170 case pref.BoolKind,
171 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
172 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
173 pref.Sfixed32Kind, pref.Fixed32Kind,
174 pref.Sfixed64Kind, pref.Fixed64Kind,
175 pref.FloatKind, pref.DoubleKind,
176 pref.StringKind, pref.BytesKind:
177 return text.ValueOf(val.Interface()), nil
178
179 case pref.EnumKind:
180 num := val.Enum()
181 if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
182 return text.ValueOf(desc.Name()), nil
183 }
184 // Use numeric value if there is no enum description.
185 return text.ValueOf(int32(num)), nil
186
187 case pref.MessageKind, pref.GroupKind:
188 return o.marshalMessage(val.Message())
189 }
190
191 return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind)
192}
193
194// marshalList converts a protoreflect.List to []text.Value.
195func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
196 var nerr errors.NonFatal
197 size := list.Len()
198 values := make([]text.Value, 0, size)
199
200 for i := 0; i < size; i++ {
201 item := list.Get(i)
202 val, err := o.marshalSingular(item, fd)
203 if !nerr.Merge(err) {
204 // Return already marshaled values.
205 return values, err
206 }
207 values = append(values, val)
208 }
209
210 return values, nerr.E
211}
212
213var (
214 mapKeyName = text.ValueOf(pref.Name("key"))
215 mapValueName = text.ValueOf(pref.Name("value"))
216)
217
218// marshalMap converts a protoreflect.Map to []text.Value.
219func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
220 var nerr errors.NonFatal
221 // values is a list of messages.
222 values := make([]text.Value, 0, mmap.Len())
223 msgFields := fd.MessageType().Fields()
224 keyType := msgFields.ByNumber(1)
225 valType := msgFields.ByNumber(2)
226
227 mmap.Range(func(key pref.MapKey, val pref.Value) bool {
228 keyTxtVal, err := o.marshalSingular(key.Value(), keyType)
229 if !nerr.Merge(err) {
230 return false
231 }
232 valTxtVal, err := o.marshalSingular(val, valType)
233 if !nerr.Merge(err) {
234 return false
235 }
236 // Map entry (message) contains 2 fields, first field for key and second field for value.
237 msg := text.ValueOf([][2]text.Value{
238 {mapKeyName, keyTxtVal},
239 {mapValueName, valTxtVal},
240 })
241 values = append(values, msg)
242 return true
243 })
244
245 sortMap(keyType.Kind(), values)
246 return values, nerr.E
247}
248
249// sortMap orders list based on value of key field for deterministic output.
250// TODO: Improve sort comparison of text.Value for map keys.
251func sortMap(keyKind pref.Kind, values []text.Value) {
252 less := func(i, j int) bool {
253 mi := values[i].Message()
254 mj := values[j].Message()
255 return mi[0][1].String() < mj[0][1].String()
256 }
257 switch keyKind {
258 case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
259 less = func(i, j int) bool {
260 mi := values[i].Message()
261 mj := values[j].Message()
262 ni, _ := mi[0][1].Int(false)
263 nj, _ := mj[0][1].Int(false)
264 return ni < nj
265 }
266 case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
267 less = func(i, j int) bool {
268 mi := values[i].Message()
269 mj := values[j].Message()
270 ni, _ := mi[0][1].Int(true)
271 nj, _ := mj[0][1].Int(true)
272 return ni < nj
273 }
274
275 case pref.Uint32Kind, pref.Fixed32Kind:
276 less = func(i, j int) bool {
277 mi := values[i].Message()
278 mj := values[j].Message()
279 ni, _ := mi[0][1].Uint(false)
280 nj, _ := mj[0][1].Uint(false)
281 return ni < nj
282 }
283 case pref.Uint64Kind, pref.Fixed64Kind:
284 less = func(i, j int) bool {
285 mi := values[i].Message()
286 mj := values[j].Message()
287 ni, _ := mi[0][1].Uint(true)
288 nj, _ := mj[0][1].Uint(true)
289 return ni < nj
290 }
291 }
292 sort.Slice(values, less)
293}
Herbie Ong20a1d312018-12-11 21:08:58 -0800294
Herbie Ongcf253082018-12-17 17:13:07 -0800295// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
296func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
297 var nerr errors.NonFatal
298 xtTypes := knownFields.ExtensionTypes()
299 xtFields := make([][2]text.Value, 0, xtTypes.Len())
300
301 var err error
302 xtTypes.Range(func(xt pref.ExtensionType) bool {
Herbie Ong6470ea62019-01-07 18:56:57 -0800303 name := xt.FullName()
304 // If extended type is a MessageSet, set field name to be the message type name.
305 if isMessageSetExtension(xt) {
306 name = xt.MessageType().FullName()
307 }
Herbie Ongcf253082018-12-17 17:13:07 -0800308
309 num := xt.Number()
310 if knownFields.Has(num) {
311 // Use string type to produce [name] format.
Herbie Ong6470ea62019-01-07 18:56:57 -0800312 tname := text.ValueOf(string(name))
Herbie Ongcf253082018-12-17 17:13:07 -0800313 pval := knownFields.Get(num)
314 xtFields, err = o.appendField(xtFields, tname, pval, xt)
315 if err != nil {
316 return false
317 }
318 }
319 return true
320 })
321 if !nerr.Merge(err) {
322 return msgFields, err
323 }
324
325 // Sort extensions lexicographically and append to output.
326 sort.SliceStable(xtFields, func(i, j int) bool {
327 return xtFields[i][0].String() < xtFields[j][0].String()
328 })
329 return append(msgFields, xtFields...), nerr.E
330}
331
Herbie Ong6470ea62019-01-07 18:56:57 -0800332// isMessageSetExtension reports whether extension extends a message set.
333func isMessageSetExtension(xt pref.ExtensionType) bool {
334 if xt.Name() != "message_set_extension" {
335 return false
336 }
337 mt := xt.MessageType()
338 if mt == nil {
339 return false
340 }
341 if xt.FullName().Parent() != mt.FullName() {
342 return false
343 }
Joe Tsai1321a0e2019-03-20 09:46:22 -0700344 xmt, ok := xt.ExtendedType().(interface{ IsMessageSet() bool })
345 return ok && xmt.IsMessageSet()
Herbie Ong6470ea62019-01-07 18:56:57 -0800346}
347
Herbie Ong20a1d312018-12-11 21:08:58 -0800348// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
349// This function assumes proper encoding in the given []byte.
350func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
351 for len(b) > 0 {
352 var value interface{}
353 num, wtype, n := wire.ConsumeTag(b)
354 b = b[n:]
355
356 switch wtype {
357 case wire.VarintType:
358 value, n = wire.ConsumeVarint(b)
359 case wire.Fixed32Type:
360 value, n = wire.ConsumeFixed32(b)
361 case wire.Fixed64Type:
362 value, n = wire.ConsumeFixed64(b)
363 case wire.BytesType:
364 value, n = wire.ConsumeBytes(b)
365 case wire.StartGroupType:
366 var v []byte
367 v, n = wire.ConsumeGroup(num, b)
368 var msg [][2]text.Value
369 value = appendUnknown(msg, v)
370 default:
371 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
372 }
373
374 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
375 b = b[n:]
376 }
377 return fields
378}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800379
380// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
381func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
382 var nerr errors.NonFatal
383
384 fds := m.Type().Fields()
385 tfd := fds.ByName("type_url")
386 if tfd == nil || tfd.Kind() != pref.StringKind {
387 return text.Value{}, errors.New("invalid google.protobuf.Any message")
388 }
389 vfd := fds.ByName("value")
390 if vfd == nil || vfd.Kind() != pref.BytesKind {
391 return text.Value{}, errors.New("invalid google.protobuf.Any message")
392 }
393
394 knownFields := m.KnownFields()
Herbie Ong66c365c2019-01-04 14:08:41 -0800395 typeURL := knownFields.Get(tfd.Number()).String()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800396 value := knownFields.Get(vfd.Number())
397
Herbie Ong66c365c2019-01-04 14:08:41 -0800398 emt, err := o.Resolver.FindMessageByURL(typeURL)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800399 if !nerr.Merge(err) {
400 return text.Value{}, err
401 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800402 em := emt.New().Interface()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800403 // TODO: Need to set types registry in binary unmarshaling.
404 err = proto.Unmarshal(value.Bytes(), em)
405 if !nerr.Merge(err) {
406 return text.Value{}, err
407 }
408
409 msg, err := o.marshalMessage(em.ProtoReflect())
410 if !nerr.Merge(err) {
411 return text.Value{}, err
412 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800413 // Expanded Any field value contains only a single field with the type_url field value as the
414 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800415 msgFields := [][2]text.Value{
416 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800417 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800418 msg,
419 },
420 }
421 return text.ValueOf(msgFields), nerr.E
422}