blob: 8f0637082271fc4f2931bfe860652ffe3fce9c52 [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
Damien Neil5c5b5312019-05-14 12:44:37 -07005package prototext
Herbie Ongcddf8192018-11-28 18:25:20 -08006
7import (
Herbie Ong20a1d312018-12-11 21:08:58 -08008 "fmt"
Herbie Ongcddf8192018-11-28 18:25:20 -08009 "sort"
Herbie Ong21a39742019-04-08 17:32:44 -070010 "unicode/utf8"
Herbie Ongcddf8192018-11-28 18:25:20 -080011
Damien Neile89e6242019-05-13 23:55:40 -070012 "google.golang.org/protobuf/internal/encoding/text"
13 "google.golang.org/protobuf/internal/encoding/wire"
14 "google.golang.org/protobuf/internal/errors"
15 "google.golang.org/protobuf/internal/fieldnum"
16 "google.golang.org/protobuf/internal/mapsort"
17 "google.golang.org/protobuf/internal/pragma"
18 "google.golang.org/protobuf/proto"
19 pref "google.golang.org/protobuf/reflect/protoreflect"
20 "google.golang.org/protobuf/reflect/protoregistry"
Herbie Ongcddf8192018-11-28 18:25:20 -080021)
22
Herbie Ong800c9902018-12-06 15:28:53 -080023// Marshal writes the given proto.Message in textproto format using default options.
Herbie Ongcddf8192018-11-28 18:25:20 -080024func 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
Herbie Ong42577ea2019-03-26 16:26:22 -070032 // AllowPartial allows messages that have missing required fields to marshal
33 // without returning an error. If AllowPartial is false (the default),
34 // Marshal will return error if there are any missing required fields.
35 AllowPartial bool
36
Herbie Ong3a385912019-03-20 14:04:24 -070037 // If Indent is a non-empty string, it causes entries for a Message to be
38 // preceded by the indent and trailed by a newline. Indent can only be
39 // composed of space or tab characters.
40 Indent string
Herbie Ongf42b55f2019-01-02 15:46:07 -080041
42 // Resolver is the registry used for type lookups when marshaling out
43 // google.protobuf.Any messages in expanded form. If Resolver is not set,
44 // marshaling will default to using protoregistry.GlobalTypes. If a type is
45 // not found, an Any message will be marshaled as a regular message.
46 Resolver *protoregistry.Types
Herbie Ongcddf8192018-11-28 18:25:20 -080047}
48
Herbie Ong800c9902018-12-06 15:28:53 -080049// Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
Herbie Ongcddf8192018-11-28 18:25:20 -080050func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ongf42b55f2019-01-02 15:46:07 -080051 if o.Resolver == nil {
52 o.Resolver = protoregistry.GlobalTypes
53 }
54
Herbie Ongcddf8192018-11-28 18:25:20 -080055 var nerr errors.NonFatal
Herbie Ongf5db2df2019-02-07 20:17:45 -080056 v, err := o.marshalMessage(m.ProtoReflect())
Herbie Ong800c9902018-12-06 15:28:53 -080057 if !nerr.Merge(err) {
58 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080059 }
60
Herbie Ongcddf8192018-11-28 18:25:20 -080061 delims := [2]byte{'{', '}'}
Herbie Ongcddf8192018-11-28 18:25:20 -080062 const outputASCII = false
Herbie Ong3a385912019-03-20 14:04:24 -070063 b, err := text.Marshal(v, o.Indent, delims, outputASCII)
Herbie Ongcddf8192018-11-28 18:25:20 -080064 if !nerr.Merge(err) {
65 return nil, err
66 }
Damien Neil4686e232019-04-05 13:31:40 -070067 if !o.AllowPartial {
68 nerr.Merge(proto.IsInitialized(m))
69 }
Herbie Ongcddf8192018-11-28 18:25:20 -080070 return b, nerr.E
71}
72
73// marshalMessage converts a protoreflect.Message to a text.Value.
74func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
75 var nerr errors.NonFatal
76 var msgFields [][2]text.Value
Joe Tsai0fc49f82019-05-01 12:29:25 -070077 messageDesc := m.Descriptor()
Herbie Ongf42b55f2019-01-02 15:46:07 -080078
79 // Handle Any expansion.
Joe Tsai0fc49f82019-05-01 12:29:25 -070080 if messageDesc.FullName() == "google.protobuf.Any" {
Herbie Ongf42b55f2019-01-02 15:46:07 -080081 msg, err := o.marshalAny(m)
82 if err == nil || nerr.Merge(err) {
83 // Return as is for nil or non-fatal error.
84 return msg, nerr.E
85 }
Herbie Onga94f78c2019-01-03 15:39:58 -080086 // For other errors, continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080087 }
Herbie Ongcddf8192018-11-28 18:25:20 -080088
89 // Handle known fields.
Joe Tsai0fc49f82019-05-01 12:29:25 -070090 fieldDescs := messageDesc.Fields()
Herbie Ongcddf8192018-11-28 18:25:20 -080091 knownFields := m.KnownFields()
92 size := fieldDescs.Len()
93 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080094 fd := fieldDescs.Get(i)
95 num := fd.Number()
Herbie Ongcddf8192018-11-28 18:25:20 -080096
Herbie Ong800c9902018-12-06 15:28:53 -080097 if !knownFields.Has(num) {
Herbie Ongcddf8192018-11-28 18:25:20 -080098 continue
99 }
100
Herbie Ongf5db2df2019-02-07 20:17:45 -0800101 name := text.ValueOf(fd.Name())
102 // Use type name for group field name.
103 if fd.Kind() == pref.GroupKind {
Joe Tsaid24bc722019-04-15 23:39:09 -0700104 name = text.ValueOf(fd.Message().Name())
Herbie Ongf5db2df2019-02-07 20:17:45 -0800105 }
Herbie Ong800c9902018-12-06 15:28:53 -0800106 pval := knownFields.Get(num)
Herbie Ongcf253082018-12-17 17:13:07 -0800107 var err error
Herbie Ongf5db2df2019-02-07 20:17:45 -0800108 msgFields, err = o.appendField(msgFields, name, pval, fd)
Herbie Ongcf253082018-12-17 17:13:07 -0800109 if !nerr.Merge(err) {
110 return text.Value{}, err
Herbie Ongcddf8192018-11-28 18:25:20 -0800111 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800112 }
113
Herbie Ongcf253082018-12-17 17:13:07 -0800114 // Handle extensions.
115 var err error
116 msgFields, err = o.appendExtensions(msgFields, knownFields)
117 if !nerr.Merge(err) {
118 return text.Value{}, err
119 }
120
121 // Handle unknown fields.
Herbie Ong20a1d312018-12-11 21:08:58 -0800122 // TODO: Provide option to exclude or include unknown fields.
123 m.UnknownFields().Range(func(_ pref.FieldNumber, raw pref.RawFields) bool {
124 msgFields = appendUnknown(msgFields, raw)
125 return true
126 })
127
Herbie Ongcddf8192018-11-28 18:25:20 -0800128 return text.ValueOf(msgFields), nerr.E
129}
130
Herbie Ongcf253082018-12-17 17:13:07 -0800131// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
Herbie Ongf5db2df2019-02-07 20:17:45 -0800132func (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 -0800133 var nerr errors.NonFatal
134
Joe Tsaiac31a352019-05-13 14:32:56 -0700135 switch {
136 case fd.IsList():
137 items, err := o.marshalList(pval.List(), fd)
138 if !nerr.Merge(err) {
139 return msgFields, err
Herbie Ongcf253082018-12-17 17:13:07 -0800140 }
141
Herbie Ongcf253082018-12-17 17:13:07 -0800142 for _, item := range items {
Herbie Ongf5db2df2019-02-07 20:17:45 -0800143 msgFields = append(msgFields, [2]text.Value{name, item})
Herbie Ongcf253082018-12-17 17:13:07 -0800144 }
Joe Tsaiac31a352019-05-13 14:32:56 -0700145 case fd.IsMap():
146 items, err := o.marshalMap(pval.Map(), fd)
147 if !nerr.Merge(err) {
148 return msgFields, err
149 }
150
151 for _, item := range items {
152 msgFields = append(msgFields, [2]text.Value{name, item})
153 }
154 default:
Herbie Ongcf253082018-12-17 17:13:07 -0800155 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,
Herbie Ong21a39742019-04-08 17:32:44 -0700176 pref.BytesKind:
Herbie Ongcddf8192018-11-28 18:25:20 -0800177 return text.ValueOf(val.Interface()), nil
178
Herbie Ong21a39742019-04-08 17:32:44 -0700179 case pref.StringKind:
180 s := val.String()
181 if utf8.ValidString(s) {
182 return text.ValueOf(s), nil
183 }
184 var nerr errors.NonFatal
185 nerr.AppendInvalidUTF8(string(fd.FullName()))
186 return text.ValueOf(s), nerr.E
187
Herbie Ongcddf8192018-11-28 18:25:20 -0800188 case pref.EnumKind:
189 num := val.Enum()
Joe Tsaid24bc722019-04-15 23:39:09 -0700190 if desc := fd.Enum().Values().ByNumber(num); desc != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800191 return text.ValueOf(desc.Name()), nil
192 }
193 // Use numeric value if there is no enum description.
194 return text.ValueOf(int32(num)), nil
195
196 case pref.MessageKind, pref.GroupKind:
197 return o.marshalMessage(val.Message())
198 }
199
Herbie Ong09b28a92019-04-03 15:42:41 -0700200 panic(fmt.Sprintf("%v has unknown kind: %v", fd.FullName(), kind))
Herbie Ongcddf8192018-11-28 18:25:20 -0800201}
202
203// marshalList converts a protoreflect.List to []text.Value.
204func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
205 var nerr errors.NonFatal
206 size := list.Len()
207 values := make([]text.Value, 0, size)
208
209 for i := 0; i < size; i++ {
210 item := list.Get(i)
211 val, err := o.marshalSingular(item, fd)
212 if !nerr.Merge(err) {
213 // Return already marshaled values.
214 return values, err
215 }
216 values = append(values, val)
217 }
218
219 return values, nerr.E
220}
221
222var (
223 mapKeyName = text.ValueOf(pref.Name("key"))
224 mapValueName = text.ValueOf(pref.Name("value"))
225)
226
227// marshalMap converts a protoreflect.Map to []text.Value.
228func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
229 var nerr errors.NonFatal
230 // values is a list of messages.
231 values := make([]text.Value, 0, mmap.Len())
Herbie Ongcddf8192018-11-28 18:25:20 -0800232
Herbie Ong09b28a92019-04-03 15:42:41 -0700233 var err error
Joe Tsaiac31a352019-05-13 14:32:56 -0700234 mapsort.Range(mmap, fd.MapKey().Kind(), func(key pref.MapKey, val pref.Value) bool {
Herbie Ong09b28a92019-04-03 15:42:41 -0700235 var keyTxtVal text.Value
Joe Tsaiac31a352019-05-13 14:32:56 -0700236 keyTxtVal, err = o.marshalSingular(key.Value(), fd.MapKey())
Herbie Ongcddf8192018-11-28 18:25:20 -0800237 if !nerr.Merge(err) {
238 return false
239 }
Herbie Ong09b28a92019-04-03 15:42:41 -0700240 var valTxtVal text.Value
Joe Tsaiac31a352019-05-13 14:32:56 -0700241 valTxtVal, err = o.marshalSingular(val, fd.MapValue())
Herbie Ongcddf8192018-11-28 18:25:20 -0800242 if !nerr.Merge(err) {
243 return false
244 }
245 // Map entry (message) contains 2 fields, first field for key and second field for value.
246 msg := text.ValueOf([][2]text.Value{
247 {mapKeyName, keyTxtVal},
248 {mapValueName, valTxtVal},
249 })
250 values = append(values, msg)
Herbie Ong09b28a92019-04-03 15:42:41 -0700251 err = nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800252 return true
253 })
Herbie Ong09b28a92019-04-03 15:42:41 -0700254 if err != nil {
255 return nil, err
256 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800257
Herbie Ongcddf8192018-11-28 18:25:20 -0800258 return values, nerr.E
259}
260
Herbie Ongcf253082018-12-17 17:13:07 -0800261// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
262func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
Herbie Ongcf253082018-12-17 17:13:07 -0800263 xtTypes := knownFields.ExtensionTypes()
264 xtFields := make([][2]text.Value, 0, xtTypes.Len())
265
Herbie Ong09b28a92019-04-03 15:42:41 -0700266 var nerr errors.NonFatal
Herbie Ongcf253082018-12-17 17:13:07 -0800267 var err error
268 xtTypes.Range(func(xt pref.ExtensionType) bool {
Joe Tsai0fc49f82019-05-01 12:29:25 -0700269 name := xt.Descriptor().FullName()
Herbie Ong6470ea62019-01-07 18:56:57 -0800270 // If extended type is a MessageSet, set field name to be the message type name.
271 if isMessageSetExtension(xt) {
Joe Tsai0fc49f82019-05-01 12:29:25 -0700272 name = xt.Descriptor().Message().FullName()
Herbie Ong6470ea62019-01-07 18:56:57 -0800273 }
Herbie Ongcf253082018-12-17 17:13:07 -0800274
Joe Tsai0fc49f82019-05-01 12:29:25 -0700275 num := xt.Descriptor().Number()
Herbie Ongcf253082018-12-17 17:13:07 -0800276 if knownFields.Has(num) {
277 // Use string type to produce [name] format.
Herbie Ong6470ea62019-01-07 18:56:57 -0800278 tname := text.ValueOf(string(name))
Herbie Ongcf253082018-12-17 17:13:07 -0800279 pval := knownFields.Get(num)
Joe Tsai0fc49f82019-05-01 12:29:25 -0700280 xtFields, err = o.appendField(xtFields, tname, pval, xt.Descriptor())
Herbie Ong09b28a92019-04-03 15:42:41 -0700281 if !nerr.Merge(err) {
Herbie Ongcf253082018-12-17 17:13:07 -0800282 return false
283 }
Herbie Ong09b28a92019-04-03 15:42:41 -0700284 err = nil
Herbie Ongcf253082018-12-17 17:13:07 -0800285 }
286 return true
287 })
Herbie Ong09b28a92019-04-03 15:42:41 -0700288 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800289 return msgFields, err
290 }
291
292 // Sort extensions lexicographically and append to output.
293 sort.SliceStable(xtFields, func(i, j int) bool {
294 return xtFields[i][0].String() < xtFields[j][0].String()
295 })
296 return append(msgFields, xtFields...), nerr.E
297}
298
Herbie Ong6470ea62019-01-07 18:56:57 -0800299// isMessageSetExtension reports whether extension extends a message set.
300func isMessageSetExtension(xt pref.ExtensionType) bool {
Joe Tsai0fc49f82019-05-01 12:29:25 -0700301 xd := xt.Descriptor()
302 if xd.Name() != "message_set_extension" {
Herbie Ong6470ea62019-01-07 18:56:57 -0800303 return false
304 }
Joe Tsai0fc49f82019-05-01 12:29:25 -0700305 md := xd.Message()
Joe Tsaid24bc722019-04-15 23:39:09 -0700306 if md == nil {
Herbie Ong6470ea62019-01-07 18:56:57 -0800307 return false
308 }
Joe Tsai0fc49f82019-05-01 12:29:25 -0700309 if xd.FullName().Parent() != md.FullName() {
Herbie Ong6470ea62019-01-07 18:56:57 -0800310 return false
311 }
Joe Tsaiac31a352019-05-13 14:32:56 -0700312 xmd, ok := xd.ContainingMessage().(interface{ IsMessageSet() bool })
Joe Tsaid24bc722019-04-15 23:39:09 -0700313 return ok && xmd.IsMessageSet()
Herbie Ong6470ea62019-01-07 18:56:57 -0800314}
315
Herbie Ong20a1d312018-12-11 21:08:58 -0800316// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
317// This function assumes proper encoding in the given []byte.
318func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
319 for len(b) > 0 {
320 var value interface{}
321 num, wtype, n := wire.ConsumeTag(b)
322 b = b[n:]
323
324 switch wtype {
325 case wire.VarintType:
326 value, n = wire.ConsumeVarint(b)
327 case wire.Fixed32Type:
328 value, n = wire.ConsumeFixed32(b)
329 case wire.Fixed64Type:
330 value, n = wire.ConsumeFixed64(b)
331 case wire.BytesType:
332 value, n = wire.ConsumeBytes(b)
333 case wire.StartGroupType:
334 var v []byte
335 v, n = wire.ConsumeGroup(num, b)
336 var msg [][2]text.Value
337 value = appendUnknown(msg, v)
338 default:
339 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
340 }
341
342 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
343 b = b[n:]
344 }
345 return fields
346}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800347
348// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
349func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
350 var nerr errors.NonFatal
Herbie Ongf42b55f2019-01-02 15:46:07 -0800351 knownFields := m.KnownFields()
Herbie Ong09b28a92019-04-03 15:42:41 -0700352 typeURL := knownFields.Get(fieldnum.Any_TypeUrl).String()
353 value := knownFields.Get(fieldnum.Any_Value)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800354
Herbie Ong66c365c2019-01-04 14:08:41 -0800355 emt, err := o.Resolver.FindMessageByURL(typeURL)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800356 if !nerr.Merge(err) {
357 return text.Value{}, err
358 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800359 em := emt.New().Interface()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800360 // TODO: Need to set types registry in binary unmarshaling.
Herbie Ong9c100452019-05-06 18:45:33 -0700361 // TODO: If binary unmarshaling returns required not set error, need to
362 // return another required not set error that contains both the path to this
363 // field and the path inside the embedded message.
Damien Neil96c229a2019-04-03 12:17:24 -0700364 err = proto.UnmarshalOptions{
365 AllowPartial: o.AllowPartial,
366 }.Unmarshal(value.Bytes(), em)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800367 if !nerr.Merge(err) {
368 return text.Value{}, err
369 }
370
371 msg, err := o.marshalMessage(em.ProtoReflect())
372 if !nerr.Merge(err) {
373 return text.Value{}, err
374 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800375 // Expanded Any field value contains only a single field with the type_url field value as the
376 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800377 msgFields := [][2]text.Value{
378 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800379 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800380 msg,
381 },
382 }
383 return text.ValueOf(msgFields), nerr.E
384}