Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 1 | // 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 | |
| 5 | package textpb |
| 6 | |
| 7 | import ( |
Herbie Ong | 20a1d31 | 2018-12-11 21:08:58 -0800 | [diff] [blame] | 8 | "fmt" |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 9 | "sort" |
| 10 | |
| 11 | "github.com/golang/protobuf/v2/internal/encoding/text" |
Herbie Ong | 20a1d31 | 2018-12-11 21:08:58 -0800 | [diff] [blame] | 12 | "github.com/golang/protobuf/v2/internal/encoding/wire" |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 13 | "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 Ong | f42b55f | 2019-01-02 15:46:07 -0800 | [diff] [blame] | 17 | "github.com/golang/protobuf/v2/reflect/protoregistry" |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 18 | ) |
| 19 | |
Herbie Ong | 800c990 | 2018-12-06 15:28:53 -0800 | [diff] [blame] | 20 | // Marshal writes the given proto.Message in textproto format using default options. |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 21 | // TODO: may want to describe when Marshal returns error. |
| 22 | func Marshal(m proto.Message) ([]byte, error) { |
| 23 | return MarshalOptions{}.Marshal(m) |
| 24 | } |
| 25 | |
| 26 | // MarshalOptions is a configurable text format marshaler. |
| 27 | type 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 Ong | f42b55f | 2019-01-02 15:46:07 -0800 | [diff] [blame] | 32 | |
| 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 Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 38 | } |
| 39 | |
Herbie Ong | 800c990 | 2018-12-06 15:28:53 -0800 | [diff] [blame] | 40 | // Marshal writes the given proto.Message in textproto format using options in MarshalOptions object. |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 41 | func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) { |
Herbie Ong | f42b55f | 2019-01-02 15:46:07 -0800 | [diff] [blame] | 42 | if o.Resolver == nil { |
| 43 | o.Resolver = protoregistry.GlobalTypes |
| 44 | } |
| 45 | |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 46 | var nerr errors.NonFatal |
| 47 | var v text.Value |
Herbie Ong | 800c990 | 2018-12-06 15:28:53 -0800 | [diff] [blame] | 48 | var err error |
| 49 | v, err = o.marshalMessage(m.ProtoReflect()) |
| 50 | if !nerr.Merge(err) { |
| 51 | return nil, err |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 52 | } |
| 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. |
| 69 | func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) { |
| 70 | var nerr errors.NonFatal |
| 71 | var msgFields [][2]text.Value |
Herbie Ong | f42b55f | 2019-01-02 15:46:07 -0800 | [diff] [blame] | 72 | 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 Ong | a94f78c | 2019-01-03 15:39:58 -0800 | [diff] [blame] | 81 | // For other errors, continue on to marshal Any as a regular message. |
Herbie Ong | f42b55f | 2019-01-02 15:46:07 -0800 | [diff] [blame] | 82 | } |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 83 | |
| 84 | // Handle known fields. |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 85 | fieldDescs := msgType.Fields() |
| 86 | knownFields := m.KnownFields() |
| 87 | size := fieldDescs.Len() |
| 88 | for i := 0; i < size; i++ { |
Herbie Ong | 800c990 | 2018-12-06 15:28:53 -0800 | [diff] [blame] | 89 | fd := fieldDescs.Get(i) |
| 90 | num := fd.Number() |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 91 | |
Herbie Ong | 800c990 | 2018-12-06 15:28:53 -0800 | [diff] [blame] | 92 | if !knownFields.Has(num) { |
| 93 | if fd.Cardinality() == pref.Required { |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 94 | // Treat unset required fields as a non-fatal error. |
Herbie Ong | 800c990 | 2018-12-06 15:28:53 -0800 | [diff] [blame] | 95 | nerr.AppendRequiredNotSet(string(fd.FullName())) |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 96 | } |
| 97 | continue |
| 98 | } |
| 99 | |
Herbie Ong | 800c990 | 2018-12-06 15:28:53 -0800 | [diff] [blame] | 100 | tname := text.ValueOf(fd.Name()) |
| 101 | pval := knownFields.Get(num) |
Herbie Ong | cf25308 | 2018-12-17 17:13:07 -0800 | [diff] [blame] | 102 | var err error |
| 103 | msgFields, err = o.appendField(msgFields, tname, pval, fd) |
| 104 | if !nerr.Merge(err) { |
| 105 | return text.Value{}, err |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 106 | } |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 107 | } |
| 108 | |
Herbie Ong | cf25308 | 2018-12-17 17:13:07 -0800 | [diff] [blame] | 109 | // 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 Ong | 20a1d31 | 2018-12-11 21:08:58 -0800 | [diff] [blame] | 117 | // 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 Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 123 | return text.ValueOf(msgFields), nerr.E |
| 124 | } |
| 125 | |
Herbie Ong | cf25308 | 2018-12-17 17:13:07 -0800 | [diff] [blame] | 126 | // appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value. |
| 127 | func (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 | |
| 130 | if fd.Cardinality() == pref.Repeated { |
| 131 | // Map or repeated fields. |
| 132 | var items []text.Value |
| 133 | var err error |
| 134 | if fd.IsMap() { |
| 135 | items, err = o.marshalMap(pval.Map(), fd) |
| 136 | if !nerr.Merge(err) { |
| 137 | return msgFields, err |
| 138 | } |
| 139 | } else { |
| 140 | items, err = o.marshalList(pval.List(), fd) |
| 141 | if !nerr.Merge(err) { |
| 142 | return msgFields, err |
| 143 | } |
| 144 | } |
| 145 | |
| 146 | // Add each item as key: value field. |
| 147 | for _, item := range items { |
| 148 | msgFields = append(msgFields, [2]text.Value{tname, item}) |
| 149 | } |
| 150 | } else { |
| 151 | // Required or optional fields. |
| 152 | tval, err := o.marshalSingular(pval, fd) |
| 153 | if !nerr.Merge(err) { |
| 154 | return msgFields, err |
| 155 | } |
| 156 | msgFields = append(msgFields, [2]text.Value{tname, tval}) |
| 157 | } |
| 158 | |
| 159 | return msgFields, nerr.E |
| 160 | } |
| 161 | |
Herbie Ong | cddf819 | 2018-11-28 18:25:20 -0800 | [diff] [blame] | 162 | // marshalSingular converts a non-repeated field value to text.Value. |
| 163 | // This includes all scalar types, enums, messages, and groups. |
| 164 | func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) { |
| 165 | kind := fd.Kind() |
| 166 | switch kind { |
| 167 | case pref.BoolKind, |
| 168 | pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind, |
| 169 | pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind, |
| 170 | pref.Sfixed32Kind, pref.Fixed32Kind, |
| 171 | pref.Sfixed64Kind, pref.Fixed64Kind, |
| 172 | pref.FloatKind, pref.DoubleKind, |
| 173 | pref.StringKind, pref.BytesKind: |
| 174 | return text.ValueOf(val.Interface()), nil |
| 175 | |
| 176 | case pref.EnumKind: |
| 177 | num := val.Enum() |
| 178 | if desc := fd.EnumType().Values().ByNumber(num); desc != nil { |
| 179 | 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 | |
| 188 | return text.Value{}, errors.New("%v has unknown kind: %v", fd.FullName(), kind) |
| 189 | } |
| 190 | |
| 191 | // marshalList converts a protoreflect.List to []text.Value. |
| 192 | func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) { |
| 193 | var nerr errors.NonFatal |
| 194 | size := list.Len() |
| 195 | values := make([]text.Value, 0, size) |
| 196 | |
| 197 | for i := 0; i < size; i++ { |
| 198 | item := list.Get(i) |
| 199 | val, err := o.marshalSingular(item, fd) |
| 200 | if !nerr.Merge(err) { |
| 201 | // Return already marshaled values. |
| 202 | return values, err |
| 203 | } |
| 204 | values = append(values, val) |
| 205 | } |
| 206 | |
| 207 | return values, nerr.E |
| 208 | } |
| 209 | |
| 210 | var ( |
| 211 | mapKeyName = text.ValueOf(pref.Name("key")) |
| 212 | mapValueName = text.ValueOf(pref.Name("value")) |
| 213 | ) |
| 214 | |
| 215 | // marshalMap converts a protoreflect.Map to []text.Value. |
| 216 | func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) { |
| 217 | var nerr errors.NonFatal |
| 218 | // values is a list of messages. |
| 219 | values := make([]text.Value, 0, mmap.Len()) |
| 220 | msgFields := fd.MessageType().Fields() |
| 221 | keyType := msgFields.ByNumber(1) |
| 222 | valType := msgFields.ByNumber(2) |
| 223 | |
| 224 | mmap.Range(func(key pref.MapKey, val pref.Value) bool { |
| 225 | keyTxtVal, err := o.marshalSingular(key.Value(), keyType) |
| 226 | if !nerr.Merge(err) { |
| 227 | return false |
| 228 | } |
| 229 | valTxtVal, err := o.marshalSingular(val, valType) |
| 230 | if !nerr.Merge(err) { |
| 231 | return false |
| 232 | } |
| 233 | // Map entry (message) contains 2 fields, first field for key and second field for value. |
| 234 | msg := text.ValueOf([][2]text.Value{ |
| 235 | {mapKeyName, keyTxtVal}, |
| 236 | {mapValueName, valTxtVal}, |
| 237 | }) |
| 238 | values = append(values, msg) |
| 239 | return true |
| 240 | }) |
| 241 | |
| 242 | sortMap(keyType.Kind(), values) |
| 243 | return values, nerr.E |
| 244 | } |
| 245 | |
| 246 | // sortMap orders list based on value of key field for deterministic output. |
| 247 | // TODO: Improve sort comparison of text.Value for map keys. |
| 248 | func sortMap(keyKind pref.Kind, values []text.Value) { |
| 249 | less := func(i, j int) bool { |
| 250 | mi := values[i].Message() |
| 251 | mj := values[j].Message() |
| 252 | return mi[0][1].String() < mj[0][1].String() |
| 253 | } |
| 254 | switch keyKind { |
| 255 | case pref.Int32Kind, pref.Sint32Kind, pref.Sfixed32Kind: |
| 256 | less = func(i, j int) bool { |
| 257 | mi := values[i].Message() |
| 258 | mj := values[j].Message() |
| 259 | ni, _ := mi[0][1].Int(false) |
| 260 | nj, _ := mj[0][1].Int(false) |
| 261 | return ni < nj |
| 262 | } |
| 263 | case pref.Int64Kind, pref.Sint64Kind, pref.Sfixed64Kind: |
| 264 | less = func(i, j int) bool { |
| 265 | mi := values[i].Message() |
| 266 | mj := values[j].Message() |
| 267 | ni, _ := mi[0][1].Int(true) |
| 268 | nj, _ := mj[0][1].Int(true) |
| 269 | return ni < nj |
| 270 | } |
| 271 | |
| 272 | case pref.Uint32Kind, pref.Fixed32Kind: |
| 273 | less = func(i, j int) bool { |
| 274 | mi := values[i].Message() |
| 275 | mj := values[j].Message() |
| 276 | ni, _ := mi[0][1].Uint(false) |
| 277 | nj, _ := mj[0][1].Uint(false) |
| 278 | return ni < nj |
| 279 | } |
| 280 | case pref.Uint64Kind, pref.Fixed64Kind: |
| 281 | less = func(i, j int) bool { |
| 282 | mi := values[i].Message() |
| 283 | mj := values[j].Message() |
| 284 | ni, _ := mi[0][1].Uint(true) |
| 285 | nj, _ := mj[0][1].Uint(true) |
| 286 | return ni < nj |
| 287 | } |
| 288 | } |
| 289 | sort.Slice(values, less) |
| 290 | } |
Herbie Ong | 20a1d31 | 2018-12-11 21:08:58 -0800 | [diff] [blame] | 291 | |
Herbie Ong | cf25308 | 2018-12-17 17:13:07 -0800 | [diff] [blame] | 292 | // appendExtensions marshals extension fields and appends them to the given [][2]text.Value. |
| 293 | func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, knownFields pref.KnownFields) ([][2]text.Value, error) { |
| 294 | var nerr errors.NonFatal |
| 295 | xtTypes := knownFields.ExtensionTypes() |
| 296 | xtFields := make([][2]text.Value, 0, xtTypes.Len()) |
| 297 | |
| 298 | var err error |
| 299 | xtTypes.Range(func(xt pref.ExtensionType) bool { |
| 300 | // TODO: Handle MessageSet. Field name should be message_set_extension |
| 301 | // of message type without any fields and has message option |
| 302 | // message_set_wire_format=true. |
| 303 | |
| 304 | num := xt.Number() |
| 305 | if knownFields.Has(num) { |
| 306 | // Use string type to produce [name] format. |
| 307 | tname := text.ValueOf(string(xt.FullName())) |
| 308 | pval := knownFields.Get(num) |
| 309 | xtFields, err = o.appendField(xtFields, tname, pval, xt) |
| 310 | if err != nil { |
| 311 | return false |
| 312 | } |
| 313 | } |
| 314 | return true |
| 315 | }) |
| 316 | if !nerr.Merge(err) { |
| 317 | return msgFields, err |
| 318 | } |
| 319 | |
| 320 | // Sort extensions lexicographically and append to output. |
| 321 | sort.SliceStable(xtFields, func(i, j int) bool { |
| 322 | return xtFields[i][0].String() < xtFields[j][0].String() |
| 323 | }) |
| 324 | return append(msgFields, xtFields...), nerr.E |
| 325 | } |
| 326 | |
Herbie Ong | 20a1d31 | 2018-12-11 21:08:58 -0800 | [diff] [blame] | 327 | // appendUnknown parses the given []byte and appends field(s) into the given fields slice. |
| 328 | // This function assumes proper encoding in the given []byte. |
| 329 | func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value { |
| 330 | for len(b) > 0 { |
| 331 | var value interface{} |
| 332 | num, wtype, n := wire.ConsumeTag(b) |
| 333 | b = b[n:] |
| 334 | |
| 335 | switch wtype { |
| 336 | case wire.VarintType: |
| 337 | value, n = wire.ConsumeVarint(b) |
| 338 | case wire.Fixed32Type: |
| 339 | value, n = wire.ConsumeFixed32(b) |
| 340 | case wire.Fixed64Type: |
| 341 | value, n = wire.ConsumeFixed64(b) |
| 342 | case wire.BytesType: |
| 343 | value, n = wire.ConsumeBytes(b) |
| 344 | case wire.StartGroupType: |
| 345 | var v []byte |
| 346 | v, n = wire.ConsumeGroup(num, b) |
| 347 | var msg [][2]text.Value |
| 348 | value = appendUnknown(msg, v) |
| 349 | default: |
| 350 | panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype)) |
| 351 | } |
| 352 | |
| 353 | fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)}) |
| 354 | b = b[n:] |
| 355 | } |
| 356 | return fields |
| 357 | } |
Herbie Ong | f42b55f | 2019-01-02 15:46:07 -0800 | [diff] [blame] | 358 | |
| 359 | // marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value. |
| 360 | func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) { |
| 361 | var nerr errors.NonFatal |
| 362 | |
| 363 | fds := m.Type().Fields() |
| 364 | tfd := fds.ByName("type_url") |
| 365 | if tfd == nil || tfd.Kind() != pref.StringKind { |
| 366 | return text.Value{}, errors.New("invalid google.protobuf.Any message") |
| 367 | } |
| 368 | vfd := fds.ByName("value") |
| 369 | if vfd == nil || vfd.Kind() != pref.BytesKind { |
| 370 | return text.Value{}, errors.New("invalid google.protobuf.Any message") |
| 371 | } |
| 372 | |
| 373 | knownFields := m.KnownFields() |
| 374 | typeURL := knownFields.Get(tfd.Number()) |
| 375 | value := knownFields.Get(vfd.Number()) |
| 376 | |
| 377 | emt, err := o.Resolver.FindMessageByURL(typeURL.String()) |
| 378 | if !nerr.Merge(err) { |
| 379 | return text.Value{}, err |
| 380 | } |
Joe Tsai | 3bc7d6f | 2019-01-09 02:57:13 -0800 | [diff] [blame^] | 381 | em := emt.New().Interface() |
Herbie Ong | f42b55f | 2019-01-02 15:46:07 -0800 | [diff] [blame] | 382 | // TODO: Need to set types registry in binary unmarshaling. |
| 383 | err = proto.Unmarshal(value.Bytes(), em) |
| 384 | if !nerr.Merge(err) { |
| 385 | return text.Value{}, err |
| 386 | } |
| 387 | |
| 388 | msg, err := o.marshalMessage(em.ProtoReflect()) |
| 389 | if !nerr.Merge(err) { |
| 390 | return text.Value{}, err |
| 391 | } |
| 392 | // Expanded Any field value contains only a single field with the embedded |
| 393 | // message type as the field name in [] and a text marshaled field value of |
| 394 | // the embedded message. |
| 395 | msgFields := [][2]text.Value{ |
| 396 | { |
| 397 | text.ValueOf(string(emt.FullName())), |
| 398 | msg, |
| 399 | }, |
| 400 | } |
| 401 | return text.ValueOf(msgFields), nerr.E |
| 402 | } |