encode.go 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380
  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. package prototext
  5. import (
  6. "fmt"
  7. "sort"
  8. "unicode/utf8"
  9. "google.golang.org/protobuf/internal/encoding/text"
  10. "google.golang.org/protobuf/internal/encoding/wire"
  11. "google.golang.org/protobuf/internal/errors"
  12. "google.golang.org/protobuf/internal/fieldnum"
  13. "google.golang.org/protobuf/internal/mapsort"
  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"
  18. )
  19. // Marshal writes the given proto.Message in textproto format using default options.
  20. func Marshal(m proto.Message) ([]byte, error) {
  21. return MarshalOptions{}.Marshal(m)
  22. }
  23. // MarshalOptions is a configurable text format marshaler.
  24. type MarshalOptions struct {
  25. pragma.NoUnkeyedLiterals
  26. // AllowPartial allows messages that have missing required fields to marshal
  27. // without returning an error. If AllowPartial is false (the default),
  28. // Marshal will return error if there are any missing required fields.
  29. AllowPartial bool
  30. // If Indent is a non-empty string, it causes entries for a Message to be
  31. // preceded by the indent and trailed by a newline. Indent can only be
  32. // composed of space or tab characters.
  33. Indent string
  34. // Resolver is used for looking up types when expanding google.protobuf.Any
  35. // messages. If nil, this defaults to using protoregistry.GlobalTypes.
  36. Resolver interface {
  37. protoregistry.MessageTypeResolver
  38. }
  39. }
  40. // Marshal writes the given proto.Message in textproto format using options in MarshalOptions object.
  41. func (o MarshalOptions) Marshal(m proto.Message) ([]byte, error) {
  42. if o.Resolver == nil {
  43. o.Resolver = protoregistry.GlobalTypes
  44. }
  45. var nerr errors.NonFatal
  46. v, err := o.marshalMessage(m.ProtoReflect())
  47. if !nerr.Merge(err) {
  48. return nil, err
  49. }
  50. delims := [2]byte{'{', '}'}
  51. const outputASCII = false
  52. b, err := text.Marshal(v, o.Indent, delims, outputASCII)
  53. if !nerr.Merge(err) {
  54. return nil, err
  55. }
  56. if !o.AllowPartial {
  57. nerr.Merge(proto.IsInitialized(m))
  58. }
  59. return b, nerr.E
  60. }
  61. // marshalMessage converts a protoreflect.Message to a text.Value.
  62. func (o MarshalOptions) marshalMessage(m pref.Message) (text.Value, error) {
  63. var nerr errors.NonFatal
  64. var msgFields [][2]text.Value
  65. messageDesc := m.Descriptor()
  66. // Handle Any expansion.
  67. if messageDesc.FullName() == "google.protobuf.Any" {
  68. msg, err := o.marshalAny(m)
  69. if err == nil || nerr.Merge(err) {
  70. // Return as is for nil or non-fatal error.
  71. return msg, nerr.E
  72. }
  73. // For other errors, continue on to marshal Any as a regular message.
  74. }
  75. // Handle known fields.
  76. fieldDescs := messageDesc.Fields()
  77. size := fieldDescs.Len()
  78. for i := 0; i < size; i++ {
  79. fd := fieldDescs.Get(i)
  80. if !m.Has(fd) {
  81. continue
  82. }
  83. name := text.ValueOf(fd.Name())
  84. // Use type name for group field name.
  85. if fd.Kind() == pref.GroupKind {
  86. name = text.ValueOf(fd.Message().Name())
  87. }
  88. pval := m.Get(fd)
  89. var err error
  90. msgFields, err = o.appendField(msgFields, name, pval, fd)
  91. if !nerr.Merge(err) {
  92. return text.Value{}, err
  93. }
  94. }
  95. // Handle extensions.
  96. var err error
  97. msgFields, err = o.appendExtensions(msgFields, m)
  98. if !nerr.Merge(err) {
  99. return text.Value{}, err
  100. }
  101. // Handle unknown fields.
  102. // TODO: Provide option to exclude or include unknown fields.
  103. msgFields = appendUnknown(msgFields, m.GetUnknown())
  104. return text.ValueOf(msgFields), nerr.E
  105. }
  106. // appendField marshals a protoreflect.Value and appends it to the given [][2]text.Value.
  107. func (o MarshalOptions) appendField(msgFields [][2]text.Value, name text.Value, pval pref.Value, fd pref.FieldDescriptor) ([][2]text.Value, error) {
  108. var nerr errors.NonFatal
  109. switch {
  110. case fd.IsList():
  111. items, err := o.marshalList(pval.List(), fd)
  112. if !nerr.Merge(err) {
  113. return msgFields, err
  114. }
  115. for _, item := range items {
  116. msgFields = append(msgFields, [2]text.Value{name, item})
  117. }
  118. case fd.IsMap():
  119. items, err := o.marshalMap(pval.Map(), fd)
  120. if !nerr.Merge(err) {
  121. return msgFields, err
  122. }
  123. for _, item := range items {
  124. msgFields = append(msgFields, [2]text.Value{name, item})
  125. }
  126. default:
  127. tval, err := o.marshalSingular(pval, fd)
  128. if !nerr.Merge(err) {
  129. return msgFields, err
  130. }
  131. msgFields = append(msgFields, [2]text.Value{name, tval})
  132. }
  133. return msgFields, nerr.E
  134. }
  135. // marshalSingular converts a non-repeated field value to text.Value.
  136. // This includes all scalar types, enums, messages, and groups.
  137. func (o MarshalOptions) marshalSingular(val pref.Value, fd pref.FieldDescriptor) (text.Value, error) {
  138. kind := fd.Kind()
  139. switch kind {
  140. case pref.BoolKind,
  141. pref.Int32Kind, pref.Sint32Kind, pref.Uint32Kind,
  142. pref.Int64Kind, pref.Sint64Kind, pref.Uint64Kind,
  143. pref.Sfixed32Kind, pref.Fixed32Kind,
  144. pref.Sfixed64Kind, pref.Fixed64Kind,
  145. pref.FloatKind, pref.DoubleKind,
  146. pref.BytesKind:
  147. return text.ValueOf(val.Interface()), nil
  148. case pref.StringKind:
  149. s := val.String()
  150. if utf8.ValidString(s) {
  151. return text.ValueOf(s), nil
  152. }
  153. var nerr errors.NonFatal
  154. nerr.AppendInvalidUTF8(string(fd.FullName()))
  155. return text.ValueOf(s), nerr.E
  156. case pref.EnumKind:
  157. num := val.Enum()
  158. if desc := fd.Enum().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. case pref.MessageKind, pref.GroupKind:
  164. return o.marshalMessage(val.Message())
  165. }
  166. panic(fmt.Sprintf("%v has unknown kind: %v", fd.FullName(), kind))
  167. }
  168. // marshalList converts a protoreflect.List to []text.Value.
  169. func (o MarshalOptions) marshalList(list pref.List, fd pref.FieldDescriptor) ([]text.Value, error) {
  170. var nerr errors.NonFatal
  171. size := list.Len()
  172. values := make([]text.Value, 0, size)
  173. for i := 0; i < size; i++ {
  174. item := list.Get(i)
  175. val, err := o.marshalSingular(item, fd)
  176. if !nerr.Merge(err) {
  177. // Return already marshaled values.
  178. return values, err
  179. }
  180. values = append(values, val)
  181. }
  182. return values, nerr.E
  183. }
  184. var (
  185. mapKeyName = text.ValueOf(pref.Name("key"))
  186. mapValueName = text.ValueOf(pref.Name("value"))
  187. )
  188. // marshalMap converts a protoreflect.Map to []text.Value.
  189. func (o MarshalOptions) marshalMap(mmap pref.Map, fd pref.FieldDescriptor) ([]text.Value, error) {
  190. var nerr errors.NonFatal
  191. // values is a list of messages.
  192. values := make([]text.Value, 0, mmap.Len())
  193. var err error
  194. mapsort.Range(mmap, fd.MapKey().Kind(), func(key pref.MapKey, val pref.Value) bool {
  195. var keyTxtVal text.Value
  196. keyTxtVal, err = o.marshalSingular(key.Value(), fd.MapKey())
  197. if !nerr.Merge(err) {
  198. return false
  199. }
  200. var valTxtVal text.Value
  201. valTxtVal, err = o.marshalSingular(val, fd.MapValue())
  202. if !nerr.Merge(err) {
  203. return false
  204. }
  205. // Map entry (message) contains 2 fields, first field for key and second field for value.
  206. msg := text.ValueOf([][2]text.Value{
  207. {mapKeyName, keyTxtVal},
  208. {mapValueName, valTxtVal},
  209. })
  210. values = append(values, msg)
  211. err = nil
  212. return true
  213. })
  214. if err != nil {
  215. return nil, err
  216. }
  217. return values, nerr.E
  218. }
  219. // appendExtensions marshals extension fields and appends them to the given [][2]text.Value.
  220. func (o MarshalOptions) appendExtensions(msgFields [][2]text.Value, m pref.Message) ([][2]text.Value, error) {
  221. var nerr errors.NonFatal
  222. var err error
  223. var entries [][2]text.Value
  224. m.Range(func(fd pref.FieldDescriptor, v pref.Value) bool {
  225. if !fd.IsExtension() {
  226. return true
  227. }
  228. xt := fd.(pref.ExtensionType)
  229. // If extended type is a MessageSet, set field name to be the message type name.
  230. name := xt.Descriptor().FullName()
  231. if isMessageSetExtension(xt) {
  232. name = xt.Descriptor().Message().FullName()
  233. }
  234. // Use string type to produce [name] format.
  235. tname := text.ValueOf(string(name))
  236. entries, err = o.appendField(entries, tname, v, xt)
  237. if !nerr.Merge(err) {
  238. return false
  239. }
  240. err = nil
  241. return true
  242. })
  243. if err != nil {
  244. return msgFields, err
  245. }
  246. // Sort extensions lexicographically and append to output.
  247. sort.SliceStable(entries, func(i, j int) bool {
  248. return entries[i][0].String() < entries[j][0].String()
  249. })
  250. return append(msgFields, entries...), nerr.E
  251. }
  252. // isMessageSetExtension reports whether extension extends a message set.
  253. func isMessageSetExtension(xt pref.ExtensionType) bool {
  254. xd := xt.Descriptor()
  255. if xd.Name() != "message_set_extension" {
  256. return false
  257. }
  258. md := xd.Message()
  259. if md == nil {
  260. return false
  261. }
  262. if xd.FullName().Parent() != md.FullName() {
  263. return false
  264. }
  265. xmd, ok := xd.ContainingMessage().(interface{ IsMessageSet() bool })
  266. return ok && xmd.IsMessageSet()
  267. }
  268. // appendUnknown parses the given []byte and appends field(s) into the given fields slice.
  269. // This function assumes proper encoding in the given []byte.
  270. func appendUnknown(fields [][2]text.Value, b []byte) [][2]text.Value {
  271. for len(b) > 0 {
  272. var value interface{}
  273. num, wtype, n := wire.ConsumeTag(b)
  274. b = b[n:]
  275. switch wtype {
  276. case wire.VarintType:
  277. value, n = wire.ConsumeVarint(b)
  278. case wire.Fixed32Type:
  279. value, n = wire.ConsumeFixed32(b)
  280. case wire.Fixed64Type:
  281. value, n = wire.ConsumeFixed64(b)
  282. case wire.BytesType:
  283. value, n = wire.ConsumeBytes(b)
  284. case wire.StartGroupType:
  285. var v []byte
  286. v, n = wire.ConsumeGroup(num, b)
  287. var msg [][2]text.Value
  288. value = appendUnknown(msg, v)
  289. default:
  290. panic(fmt.Sprintf("error parsing unknown field wire type: %v", wtype))
  291. }
  292. fields = append(fields, [2]text.Value{text.ValueOf(uint32(num)), text.ValueOf(value)})
  293. b = b[n:]
  294. }
  295. return fields
  296. }
  297. // marshalAny converts a google.protobuf.Any protoreflect.Message to a text.Value.
  298. func (o MarshalOptions) marshalAny(m pref.Message) (text.Value, error) {
  299. fds := m.Descriptor().Fields()
  300. fdType := fds.ByNumber(fieldnum.Any_TypeUrl)
  301. fdValue := fds.ByNumber(fieldnum.Any_Value)
  302. typeURL := m.Get(fdType).String()
  303. value := m.Get(fdValue)
  304. var nerr errors.NonFatal
  305. emt, err := o.Resolver.FindMessageByURL(typeURL)
  306. if !nerr.Merge(err) {
  307. return text.Value{}, err
  308. }
  309. em := emt.New().Interface()
  310. // TODO: Need to set types registry in binary unmarshaling.
  311. // TODO: If binary unmarshaling returns required not set error, need to
  312. // return another required not set error that contains both the path to this
  313. // field and the path inside the embedded message.
  314. err = proto.UnmarshalOptions{
  315. AllowPartial: o.AllowPartial,
  316. }.Unmarshal(value.Bytes(), em)
  317. if !nerr.Merge(err) {
  318. return text.Value{}, err
  319. }
  320. msg, err := o.marshalMessage(em.ProtoReflect())
  321. if !nerr.Merge(err) {
  322. return text.Value{}, err
  323. }
  324. // Expanded Any field value contains only a single field with the type_url field value as the
  325. // field name in [] and a text marshaled field value of the embedded message.
  326. msgFields := [][2]text.Value{
  327. {
  328. text.ValueOf(typeURL),
  329. msg,
  330. },
  331. }
  332. return text.ValueOf(msgFields), nerr.E
  333. }