blob: 54f4f5453fd3af26f92f86ea7bdaaafec16ef535 [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
30 // Set Compact to true to have output in a single line with no line breaks.
31 Compact bool
Herbie Ongf42b55f2019-01-02 15:46:07 -080032
33 // Resolver is the registry used for type lookups when marshaling out
34 // google.protobuf.Any messages in expanded form. If Resolver is not set,
35 // marshaling will default to using protoregistry.GlobalTypes. If a type is
36 // not found, an Any message will be marshaled as a regular message.
37 Resolver *protoregistry.Types
Herbie Ongcddf8192018-11-28 18:25:20 -080038}
39
Herbie Ong800c9902018-12-06 15:28:53 -080040// Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
Herbie Ongcddf8192018-11-28 18:25:20 -080041func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ongf42b55f2019-01-02 15:46:07 -080042 if o.Resolver == nil {
43 o.Resolver = protoregistry.GlobalTypes
44 }
45
Herbie Ongcddf8192018-11-28 18:25:20 -080046 var nerr errors.NonFatal
47 var v text.Value
Herbie Ong800c9902018-12-06 15:28:53 -080048 var err error
49 v, err = o.marshalMessage(m.ProtoReflect())
50 if !nerr.Merge(err) {
51 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080052 }
53
54 indent := " "
55 if o.Compact {
56 indent = ""
57 }
58 delims := [2]byte{'{', '}'}
59
60 const outputASCII = false
61 b, err := text.Marshal(v, indent, delims, outputASCII)
62 if !nerr.Merge(err) {
63 return nil, err
64 }
65 return b, nerr.E
66}
67
68// marshalMessage converts a protoreflect.Message to a text.Value.
69func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
70 var nerr errors.NonFatal
71 var msgFields [][2]text.Value
Herbie Ongf42b55f2019-01-02 15:46:07 -080072 msgType := m.Type()
73
74 // Handle Any expansion.
75 if msgType.FullName() == "google.protobuf.Any" {
76 msg, err := o.marshalAny(m)
77 if err == nil || nerr.Merge(err) {
78 // Return as is for nil or non-fatal error.
79 return msg, nerr.E
80 }
Herbie Onga94f78c2019-01-03 15:39:58 -080081 // For other errors, continue on to marshal Any as a regular message.
Herbie Ongf42b55f2019-01-02 15:46:07 -080082 }
Herbie Ongcddf8192018-11-28 18:25:20 -080083
84 // Handle known fields.
Herbie Ongcddf8192018-11-28 18:25:20 -080085 fieldDescs := msgType.Fields()
86 knownFields := m.KnownFields()
87 size := fieldDescs.Len()
88 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080089 fd := fieldDescs.Get(i)
90 num := fd.Number()
Herbie Ongcddf8192018-11-28 18:25:20 -080091
Herbie Ong800c9902018-12-06 15:28:53 -080092 if !knownFields.Has(num) {
93 if fd.Cardinality() == pref.Required {
Herbie Ongcddf8192018-11-28 18:25:20 -080094 // Treat unset required fields as a non-fatal error.
Herbie Ong800c9902018-12-06 15:28:53 -080095 nerr.AppendRequiredNotSet(string(fd.FullName()))
Herbie Ongcddf8192018-11-28 18:25:20 -080096 }
97 continue
98 }
99
Herbie Ong800c9902018-12-06 15:28:53 -0800100 tname := text.ValueOf(fd.Name())
101 pval := knownFields.Get(num)
Herbie Ongcf253082018-12-17 17:13:07 -0800102 var err error
103 msgFields, err = o.appendField(msgFields, tname, pval, fd)
104 if !nerr.Merge(err) {
105 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
111 msgFields, err = o.appendExtensions(msgFields, knownFields)
112 if !nerr.Merge(err) {
113 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.
118 m.UnknownFields().Range(func(_ pref.FieldNumber, raw pref.RawFields) bool {
119 msgFields = appendUnknown(msgFields, raw)
120 return true
121 })
122
Herbie Ongcddf8192018-11-28 18:25:20 -0800123 return text.ValueOf(msgFields), nerr.E
124}
125
Herbie Ongcf253082018-12-17 17:13:07 -0800126// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
127func (o MarshalOptions) appendField(msgFields [][2]text.Value, tname text.Value, pval pref.Value, fd pref.FieldDescriptor) ([][2]text.Value, error) {
128 var nerr errors.NonFatal
129
Herbie Ongde7313b2019-01-14 19:26:50 -0800130 // Use type name for group field name.
131 if fd.Kind() == pref.GroupKind {
132 tname = text.ValueOf(fd.MessageType().Name())
133 }
134
Herbie Ongcf253082018-12-17 17:13:07 -0800135 if fd.Cardinality() == pref.Repeated {
136 // Map or repeated fields.
137 var items []text.Value
138 var err error
139 if fd.IsMap() {
140 items, err = o.marshalMap(pval.Map(), fd)
141 if !nerr.Merge(err) {
142 return msgFields, err
143 }
144 } else {
145 items, err = o.marshalList(pval.List(), fd)
146 if !nerr.Merge(err) {
147 return msgFields, err
148 }
149 }
150
151 // Add each item as key: value field.
152 for _, item := range items {
153 msgFields = append(msgFields, [2]text.Value{tname, item})
154 }
155 } else {
156 // Required or optional fields.
157 tval, err := o.marshalSingular(pval, fd)
158 if !nerr.Merge(err) {
159 return msgFields, err
160 }
161 msgFields = append(msgFields, [2]text.Value{tname, tval})
162 }
163
164 return msgFields, nerr.E
165}
166
Herbie Ongcddf8192018-11-28 18:25:20 -0800167// marshalSingular converts a non-repeated field value to text.Value.
168// This includes all scalar types, enums, messages, and groups.
169func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
170 kind := fd.Kind()
171 switch kind {
172 case pref.BoolKind,
173 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
174 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
175 pref.Sfixed32Kind, pref.Fixed32Kind,
176 pref.Sfixed64Kind, pref.Fixed64Kind,
177 pref.FloatKind, pref.DoubleKind,
178 pref.StringKind, pref.BytesKind:
179 return text.ValueOf(val.Interface()), nil
180
181 case pref.EnumKind:
182 num := val.Enum()
183 if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
184 return text.ValueOf(desc.Name()), nil
185 }
186 // Use numeric value if there is no enum description.
187 return text.ValueOf(int32(num)), nil
188
189 case pref.MessageKind, pref.GroupKind:
190 return o.marshalMessage(val.Message())
191 }
192
193 return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind)
194}
195
196// marshalList converts a protoreflect.List to []text.Value.
197func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
198 var nerr errors.NonFatal
199 size := list.Len()
200 values := make([]text.Value, 0, size)
201
202 for i := 0; i < size; i++ {
203 item := list.Get(i)
204 val, err := o.marshalSingular(item, fd)
205 if !nerr.Merge(err) {
206 // Return already marshaled values.
207 return values, err
208 }
209 values = append(values, val)
210 }
211
212 return values, nerr.E
213}
214
215var (
216 mapKeyName = text.ValueOf(pref.Name("key"))
217 mapValueName = text.ValueOf(pref.Name("value"))
218)
219
220// marshalMap converts a protoreflect.Map to []text.Value.
221func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
222 var nerr errors.NonFatal
223 // values is a list of messages.
224 values := make([]text.Value, 0, mmap.Len())
225 msgFields := fd.MessageType().Fields()
226 keyType := msgFields.ByNumber(1)
227 valType := msgFields.ByNumber(2)
228
229 mmap.Range(func(key pref.MapKey, val pref.Value) bool {
230 keyTxtVal, err := o.marshalSingular(key.Value(), keyType)
231 if !nerr.Merge(err) {
232 return false
233 }
234 valTxtVal, err := o.marshalSingular(val, valType)
235 if !nerr.Merge(err) {
236 return false
237 }
238 // Map entry (message) contains 2 fields, first field for key and second field for value.
239 msg := text.ValueOf([][2]text.Value{
240 {mapKeyName, keyTxtVal},
241 {mapValueName, valTxtVal},
242 })
243 values = append(values, msg)
244 return true
245 })
246
247 sortMap(keyType.Kind(), values)
248 return values, nerr.E
249}
250
251// sortMap orders list based on value of key field for deterministic output.
252// TODO: Improve sort comparison of text.Value for map keys.
253func sortMap(keyKind pref.Kind, values []text.Value) {
254 less := func(i, j int) bool {
255 mi := values[i].Message()
256 mj := values[j].Message()
257 return mi[0][1].String() < mj[0][1].String()
258 }
259 switch keyKind {
260 case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
261 less = func(i, j int) bool {
262 mi := values[i].Message()
263 mj := values[j].Message()
264 ni, _ := mi[0][1].Int(false)
265 nj, _ := mj[0][1].Int(false)
266 return ni < nj
267 }
268 case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
269 less = func(i, j int) bool {
270 mi := values[i].Message()
271 mj := values[j].Message()
272 ni, _ := mi[0][1].Int(true)
273 nj, _ := mj[0][1].Int(true)
274 return ni < nj
275 }
276
277 case pref.Uint32Kind, pref.Fixed32Kind:
278 less = func(i, j int) bool {
279 mi := values[i].Message()
280 mj := values[j].Message()
281 ni, _ := mi[0][1].Uint(false)
282 nj, _ := mj[0][1].Uint(false)
283 return ni < nj
284 }
285 case pref.Uint64Kind, pref.Fixed64Kind:
286 less = func(i, j int) bool {
287 mi := values[i].Message()
288 mj := values[j].Message()
289 ni, _ := mi[0][1].Uint(true)
290 nj, _ := mj[0][1].Uint(true)
291 return ni < nj
292 }
293 }
294 sort.Slice(values, less)
295}
Herbie Ong20a1d312018-12-11 21:08:58 -0800296
Herbie Ongcf253082018-12-17 17:13:07 -0800297// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
298func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
299 var nerr errors.NonFatal
300 xtTypes := knownFields.ExtensionTypes()
301 xtFields := make([][2]text.Value, 0, xtTypes.Len())
302
303 var err error
304 xtTypes.Range(func(xt pref.ExtensionType) bool {
305 // TODO: Handle MessageSet. Field name should be message_set_extension
306 // of message type without any fields and has message option
307 // message_set_wire_format=true.
308
309 num := xt.Number()
310 if knownFields.Has(num) {
311 // Use string type to produce [name] format.
312 tname := text.ValueOf(string(xt.FullName()))
313 pval := knownFields.Get(num)
314 xtFields, err = o.appendField(xtFields, tname, pval, xt)
315 if err != nil {
316 return false
317 }
318 }
319 return true
320 })
321 if !nerr.Merge(err) {
322 return msgFields, err
323 }
324
325 // Sort extensions lexicographically and append to output.
326 sort.SliceStable(xtFields, func(i, j int) bool {
327 return xtFields[i][0].String() < xtFields[j][0].String()
328 })
329 return append(msgFields, xtFields...), nerr.E
330}
331
Herbie Ong20a1d312018-12-11 21:08:58 -0800332// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
333// This function assumes proper encoding in the given []byte.
334func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
335 for len(b) > 0 {
336 var value interface{}
337 num, wtype, n := wire.ConsumeTag(b)
338 b = b[n:]
339
340 switch wtype {
341 case wire.VarintType:
342 value, n = wire.ConsumeVarint(b)
343 case wire.Fixed32Type:
344 value, n = wire.ConsumeFixed32(b)
345 case wire.Fixed64Type:
346 value, n = wire.ConsumeFixed64(b)
347 case wire.BytesType:
348 value, n = wire.ConsumeBytes(b)
349 case wire.StartGroupType:
350 var v []byte
351 v, n = wire.ConsumeGroup(num, b)
352 var msg [][2]text.Value
353 value = appendUnknown(msg, v)
354 default:
355 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
356 }
357
358 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
359 b = b[n:]
360 }
361 return fields
362}
Herbie Ongf42b55f2019-01-02 15:46:07 -0800363
364// marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
365func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
366 var nerr errors.NonFatal
367
368 fds := m.Type().Fields()
369 tfd := fds.ByName("type_url")
370 if tfd == nil || tfd.Kind() != pref.StringKind {
371 return text.Value{}, errors.New("invalid google.protobuf.Any message")
372 }
373 vfd := fds.ByName("value")
374 if vfd == nil || vfd.Kind() != pref.BytesKind {
375 return text.Value{}, errors.New("invalid google.protobuf.Any message")
376 }
377
378 knownFields := m.KnownFields()
Herbie Ong66c365c2019-01-04 14:08:41 -0800379 typeURL := knownFields.Get(tfd.Number()).String()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800380 value := knownFields.Get(vfd.Number())
381
Herbie Ong66c365c2019-01-04 14:08:41 -0800382 emt, err := o.Resolver.FindMessageByURL(typeURL)
Herbie Ongf42b55f2019-01-02 15:46:07 -0800383 if !nerr.Merge(err) {
384 return text.Value{}, err
385 }
Joe Tsai3bc7d6f2019-01-09 02:57:13 -0800386 em := emt.New().Interface()
Herbie Ongf42b55f2019-01-02 15:46:07 -0800387 // TODO: Need to set types registry in binary unmarshaling.
388 err = proto.Unmarshal(value.Bytes(), em)
389 if !nerr.Merge(err) {
390 return text.Value{}, err
391 }
392
393 msg, err := o.marshalMessage(em.ProtoReflect())
394 if !nerr.Merge(err) {
395 return text.Value{}, err
396 }
Herbie Ong66c365c2019-01-04 14:08:41 -0800397 // Expanded Any field value contains only a single field with the type_url field value as the
398 // field name in [] and a text marshaled field value of the embedded message.
Herbie Ongf42b55f2019-01-02 15:46:07 -0800399 msgFields := [][2]text.Value{
400 {
Herbie Ong66c365c2019-01-04 14:08:41 -0800401 text.ValueOf(typeURL),
Herbie Ongf42b55f2019-01-02 15:46:07 -0800402 msg,
403 },
404 }
405 return text.ValueOf(msgFields), nerr.E
406}