blob: e2931432d157427c684c69899eb6f89a4e522f6b [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"
Herbie Ong09b28a92019-04-03 15:42:41 -070014 "github.com/golang/protobuf/v2/internal/fieldnum"
15 "github.com/golang/protobuf/v2/internal/mapsort"
Herbie Ongcddf8192018-11-28 18:25:20 -080016 "github.com/golang/protobuf/v2/internal/pragma"
17 "github.com/golang/protobuf/v2/proto"
18 pref "github.com/golang/protobuf/v2/reflect/protoreflect"
Herbie Ongf42b55f2019-01-02 15:46:07 -080019 "github.com/golang/protobuf/v2/reflect/protoregistry"
Herbie Ongcddf8192018-11-28 18:25:20 -080020)
21
Herbie Ong800c9902018-12-06 15:28:53 -080022// Marshal writes the given proto.Message in textproto format using default options.
Herbie Ongcddf8192018-11-28 18:25:20 -080023func Marshal(m proto.Message) ([]byte, error) {
24 return MarshalOptions{}.Marshal(m)
25}
26
27// MarshalOptions is a configurable text format marshaler.
28type MarshalOptions struct {
29 pragma.NoUnkeyedLiterals
30
Herbie Ong42577ea2019-03-26 16:26:22 -070031 // AllowPartial allows messages that have missing required fields to marshal
32 // without returning an error. If AllowPartial is false (the default),
33 // Marshal will return error if there are any missing required fields.
34 AllowPartial bool
35
Herbie Ong3a385912019-03-20 14:04:24 -070036 // If Indent is a non-empty string, it causes entries for a Message to be
37 // preceded by the indent and trailed by a newline. Indent can only be
38 // composed of space or tab characters.
39 Indent string
Herbie Ongf42b55f2019-01-02 15:46:07 -080040
41 // Resolver is the registry used for type lookups when marshaling out
42 // google.protobuf.Any messages in expanded form. If Resolver is not set,
43 // marshaling will default to using protoregistry.GlobalTypes. If a type is
44 // not found, an Any message will be marshaled as a regular message.
45 Resolver *protoregistry.Types
Herbie Ongcddf8192018-11-28 18:25:20 -080046}
47
Herbie Ong800c9902018-12-06 15:28:53 -080048// Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
Herbie Ongcddf8192018-11-28 18:25:20 -080049func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ongf42b55f2019-01-02 15:46:07 -080050 if o.Resolver == nil {
51 o.Resolver = protoregistry.GlobalTypes
52 }
53
Herbie Ongcddf8192018-11-28 18:25:20 -080054 var nerr errors.NonFatal
Herbie Ongf5db2df2019-02-07 20:17:45 -080055 v, err := o.marshalMessage(m.ProtoReflect())
Herbie Ong800c9902018-12-06 15:28:53 -080056 if !nerr.Merge(err) {
57 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080058 }
59
Herbie Ongcddf8192018-11-28 18:25:20 -080060 delims := [2]byte{'{', '}'}
Herbie Ongcddf8192018-11-28 18:25:20 -080061 const outputASCII = false
Herbie Ong3a385912019-03-20 14:04:24 -070062 b, err := text.Marshal(v, o.Indent, delims, outputASCII)
Herbie Ongcddf8192018-11-28 18:25:20 -080063 if !nerr.Merge(err) {
64 return nil, err
65 }
Damien Neil4686e232019-04-05 13:31:40 -070066 if !o.AllowPartial {
67 nerr.Merge(proto.IsInitialized(m))
68 }
Herbie Ongcddf8192018-11-28 18:25:20 -080069 return b, nerr.E
70}
71
72// marshalMessage converts a protoreflect.Message to a text.Value.
73func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
74 var nerr errors.NonFatal
75 var msgFields [][2]text.Value
Herbie Ongf42b55f2019-01-02 15:46:07 -080076 msgType := m.Type()
77
78 // Handle Any expansion.
79 if msgType.FullName() == "google.protobuf.Any" {
80 msg, err := o.marshalAny(m)
81 if err == nil || nerr.Merge(err) {
82 // Return as is for nil or non-fatal error.
83 return msg, nerr.E
84 }
Herbie Onga94f78c2019-01-03 15:39:58 -080085 // For other errors, continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080086 }
Herbie Ongcddf8192018-11-28 18:25:20 -080087
88 // Handle known fields.
Herbie Ongcddf8192018-11-28 18:25:20 -080089 fieldDescs := msgType.Fields()
90 knownFields := m.KnownFields()
91 size := fieldDescs.Len()
92 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080093 fd := fieldDescs.Get(i)
94 num := fd.Number()
Herbie Ongcddf8192018-11-28 18:25:20 -080095
Herbie Ong800c9902018-12-06 15:28:53 -080096 if !knownFields.Has(num) {
Herbie Ongcddf8192018-11-28 18:25:20 -080097 continue
98 }
99
Herbie Ongf5db2df2019-02-07 20:17:45 -0800100 name := text.ValueOf(fd.Name())
101 // Use type name for group field name.
102 if fd.Kind() == pref.GroupKind {
103 name = text.ValueOf(fd.MessageType().Name())
104 }
Herbie Ong800c9902018-12-06 15:28:53 -0800105 pval := knownFields.Get(num)
Herbie Ongcf253082018-12-17 17:13:07 -0800106 var err error
Herbie Ongf5db2df2019-02-07 20:17:45 -0800107 msgFields, err = o.appendField(msgFields, name, pval, fd)
Herbie Ongcf253082018-12-17 17:13:07 -0800108 if !nerr.Merge(err) {
109 return text.Value{}, err
Herbie Ongcddf8192018-11-28 18:25:20 -0800110 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800111 }
112
Herbie Ongcf253082018-12-17 17:13:07 -0800113 // Handle extensions.
114 var err error
115 msgFields, err = o.appendExtensions(msgFields, knownFields)
116 if !nerr.Merge(err) {
117 return text.Value{}, err
118 }
119
120 // Handle unknown fields.
Herbie Ong20a1d312018-12-11 21:08:58 -0800121 // TODO: Provide option to exclude or include unknown fields.
122 m.UnknownFields().Range(func(_ pref.FieldNumber, raw pref.RawFields) bool {
123 msgFields = appendUnknown(msgFields, raw)
124 return true
125 })
126
Herbie Ongcddf8192018-11-28 18:25:20 -0800127 return text.ValueOf(msgFields), nerr.E
128}
129
Herbie Ongcf253082018-12-17 17:13:07 -0800130// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
Herbie Ongf5db2df2019-02-07 20:17:45 -0800131func (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 -0800132 var nerr errors.NonFatal
133
134 if fd.Cardinality() == pref.Repeated {
135 // Map or repeated fields.
136 var items []text.Value
137 var err error
138 if fd.IsMap() {
139 items, err = o.marshalMap(pval.Map(), fd)
140 if !nerr.Merge(err) {
141 return msgFields, err
142 }
143 } else {
144 items, err = o.marshalList(pval.List(), fd)
145 if !nerr.Merge(err) {
146 return msgFields, err
147 }
148 }
149
150 // Add each item as key: value field.
151 for _, item := range items {
Herbie Ongf5db2df2019-02-07 20:17:45 -0800152 msgFields = append(msgFields, [2]text.Value{name, item})
Herbie Ongcf253082018-12-17 17:13:07 -0800153 }
154 } else {
155 // Required or optional fields.
156 tval, err := o.marshalSingular(pval, fd)
157 if !nerr.Merge(err) {
158 return msgFields, err
159 }
Herbie Ongf5db2df2019-02-07 20:17:45 -0800160 msgFields = append(msgFields, [2]text.Value{name, tval})
Herbie Ongcf253082018-12-17 17:13:07 -0800161 }
162
163 return msgFields, nerr.E
164}
165
Herbie Ongcddf8192018-11-28 18:25:20 -0800166// marshalSingular converts a non-repeated field value to text.Value.
167// This includes all scalar types, enums, messages, and groups.
168func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
169 kind := fd.Kind()
170 switch kind {
171 case pref.BoolKind,
172 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
173 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
174 pref.Sfixed32Kind, pref.Fixed32Kind,
175 pref.Sfixed64Kind, pref.Fixed64Kind,
176 pref.FloatKind, pref.DoubleKind,
177 pref.StringKind, pref.BytesKind:
178 return text.ValueOf(val.Interface()), nil
179
180 case pref.EnumKind:
181 num := val.Enum()
182 if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
183 return text.ValueOf(desc.Name()), nil
184 }
185 // Use numeric value if there is no enum description.
186 return text.ValueOf(int32(num)), nil
187
188 case pref.MessageKind, pref.GroupKind:
189 return o.marshalMessage(val.Message())
190 }
191
Herbie Ong09b28a92019-04-03 15:42:41 -0700192 panic(fmt.Sprintf("%v has unknown kind: %v", fd.FullName(), kind))
Herbie Ongcddf8192018-11-28 18:25:20 -0800193}
194
195// marshalList converts a protoreflect.List to []text.Value.
196func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
197 var nerr errors.NonFatal
198 size := list.Len()
199 values := make([]text.Value, 0, size)
200
201 for i := 0; i < size; i++ {
202 item := list.Get(i)
203 val, err := o.marshalSingular(item, fd)
204 if !nerr.Merge(err) {
205 // Return already marshaled values.
206 return values, err
207 }
208 values = append(values, val)
209 }
210
211 return values, nerr.E
212}
213
214var (
215 mapKeyName = text.ValueOf(pref.Name("key"))
216 mapValueName = text.ValueOf(pref.Name("value"))
217)
218
219// marshalMap converts a protoreflect.Map to []text.Value.
220func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
221 var nerr errors.NonFatal
222 // values is a list of messages.
223 values := make([]text.Value, 0, mmap.Len())
224 msgFields := fd.MessageType().Fields()
225 keyType := msgFields.ByNumber(1)
226 valType := msgFields.ByNumber(2)
227
Herbie Ong09b28a92019-04-03 15:42:41 -0700228 var err error
229 mapsort.Range(mmap, keyType.Kind(), func(key pref.MapKey, val pref.Value) bool {
230 var keyTxtVal text.Value
231 keyTxtVal, err = o.marshalSingular(key.Value(), keyType)
Herbie Ongcddf8192018-11-28 18:25:20 -0800232 if !nerr.Merge(err) {
233 return false
234 }
Herbie Ong09b28a92019-04-03 15:42:41 -0700235 var valTxtVal text.Value
236 valTxtVal, err = o.marshalSingular(val, valType)
Herbie Ongcddf8192018-11-28 18:25:20 -0800237 if !nerr.Merge(err) {
238 return false
239 }
240 // Map entry (message) contains 2 fields, first field for key and second field for value.
241 msg := text.ValueOf([][2]text.Value{
242 {mapKeyName, keyTxtVal},
243 {mapValueName, valTxtVal},
244 })
245 values = append(values, msg)
Herbie Ong09b28a92019-04-03 15:42:41 -0700246 err = nil
Herbie Ongcddf8192018-11-28 18:25:20 -0800247 return true
248 })
Herbie Ong09b28a92019-04-03 15:42:41 -0700249 if err != nil {
250 return nil, err
251 }
Herbie Ongcddf8192018-11-28 18:25:20 -0800252
Herbie Ongcddf8192018-11-28 18:25:20 -0800253 return values, nerr.E
254}
255
Herbie Ongcf253082018-12-17 17:13:07 -0800256// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
257func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
Herbie Ongcf253082018-12-17 17:13:07 -0800258 xtTypes := knownFields.ExtensionTypes()
259 xtFields := make([][2]text.Value, 0, xtTypes.Len())
260
Herbie Ong09b28a92019-04-03 15:42:41 -0700261 var nerr errors.NonFatal
Herbie Ongcf253082018-12-17 17:13:07 -0800262 var err error
263 xtTypes.Range(func(xt pref.ExtensionType) bool {
Herbie Ong6470ea62019-01-07 18:56:57 -0800264 name := xt.FullName()
265 // If extended type is a MessageSet, set field name to be the message type name.
266 if isMessageSetExtension(xt) {
267 name = xt.MessageType().FullName()
268 }
Herbie Ongcf253082018-12-17 17:13:07 -0800269
270 num := xt.Number()
271 if knownFields.Has(num) {
272 // Use string type to produce [name] format.
Herbie Ong6470ea62019-01-07 18:56:57 -0800273 tname := text.ValueOf(string(name))
Herbie Ongcf253082018-12-17 17:13:07 -0800274 pval := knownFields.Get(num)
275 xtFields, err = o.appendField(xtFields, tname, pval, xt)
Herbie Ong09b28a92019-04-03 15:42:41 -0700276 if !nerr.Merge(err) {
Herbie Ongcf253082018-12-17 17:13:07 -0800277 return false
278 }
Herbie Ong09b28a92019-04-03 15:42:41 -0700279 err = nil
Herbie Ongcf253082018-12-17 17:13:07 -0800280 }
281 return true
282 })
Herbie Ong09b28a92019-04-03 15:42:41 -0700283 if err != nil {
Herbie Ongcf253082018-12-17 17:13:07 -0800284 return msgFields, err
285 }
286
287 // Sort extensions lexicographically and append to output.
288 sort.SliceStable(xtFields, func(i, j int) bool {
289 return xtFields[i][0].String() < xtFields[j][0].String()
290 })
291 return append(msgFields, xtFields...), nerr.E
292}
293
Herbie Ong6470ea62019-01-07 18:56:57 -0800294// isMessageSetExtension reports whether extension extends a message set.
295func isMessageSetExtension(xt pref.ExtensionType) bool {
296 if xt.Name() != "message_set_extension" {
297 return false
298 }
299 mt := xt.MessageType()
300 if mt == nil {
301 return false
302 }
303 if xt.FullName().Parent() != mt.FullName() {
304 return false
305 }
Joe Tsai1321a0e2019-03-20 09:46:22 -0700306 xmt, ok := xt.ExtendedType().(interface{ IsMessageSet() bool })
307 return ok && xmt.IsMessageSet()
Herbie Ong6470ea62019-01-07 18:56:57 -0800308}
309
Herbie Ong20a1d312018-12-11 21:08:58 -0800310// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
311// This function assumes proper encoding in the given []byte.
312func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
313 for len(b) > 0 {
314 var value interface{}
315 num, wtype, n := wire.ConsumeTag(b)
316 b = b[n:]
317
318 switch wtype {
319 case wire.VarintType:
320 value, n = wire.ConsumeVarint(b)
321 case wire.Fixed32Type:
322 value, n = wire.ConsumeFixed32(b)
323 case wire.Fixed64Type:
324 value, n = wire.ConsumeFixed64(b)
325 case wire.BytesType:
326 value, n = wire.ConsumeBytes(b)
327 case wire.StartGroupType:
328 var v []byte
329 v, n = wire.ConsumeGroup(num, b)
330 var msg [][2]text.Value
331 value = appendUnknown(msg, v)
332 default:
333 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
334 }
335
336 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
337 b = b[n:]
338 }
339 return fields
340}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800341
342// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
343func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
344 var nerr errors.NonFatal
Herbie Ongf42b55f2019-01-02 15:46:07 -0800345 knownFields := m.KnownFields()
Herbie Ong09b28a92019-04-03 15:42:41 -0700346 typeURL := knownFields.Get(fieldnum.Any_TypeUrl).String()
347 value := knownFields.Get(fieldnum.Any_Value)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800348
Herbie Ong66c365c2019-01-04 14:08:41 -0800349 emt, err := o.Resolver.FindMessageByURL(typeURL)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800350 if !nerr.Merge(err) {
351 return text.Value{}, err
352 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800353 em := emt.New().Interface()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800354 // TODO: Need to set types registry in binary unmarshaling.
Damien Neil96c229a2019-04-03 12:17:24 -0700355 err = proto.UnmarshalOptions{
356 AllowPartial: o.AllowPartial,
357 }.Unmarshal(value.Bytes(), em)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800358 if !nerr.Merge(err) {
359 return text.Value{}, err
360 }
361
362 msg, err := o.marshalMessage(em.ProtoReflect())
363 if !nerr.Merge(err) {
364 return text.Value{}, err
365 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800366 // Expanded Any field value contains only a single field with the type_url field value as the
367 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800368 msgFields := [][2]text.Value{
369 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800370 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800371 msg,
372 },
373 }
374 return text.ValueOf(msgFields), nerr.E
375}