blob: bd0ee3da96c2907af3fd5c85b2b82ac21c5519e4 [file] [log] [blame]
Herbie Ong7b828bc2019-02-08 19:56:24 -08001// Copyright 2019 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 protojson
Herbie Ong7b828bc2019-02-08 19:56:24 -08006
7import (
8 "encoding/base64"
Herbie Ong0b0f4032019-03-18 19:06:15 -07009 "fmt"
Herbie Ong7b828bc2019-02-08 19:56:24 -080010 "sort"
11
Damien Neile89e6242019-05-13 23:55:40 -070012 "google.golang.org/protobuf/internal/encoding/json"
13 "google.golang.org/protobuf/internal/errors"
14 "google.golang.org/protobuf/internal/pragma"
15 "google.golang.org/protobuf/proto"
16 pref "google.golang.org/protobuf/reflect/protoreflect"
17 "google.golang.org/protobuf/reflect/protoregistry"
Herbie Ong7b828bc2019-02-08 19:56:24 -080018)
19
20// Marshal writes the given proto.Message in JSON format using default options.
21func Marshal(m proto.Message) ([]byte, error) {
22 return MarshalOptions{}.Marshal(m)
23}
24
25// MarshalOptions is a configurable JSON format marshaler.
26type MarshalOptions struct {
27 pragma.NoUnkeyedLiterals
28
Herbie Ong329be5b2019-03-27 14:47:59 -070029 // AllowPartial allows messages that have missing required fields to marshal
30 // without returning an error. If AllowPartial is false (the default),
31 // Marshal will return error if there are any missing required fields.
32 AllowPartial bool
33
Herbie Ong0b0f4032019-03-18 19:06:15 -070034 // If Indent is a non-empty string, it causes entries for an Array or Object
35 // to be preceded by the indent and trailed by a newline. Indent can only be
36 // composed of space or tab characters.
37 Indent string
38
39 // Resolver is the registry used for type lookups when marshaling
40 // google.protobuf.Any messages. If Resolver is not set, marshaling will
41 // default to using protoregistry.GlobalTypes.
42 Resolver *protoregistry.Types
Herbie Ong822de2d2019-03-27 13:16:23 -070043
44 encoder *json.Encoder
Herbie Ong7b828bc2019-02-08 19:56:24 -080045}
46
Herbie Ong0b0f4032019-03-18 19:06:15 -070047// Marshal marshals the given proto.Message in the JSON format using options in
48// MarshalOptions.
Herbie Ong7b828bc2019-02-08 19:56:24 -080049func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
Herbie Ong822de2d2019-03-27 13:16:23 -070050 var err error
51 o.encoder, err = json.NewEncoder(o.Indent)
Herbie Ong87608a72019-03-06 14:32:24 -080052 if err != nil {
53 return nil, err
54 }
Herbie Ong822de2d2019-03-27 13:16:23 -070055 if o.Resolver == nil {
56 o.Resolver = protoregistry.GlobalTypes
57 }
Herbie Ong87608a72019-03-06 14:32:24 -080058
59 var nerr errors.NonFatal
Herbie Ong822de2d2019-03-27 13:16:23 -070060 err = o.marshalMessage(m.ProtoReflect())
Herbie Ong7b828bc2019-02-08 19:56:24 -080061 if !nerr.Merge(err) {
62 return nil, err
63 }
Damien Neil4686e232019-04-05 13:31:40 -070064 if !o.AllowPartial {
65 nerr.Merge(proto.IsInitialized(m))
66 }
Herbie Ong822de2d2019-03-27 13:16:23 -070067 return o.encoder.Bytes(), nerr.E
Herbie Ong87608a72019-03-06 14:32:24 -080068}
69
70// marshalMessage marshals the given protoreflect.Message.
Herbie Ong822de2d2019-03-27 13:16:23 -070071func (o MarshalOptions) marshalMessage(m pref.Message) error {
Herbie Ong0b0f4032019-03-18 19:06:15 -070072 var nerr errors.NonFatal
73
Joe Tsai0fc49f82019-05-01 12:29:25 -070074 if isCustomType(m.Descriptor().FullName()) {
Herbie Ong822de2d2019-03-27 13:16:23 -070075 return o.marshalCustomType(m)
Herbie Ong0b0f4032019-03-18 19:06:15 -070076 }
77
Herbie Ong822de2d2019-03-27 13:16:23 -070078 o.encoder.StartObject()
79 defer o.encoder.EndObject()
80 if err := o.marshalFields(m); !nerr.Merge(err) {
Herbie Ong0b0f4032019-03-18 19:06:15 -070081 return err
82 }
Herbie Ong87608a72019-03-06 14:32:24 -080083
Herbie Ong0b0f4032019-03-18 19:06:15 -070084 return nerr.E
85}
86
87// marshalFields marshals the fields in the given protoreflect.Message.
Herbie Ong822de2d2019-03-27 13:16:23 -070088func (o MarshalOptions) marshalFields(m pref.Message) error {
Herbie Ong87608a72019-03-06 14:32:24 -080089 var nerr errors.NonFatal
Joe Tsai0fc49f82019-05-01 12:29:25 -070090 fieldDescs := m.Descriptor().Fields()
Herbie Ong7b828bc2019-02-08 19:56:24 -080091 knownFields := m.KnownFields()
Herbie Ong87608a72019-03-06 14:32:24 -080092
Herbie Ongf83d5bb2019-03-14 00:01:27 -070093 // Marshal out known fields.
Herbie Ong87608a72019-03-06 14:32:24 -080094 for i := 0; i < fieldDescs.Len(); i++ {
Herbie Ong7b828bc2019-02-08 19:56:24 -080095 fd := fieldDescs.Get(i)
96 num := fd.Number()
97
98 if !knownFields.Has(num) {
Herbie Ong7b828bc2019-02-08 19:56:24 -080099 continue
100 }
101
Herbie Ong87608a72019-03-06 14:32:24 -0800102 name := fd.JSONName()
Herbie Ong1c7462c2019-03-22 17:56:55 -0700103 val := knownFields.Get(num)
Herbie Ong822de2d2019-03-27 13:16:23 -0700104 if err := o.encoder.WriteName(name); !nerr.Merge(err) {
Herbie Ong87608a72019-03-06 14:32:24 -0800105 return err
106 }
Herbie Ong822de2d2019-03-27 13:16:23 -0700107 if err := o.marshalValue(val, fd); !nerr.Merge(err) {
Herbie Ong87608a72019-03-06 14:32:24 -0800108 return err
Herbie Ong7b828bc2019-02-08 19:56:24 -0800109 }
110 }
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700111
112 // Marshal out extensions.
Herbie Ong822de2d2019-03-27 13:16:23 -0700113 if err := o.marshalExtensions(knownFields); !nerr.Merge(err) {
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700114 return err
115 }
Herbie Ong87608a72019-03-06 14:32:24 -0800116 return nerr.E
Herbie Ong7b828bc2019-02-08 19:56:24 -0800117}
118
Herbie Ong87608a72019-03-06 14:32:24 -0800119// marshalValue marshals the given protoreflect.Value.
Herbie Ong822de2d2019-03-27 13:16:23 -0700120func (o MarshalOptions) marshalValue(val pref.Value, fd pref.FieldDescriptor) error {
Joe Tsaiac31a352019-05-13 14:32:56 -0700121 switch {
122 case fd.IsList():
123 return o.marshalList(val.List(), fd)
124 case fd.IsMap():
125 return o.marshalMap(val.Map(), fd)
126 default:
127 return o.marshalSingular(val, fd)
Herbie Ong7b828bc2019-02-08 19:56:24 -0800128 }
Herbie Ong7b828bc2019-02-08 19:56:24 -0800129}
130
Herbie Ong87608a72019-03-06 14:32:24 -0800131// marshalSingular marshals the given non-repeated field value. This includes
132// all scalar types, enums, messages, and groups.
Herbie Ong822de2d2019-03-27 13:16:23 -0700133func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) error {
Herbie Ong87608a72019-03-06 14:32:24 -0800134 var nerr errors.NonFatal
135 switch kind := fd.Kind(); kind {
136 case pref.BoolKind:
Herbie Ong822de2d2019-03-27 13:16:23 -0700137 o.encoder.WriteBool(val.Bool())
Herbie Ong87608a72019-03-06 14:32:24 -0800138
139 case pref.StringKind:
Herbie Ong822de2d2019-03-27 13:16:23 -0700140 if err := o.encoder.WriteString(val.String()); !nerr.Merge(err) {
Herbie Ong87608a72019-03-06 14:32:24 -0800141 return err
142 }
143
144 case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind:
Herbie Ong822de2d2019-03-27 13:16:23 -0700145 o.encoder.WriteInt(val.Int())
Herbie Ong87608a72019-03-06 14:32:24 -0800146
147 case pref.Uint32Kind, pref.Fixed32Kind:
Herbie Ong822de2d2019-03-27 13:16:23 -0700148 o.encoder.WriteUint(val.Uint())
Herbie Ong7b828bc2019-02-08 19:56:24 -0800149
150 case pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
151 pref.Sfixed64Kind, pref.Fixed64Kind:
Herbie Ong87608a72019-03-06 14:32:24 -0800152 // 64-bit integers are written out as JSON string.
Herbie Ong822de2d2019-03-27 13:16:23 -0700153 o.encoder.WriteString(val.String())
Herbie Ong7b828bc2019-02-08 19:56:24 -0800154
Herbie Ong87608a72019-03-06 14:32:24 -0800155 case pref.FloatKind:
156 // Encoder.WriteFloat handles the special numbers NaN and infinites.
Herbie Ong822de2d2019-03-27 13:16:23 -0700157 o.encoder.WriteFloat(val.Float(), 32)
Herbie Ong87608a72019-03-06 14:32:24 -0800158
159 case pref.DoubleKind:
160 // Encoder.WriteFloat handles the special numbers NaN and infinites.
Herbie Ong822de2d2019-03-27 13:16:23 -0700161 o.encoder.WriteFloat(val.Float(), 64)
Herbie Ong7b828bc2019-02-08 19:56:24 -0800162
163 case pref.BytesKind:
Herbie Ong822de2d2019-03-27 13:16:23 -0700164 err := o.encoder.WriteString(base64.StdEncoding.EncodeToString(val.Bytes()))
Herbie Ong87608a72019-03-06 14:32:24 -0800165 if !nerr.Merge(err) {
166 return err
167 }
Herbie Ong7b828bc2019-02-08 19:56:24 -0800168
169 case pref.EnumKind:
Joe Tsaid24bc722019-04-15 23:39:09 -0700170 if fd.Enum().FullName() == "google.protobuf.NullValue" {
Herbie Ong822de2d2019-03-27 13:16:23 -0700171 o.encoder.WriteNull()
Joe Tsaid24bc722019-04-15 23:39:09 -0700172 } else if desc := fd.Enum().Values().ByNumber(val.Enum()); desc != nil {
Herbie Ong822de2d2019-03-27 13:16:23 -0700173 err := o.encoder.WriteString(string(desc.Name()))
Herbie Ong87608a72019-03-06 14:32:24 -0800174 if !nerr.Merge(err) {
175 return err
176 }
177 } else {
178 // Use numeric value if there is no enum value descriptor.
Joe Tsaid24bc722019-04-15 23:39:09 -0700179 o.encoder.WriteInt(int64(val.Enum()))
Herbie Ong7b828bc2019-02-08 19:56:24 -0800180 }
Herbie Ong7b828bc2019-02-08 19:56:24 -0800181
182 case pref.MessageKind, pref.GroupKind:
Herbie Ong822de2d2019-03-27 13:16:23 -0700183 if err := o.marshalMessage(val.Message()); !nerr.Merge(err) {
Herbie Ong87608a72019-03-06 14:32:24 -0800184 return err
185 }
Herbie Ong7b828bc2019-02-08 19:56:24 -0800186
Herbie Ong87608a72019-03-06 14:32:24 -0800187 default:
Herbie Ong0b0f4032019-03-18 19:06:15 -0700188 panic(fmt.Sprintf("%v has unknown kind: %v", fd.FullName(), kind))
Herbie Ong87608a72019-03-06 14:32:24 -0800189 }
190 return nerr.E
Herbie Ong7b828bc2019-02-08 19:56:24 -0800191}
192
Herbie Ong87608a72019-03-06 14:32:24 -0800193// marshalList marshals the given protoreflect.List.
Herbie Ong822de2d2019-03-27 13:16:23 -0700194func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) error {
195 o.encoder.StartArray()
196 defer o.encoder.EndArray()
Herbie Ong87608a72019-03-06 14:32:24 -0800197
Herbie Ong7b828bc2019-02-08 19:56:24 -0800198 var nerr errors.NonFatal
Herbie Ong87608a72019-03-06 14:32:24 -0800199 for i := 0; i < list.Len(); i++ {
Herbie Ong7b828bc2019-02-08 19:56:24 -0800200 item := list.Get(i)
Herbie Ong822de2d2019-03-27 13:16:23 -0700201 if err := o.marshalSingular(item, fd); !nerr.Merge(err) {
Herbie Ong87608a72019-03-06 14:32:24 -0800202 return err
Herbie Ong7b828bc2019-02-08 19:56:24 -0800203 }
Herbie Ong7b828bc2019-02-08 19:56:24 -0800204 }
Herbie Ong87608a72019-03-06 14:32:24 -0800205 return nerr.E
Herbie Ong7b828bc2019-02-08 19:56:24 -0800206}
207
208type mapEntry struct {
209 key pref.MapKey
210 value pref.Value
211}
212
Herbie Ong87608a72019-03-06 14:32:24 -0800213// marshalMap marshals given protoreflect.Map.
Herbie Ong822de2d2019-03-27 13:16:23 -0700214func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) error {
215 o.encoder.StartObject()
216 defer o.encoder.EndObject()
Herbie Ong87608a72019-03-06 14:32:24 -0800217
Herbie Ong7b828bc2019-02-08 19:56:24 -0800218 // Get a sorted list based on keyType first.
219 entries := make([]mapEntry, 0, mmap.Len())
220 mmap.Range(func(key pref.MapKey, val pref.Value) bool {
221 entries = append(entries, mapEntry{key: key, value: val})
222 return true
223 })
Joe Tsaiac31a352019-05-13 14:32:56 -0700224 sortMap(fd.MapKey().Kind(), entries)
Herbie Ong7b828bc2019-02-08 19:56:24 -0800225
Herbie Ong87608a72019-03-06 14:32:24 -0800226 // Write out sorted list.
Herbie Ong7b828bc2019-02-08 19:56:24 -0800227 var nerr errors.NonFatal
Herbie Ong7b828bc2019-02-08 19:56:24 -0800228 for _, entry := range entries {
Herbie Ong822de2d2019-03-27 13:16:23 -0700229 if err := o.encoder.WriteName(entry.key.String()); !nerr.Merge(err) {
Herbie Ong87608a72019-03-06 14:32:24 -0800230 return err
Herbie Ong7b828bc2019-02-08 19:56:24 -0800231 }
Joe Tsaiac31a352019-05-13 14:32:56 -0700232 if err := o.marshalSingular(entry.value, fd.MapValue()); !nerr.Merge(err) {
Herbie Ong87608a72019-03-06 14:32:24 -0800233 return err
234 }
Herbie Ong7b828bc2019-02-08 19:56:24 -0800235 }
Herbie Ong87608a72019-03-06 14:32:24 -0800236 return nerr.E
Herbie Ong7b828bc2019-02-08 19:56:24 -0800237}
238
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700239// sortMap orders list based on value of key field for deterministic ordering.
Herbie Ong7b828bc2019-02-08 19:56:24 -0800240func sortMap(keyKind pref.Kind, values []mapEntry) {
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700241 sort.Slice(values, func(i, j int) bool {
242 switch keyKind {
243 case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind,
244 pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind:
Herbie Ong7b828bc2019-02-08 19:56:24 -0800245 return values[i].key.Int() < values[j].key.Int()
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700246
247 case pref.Uint32Kind, pref.Fixed32Kind,
248 pref.Uint64Kind, pref.Fixed64Kind:
Herbie Ong7b828bc2019-02-08 19:56:24 -0800249 return values[i].key.Uint() < values[j].key.Uint()
250 }
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700251 return values[i].key.String() < values[j].key.String()
252 })
253}
254
255// marshalExtensions marshals extension fields.
Herbie Ong822de2d2019-03-27 13:16:23 -0700256func (o MarshalOptions) marshalExtensions(knownFields pref.KnownFields) error {
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700257 type xtEntry struct {
258 key string
259 value pref.Value
260 xtType pref.ExtensionType
Herbie Ong7b828bc2019-02-08 19:56:24 -0800261 }
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700262
263 xtTypes := knownFields.ExtensionTypes()
264
265 // Get a sorted list based on field key first.
266 entries := make([]xtEntry, 0, xtTypes.Len())
267 xtTypes.Range(func(xt pref.ExtensionType) bool {
Joe Tsai0fc49f82019-05-01 12:29:25 -0700268 name := xt.Descriptor().FullName()
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700269 // If extended type is a MessageSet, set field name to be the message type name.
270 if isMessageSetExtension(xt) {
Joe Tsai0fc49f82019-05-01 12:29:25 -0700271 name = xt.Descriptor().Message().FullName()
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700272 }
273
Joe Tsai0fc49f82019-05-01 12:29:25 -0700274 num := xt.Descriptor().Number()
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700275 if knownFields.Has(num) {
276 // Use [name] format for JSON field name.
277 pval := knownFields.Get(num)
278 entries = append(entries, xtEntry{
279 key: string(name),
280 value: pval,
281 xtType: xt,
282 })
283 }
284 return true
285 })
286
287 // Sort extensions lexicographically.
288 sort.Slice(entries, func(i, j int) bool {
289 return entries[i].key < entries[j].key
290 })
291
292 // Write out sorted list.
293 var nerr errors.NonFatal
294 for _, entry := range entries {
295 // JSON field name is the proto field name enclosed in [], similar to
296 // textproto. This is consistent with Go v1 lib. C++ lib v3.7.0 does not
297 // marshal out extension fields.
Herbie Ong822de2d2019-03-27 13:16:23 -0700298 if err := o.encoder.WriteName("[" + entry.key + "]"); !nerr.Merge(err) {
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700299 return err
300 }
Joe Tsai0fc49f82019-05-01 12:29:25 -0700301 if err := o.marshalValue(entry.value, entry.xtType.Descriptor()); !nerr.Merge(err) {
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700302 return err
303 }
304 }
305 return nerr.E
306}
307
308// isMessageSetExtension reports whether extension extends a message set.
309func isMessageSetExtension(xt pref.ExtensionType) bool {
Joe Tsai0fc49f82019-05-01 12:29:25 -0700310 xd := xt.Descriptor()
311 if xd.Name() != "message_set_extension" {
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700312 return false
313 }
Joe Tsai0fc49f82019-05-01 12:29:25 -0700314 md := xd.Message()
Joe Tsaid24bc722019-04-15 23:39:09 -0700315 if md == nil {
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700316 return false
317 }
Joe Tsai0fc49f82019-05-01 12:29:25 -0700318 if xd.FullName().Parent() != md.FullName() {
Herbie Ongf83d5bb2019-03-14 00:01:27 -0700319 return false
320 }
Joe Tsaiac31a352019-05-13 14:32:56 -0700321 xmd, ok := xd.ContainingMessage().(interface{ IsMessageSet() bool })
Joe Tsaid24bc722019-04-15 23:39:09 -0700322 return ok && xmd.IsMessageSet()
Herbie Ong7b828bc2019-02-08 19:56:24 -0800323}