blob: c7c3b8a444ce4707d1c4c386f039ba24a78217a4 [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
Joe Tsai5ae10aa2019-07-11 18:23:08 -070012 "google.golang.org/protobuf/internal/encoding/messageset"
Damien Neile89e6242019-05-13 23:55:40 -070013 "google.golang.org/protobuf/internal/encoding/text"
14 "google.golang.org/protobuf/internal/encoding/wire"
15 "google.golang.org/protobuf/internal/errors"
16 "google.golang.org/protobuf/internal/fieldnum"
Joe Tsai5ae10aa2019-07-11 18:23:08 -070017 "google.golang.org/protobuf/internal/flags"
Damien Neile89e6242019-05-13 23:55:40 -070018 "google.golang.org/protobuf/internal/mapsort"
19 "google.golang.org/protobuf/internal/pragma"
20 "google.golang.org/protobuf/proto"
21 pref "google.golang.org/protobuf/reflect/protoreflect"
22 "google.golang.org/protobuf/reflect/protoregistry"
Herbie Ongcddf8192018-11-28 18:25:20 -080023)
24
Herbie Ong9e356de2019-08-05 11:40:38 +080025// Marshal writes the given proto.Message in textproto format using default
26// options. Do not depend on the output being stable. It may change over time
27// across different versions of the program.
Herbie Ongcddf8192018-11-28 18:25:20 -080028func Marshal(m proto.Message) ([]byte, error) {
29 return MarshalOptions{}.Marshal(m)
30}
31
32// MarshalOptions is a configurable text format marshaler.
33type MarshalOptions struct {
34 pragma.NoUnkeyedLiterals
35
Herbie Ong42577ea2019-03-26 16:26:22 -070036 // AllowPartial allows messages that have missing required fields to marshal
37 // without returning an error. If AllowPartial is false (the default),
38 // Marshal will return error if there are any missing required fields.
39 AllowPartial bool
40
Joe Tsaicd4a31e2019-09-14 19:14:24 -070041 // EmitUnknown specifies whether to emit unknown fields in the output.
42 // If specified, the unmarshaler may be unable to parse the output.
43 // The default is to exclude unknown fields.
44 EmitUnknown bool
45
Herbie Ong3a385912019-03-20 14:04:24 -070046 // If Indent is a non-empty string, it causes entries for a Message to be
47 // preceded by the indent and trailed by a newline. Indent can only be
48 // composed of space or tab characters.
49 Indent string
Herbie Ongf42b55f2019-01-02 15:46:07 -080050
Joe Tsai1c283042019-05-14 14:28:19 -070051 // Resolver is used for looking up types when expanding google.protobuf.Any
52 // messages. If nil, this defaults to using protoregistry.GlobalTypes.
53 Resolver interface {
Damien Neil95faac22019-06-19 10:03:37 -070054 protoregistry.ExtensionTypeResolver
Joe Tsai1c283042019-05-14 14:28:19 -070055 protoregistry.MessageTypeResolver
56 }
Herbie Ongcddf8192018-11-28 18:25:20 -080057}
58
Herbie Ong9e356de2019-08-05 11:40:38 +080059// Marshal writes the given proto.Message in textproto format using options in
60// MarshalOptions object. Do not depend on the output being stable. It may
61// change over time across different versions of the program.
Herbie Ongcddf8192018-11-28 18:25:20 -080062func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ongf42b55f2019-01-02 15:46:07 -080063 if o.Resolver == nil {
64 o.Resolver = protoregistry.GlobalTypes
65 }
66
Herbie Ongf5db2df2019-02-07 20:17:45 -080067 v, err := o.marshalMessage(m.ProtoReflect())
Damien Neil8c86fc52019-06-19 09:28:29 -070068 if err != nil {
Herbie Ong800c9902018-12-06 15:28:53 -080069 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080070 }
71
Herbie Ongcddf8192018-11-28 18:25:20 -080072 delims := [2]byte{'{', '}'}
Herbie Ongcddf8192018-11-28 18:25:20 -080073 const outputASCII = false
Herbie Ong3a385912019-03-20 14:04:24 -070074 b, err := text.Marshal(v, o.Indent, delims, outputASCII)
Damien Neil8c86fc52019-06-19 09:28:29 -070075 if err != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -080076 return nil, err
77 }
Damien Neil8c86fc52019-06-19 09:28:29 -070078 if o.AllowPartial {
79 return b, nil
Damien Neil4686e232019-04-05 13:31:40 -070080 }
Damien Neil8c86fc52019-06-19 09:28:29 -070081 return b, proto.IsInitialized(m)
Herbie Ongcddf8192018-11-28 18:25:20 -080082}
83
84// marshalMessage converts a protoreflect.Message to a text.Value.
85func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
Joe Tsai0fc49f82019-05-01 12:29:25 -070086 messageDesc := m.Descriptor()
Joe Tsai1799d112019-08-08 13:31:59 -070087 if !flags.ProtoLegacy && messageset.IsMessageSet(messageDesc) {
Joe Tsai5ae10aa2019-07-11 18:23:08 -070088 return text.Value{}, errors.New("no support for proto1 MessageSets")
89 }
Herbie Ongf42b55f2019-01-02 15:46:07 -080090
91 // Handle Any expansion.
Joe Tsai0fc49f82019-05-01 12:29:25 -070092 if messageDesc.FullName() == "google.protobuf.Any" {
Damien Neil8c86fc52019-06-19 09:28:29 -070093 if msg, err := o.marshalAny(m); err == nil {
94 // Return as is if no error.
95 return msg, nil
Herbie Ongf42b55f2019-01-02 15:46:07 -080096 }
Damien Neil8c86fc52019-06-19 09:28:29 -070097 // Otherwise continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080098 }
Herbie Ongcddf8192018-11-28 18:25:20 -080099
100 // Handle known fields.
Joe Tsai5ae10aa2019-07-11 18:23:08 -0700101 var msgFields [][2]text.Value
Joe Tsai0fc49f82019-05-01 12:29:25 -0700102 fieldDescs := messageDesc.Fields()
Herbie Ongcddf8192018-11-28 18:25:20 -0800103 size := fieldDescs.Len()
Joe Tsaifc5f8c32019-09-17 22:32:53 -0700104 for i := 0; i < size; {
Herbie Ong800c9902018-12-06 15:28:53 -0800105 fd := fieldDescs.Get(i)
Joe Tsaifc5f8c32019-09-17 22:32:53 -0700106 if od := fd.ContainingOneof(); od != nil {
107 fd = m.WhichOneof(od)
108 i += od.Fields().Len()
109 } else {
110 i++
111 }
112 if fd == nil || !m.Has(fd) {
Herbie Ongcddf8192018-11-28 18:25:20 -0800113 continue
114 }
115
Herbie Ongf5db2df2019-02-07 20:17:45 -0800116 name := text.ValueOf(fd.Name())
117 // Use type name for group field name.
118 if fd.Kind() == pref.GroupKind {
Joe Tsaid24bc722019-04-15 23:39:09 -0700119 name = text.ValueOf(fd.Message().Name())
Herbie Ongf5db2df2019-02-07 20:17:45 -0800120 }
Joe Tsai378c1322019-04-25 23:48:08 -0700121 pval := m.Get(fd)
Herbie Ongcf253082018-12-17 17:13:07 -0800122 var err error
Herbie Ongf5db2df2019-02-07 20:17:45 -0800123 msgFields, err = o.appendField(msgFields, name, pval, fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700124 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800125 return text.Value{}, err
Herbie Ongcddf8192018-11-28 18:25:20 -0800126 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800127 }
128
Herbie Ongcf253082018-12-17 17:13:07 -0800129 // Handle extensions.
130 var err error
Joe Tsai378c1322019-04-25 23:48:08 -0700131 msgFields, err = o.appendExtensions(msgFields, m)
Damien Neil8c86fc52019-06-19 09:28:29 -0700132 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800133 return text.Value{}, err
134 }
135
136 // Handle unknown fields.
Joe Tsaicd4a31e2019-09-14 19:14:24 -0700137 if o.EmitUnknown {
138 msgFields = appendUnknown(msgFields, m.GetUnknown())
139 }
Herbie Ong20a1d312018-12-11 21:08:58 -0800140
Damien Neil8c86fc52019-06-19 09:28:29 -0700141 return text.ValueOf(msgFields), nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800142}
143
Herbie Ongcf253082018-12-17 17:13:07 -0800144// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
Herbie Ongf5db2df2019-02-07 20:17:45 -0800145func (o MarshalOptions) appendField(msgFields [][2]text.Value, name text.Value, pval pref.Value, fd pref.FieldDescriptor) ([][2]text.Value, error) {
Joe Tsaiac31a352019-05-13 14:32:56 -0700146 switch {
147 case fd.IsList():
148 items, err := o.marshalList(pval.List(), fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700149 if err != nil {
Joe Tsaiac31a352019-05-13 14:32:56 -0700150 return msgFields, err
Herbie Ongcf253082018-12-17 17:13:07 -0800151 }
152
Herbie Ongcf253082018-12-17 17:13:07 -0800153 for _, item := range items {
Herbie Ongf5db2df2019-02-07 20:17:45 -0800154 msgFields = append(msgFields, [2]text.Value{name, item})
Herbie Ongcf253082018-12-17 17:13:07 -0800155 }
Joe Tsaiac31a352019-05-13 14:32:56 -0700156 case fd.IsMap():
157 items, err := o.marshalMap(pval.Map(), fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700158 if err != nil {
Joe Tsaiac31a352019-05-13 14:32:56 -0700159 return msgFields, err
160 }
161
162 for _, item := range items {
163 msgFields = append(msgFields, [2]text.Value{name, item})
164 }
165 default:
Herbie Ongcf253082018-12-17 17:13:07 -0800166 tval, err := o.marshalSingular(pval, fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700167 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800168 return msgFields, err
169 }
Herbie Ongf5db2df2019-02-07 20:17:45 -0800170 msgFields = append(msgFields, [2]text.Value{name, tval})
Herbie Ongcf253082018-12-17 17:13:07 -0800171 }
172
Damien Neil8c86fc52019-06-19 09:28:29 -0700173 return msgFields, nil
Herbie Ongcf253082018-12-17 17:13:07 -0800174}
175
Herbie Ongcddf8192018-11-28 18:25:20 -0800176// marshalSingular converts a non-repeated field value to text.Value.
177// This includes all scalar types, enums, messages, and groups.
178func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
179 kind := fd.Kind()
180 switch kind {
181 case pref.BoolKind,
182 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
183 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
184 pref.Sfixed32Kind, pref.Fixed32Kind,
185 pref.Sfixed64Kind, pref.Fixed64Kind,
186 pref.FloatKind, pref.DoubleKind,
Herbie Ong21a39742019-04-08 17:32:44 -0700187 pref.BytesKind:
Herbie Ongcddf8192018-11-28 18:25:20 -0800188 return text.ValueOf(val.Interface()), nil
189
Herbie Ong21a39742019-04-08 17:32:44 -0700190 case pref.StringKind:
191 s := val.String()
Damien Neil8c86fc52019-06-19 09:28:29 -0700192 if !utf8.ValidString(s) {
193 return text.Value{}, errors.InvalidUTF8(string(fd.FullName()))
Herbie Ong21a39742019-04-08 17:32:44 -0700194 }
Damien Neil8c86fc52019-06-19 09:28:29 -0700195 return text.ValueOf(s), nil
Herbie Ong21a39742019-04-08 17:32:44 -0700196
Herbie Ongcddf8192018-11-28 18:25:20 -0800197 case pref.EnumKind:
198 num := val.Enum()
Joe Tsaid24bc722019-04-15 23:39:09 -0700199 if desc := fd.Enum().Values().ByNumber(num); desc != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800200 return text.ValueOf(desc.Name()), nil
201 }
202 // Use numeric value if there is no enum description.
203 return text.ValueOf(int32(num)), nil
204
205 case pref.MessageKind, pref.GroupKind:
206 return o.marshalMessage(val.Message())
207 }
208
Herbie Ong09b28a92019-04-03 15:42:41 -0700209 panic(fmt.Sprintf("%v has unknown kind: %v", fd.FullName(), kind))
Herbie Ongcddf8192018-11-28 18:25:20 -0800210}
211
212// marshalList converts a protoreflect.List to []text.Value.
213func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
Herbie Ongcddf8192018-11-28 18:25:20 -0800214 size := list.Len()
215 values := make([]text.Value, 0, size)
216
217 for i := 0; i < size; i++ {
218 item := list.Get(i)
219 val, err := o.marshalSingular(item, fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700220 if err != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800221 // Return already marshaled values.
222 return values, err
223 }
224 values = append(values, val)
225 }
226
Damien Neil8c86fc52019-06-19 09:28:29 -0700227 return values, nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800228}
229
230var (
231 mapKeyName = text.ValueOf(pref.Name("key"))
232 mapValueName = text.ValueOf(pref.Name("value"))
233)
234
235// marshalMap converts a protoreflect.Map to []text.Value.
236func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
Herbie Ongcddf8192018-11-28 18:25:20 -0800237 // values is a list of messages.
238 values := make([]text.Value, 0, mmap.Len())
Herbie Ongcddf8192018-11-28 18:25:20 -0800239
Herbie Ong09b28a92019-04-03 15:42:41 -0700240 var err error
Joe Tsaiac31a352019-05-13 14:32:56 -0700241 mapsort.Range(mmap, fd.MapKey().Kind(), func(key pref.MapKey, val pref.Value) bool {
Herbie Ong09b28a92019-04-03 15:42:41 -0700242 var keyTxtVal text.Value
Joe Tsaiac31a352019-05-13 14:32:56 -0700243 keyTxtVal, err = o.marshalSingular(key.Value(), fd.MapKey())
Damien Neil8c86fc52019-06-19 09:28:29 -0700244 if err != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800245 return false
246 }
Herbie Ong09b28a92019-04-03 15:42:41 -0700247 var valTxtVal text.Value
Joe Tsaiac31a352019-05-13 14:32:56 -0700248 valTxtVal, err = o.marshalSingular(val, fd.MapValue())
Damien Neil8c86fc52019-06-19 09:28:29 -0700249 if err != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800250 return false
251 }
252 // Map entry (message) contains 2 fields, first field for key and second field for value.
253 msg := text.ValueOf([][2]text.Value{
254 {mapKeyName, keyTxtVal},
255 {mapValueName, valTxtVal},
256 })
257 values = append(values, msg)
Herbie Ong09b28a92019-04-03 15:42:41 -0700258 err = nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800259 return true
260 })
Herbie Ong09b28a92019-04-03 15:42:41 -0700261 if err != nil {
262 return nil, err
263 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800264
Damien Neil8c86fc52019-06-19 09:28:29 -0700265 return values, nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800266}
267
Herbie Ongcf253082018-12-17 17:13:07 -0800268// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
Joe Tsai378c1322019-04-25 23:48:08 -0700269func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, m pref.Message) ([][2]text.Value, error) {
Herbie Ongcf253082018-12-17 17:13:07 -0800270 var err error
Joe Tsai378c1322019-04-25 23:48:08 -0700271 var entries [][2]text.Value
272 m.Range(func(fd pref.FieldDescriptor, v pref.Value) bool {
273 if !fd.IsExtension() {
274 return true
275 }
Joe Tsai378c1322019-04-25 23:48:08 -0700276
Joe Tsai5ae10aa2019-07-11 18:23:08 -0700277 // For MessageSet extensions, the name used is the parent message.
Joe Tsaid4211502019-07-02 14:58:02 -0700278 name := fd.FullName()
Joe Tsai5ae10aa2019-07-11 18:23:08 -0700279 if messageset.IsMessageSetExtension(fd) {
280 name = name.Parent()
Herbie Ong6470ea62019-01-07 18:56:57 -0800281 }
Herbie Ongcf253082018-12-17 17:13:07 -0800282
Joe Tsai378c1322019-04-25 23:48:08 -0700283 // Use string type to produce [name] format.
284 tname := text.ValueOf(string(name))
Joe Tsaid4211502019-07-02 14:58:02 -0700285 entries, err = o.appendField(entries, tname, v, fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700286 if err != nil {
Joe Tsai378c1322019-04-25 23:48:08 -0700287 return false
Herbie Ongcf253082018-12-17 17:13:07 -0800288 }
Joe Tsai378c1322019-04-25 23:48:08 -0700289 err = nil
Herbie Ongcf253082018-12-17 17:13:07 -0800290 return true
291 })
Herbie Ong09b28a92019-04-03 15:42:41 -0700292 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800293 return msgFields, err
294 }
295
296 // Sort extensions lexicographically and append to output.
Joe Tsai378c1322019-04-25 23:48:08 -0700297 sort.SliceStable(entries, func(i, j int) bool {
298 return entries[i][0].String() < entries[j][0].String()
Herbie Ongcf253082018-12-17 17:13:07 -0800299 })
Damien Neil8c86fc52019-06-19 09:28:29 -0700300 return append(msgFields, entries...), nil
Herbie Ongcf253082018-12-17 17:13:07 -0800301}
302
Herbie Ong20a1d312018-12-11 21:08:58 -0800303// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
304// This function assumes proper encoding in the given []byte.
305func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
306 for len(b) > 0 {
307 var value interface{}
308 num, wtype, n := wire.ConsumeTag(b)
309 b = b[n:]
310
311 switch wtype {
312 case wire.VarintType:
313 value, n = wire.ConsumeVarint(b)
314 case wire.Fixed32Type:
315 value, n = wire.ConsumeFixed32(b)
316 case wire.Fixed64Type:
317 value, n = wire.ConsumeFixed64(b)
318 case wire.BytesType:
319 value, n = wire.ConsumeBytes(b)
320 case wire.StartGroupType:
321 var v []byte
322 v, n = wire.ConsumeGroup(num, b)
323 var msg [][2]text.Value
324 value = appendUnknown(msg, v)
325 default:
326 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
327 }
328
329 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
330 b = b[n:]
331 }
332 return fields
333}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800334
335// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
336func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
Joe Tsai378c1322019-04-25 23:48:08 -0700337 fds := m.Descriptor().Fields()
338 fdType := fds.ByNumber(fieldnum.Any_TypeUrl)
339 fdValue := fds.ByNumber(fieldnum.Any_Value)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800340
Joe Tsai378c1322019-04-25 23:48:08 -0700341 typeURL := m.Get(fdType).String()
342 value := m.Get(fdValue)
343
Herbie Ong66c365c2019-01-04 14:08:41 -0800344 emt, err := o.Resolver.FindMessageByURL(typeURL)
Damien Neil8c86fc52019-06-19 09:28:29 -0700345 if err != nil {
Herbie Ongf42b55f2019-01-02 15:46:07 -0800346 return text.Value{}, err
347 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800348 em := emt.New().Interface()
Damien Neil96c229a2019-04-03 12:17:24 -0700349 err = proto.UnmarshalOptions{
Damien Neil0c9f0a92019-06-19 10:41:09 -0700350 AllowPartial: true,
Damien Neil95faac22019-06-19 10:03:37 -0700351 Resolver: o.Resolver,
Damien Neil96c229a2019-04-03 12:17:24 -0700352 }.Unmarshal(value.Bytes(), em)
Damien Neil8c86fc52019-06-19 09:28:29 -0700353 if err != nil {
Herbie Ongf42b55f2019-01-02 15:46:07 -0800354 return text.Value{}, err
355 }
356
357 msg, err := o.marshalMessage(em.ProtoReflect())
Damien Neil8c86fc52019-06-19 09:28:29 -0700358 if err != nil {
Herbie Ongf42b55f2019-01-02 15:46:07 -0800359 return text.Value{}, err
360 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800361 // Expanded Any field value contains only a single field with the type_url field value as the
362 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800363 msgFields := [][2]text.Value{
364 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800365 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800366 msg,
367 },
368 }
Damien Neil8c86fc52019-06-19 09:28:29 -0700369 return text.ValueOf(msgFields), nil
Herbie Ongf42b55f2019-01-02 15:46:07 -0800370}