blob: c0b04b6a17225ae645aaba84fee87b5625ff3008 [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"
17)
18
Herbie Ong800c9902018-12-06 15:28:53 -080019// Marshal writes the given proto.Message in textproto format using default options.
Herbie Ongcddf8192018-11-28 18:25:20 -080020// TODO: may want to describe when Marshal returns error.
21func Marshal(m proto.Message) ([]byte, error) {
22 return MarshalOptions{}.Marshal(m)
23}
24
25// MarshalOptions is a configurable text format marshaler.
26type MarshalOptions struct {
27 pragma.NoUnkeyedLiterals
28
29 // Set Compact to true to have output in a single line with no line breaks.
30 Compact bool
31}
32
Herbie Ong800c9902018-12-06 15:28:53 -080033// Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
Herbie Ongcddf8192018-11-28 18:25:20 -080034func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
35 var nerr errors.NonFatal
36 var v text.Value
37
Herbie Ong800c9902018-12-06 15:28:53 -080038 var err error
39 v, err = o.marshalMessage(m.ProtoReflect())
40 if !nerr.Merge(err) {
41 return nil, err
Herbie Ongcddf8192018-11-28 18:25:20 -080042 }
43
44 indent := " "
45 if o.Compact {
46 indent = ""
47 }
48 delims := [2]byte{'{', '}'}
49
50 const outputASCII = false
51 b, err := text.Marshal(v, indent, delims, outputASCII)
52 if !nerr.Merge(err) {
53 return nil, err
54 }
55 return b, nerr.E
56}
57
58// marshalMessage converts a protoreflect.Message to a text.Value.
59func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
60 var nerr errors.NonFatal
61 var msgFields [][2]text.Value
62
63 // Handle known fields.
64 msgType := m.Type()
65 fieldDescs := msgType.Fields()
66 knownFields := m.KnownFields()
67 size := fieldDescs.Len()
68 for i := 0; i < size; i++ {
Herbie Ong800c9902018-12-06 15:28:53 -080069 fd := fieldDescs.Get(i)
70 num := fd.Number()
Herbie Ongcddf8192018-11-28 18:25:20 -080071
Herbie Ong800c9902018-12-06 15:28:53 -080072 if !knownFields.Has(num) {
73 if fd.Cardinality() == pref.Required {
Herbie Ongcddf8192018-11-28 18:25:20 -080074 // Treat unset required fields as a non-fatal error.
Herbie Ong800c9902018-12-06 15:28:53 -080075 nerr.AppendRequiredNotSet(string(fd.FullName()))
Herbie Ongcddf8192018-11-28 18:25:20 -080076 }
77 continue
78 }
79
Herbie Ong800c9902018-12-06 15:28:53 -080080 tname := text.ValueOf(fd.Name())
81 pval := knownFields.Get(num)
Herbie Ongcf253082018-12-17 17:13:07 -080082 var err error
83 msgFields, err = o.appendField(msgFields, tname, pval, fd)
84 if !nerr.Merge(err) {
85 return text.Value{}, err
Herbie Ongcddf8192018-11-28 18:25:20 -080086 }
Herbie Ongcddf8192018-11-28 18:25:20 -080087 }
88
Herbie Ongcf253082018-12-17 17:13:07 -080089 // Handle extensions.
90 var err error
91 msgFields, err = o.appendExtensions(msgFields, knownFields)
92 if !nerr.Merge(err) {
93 return text.Value{}, err
94 }
95
96 // Handle unknown fields.
Herbie Ong20a1d312018-12-11 21:08:58 -080097 // TODO: Provide option to exclude or include unknown fields.
98 m.UnknownFields().Range(func(_ pref.FieldNumber, raw pref.RawFields) bool {
99 msgFields = appendUnknown(msgFields, raw)
100 return true
101 })
102
Herbie Ongcddf8192018-11-28 18:25:20 -0800103 return text.ValueOf(msgFields), nerr.E
104}
105
Herbie Ongcf253082018-12-17 17:13:07 -0800106// appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
107func (o MarshalOptions) appendField(msgFields [][2]text.Value, tname text.Value, pval pref.Value, fd pref.FieldDescriptor) ([][2]text.Value, error) {
108 var nerr errors.NonFatal
109
110 if fd.Cardinality() == pref.Repeated {
111 // Map or repeated fields.
112 var items []text.Value
113 var err error
114 if fd.IsMap() {
115 items, err = o.marshalMap(pval.Map(), fd)
116 if !nerr.Merge(err) {
117 return msgFields, err
118 }
119 } else {
120 items, err = o.marshalList(pval.List(), fd)
121 if !nerr.Merge(err) {
122 return msgFields, err
123 }
124 }
125
126 // Add each item as key: value field.
127 for _, item := range items {
128 msgFields = append(msgFields, [2]text.Value{tname, item})
129 }
130 } else {
131 // Required or optional fields.
132 tval, err := o.marshalSingular(pval, fd)
133 if !nerr.Merge(err) {
134 return msgFields, err
135 }
136 msgFields = append(msgFields, [2]text.Value{tname, tval})
137 }
138
139 return msgFields, nerr.E
140}
141
Herbie Ongcddf8192018-11-28 18:25:20 -0800142// marshalSingular converts a non-repeated field value to text.Value.
143// This includes all scalar types, enums, messages, and groups.
144func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
145 kind := fd.Kind()
146 switch kind {
147 case pref.BoolKind,
148 pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
149 pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
150 pref.Sfixed32Kind, pref.Fixed32Kind,
151 pref.Sfixed64Kind, pref.Fixed64Kind,
152 pref.FloatKind, pref.DoubleKind,
153 pref.StringKind, pref.BytesKind:
154 return text.ValueOf(val.Interface()), nil
155
156 case pref.EnumKind:
157 num := val.Enum()
158 if desc := fd.EnumType().Values().ByNumber(num); desc != nil {
159 return text.ValueOf(desc.Name()), nil
160 }
161 // Use numeric value if there is no enum description.
162 return text.ValueOf(int32(num)), nil
163
164 case pref.MessageKind, pref.GroupKind:
165 return o.marshalMessage(val.Message())
166 }
167
168 return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind)
169}
170
171// marshalList converts a protoreflect.List to []text.Value.
172func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
173 var nerr errors.NonFatal
174 size := list.Len()
175 values := make([]text.Value, 0, size)
176
177 for i := 0; i < size; i++ {
178 item := list.Get(i)
179 val, err := o.marshalSingular(item, fd)
180 if !nerr.Merge(err) {
181 // Return already marshaled values.
182 return values, err
183 }
184 values = append(values, val)
185 }
186
187 return values, nerr.E
188}
189
190var (
191 mapKeyName = text.ValueOf(pref.Name("key"))
192 mapValueName = text.ValueOf(pref.Name("value"))
193)
194
195// marshalMap converts a protoreflect.Map to []text.Value.
196func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
197 var nerr errors.NonFatal
198 // values is a list of messages.
199 values := make([]text.Value, 0, mmap.Len())
200 msgFields := fd.MessageType().Fields()
201 keyType := msgFields.ByNumber(1)
202 valType := msgFields.ByNumber(2)
203
204 mmap.Range(func(key pref.MapKey, val pref.Value) bool {
205 keyTxtVal, err := o.marshalSingular(key.Value(), keyType)
206 if !nerr.Merge(err) {
207 return false
208 }
209 valTxtVal, err := o.marshalSingular(val, valType)
210 if !nerr.Merge(err) {
211 return false
212 }
213 // Map entry (message) contains 2 fields, first field for key and second field for value.
214 msg := text.ValueOf([][2]text.Value{
215 {mapKeyName, keyTxtVal},
216 {mapValueName, valTxtVal},
217 })
218 values = append(values, msg)
219 return true
220 })
221
222 sortMap(keyType.Kind(), values)
223 return values, nerr.E
224}
225
226// sortMap orders list based on value of key field for deterministic output.
227// TODO: Improve sort comparison of text.Value for map keys.
228func sortMap(keyKind pref.Kind, values []text.Value) {
229 less := func(i, j int) bool {
230 mi := values[i].Message()
231 mj := values[j].Message()
232 return mi[0][1].String() < mj[0][1].String()
233 }
234 switch keyKind {
235 case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
236 less = func(i, j int) bool {
237 mi := values[i].Message()
238 mj := values[j].Message()
239 ni, _ := mi[0][1].Int(false)
240 nj, _ := mj[0][1].Int(false)
241 return ni < nj
242 }
243 case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
244 less = func(i, j int) bool {
245 mi := values[i].Message()
246 mj := values[j].Message()
247 ni, _ := mi[0][1].Int(true)
248 nj, _ := mj[0][1].Int(true)
249 return ni < nj
250 }
251
252 case pref.Uint32Kind, pref.Fixed32Kind:
253 less = func(i, j int) bool {
254 mi := values[i].Message()
255 mj := values[j].Message()
256 ni, _ := mi[0][1].Uint(false)
257 nj, _ := mj[0][1].Uint(false)
258 return ni < nj
259 }
260 case pref.Uint64Kind, pref.Fixed64Kind:
261 less = func(i, j int) bool {
262 mi := values[i].Message()
263 mj := values[j].Message()
264 ni, _ := mi[0][1].Uint(true)
265 nj, _ := mj[0][1].Uint(true)
266 return ni < nj
267 }
268 }
269 sort.Slice(values, less)
270}
Herbie Ong20a1d312018-12-11 21:08:58 -0800271
Herbie Ongcf253082018-12-17 17:13:07 -0800272// appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
273func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) {
274 var nerr errors.NonFatal
275 xtTypes := knownFields.ExtensionTypes()
276 xtFields := make([][2]text.Value, 0, xtTypes.Len())
277
278 var err error
279 xtTypes.Range(func(xt pref.ExtensionType) bool {
280 // TODO: Handle MessageSet. Field name should be message_set_extension
281 // of message type without any fields and has message option
282 // message_set_wire_format=true.
283
284 num := xt.Number()
285 if knownFields.Has(num) {
286 // Use string type to produce [name] format.
287 tname := text.ValueOf(string(xt.FullName()))
288 pval := knownFields.Get(num)
289 xtFields, err = o.appendField(xtFields, tname, pval, xt)
290 if err != nil {
291 return false
292 }
293 }
294 return true
295 })
296 if !nerr.Merge(err) {
297 return msgFields, err
298 }
299
300 // Sort extensions lexicographically and append to output.
301 sort.SliceStable(xtFields, func(i, j int) bool {
302 return xtFields[i][0].String() < xtFields[j][0].String()
303 })
304 return append(msgFields, xtFields...), nerr.E
305}
306
Herbie Ong20a1d312018-12-11 21:08:58 -0800307// appendUnknown parses the given []byte and appends field(s) into the given fields slice.
308// This function assumes proper encoding in the given []byte.
309func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
310 for len(b) > 0 {
311 var value interface{}
312 num, wtype, n := wire.ConsumeTag(b)
313 b = b[n:]
314
315 switch wtype {
316 case wire.VarintType:
317 value, n = wire.ConsumeVarint(b)
318 case wire.Fixed32Type:
319 value, n = wire.ConsumeFixed32(b)
320 case wire.Fixed64Type:
321 value, n = wire.ConsumeFixed64(b)
322 case wire.BytesType:
323 value, n = wire.ConsumeBytes(b)
324 case wire.StartGroupType:
325 var v []byte
326 v, n = wire.ConsumeGroup(num, b)
327 var msg [][2]text.Value
328 value = appendUnknown(msg, v)
329 default:
330 panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
331 }
332
333 fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
334 b = b[n:]
335 }
336 return fields
337}