blob: 4d73041d3ab36c91cfedc100950043bd7fc25877 [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
Joe Tsai1c283042019-05-14 14:28:19 -070042 // Resolver is used for looking up types when expanding google.protobuf.Any
43 // messages. If nil, this defaults to using protoregistry.GlobalTypes.
44 Resolver interface {
Damien Neil95faac22019-06-19 10:03:37 -070045 protoregistry.ExtensionTypeResolver
Joe Tsai1c283042019-05-14 14:28:19 -070046 protoregistry.MessageTypeResolver
47 }
Herbie Ongcddf8192018-11-28 18:25:20 -080048}
49
Herbie Ong800c9902018-12-06 15:28:53 -080050// Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
Herbie Ongcddf8192018-11-28 18:25:20 -080051func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ongf42b55f2019-01-02 15:46:07 -080052 if o.Resolver == nil {
53 o.Resolver = protoregistry.GlobalTypes
54 }
55
Herbie Ongf5db2df2019-02-07 20:17:45 -080056 v, err := o.marshalMessage(m.ProtoReflect())
Damien Neil8c86fc52019-06-19 09:28:29 -070057 if err != nil {
Herbie Ong800c9902018-12-06 15:28:53 -080058 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)
Damien Neil8c86fc52019-06-19 09:28:29 -070064 if err != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -080065 return nil, err
66 }
Damien Neil8c86fc52019-06-19 09:28:29 -070067 if o.AllowPartial {
68 return b, nil
Damien Neil4686e232019-04-05 13:31:40 -070069 }
Damien Neil8c86fc52019-06-19 09:28:29 -070070 return b, proto.IsInitialized(m)
Herbie Ongcddf8192018-11-28 18:25:20 -080071}
72
73// marshalMessage converts a protoreflect.Message to a text.Value.
74func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
Herbie Ongcddf8192018-11-28 18:25:20 -080075 var msgFields [][2]text.Value
Joe Tsai0fc49f82019-05-01 12:29:25 -070076 messageDesc := m.Descriptor()
Herbie Ongf42b55f2019-01-02 15:46:07 -080077
78 // Handle Any expansion.
Joe Tsai0fc49f82019-05-01 12:29:25 -070079 if messageDesc.FullName() == "google.protobuf.Any" {
Damien Neil8c86fc52019-06-19 09:28:29 -070080 if msg, err := o.marshalAny(m); err == nil {
81 // Return as is if no error.
82 return msg, nil
Herbie Ongf42b55f2019-01-02 15:46:07 -080083 }
Damien Neil8c86fc52019-06-19 09:28:29 -070084 // Otherwise continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080085 }
Herbie Ongcddf8192018-11-28 18:25:20 -080086
87 // Handle known fields.
Joe Tsai0fc49f82019-05-01 12:29:25 -070088 fieldDescs := messageDesc.Fields()
Herbie Ongcddf8192018-11-28 18:25:20 -080089 size := fieldDescs.Len()
90 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080091 fd := fieldDescs.Get(i)
Joe Tsai378c1322019-04-25 23:48:08 -070092 if !m.Has(fd) {
Herbie Ongcddf8192018-11-28 18:25:20 -080093 continue
94 }
95
Herbie Ongf5db2df2019-02-07 20:17:45 -080096 name := text.ValueOf(fd.Name())
97 // Use type name for group field name.
98 if fd.Kind() == pref.GroupKind {
Joe Tsaid24bc722019-04-15 23:39:09 -070099 name = text.ValueOf(fd.Message().Name())
Herbie Ongf5db2df2019-02-07 20:17:45 -0800100 }
Joe Tsai378c1322019-04-25 23:48:08 -0700101 pval := m.Get(fd)
Herbie Ongcf253082018-12-17 17:13:07 -0800102 var err error
Herbie Ongf5db2df2019-02-07 20:17:45 -0800103 msgFields, err = o.appendField(msgFields, name, pval, fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700104 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800105 return text.Value{}, err
Herbie Ongcddf8192018-11-28 18:25:20 -0800106 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800107 }
108
Herbie Ongcf253082018-12-17 17:13:07 -0800109 // Handle extensions.
110 var err error
Joe Tsai378c1322019-04-25 23:48:08 -0700111 msgFields, err = o.appendExtensions(msgFields, m)
Damien Neil8c86fc52019-06-19 09:28:29 -0700112 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800113 return text.Value{}, err
114 }
115
116 // Handle unknown fields.
Herbie Ong20a1d312018-12-11 21:08:58 -0800117 // TODO: Provide option to exclude or include unknown fields.
Joe Tsai378c1322019-04-25 23:48:08 -0700118 msgFields = appendUnknown(msgFields, m.GetUnknown())
Herbie Ong20a1d312018-12-11 21:08:58 -0800119
Damien Neil8c86fc52019-06-19 09:28:29 -0700120 return text.ValueOf(msgFields), nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800121}
122
Herbie Ongcf253082018-12-17 17:13:07 -0800123// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
Herbie Ongf5db2df2019-02-07 20:17:45 -0800124func (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 -0700125 switch {
126 case fd.IsList():
127 items, err := o.marshalList(pval.List(), fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700128 if err != nil {
Joe Tsaiac31a352019-05-13 14:32:56 -0700129 return msgFields, err
Herbie Ongcf253082018-12-17 17:13:07 -0800130 }
131
Herbie Ongcf253082018-12-17 17:13:07 -0800132 for _, item := range items {
Herbie Ongf5db2df2019-02-07 20:17:45 -0800133 msgFields = append(msgFields, [2]text.Value{name, item})
Herbie Ongcf253082018-12-17 17:13:07 -0800134 }
Joe Tsaiac31a352019-05-13 14:32:56 -0700135 case fd.IsMap():
136 items, err := o.marshalMap(pval.Map(), fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700137 if err != nil {
Joe Tsaiac31a352019-05-13 14:32:56 -0700138 return msgFields, err
139 }
140
141 for _, item := range items {
142 msgFields = append(msgFields, [2]text.Value{name, item})
143 }
144 default:
Herbie Ongcf253082018-12-17 17:13:07 -0800145 tval, err := o.marshalSingular(pval, fd)
Damien Neil8c86fc52019-06-19 09:28:29 -0700146 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800147 return msgFields, err
148 }
Herbie Ongf5db2df2019-02-07 20:17:45 -0800149 msgFields = append(msgFields, [2]text.Value{name, tval})
Herbie Ongcf253082018-12-17 17:13:07 -0800150 }
151
Damien Neil8c86fc52019-06-19 09:28:29 -0700152 return msgFields, nil
Herbie Ongcf253082018-12-17 17:13:07 -0800153}
154
Herbie Ongcddf8192018-11-28 18:25:20 -0800155// marshalSingular converts a non-repeated field value to text.Value.
156// This includes all scalar types, enums, messages, and groups.
157func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
158 kind := fd.Kind()
159 switch kind {
160 case pref.BoolKind,
161 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
162 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
163 pref.Sfixed32Kind, pref.Fixed32Kind,
164 pref.Sfixed64Kind, pref.Fixed64Kind,
165 pref.FloatKind, pref.DoubleKind,
Herbie Ong21a39742019-04-08 17:32:44 -0700166 pref.BytesKind:
Herbie Ongcddf8192018-11-28 18:25:20 -0800167 return text.ValueOf(val.Interface()), nil
168
Herbie Ong21a39742019-04-08 17:32:44 -0700169 case pref.StringKind:
170 s := val.String()
Damien Neil8c86fc52019-06-19 09:28:29 -0700171 if !utf8.ValidString(s) {
172 return text.Value{}, errors.InvalidUTF8(string(fd.FullName()))
Herbie Ong21a39742019-04-08 17:32:44 -0700173 }
Damien Neil8c86fc52019-06-19 09:28:29 -0700174 return text.ValueOf(s), nil
Herbie Ong21a39742019-04-08 17:32:44 -0700175
Herbie Ongcddf8192018-11-28 18:25:20 -0800176 case pref.EnumKind:
177 num := val.Enum()
Joe Tsaid24bc722019-04-15 23:39:09 -0700178 if desc := fd.Enum().Values().ByNumber(num); desc != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800179 return text.ValueOf(desc.Name()), nil
180 }
181 // Use numeric value if there is no enum description.
182 return text.ValueOf(int32(num)), nil
183
184 case pref.MessageKind, pref.GroupKind:
185 return o.marshalMessage(val.Message())
186 }
187
Herbie Ong09b28a92019-04-03 15:42:41 -0700188 panic(fmt.Sprintf("%v has unknown kind: %v", fd.FullName(), kind))
Herbie Ongcddf8192018-11-28 18:25:20 -0800189}
190
191// marshalList converts a protoreflect.List to []text.Value.
192func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
Herbie Ongcddf8192018-11-28 18:25:20 -0800193 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)
Damien Neil8c86fc52019-06-19 09:28:29 -0700199 if err != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800200 // Return already marshaled values.
201 return values, err
202 }
203 values = append(values, val)
204 }
205
Damien Neil8c86fc52019-06-19 09:28:29 -0700206 return values, nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800207}
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) {
Herbie Ongcddf8192018-11-28 18:25:20 -0800216 // values is a list of messages.
217 values := make([]text.Value, 0, mmap.Len())
Herbie Ongcddf8192018-11-28 18:25:20 -0800218
Herbie Ong09b28a92019-04-03 15:42:41 -0700219 var err error
Joe Tsaiac31a352019-05-13 14:32:56 -0700220 mapsort.Range(mmap, fd.MapKey().Kind(), func(key pref.MapKey, val pref.Value) bool {
Herbie Ong09b28a92019-04-03 15:42:41 -0700221 var keyTxtVal text.Value
Joe Tsaiac31a352019-05-13 14:32:56 -0700222 keyTxtVal, err = o.marshalSingular(key.Value(), fd.MapKey())
Damien Neil8c86fc52019-06-19 09:28:29 -0700223 if err != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800224 return false
225 }
Herbie Ong09b28a92019-04-03 15:42:41 -0700226 var valTxtVal text.Value
Joe Tsaiac31a352019-05-13 14:32:56 -0700227 valTxtVal, err = o.marshalSingular(val, fd.MapValue())
Damien Neil8c86fc52019-06-19 09:28:29 -0700228 if err != nil {
Herbie Ongcddf8192018-11-28 18:25:20 -0800229 return false
230 }
231 // Map entry (message) contains 2 fields, first field for key and second field for value.
232 msg := text.ValueOf([][2]text.Value{
233 {mapKeyName, keyTxtVal},
234 {mapValueName, valTxtVal},
235 })
236 values = append(values, msg)
Herbie Ong09b28a92019-04-03 15:42:41 -0700237 err = nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800238 return true
239 })
Herbie Ong09b28a92019-04-03 15:42:41 -0700240 if err != nil {
241 return nil, err
242 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800243
Damien Neil8c86fc52019-06-19 09:28:29 -0700244 return values, nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800245}
246
Herbie Ongcf253082018-12-17 17:13:07 -0800247// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
Joe Tsai378c1322019-04-25 23:48:08 -0700248func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, m pref.Message) ([][2]text.Value, error) {
Herbie Ongcf253082018-12-17 17:13:07 -0800249 var err error
Joe Tsai378c1322019-04-25 23:48:08 -0700250 var entries [][2]text.Value
251 m.Range(func(fd pref.FieldDescriptor, v pref.Value) bool {
252 if !fd.IsExtension() {
253 return true
254 }
255 xt := fd.(pref.ExtensionType)
256
Herbie Ong6470ea62019-01-07 18:56:57 -0800257 // If extended type is a MessageSet, set field name to be the message type name.
Joe Tsai378c1322019-04-25 23:48:08 -0700258 name := xt.Descriptor().FullName()
Herbie Ong6470ea62019-01-07 18:56:57 -0800259 if isMessageSetExtension(xt) {
Joe Tsai0fc49f82019-05-01 12:29:25 -0700260 name = xt.Descriptor().Message().FullName()
Herbie Ong6470ea62019-01-07 18:56:57 -0800261 }
Herbie Ongcf253082018-12-17 17:13:07 -0800262
Joe Tsai378c1322019-04-25 23:48:08 -0700263 // Use string type to produce [name] format.
264 tname := text.ValueOf(string(name))
265 entries, err = o.appendField(entries, tname, v, xt)
Damien Neil8c86fc52019-06-19 09:28:29 -0700266 if err != nil {
Joe Tsai378c1322019-04-25 23:48:08 -0700267 return false
Herbie Ongcf253082018-12-17 17:13:07 -0800268 }
Joe Tsai378c1322019-04-25 23:48:08 -0700269 err = nil
Herbie Ongcf253082018-12-17 17:13:07 -0800270 return true
271 })
Herbie Ong09b28a92019-04-03 15:42:41 -0700272 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800273 return msgFields, err
274 }
275
276 // Sort extensions lexicographically and append to output.
Joe Tsai378c1322019-04-25 23:48:08 -0700277 sort.SliceStable(entries, func(i, j int) bool {
278 return entries[i][0].String() < entries[j][0].String()
Herbie Ongcf253082018-12-17 17:13:07 -0800279 })
Damien Neil8c86fc52019-06-19 09:28:29 -0700280 return append(msgFields, entries...), nil
Herbie Ongcf253082018-12-17 17:13:07 -0800281}
282
Herbie Ong6470ea62019-01-07 18:56:57 -0800283// isMessageSetExtension reports whether extension extends a message set.
284func isMessageSetExtension(xt pref.ExtensionType) bool {
Joe Tsai0fc49f82019-05-01 12:29:25 -0700285 xd := xt.Descriptor()
286 if xd.Name() != "message_set_extension" {
Herbie Ong6470ea62019-01-07 18:56:57 -0800287 return false
288 }
Joe Tsai0fc49f82019-05-01 12:29:25 -0700289 md := xd.Message()
Joe Tsaid24bc722019-04-15 23:39:09 -0700290 if md == nil {
Herbie Ong6470ea62019-01-07 18:56:57 -0800291 return false
292 }
Joe Tsai0fc49f82019-05-01 12:29:25 -0700293 if xd.FullName().Parent() != md.FullName() {
Herbie Ong6470ea62019-01-07 18:56:57 -0800294 return false
295 }
Joe Tsaiac31a352019-05-13 14:32:56 -0700296 xmd, ok := xd.ContainingMessage().(interface{ IsMessageSet() bool })
Joe Tsaid24bc722019-04-15 23:39:09 -0700297 return ok && xmd.IsMessageSet()
Herbie Ong6470ea62019-01-07 18:56:57 -0800298}
299
Herbie Ong20a1d312018-12-11 21:08:58 -0800300// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
301// This function assumes proper encoding in the given []byte.
302func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
303 for len(b) > 0 {
304 var value interface{}
305 num, wtype, n := wire.ConsumeTag(b)
306 b = b[n:]
307
308 switch wtype {
309 case wire.VarintType:
310 value, n = wire.ConsumeVarint(b)
311 case wire.Fixed32Type:
312 value, n = wire.ConsumeFixed32(b)
313 case wire.Fixed64Type:
314 value, n = wire.ConsumeFixed64(b)
315 case wire.BytesType:
316 value, n = wire.ConsumeBytes(b)
317 case wire.StartGroupType:
318 var v []byte
319 v, n = wire.ConsumeGroup(num, b)
320 var msg [][2]text.Value
321 value = appendUnknown(msg, v)
322 default:
323 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
324 }
325
326 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
327 b = b[n:]
328 }
329 return fields
330}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800331
332// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
333func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
Joe Tsai378c1322019-04-25 23:48:08 -0700334 fds := m.Descriptor().Fields()
335 fdType := fds.ByNumber(fieldnum.Any_TypeUrl)
336 fdValue := fds.ByNumber(fieldnum.Any_Value)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800337
Joe Tsai378c1322019-04-25 23:48:08 -0700338 typeURL := m.Get(fdType).String()
339 value := m.Get(fdValue)
340
Herbie Ong66c365c2019-01-04 14:08:41 -0800341 emt, err := o.Resolver.FindMessageByURL(typeURL)
Damien Neil8c86fc52019-06-19 09:28:29 -0700342 if err != nil {
Herbie Ongf42b55f2019-01-02 15:46:07 -0800343 return text.Value{}, err
344 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800345 em := emt.New().Interface()
Damien Neil96c229a2019-04-03 12:17:24 -0700346 err = proto.UnmarshalOptions{
Damien Neil0c9f0a92019-06-19 10:41:09 -0700347 AllowPartial: true,
Damien Neil95faac22019-06-19 10:03:37 -0700348 Resolver: o.Resolver,
Damien Neil96c229a2019-04-03 12:17:24 -0700349 }.Unmarshal(value.Bytes(), em)
Damien Neil8c86fc52019-06-19 09:28:29 -0700350 if err != nil {
Herbie Ongf42b55f2019-01-02 15:46:07 -0800351 return text.Value{}, err
352 }
353
354 msg, err := o.marshalMessage(em.ProtoReflect())
Damien Neil8c86fc52019-06-19 09:28:29 -0700355 if err != nil {
Herbie Ongf42b55f2019-01-02 15:46:07 -0800356 return text.Value{}, err
357 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800358 // Expanded Any field value contains only a single field with the type_url field value as the
359 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800360 msgFields := [][2]text.Value{
361 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800362 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800363 msg,
364 },
365 }
Damien Neil8c86fc52019-06-19 09:28:29 -0700366 return text.ValueOf(msgFields), nil
Herbie Ongf42b55f2019-01-02 15:46:07 -0800367}