blob: 93eab316bf02b0115e335c35aef1e3b14b2cd09f [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
Herbie Ong3a385912019-03-20 14:04:24 -070030 // If Indent is a non-empty string, it causes entries for a Message to be
31 // preceded by the indent and trailed by a newline. Indent can only be
32 // composed of space or tab characters.
33 Indent string
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
Herbie Ongf5db2df2019-02-07 20:17:45 -080049 v, err := o.marshalMessage(m.ProtoReflect())
Herbie Ong800c9902018-12-06 15:28:53 -080050 if !nerr.Merge(err) {
51 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080052 }
53
Herbie Ongcddf8192018-11-28 18:25:20 -080054 delims := [2]byte{'{', '}'}
Herbie Ongcddf8192018-11-28 18:25:20 -080055 const outputASCII = false
Herbie Ong3a385912019-03-20 14:04:24 -070056 b, err := text.Marshal(v, o.Indent, delims, outputASCII)
Herbie Ongcddf8192018-11-28 18:25:20 -080057 if !nerr.Merge(err) {
58 return nil, err
59 }
60 return b, nerr.E
61}
62
63// marshalMessage converts a protoreflect.Message to a text.Value.
64func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
65 var nerr errors.NonFatal
66 var msgFields [][2]text.Value
Herbie Ongf42b55f2019-01-02 15:46:07 -080067 msgType := m.Type()
68
69 // Handle Any expansion.
70 if msgType.FullName() == "google.protobuf.Any" {
71 msg, err := o.marshalAny(m)
72 if err == nil || nerr.Merge(err) {
73 // Return as is for nil or non-fatal error.
74 return msg, nerr.E
75 }
Herbie Onga94f78c2019-01-03 15:39:58 -080076 // For other errors, continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080077 }
Herbie Ongcddf8192018-11-28 18:25:20 -080078
79 // Handle known fields.
Herbie Ongcddf8192018-11-28 18:25:20 -080080 fieldDescs := msgType.Fields()
81 knownFields := m.KnownFields()
82 size := fieldDescs.Len()
83 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080084 fd := fieldDescs.Get(i)
85 num := fd.Number()
Herbie Ongcddf8192018-11-28 18:25:20 -080086
Herbie Ong800c9902018-12-06 15:28:53 -080087 if !knownFields.Has(num) {
88 if fd.Cardinality() == pref.Required {
Herbie Ongcddf8192018-11-28 18:25:20 -080089 // Treat unset required fields as a non-fatal error.
Herbie Ong800c9902018-12-06 15:28:53 -080090 nerr.AppendRequiredNotSet(string(fd.FullName()))
Herbie Ongcddf8192018-11-28 18:25:20 -080091 }
92 continue
93 }
94
Herbie Ongf5db2df2019-02-07 20:17:45 -080095 name := text.ValueOf(fd.Name())
96 // Use type name for group field name.
97 if fd.Kind() == pref.GroupKind {
98 name = text.ValueOf(fd.MessageType().Name())
99 }
Herbie Ong800c9902018-12-06 15:28:53 -0800100 pval := knownFields.Get(num)
Herbie Ongcf253082018-12-17 17:13:07 -0800101 var err error
Herbie Ongf5db2df2019-02-07 20:17:45 -0800102 msgFields, err = o.appendField(msgFields, name, pval, fd)
Herbie Ongcf253082018-12-17 17:13:07 -0800103 if !nerr.Merge(err) {
104 return text.Value{}, err
Herbie Ongcddf8192018-11-28 18:25:20 -0800105 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800106 }
107
Herbie Ongcf253082018-12-17 17:13:07 -0800108 // Handle extensions.
109 var err error
110 msgFields, err = o.appendExtensions(msgFields, knownFields)
111 if !nerr.Merge(err) {
112 return text.Value{}, err
113 }
114
115 // Handle unknown fields.
Herbie Ong20a1d312018-12-11 21:08:58 -0800116 // TODO: Provide option to exclude or include unknown fields.
117 m.UnknownFields().Range(func(_ pref.FieldNumber, raw pref.RawFields) bool {
118 msgFields = appendUnknown(msgFields, raw)
119 return true
120 })
121
Herbie Ongcddf8192018-11-28 18:25:20 -0800122 return text.ValueOf(msgFields), nerr.E
123}
124
Herbie Ongcf253082018-12-17 17:13:07 -0800125// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
Herbie Ongf5db2df2019-02-07 20:17:45 -0800126func (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 -0800127 var nerr errors.NonFatal
128
129 if fd.Cardinality() == pref.Repeated {
130 // Map or repeated fields.
131 var items []text.Value
132 var err error
133 if fd.IsMap() {
134 items, err = o.marshalMap(pval.Map(), fd)
135 if !nerr.Merge(err) {
136 return msgFields, err
137 }
138 } else {
139 items, err = o.marshalList(pval.List(), fd)
140 if !nerr.Merge(err) {
141 return msgFields, err
142 }
143 }
144
145 // Add each item as key: value field.
146 for _, item := range items {
Herbie Ongf5db2df2019-02-07 20:17:45 -0800147 msgFields = append(msgFields, [2]text.Value{name, item})
Herbie Ongcf253082018-12-17 17:13:07 -0800148 }
149 } else {
150 // Required or optional fields.
151 tval, err := o.marshalSingular(pval, fd)
152 if !nerr.Merge(err) {
153 return msgFields, err
154 }
Herbie Ongf5db2df2019-02-07 20:17:45 -0800155 msgFields = append(msgFields, [2]text.Value{name, tval})
Herbie Ongcf253082018-12-17 17:13:07 -0800156 }
157
158 return msgFields, nerr.E
159}
160
Herbie Ongcddf8192018-11-28 18:25:20 -0800161// marshalSingular converts a non-repeated field value to text.Value.
162// This includes all scalar types, enums, messages, and groups.
163func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
164 kind := fd.Kind()
165 switch kind {
166 case pref.BoolKind,
167 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
168 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
169 pref.Sfixed32Kind, pref.Fixed32Kind,
170 pref.Sfixed64Kind, pref.Fixed64Kind,
171 pref.FloatKind, pref.DoubleKind,
172 pref.StringKind, pref.BytesKind:
173 return text.ValueOf(val.Interface()), nil
174
175 case pref.EnumKind:
176 num := val.Enum()
177 if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
178 return text.ValueOf(desc.Name()), nil
179 }
180 // Use numeric value if there is no enum description.
181 return text.ValueOf(int32(num)), nil
182
183 case pref.MessageKind, pref.GroupKind:
184 return o.marshalMessage(val.Message())
185 }
186
187 return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind)
188}
189
190// marshalList converts a protoreflect.List to []text.Value.
191func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
192 var nerr errors.NonFatal
193 size := list.Len()
194 values := make([]text.Value, 0, size)
195
196 for i := 0; i < size; i++ {
197 item := list.Get(i)
198 val, err := o.marshalSingular(item, fd)
199 if !nerr.Merge(err) {
200 // Return already marshaled values.
201 return values, err
202 }
203 values = append(values, val)
204 }
205
206 return values, nerr.E
207}
208
209var (
210 mapKeyName = text.ValueOf(pref.Name("key"))
211 mapValueName = text.ValueOf(pref.Name("value"))
212)
213
214// marshalMap converts a protoreflect.Map to []text.Value.
215func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
216 var nerr errors.NonFatal
217 // values is a list of messages.
218 values := make([]text.Value, 0, mmap.Len())
219 msgFields := fd.MessageType().Fields()
220 keyType := msgFields.ByNumber(1)
221 valType := msgFields.ByNumber(2)
222
223 mmap.Range(func(key pref.MapKey, val pref.Value) bool {
224 keyTxtVal, err := o.marshalSingular(key.Value(), keyType)
225 if !nerr.Merge(err) {
226 return false
227 }
228 valTxtVal, err := o.marshalSingular(val, valType)
229 if !nerr.Merge(err) {
230 return false
231 }
232 // Map entry (message) contains 2 fields, first field for key and second field for value.
233 msg := text.ValueOf([][2]text.Value{
234 {mapKeyName, keyTxtVal},
235 {mapValueName, valTxtVal},
236 })
237 values = append(values, msg)
238 return true
239 })
240
241 sortMap(keyType.Kind(), values)
242 return values, nerr.E
243}
244
245// sortMap orders list based on value of key field for deterministic output.
246// TODO: Improve sort comparison of text.Value for map keys.
247func sortMap(keyKind pref.Kind, values []text.Value) {
248 less := func(i, j int) bool {
249 mi := values[i].Message()
250 mj := values[j].Message()
251 return mi[0][1].String() < mj[0][1].String()
252 }
253 switch keyKind {
254 case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
255 less = func(i, j int) bool {
256 mi := values[i].Message()
257 mj := values[j].Message()
258 ni, _ := mi[0][1].Int(false)
259 nj, _ := mj[0][1].Int(false)
260 return ni < nj
261 }
262 case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
263 less = func(i, j int) bool {
264 mi := values[i].Message()
265 mj := values[j].Message()
266 ni, _ := mi[0][1].Int(true)
267 nj, _ := mj[0][1].Int(true)
268 return ni < nj
269 }
270
271 case pref.Uint32Kind, pref.Fixed32Kind:
272 less = func(i, j int) bool {
273 mi := values[i].Message()
274 mj := values[j].Message()
275 ni, _ := mi[0][1].Uint(false)
276 nj, _ := mj[0][1].Uint(false)
277 return ni < nj
278 }
279 case pref.Uint64Kind, pref.Fixed64Kind:
280 less = func(i, j int) bool {
281 mi := values[i].Message()
282 mj := values[j].Message()
283 ni, _ := mi[0][1].Uint(true)
284 nj, _ := mj[0][1].Uint(true)
285 return ni < nj
286 }
287 }
288 sort.Slice(values, less)
289}
Herbie Ong20a1d312018-12-11 21:08:58 -0800290
Herbie Ongcf253082018-12-17 17:13:07 -0800291// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
292func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
293 var nerr errors.NonFatal
294 xtTypes := knownFields.ExtensionTypes()
295 xtFields := make([][2]text.Value, 0, xtTypes.Len())
296
297 var err error
298 xtTypes.Range(func(xt pref.ExtensionType) bool {
Herbie Ong6470ea62019-01-07 18:56:57 -0800299 name := xt.FullName()
300 // If extended type is a MessageSet, set field name to be the message type name.
301 if isMessageSetExtension(xt) {
302 name = xt.MessageType().FullName()
303 }
Herbie Ongcf253082018-12-17 17:13:07 -0800304
305 num := xt.Number()
306 if knownFields.Has(num) {
307 // Use string type to produce [name] format.
Herbie Ong6470ea62019-01-07 18:56:57 -0800308 tname := text.ValueOf(string(name))
Herbie Ongcf253082018-12-17 17:13:07 -0800309 pval := knownFields.Get(num)
310 xtFields, err = o.appendField(xtFields, tname, pval, xt)
311 if err != nil {
312 return false
313 }
314 }
315 return true
316 })
317 if !nerr.Merge(err) {
318 return msgFields, err
319 }
320
321 // Sort extensions lexicographically and append to output.
322 sort.SliceStable(xtFields, func(i, j int) bool {
323 return xtFields[i][0].String() < xtFields[j][0].String()
324 })
325 return append(msgFields, xtFields...), nerr.E
326}
327
Herbie Ong6470ea62019-01-07 18:56:57 -0800328// isMessageSetExtension reports whether extension extends a message set.
329func isMessageSetExtension(xt pref.ExtensionType) bool {
330 if xt.Name() != "message_set_extension" {
331 return false
332 }
333 mt := xt.MessageType()
334 if mt == nil {
335 return false
336 }
337 if xt.FullName().Parent() != mt.FullName() {
338 return false
339 }
Joe Tsai1321a0e2019-03-20 09:46:22 -0700340 xmt, ok := xt.ExtendedType().(interface{ IsMessageSet() bool })
341 return ok && xmt.IsMessageSet()
Herbie Ong6470ea62019-01-07 18:56:57 -0800342}
343
Herbie Ong20a1d312018-12-11 21:08:58 -0800344// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
345// This function assumes proper encoding in the given []byte.
346func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
347 for len(b) > 0 {
348 var value interface{}
349 num, wtype, n := wire.ConsumeTag(b)
350 b = b[n:]
351
352 switch wtype {
353 case wire.VarintType:
354 value, n = wire.ConsumeVarint(b)
355 case wire.Fixed32Type:
356 value, n = wire.ConsumeFixed32(b)
357 case wire.Fixed64Type:
358 value, n = wire.ConsumeFixed64(b)
359 case wire.BytesType:
360 value, n = wire.ConsumeBytes(b)
361 case wire.StartGroupType:
362 var v []byte
363 v, n = wire.ConsumeGroup(num, b)
364 var msg [][2]text.Value
365 value = appendUnknown(msg, v)
366 default:
367 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
368 }
369
370 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
371 b = b[n:]
372 }
373 return fields
374}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800375
376// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
377func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
378 var nerr errors.NonFatal
379
380 fds := m.Type().Fields()
381 tfd := fds.ByName("type_url")
382 if tfd == nil || tfd.Kind() != pref.StringKind {
383 return text.Value{}, errors.New("invalid google.protobuf.Any message")
384 }
385 vfd := fds.ByName("value")
386 if vfd == nil || vfd.Kind() != pref.BytesKind {
387 return text.Value{}, errors.New("invalid google.protobuf.Any message")
388 }
389
390 knownFields := m.KnownFields()
Herbie Ong66c365c2019-01-04 14:08:41 -0800391 typeURL := knownFields.Get(tfd.Number()).String()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800392 value := knownFields.Get(vfd.Number())
393
Herbie Ong66c365c2019-01-04 14:08:41 -0800394 emt, err := o.Resolver.FindMessageByURL(typeURL)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800395 if !nerr.Merge(err) {
396 return text.Value{}, err
397 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800398 em := emt.New().Interface()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800399 // TODO: Need to set types registry in binary unmarshaling.
400 err = proto.Unmarshal(value.Bytes(), em)
401 if !nerr.Merge(err) {
402 return text.Value{}, err
403 }
404
405 msg, err := o.marshalMessage(em.ProtoReflect())
406 if !nerr.Merge(err) {
407 return text.Value{}, err
408 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800409 // Expanded Any field value contains only a single field with the type_url field value as the
410 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800411 msgFields := [][2]text.Value{
412 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800413 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800414 msg,
415 },
416 }
417 return text.ValueOf(msgFields), nerr.E
418}