blob: cb82ec214341a8978c94fa658504ceb96cb91177 [file] [log] [blame]
David K. Bainbridge215e0242017-09-05 23:18:24 -07001// Copyright 2011 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 xml
6
7import (
8 "bufio"
9 "bytes"
10 "encoding"
11 "fmt"
12 "io"
13 "reflect"
14 "strconv"
15 "strings"
16)
17
18const (
19 // A generic XML header suitable for use with the output of Marshal.
20 // This is not automatically added to any output of this package,
21 // it is provided as a convenience.
22 Header = `<?xml version="1.0" encoding="UTF-8"?>` + "\n"
23)
24
25// Marshal returns the XML encoding of v.
26//
27// Marshal handles an array or slice by marshalling each of the elements.
28// Marshal handles a pointer by marshalling the value it points at or, if the
29// pointer is nil, by writing nothing. Marshal handles an interface value by
30// marshalling the value it contains or, if the interface value is nil, by
31// writing nothing. Marshal handles all other data by writing one or more XML
32// elements containing the data.
33//
34// The name for the XML elements is taken from, in order of preference:
35// - the tag on the XMLName field, if the data is a struct
36// - the value of the XMLName field of type xml.Name
37// - the tag of the struct field used to obtain the data
38// - the name of the struct field used to obtain the data
39// - the name of the marshalled type
40//
41// The XML element for a struct contains marshalled elements for each of the
42// exported fields of the struct, with these exceptions:
43// - the XMLName field, described above, is omitted.
44// - a field with tag "-" is omitted.
45// - a field with tag "name,attr" becomes an attribute with
46// the given name in the XML element.
47// - a field with tag ",attr" becomes an attribute with the
48// field name in the XML element.
49// - a field with tag ",chardata" is written as character data,
50// not as an XML element.
51// - a field with tag ",innerxml" is written verbatim, not subject
52// to the usual marshalling procedure.
53// - a field with tag ",comment" is written as an XML comment, not
54// subject to the usual marshalling procedure. It must not contain
55// the "--" string within it.
56// - a field with a tag including the "omitempty" option is omitted
57// if the field value is empty. The empty values are false, 0, any
58// nil pointer or interface value, and any array, slice, map, or
59// string of length zero.
60// - an anonymous struct field is handled as if the fields of its
61// value were part of the outer struct.
62//
63// If a field uses a tag "a>b>c", then the element c will be nested inside
64// parent elements a and b. Fields that appear next to each other that name
65// the same parent will be enclosed in one XML element.
66//
67// See MarshalIndent for an example.
68//
69// Marshal will return an error if asked to marshal a channel, function, or map.
70func Marshal(v interface{}) ([]byte, error) {
71 var b bytes.Buffer
72 if err := NewEncoder(&b).Encode(v); err != nil {
73 return nil, err
74 }
75 return b.Bytes(), nil
76}
77
78// Marshaler is the interface implemented by objects that can marshal
79// themselves into valid XML elements.
80//
81// MarshalXML encodes the receiver as zero or more XML elements.
82// By convention, arrays or slices are typically encoded as a sequence
83// of elements, one per entry.
84// Using start as the element tag is not required, but doing so
85// will enable Unmarshal to match the XML elements to the correct
86// struct field.
87// One common implementation strategy is to construct a separate
88// value with a layout corresponding to the desired XML and then
89// to encode it using e.EncodeElement.
90// Another common strategy is to use repeated calls to e.EncodeToken
91// to generate the XML output one token at a time.
92// The sequence of encoded tokens must make up zero or more valid
93// XML elements.
94type Marshaler interface {
95 MarshalXML(e *Encoder, start StartElement) error
96}
97
98// MarshalerAttr is the interface implemented by objects that can marshal
99// themselves into valid XML attributes.
100//
101// MarshalXMLAttr returns an XML attribute with the encoded value of the receiver.
102// Using name as the attribute name is not required, but doing so
103// will enable Unmarshal to match the attribute to the correct
104// struct field.
105// If MarshalXMLAttr returns the zero attribute Attr{}, no attribute
106// will be generated in the output.
107// MarshalXMLAttr is used only for struct fields with the
108// "attr" option in the field tag.
109type MarshalerAttr interface {
110 MarshalXMLAttr(name Name) (Attr, error)
111}
112
113// MarshalIndent works like Marshal, but each XML element begins on a new
114// indented line that starts with prefix and is followed by one or more
115// copies of indent according to the nesting depth.
116func MarshalIndent(v interface{}, prefix, indent string) ([]byte, error) {
117 var b bytes.Buffer
118 enc := NewEncoder(&b)
119 enc.Indent(prefix, indent)
120 if err := enc.Encode(v); err != nil {
121 return nil, err
122 }
123 return b.Bytes(), nil
124}
125
126// An Encoder writes XML data to an output stream.
127type Encoder struct {
128 p printer
129}
130
131// NewEncoder returns a new encoder that writes to w.
132func NewEncoder(w io.Writer) *Encoder {
133 e := &Encoder{printer{Writer: bufio.NewWriter(w)}}
134 e.p.encoder = e
135 return e
136}
137
138// Indent sets the encoder to generate XML in which each element
139// begins on a new indented line that starts with prefix and is followed by
140// one or more copies of indent according to the nesting depth.
141func (enc *Encoder) Indent(prefix, indent string) {
142 enc.p.prefix = prefix
143 enc.p.indent = indent
144}
145
146// Encode writes the XML encoding of v to the stream.
147//
148// See the documentation for Marshal for details about the conversion
149// of Go values to XML.
150//
151// Encode calls Flush before returning.
152func (enc *Encoder) Encode(v interface{}) error {
153 err := enc.p.marshalValue(reflect.ValueOf(v), nil, nil)
154 if err != nil {
155 return err
156 }
157 return enc.p.Flush()
158}
159
160// EncodeElement writes the XML encoding of v to the stream,
161// using start as the outermost tag in the encoding.
162//
163// See the documentation for Marshal for details about the conversion
164// of Go values to XML.
165//
166// EncodeElement calls Flush before returning.
167func (enc *Encoder) EncodeElement(v interface{}, start StartElement) error {
168 err := enc.p.marshalValue(reflect.ValueOf(v), nil, &start)
169 if err != nil {
170 return err
171 }
172 return enc.p.Flush()
173}
174
175var (
176 begComment = []byte("<!--")
177 endComment = []byte("-->")
178 endProcInst = []byte("?>")
179 endDirective = []byte(">")
180)
181
182// EncodeToken writes the given XML token to the stream.
183// It returns an error if StartElement and EndElement tokens are not
184// properly matched.
185//
186// EncodeToken does not call Flush, because usually it is part of a
187// larger operation such as Encode or EncodeElement (or a custom
188// Marshaler's MarshalXML invoked during those), and those will call
189// Flush when finished. Callers that create an Encoder and then invoke
190// EncodeToken directly, without using Encode or EncodeElement, need to
191// call Flush when finished to ensure that the XML is written to the
192// underlying writer.
193//
194// EncodeToken allows writing a ProcInst with Target set to "xml" only
195// as the first token in the stream.
196//
197// When encoding a StartElement holding an XML namespace prefix
198// declaration for a prefix that is not already declared, contained
199// elements (including the StartElement itself) will use the declared
200// prefix when encoding names with matching namespace URIs.
201func (enc *Encoder) EncodeToken(t Token) error {
202
203 p := &enc.p
204 switch t := t.(type) {
205 case StartElement:
206 if err := p.writeStart(&t); err != nil {
207 return err
208 }
209 case EndElement:
210 if err := p.writeEnd(t.Name); err != nil {
211 return err
212 }
213 case CharData:
214 escapeText(p, t, false)
215 case Comment:
216 if bytes.Contains(t, endComment) {
217 return fmt.Errorf("xml: EncodeToken of Comment containing --> marker")
218 }
219 p.WriteString("<!--")
220 p.Write(t)
221 p.WriteString("-->")
222 return p.cachedWriteError()
223 case ProcInst:
224 // First token to be encoded which is also a ProcInst with target of xml
225 // is the xml declaration. The only ProcInst where target of xml is allowed.
226 if t.Target == "xml" && p.Buffered() != 0 {
227 return fmt.Errorf("xml: EncodeToken of ProcInst xml target only valid for xml declaration, first token encoded")
228 }
229 if !isNameString(t.Target) {
230 return fmt.Errorf("xml: EncodeToken of ProcInst with invalid Target")
231 }
232 if bytes.Contains(t.Inst, endProcInst) {
233 return fmt.Errorf("xml: EncodeToken of ProcInst containing ?> marker")
234 }
235 p.WriteString("<?")
236 p.WriteString(t.Target)
237 if len(t.Inst) > 0 {
238 p.WriteByte(' ')
239 p.Write(t.Inst)
240 }
241 p.WriteString("?>")
242 case Directive:
243 if !isValidDirective(t) {
244 return fmt.Errorf("xml: EncodeToken of Directive containing wrong < or > markers")
245 }
246 p.WriteString("<!")
247 p.Write(t)
248 p.WriteString(">")
249 default:
250 return fmt.Errorf("xml: EncodeToken of invalid token type")
251
252 }
253 return p.cachedWriteError()
254}
255
256// isValidDirective reports whether dir is a valid directive text,
257// meaning angle brackets are matched, ignoring comments and strings.
258func isValidDirective(dir Directive) bool {
259 var (
260 depth int
261 inquote uint8
262 incomment bool
263 )
264 for i, c := range dir {
265 switch {
266 case incomment:
267 if c == '>' {
268 if n := 1 + i - len(endComment); n >= 0 && bytes.Equal(dir[n:i+1], endComment) {
269 incomment = false
270 }
271 }
272 // Just ignore anything in comment
273 case inquote != 0:
274 if c == inquote {
275 inquote = 0
276 }
277 // Just ignore anything within quotes
278 case c == '\'' || c == '"':
279 inquote = c
280 case c == '<':
281 if i+len(begComment) < len(dir) && bytes.Equal(dir[i:i+len(begComment)], begComment) {
282 incomment = true
283 } else {
284 depth++
285 }
286 case c == '>':
287 if depth == 0 {
288 return false
289 }
290 depth--
291 }
292 }
293 return depth == 0 && inquote == 0 && !incomment
294}
295
296// Flush flushes any buffered XML to the underlying writer.
297// See the EncodeToken documentation for details about when it is necessary.
298func (enc *Encoder) Flush() error {
299 return enc.p.Flush()
300}
301
302type printer struct {
303 *bufio.Writer
304 encoder *Encoder
305 seq int
306 indent string
307 prefix string
308 depth int
309 indentedIn bool
310 putNewline bool
311 defaultNS string
312 attrNS map[string]string // map prefix -> name space
313 attrPrefix map[string]string // map name space -> prefix
314 prefixes []printerPrefix
315 tags []Name
316}
317
318// printerPrefix holds a namespace undo record.
319// When an element is popped, the prefix record
320// is set back to the recorded URL. The empty
321// prefix records the URL for the default name space.
322//
323// The start of an element is recorded with an element
324// that has mark=true.
325type printerPrefix struct {
326 prefix string
327 url string
328 mark bool
329}
330
331func (p *printer) prefixForNS(url string, isAttr bool) string {
332 // The "http://www.w3.org/XML/1998/namespace" name space is predefined as "xml"
333 // and must be referred to that way.
334 // (The "http://www.w3.org/2000/xmlns/" name space is also predefined as "xmlns",
335 // but users should not be trying to use that one directly - that's our job.)
336 if url == xmlURL {
337 return "xml"
338 }
339 if !isAttr && url == p.defaultNS {
340 // We can use the default name space.
341 return ""
342 }
343 return p.attrPrefix[url]
344}
345
346// defineNS pushes any namespace definition found in the given attribute.
347// If ignoreNonEmptyDefault is true, an xmlns="nonempty"
348// attribute will be ignored.
349func (p *printer) defineNS(attr Attr, ignoreNonEmptyDefault bool) error {
350 var prefix string
351 if attr.Name.Local == "xmlns" {
352 if attr.Name.Space != "" && attr.Name.Space != "xml" && attr.Name.Space != xmlURL {
353 return fmt.Errorf("xml: cannot redefine xmlns attribute prefix")
354 }
355 } else if attr.Name.Space == "xmlns" && attr.Name.Local != "" {
356 prefix = attr.Name.Local
357 if attr.Value == "" {
358 // Technically, an empty XML namespace is allowed for an attribute.
359 // From http://www.w3.org/TR/xml-names11/#scoping-defaulting:
360 //
361 // The attribute value in a namespace declaration for a prefix may be
362 // empty. This has the effect, within the scope of the declaration, of removing
363 // any association of the prefix with a namespace name.
364 //
365 // However our namespace prefixes here are used only as hints. There's
366 // no need to respect the removal of a namespace prefix, so we ignore it.
367 return nil
368 }
369 } else {
370 // Ignore: it's not a namespace definition
371 return nil
372 }
373 if prefix == "" {
374 if attr.Value == p.defaultNS {
375 // No need for redefinition.
376 return nil
377 }
378 if attr.Value != "" && ignoreNonEmptyDefault {
379 // We have an xmlns="..." value but
380 // it can't define a name space in this context,
381 // probably because the element has an empty
382 // name space. In this case, we just ignore
383 // the name space declaration.
384 return nil
385 }
386 } else if _, ok := p.attrPrefix[attr.Value]; ok {
387 // There's already a prefix for the given name space,
388 // so use that. This prevents us from
389 // having two prefixes for the same name space
390 // so attrNS and attrPrefix can remain bijective.
391 return nil
392 }
393 p.pushPrefix(prefix, attr.Value)
394 return nil
395}
396
397// createNSPrefix creates a name space prefix attribute
398// to use for the given name space, defining a new prefix
399// if necessary.
400// If isAttr is true, the prefix is to be created for an attribute
401// prefix, which means that the default name space cannot
402// be used.
403func (p *printer) createNSPrefix(url string, isAttr bool) {
404 if _, ok := p.attrPrefix[url]; ok {
405 // We already have a prefix for the given URL.
406 return
407 }
408 switch {
409 case !isAttr && url == p.defaultNS:
410 // We can use the default name space.
411 return
412 case url == "":
413 // The only way we can encode names in the empty
414 // name space is by using the default name space,
415 // so we must use that.
416 if p.defaultNS != "" {
417 // The default namespace is non-empty, so we
418 // need to set it to empty.
419 p.pushPrefix("", "")
420 }
421 return
422 case url == xmlURL:
423 return
424 }
425 // TODO If the URL is an existing prefix, we could
426 // use it as is. That would enable the
427 // marshaling of elements that had been unmarshaled
428 // and with a name space prefix that was not found.
429 // although technically it would be incorrect.
430
431 // Pick a name. We try to use the final element of the path
432 // but fall back to _.
433 prefix := strings.TrimRight(url, "/")
434 if i := strings.LastIndex(prefix, "/"); i >= 0 {
435 prefix = prefix[i+1:]
436 }
437 if prefix == "" || !isName([]byte(prefix)) || strings.Contains(prefix, ":") {
438 prefix = "_"
439 }
440 if strings.HasPrefix(prefix, "xml") {
441 // xmlanything is reserved.
442 prefix = "_" + prefix
443 }
444 if p.attrNS[prefix] != "" {
445 // Name is taken. Find a better one.
446 for p.seq++; ; p.seq++ {
447 if id := prefix + "_" + strconv.Itoa(p.seq); p.attrNS[id] == "" {
448 prefix = id
449 break
450 }
451 }
452 }
453
454 p.pushPrefix(prefix, url)
455}
456
457// writeNamespaces writes xmlns attributes for all the
458// namespace prefixes that have been defined in
459// the current element.
460func (p *printer) writeNamespaces() {
461 for i := len(p.prefixes) - 1; i >= 0; i-- {
462 prefix := p.prefixes[i]
463 if prefix.mark {
464 return
465 }
466 p.WriteString(" ")
467 if prefix.prefix == "" {
468 // Default name space.
469 p.WriteString(`xmlns="`)
470 } else {
471 p.WriteString("xmlns:")
472 p.WriteString(prefix.prefix)
473 p.WriteString(`="`)
474 }
475 EscapeText(p, []byte(p.nsForPrefix(prefix.prefix)))
476 p.WriteString(`"`)
477 }
478}
479
480// pushPrefix pushes a new prefix on the prefix stack
481// without checking to see if it is already defined.
482func (p *printer) pushPrefix(prefix, url string) {
483 p.prefixes = append(p.prefixes, printerPrefix{
484 prefix: prefix,
485 url: p.nsForPrefix(prefix),
486 })
487 p.setAttrPrefix(prefix, url)
488}
489
490// nsForPrefix returns the name space for the given
491// prefix. Note that this is not valid for the
492// empty attribute prefix, which always has an empty
493// name space.
494func (p *printer) nsForPrefix(prefix string) string {
495 if prefix == "" {
496 return p.defaultNS
497 }
498 return p.attrNS[prefix]
499}
500
501// markPrefix marks the start of an element on the prefix
502// stack.
503func (p *printer) markPrefix() {
504 p.prefixes = append(p.prefixes, printerPrefix{
505 mark: true,
506 })
507}
508
509// popPrefix pops all defined prefixes for the current
510// element.
511func (p *printer) popPrefix() {
512 for len(p.prefixes) > 0 {
513 prefix := p.prefixes[len(p.prefixes)-1]
514 p.prefixes = p.prefixes[:len(p.prefixes)-1]
515 if prefix.mark {
516 break
517 }
518 p.setAttrPrefix(prefix.prefix, prefix.url)
519 }
520}
521
522// setAttrPrefix sets an attribute name space prefix.
523// If url is empty, the attribute is removed.
524// If prefix is empty, the default name space is set.
525func (p *printer) setAttrPrefix(prefix, url string) {
526 if prefix == "" {
527 p.defaultNS = url
528 return
529 }
530 if url == "" {
531 delete(p.attrPrefix, p.attrNS[prefix])
532 delete(p.attrNS, prefix)
533 return
534 }
535 if p.attrPrefix == nil {
536 // Need to define a new name space.
537 p.attrPrefix = make(map[string]string)
538 p.attrNS = make(map[string]string)
539 }
540 // Remove any old prefix value. This is OK because we maintain a
541 // strict one-to-one mapping between prefix and URL (see
542 // defineNS)
543 delete(p.attrPrefix, p.attrNS[prefix])
544 p.attrPrefix[url] = prefix
545 p.attrNS[prefix] = url
546}
547
548var (
549 marshalerType = reflect.TypeOf((*Marshaler)(nil)).Elem()
550 marshalerAttrType = reflect.TypeOf((*MarshalerAttr)(nil)).Elem()
551 textMarshalerType = reflect.TypeOf((*encoding.TextMarshaler)(nil)).Elem()
552)
553
554// marshalValue writes one or more XML elements representing val.
555// If val was obtained from a struct field, finfo must have its details.
556func (p *printer) marshalValue(val reflect.Value, finfo *fieldInfo, startTemplate *StartElement) error {
557 if startTemplate != nil && startTemplate.Name.Local == "" {
558 return fmt.Errorf("xml: EncodeElement of StartElement with missing name")
559 }
560
561 if !val.IsValid() {
562 return nil
563 }
564 if finfo != nil && finfo.flags&fOmitEmpty != 0 && isEmptyValue(val) {
565 return nil
566 }
567
568 // Drill into interfaces and pointers.
569 // This can turn into an infinite loop given a cyclic chain,
570 // but it matches the Go 1 behavior.
571 for val.Kind() == reflect.Interface || val.Kind() == reflect.Ptr {
572 if val.IsNil() {
573 return nil
574 }
575 val = val.Elem()
576 }
577
578 kind := val.Kind()
579 typ := val.Type()
580
581 // Check for marshaler.
582 if val.CanInterface() && typ.Implements(marshalerType) {
583 return p.marshalInterface(val.Interface().(Marshaler), p.defaultStart(typ, finfo, startTemplate))
584 }
585 if val.CanAddr() {
586 pv := val.Addr()
587 if pv.CanInterface() && pv.Type().Implements(marshalerType) {
588 return p.marshalInterface(pv.Interface().(Marshaler), p.defaultStart(pv.Type(), finfo, startTemplate))
589 }
590 }
591
592 // Check for text marshaler.
593 if val.CanInterface() && typ.Implements(textMarshalerType) {
594 return p.marshalTextInterface(val.Interface().(encoding.TextMarshaler), p.defaultStart(typ, finfo, startTemplate))
595 }
596 if val.CanAddr() {
597 pv := val.Addr()
598 if pv.CanInterface() && pv.Type().Implements(textMarshalerType) {
599 return p.marshalTextInterface(pv.Interface().(encoding.TextMarshaler), p.defaultStart(pv.Type(), finfo, startTemplate))
600 }
601 }
602
603 // Slices and arrays iterate over the elements. They do not have an enclosing tag.
604 if (kind == reflect.Slice || kind == reflect.Array) && typ.Elem().Kind() != reflect.Uint8 {
605 for i, n := 0, val.Len(); i < n; i++ {
606 if err := p.marshalValue(val.Index(i), finfo, startTemplate); err != nil {
607 return err
608 }
609 }
610 return nil
611 }
612
613 tinfo, err := getTypeInfo(typ)
614 if err != nil {
615 return err
616 }
617
618 // Create start element.
619 // Precedence for the XML element name is:
620 // 0. startTemplate
621 // 1. XMLName field in underlying struct;
622 // 2. field name/tag in the struct field; and
623 // 3. type name
624 var start StartElement
625
626 // explicitNS records whether the element's name space has been
627 // explicitly set (for example an XMLName field).
628 explicitNS := false
629
630 if startTemplate != nil {
631 start.Name = startTemplate.Name
632 explicitNS = true
633 start.Attr = append(start.Attr, startTemplate.Attr...)
634 } else if tinfo.xmlname != nil {
635 xmlname := tinfo.xmlname
636 if xmlname.name != "" {
637 start.Name.Space, start.Name.Local = xmlname.xmlns, xmlname.name
638 } else if v, ok := xmlname.value(val).Interface().(Name); ok && v.Local != "" {
639 start.Name = v
640 }
641 explicitNS = true
642 }
643 if start.Name.Local == "" && finfo != nil {
644 start.Name.Local = finfo.name
645 if finfo.xmlns != "" {
646 start.Name.Space = finfo.xmlns
647 explicitNS = true
648 }
649 }
650 if start.Name.Local == "" {
651 name := typ.Name()
652 if name == "" {
653 return &UnsupportedTypeError{typ}
654 }
655 start.Name.Local = name
656 }
657
658 // defaultNS records the default name space as set by a xmlns="..."
659 // attribute. We don't set p.defaultNS because we want to let
660 // the attribute writing code (in p.defineNS) be solely responsible
661 // for maintaining that.
662 defaultNS := p.defaultNS
663
664 // Attributes
665 for i := range tinfo.fields {
666 finfo := &tinfo.fields[i]
667 if finfo.flags&fAttr == 0 {
668 continue
669 }
670 attr, err := p.fieldAttr(finfo, val)
671 if err != nil {
672 return err
673 }
674 if attr.Name.Local == "" {
675 continue
676 }
677 start.Attr = append(start.Attr, attr)
678 if attr.Name.Space == "" && attr.Name.Local == "xmlns" {
679 defaultNS = attr.Value
680 }
681 }
682 if !explicitNS {
683 // Historic behavior: elements use the default name space
684 // they are contained in by default.
685 start.Name.Space = defaultNS
686 }
687 // Historic behaviour: an element that's in a namespace sets
688 // the default namespace for all elements contained within it.
689 start.setDefaultNamespace()
690
691 if err := p.writeStart(&start); err != nil {
692 return err
693 }
694
695 if val.Kind() == reflect.Struct {
696 err = p.marshalStruct(tinfo, val)
697 } else {
698 s, b, err1 := p.marshalSimple(typ, val)
699 if err1 != nil {
700 err = err1
701 } else if b != nil {
702 EscapeText(p, b)
703 } else {
704 p.EscapeString(s)
705 }
706 }
707 if err != nil {
708 return err
709 }
710
711 if err := p.writeEnd(start.Name); err != nil {
712 return err
713 }
714
715 return p.cachedWriteError()
716}
717
718// fieldAttr returns the attribute of the given field.
719// If the returned attribute has an empty Name.Local,
720// it should not be used.
721// The given value holds the value containing the field.
722func (p *printer) fieldAttr(finfo *fieldInfo, val reflect.Value) (Attr, error) {
723 fv := finfo.value(val)
724 name := Name{Space: finfo.xmlns, Local: finfo.name}
725 if finfo.flags&fOmitEmpty != 0 && isEmptyValue(fv) {
726 return Attr{}, nil
727 }
728 if fv.Kind() == reflect.Interface && fv.IsNil() {
729 return Attr{}, nil
730 }
731 if fv.CanInterface() && fv.Type().Implements(marshalerAttrType) {
732 attr, err := fv.Interface().(MarshalerAttr).MarshalXMLAttr(name)
733 return attr, err
734 }
735 if fv.CanAddr() {
736 pv := fv.Addr()
737 if pv.CanInterface() && pv.Type().Implements(marshalerAttrType) {
738 attr, err := pv.Interface().(MarshalerAttr).MarshalXMLAttr(name)
739 return attr, err
740 }
741 }
742 if fv.CanInterface() && fv.Type().Implements(textMarshalerType) {
743 text, err := fv.Interface().(encoding.TextMarshaler).MarshalText()
744 if err != nil {
745 return Attr{}, err
746 }
747 return Attr{name, string(text)}, nil
748 }
749 if fv.CanAddr() {
750 pv := fv.Addr()
751 if pv.CanInterface() && pv.Type().Implements(textMarshalerType) {
752 text, err := pv.Interface().(encoding.TextMarshaler).MarshalText()
753 if err != nil {
754 return Attr{}, err
755 }
756 return Attr{name, string(text)}, nil
757 }
758 }
759 // Dereference or skip nil pointer, interface values.
760 switch fv.Kind() {
761 case reflect.Ptr, reflect.Interface:
762 if fv.IsNil() {
763 return Attr{}, nil
764 }
765 fv = fv.Elem()
766 }
767 s, b, err := p.marshalSimple(fv.Type(), fv)
768 if err != nil {
769 return Attr{}, err
770 }
771 if b != nil {
772 s = string(b)
773 }
774 return Attr{name, s}, nil
775}
776
777// defaultStart returns the default start element to use,
778// given the reflect type, field info, and start template.
779func (p *printer) defaultStart(typ reflect.Type, finfo *fieldInfo, startTemplate *StartElement) StartElement {
780 var start StartElement
781 // Precedence for the XML element name is as above,
782 // except that we do not look inside structs for the first field.
783 if startTemplate != nil {
784 start.Name = startTemplate.Name
785 start.Attr = append(start.Attr, startTemplate.Attr...)
786 } else if finfo != nil && finfo.name != "" {
787 start.Name.Local = finfo.name
788 start.Name.Space = finfo.xmlns
789 } else if typ.Name() != "" {
790 start.Name.Local = typ.Name()
791 } else {
792 // Must be a pointer to a named type,
793 // since it has the Marshaler methods.
794 start.Name.Local = typ.Elem().Name()
795 }
796 // Historic behaviour: elements use the name space of
797 // the element they are contained in by default.
798 if start.Name.Space == "" {
799 start.Name.Space = p.defaultNS
800 }
801 start.setDefaultNamespace()
802 return start
803}
804
805// marshalInterface marshals a Marshaler interface value.
806func (p *printer) marshalInterface(val Marshaler, start StartElement) error {
807 // Push a marker onto the tag stack so that MarshalXML
808 // cannot close the XML tags that it did not open.
809 p.tags = append(p.tags, Name{})
810 n := len(p.tags)
811
812 err := val.MarshalXML(p.encoder, start)
813 if err != nil {
814 return err
815 }
816
817 // Make sure MarshalXML closed all its tags. p.tags[n-1] is the mark.
818 if len(p.tags) > n {
819 return fmt.Errorf("xml: %s.MarshalXML wrote invalid XML: <%s> not closed", receiverType(val), p.tags[len(p.tags)-1].Local)
820 }
821 p.tags = p.tags[:n-1]
822 return nil
823}
824
825// marshalTextInterface marshals a TextMarshaler interface value.
826func (p *printer) marshalTextInterface(val encoding.TextMarshaler, start StartElement) error {
827 if err := p.writeStart(&start); err != nil {
828 return err
829 }
830 text, err := val.MarshalText()
831 if err != nil {
832 return err
833 }
834 EscapeText(p, text)
835 return p.writeEnd(start.Name)
836}
837
838// writeStart writes the given start element.
839func (p *printer) writeStart(start *StartElement) error {
840 if start.Name.Local == "" {
841 return fmt.Errorf("xml: start tag with no name")
842 }
843
844 p.tags = append(p.tags, start.Name)
845 p.markPrefix()
846 // Define any name spaces explicitly declared in the attributes.
847 // We do this as a separate pass so that explicitly declared prefixes
848 // will take precedence over implicitly declared prefixes
849 // regardless of the order of the attributes.
850 ignoreNonEmptyDefault := start.Name.Space == ""
851 for _, attr := range start.Attr {
852 if err := p.defineNS(attr, ignoreNonEmptyDefault); err != nil {
853 return err
854 }
855 }
856 // Define any new name spaces implied by the attributes.
857 for _, attr := range start.Attr {
858 name := attr.Name
859 // From http://www.w3.org/TR/xml-names11/#defaulting
860 // "Default namespace declarations do not apply directly
861 // to attribute names; the interpretation of unprefixed
862 // attributes is determined by the element on which they
863 // appear."
864 // This means we don't need to create a new namespace
865 // when an attribute name space is empty.
866 if name.Space != "" && !name.isNamespace() {
867 p.createNSPrefix(name.Space, true)
868 }
869 }
870 p.createNSPrefix(start.Name.Space, false)
871
872 p.writeIndent(1)
873 p.WriteByte('<')
874 p.writeName(start.Name, false)
875 p.writeNamespaces()
876 for _, attr := range start.Attr {
877 name := attr.Name
878 if name.Local == "" || name.isNamespace() {
879 // Namespaces have already been written by writeNamespaces above.
880 continue
881 }
882 p.WriteByte(' ')
883 p.writeName(name, true)
884 p.WriteString(`="`)
885 p.EscapeString(attr.Value)
886 p.WriteByte('"')
887 }
888 p.WriteByte('>')
889 return nil
890}
891
892// writeName writes the given name. It assumes
893// that p.createNSPrefix(name) has already been called.
894func (p *printer) writeName(name Name, isAttr bool) {
895 if prefix := p.prefixForNS(name.Space, isAttr); prefix != "" {
896 p.WriteString(prefix)
897 p.WriteByte(':')
898 }
899 p.WriteString(name.Local)
900}
901
902func (p *printer) writeEnd(name Name) error {
903 if name.Local == "" {
904 return fmt.Errorf("xml: end tag with no name")
905 }
906 if len(p.tags) == 0 || p.tags[len(p.tags)-1].Local == "" {
907 return fmt.Errorf("xml: end tag </%s> without start tag", name.Local)
908 }
909 if top := p.tags[len(p.tags)-1]; top != name {
910 if top.Local != name.Local {
911 return fmt.Errorf("xml: end tag </%s> does not match start tag <%s>", name.Local, top.Local)
912 }
913 return fmt.Errorf("xml: end tag </%s> in namespace %s does not match start tag <%s> in namespace %s", name.Local, name.Space, top.Local, top.Space)
914 }
915 p.tags = p.tags[:len(p.tags)-1]
916
917 p.writeIndent(-1)
918 p.WriteByte('<')
919 p.WriteByte('/')
920 p.writeName(name, false)
921 p.WriteByte('>')
922 p.popPrefix()
923 return nil
924}
925
926func (p *printer) marshalSimple(typ reflect.Type, val reflect.Value) (string, []byte, error) {
927 switch val.Kind() {
928 case reflect.Int, reflect.Int8, reflect.Int16, reflect.Int32, reflect.Int64:
929 return strconv.FormatInt(val.Int(), 10), nil, nil
930 case reflect.Uint, reflect.Uint8, reflect.Uint16, reflect.Uint32, reflect.Uint64, reflect.Uintptr:
931 return strconv.FormatUint(val.Uint(), 10), nil, nil
932 case reflect.Float32, reflect.Float64:
933 return strconv.FormatFloat(val.Float(), 'g', -1, val.Type().Bits()), nil, nil
934 case reflect.String:
935 return val.String(), nil, nil
936 case reflect.Bool:
937 return strconv.FormatBool(val.Bool()), nil, nil
938 case reflect.Array:
939 if typ.Elem().Kind() != reflect.Uint8 {
940 break
941 }
942 // [...]byte
943 var bytes []byte
944 if val.CanAddr() {
945 bytes = val.Slice(0, val.Len()).Bytes()
946 } else {
947 bytes = make([]byte, val.Len())
948 reflect.Copy(reflect.ValueOf(bytes), val)
949 }
950 return "", bytes, nil
951 case reflect.Slice:
952 if typ.Elem().Kind() != reflect.Uint8 {
953 break
954 }
955 // []byte
956 return "", val.Bytes(), nil
957 }
958 return "", nil, &UnsupportedTypeError{typ}
959}
960
961var ddBytes = []byte("--")
962
963func (p *printer) marshalStruct(tinfo *typeInfo, val reflect.Value) error {
964 s := parentStack{p: p}
965 for i := range tinfo.fields {
966 finfo := &tinfo.fields[i]
967 if finfo.flags&fAttr != 0 {
968 continue
969 }
970 vf := finfo.value(val)
971
972 // Dereference or skip nil pointer, interface values.
973 switch vf.Kind() {
974 case reflect.Ptr, reflect.Interface:
975 if !vf.IsNil() {
976 vf = vf.Elem()
977 }
978 }
979
980 switch finfo.flags & fMode {
981 case fCharData:
982 if err := s.setParents(&noField, reflect.Value{}); err != nil {
983 return err
984 }
985 if vf.CanInterface() && vf.Type().Implements(textMarshalerType) {
986 data, err := vf.Interface().(encoding.TextMarshaler).MarshalText()
987 if err != nil {
988 return err
989 }
990 Escape(p, data)
991 continue
992 }
993 if vf.CanAddr() {
994 pv := vf.Addr()
995 if pv.CanInterface() && pv.Type().Implements(textMarshalerType) {
996 data, err := pv.Interface().(encoding.TextMarshaler).MarshalText()
997 if err != nil {
998 return err
999 }
1000 Escape(p, data)
1001 continue
1002 }
1003 }
1004 var scratch [64]byte
1005 switch vf.Kind() {
1006 case reflect.Int, reflect.Int8, reflect.Int16, reflect.Int32, reflect.Int64:
1007 Escape(p, strconv.AppendInt(scratch[:0], vf.Int(), 10))
1008 case reflect.Uint, reflect.Uint8, reflect.Uint16, reflect.Uint32, reflect.Uint64, reflect.Uintptr:
1009 Escape(p, strconv.AppendUint(scratch[:0], vf.Uint(), 10))
1010 case reflect.Float32, reflect.Float64:
1011 Escape(p, strconv.AppendFloat(scratch[:0], vf.Float(), 'g', -1, vf.Type().Bits()))
1012 case reflect.Bool:
1013 Escape(p, strconv.AppendBool(scratch[:0], vf.Bool()))
1014 case reflect.String:
1015 if err := EscapeText(p, []byte(vf.String())); err != nil {
1016 return err
1017 }
1018 case reflect.Slice:
1019 if elem, ok := vf.Interface().([]byte); ok {
1020 if err := EscapeText(p, elem); err != nil {
1021 return err
1022 }
1023 }
1024 }
1025 continue
1026
1027 case fComment:
1028 if err := s.setParents(&noField, reflect.Value{}); err != nil {
1029 return err
1030 }
1031 k := vf.Kind()
1032 if !(k == reflect.String || k == reflect.Slice && vf.Type().Elem().Kind() == reflect.Uint8) {
1033 return fmt.Errorf("xml: bad type for comment field of %s", val.Type())
1034 }
1035 if vf.Len() == 0 {
1036 continue
1037 }
1038 p.writeIndent(0)
1039 p.WriteString("<!--")
1040 dashDash := false
1041 dashLast := false
1042 switch k {
1043 case reflect.String:
1044 s := vf.String()
1045 dashDash = strings.Index(s, "--") >= 0
1046 dashLast = s[len(s)-1] == '-'
1047 if !dashDash {
1048 p.WriteString(s)
1049 }
1050 case reflect.Slice:
1051 b := vf.Bytes()
1052 dashDash = bytes.Index(b, ddBytes) >= 0
1053 dashLast = b[len(b)-1] == '-'
1054 if !dashDash {
1055 p.Write(b)
1056 }
1057 default:
1058 panic("can't happen")
1059 }
1060 if dashDash {
1061 return fmt.Errorf(`xml: comments must not contain "--"`)
1062 }
1063 if dashLast {
1064 // "--->" is invalid grammar. Make it "- -->"
1065 p.WriteByte(' ')
1066 }
1067 p.WriteString("-->")
1068 continue
1069
1070 case fInnerXml:
1071 iface := vf.Interface()
1072 switch raw := iface.(type) {
1073 case []byte:
1074 p.Write(raw)
1075 continue
1076 case string:
1077 p.WriteString(raw)
1078 continue
1079 }
1080
1081 case fElement, fElement | fAny:
1082 if err := s.setParents(finfo, vf); err != nil {
1083 return err
1084 }
1085 }
1086 if err := p.marshalValue(vf, finfo, nil); err != nil {
1087 return err
1088 }
1089 }
1090 if err := s.setParents(&noField, reflect.Value{}); err != nil {
1091 return err
1092 }
1093 return p.cachedWriteError()
1094}
1095
1096var noField fieldInfo
1097
1098// return the bufio Writer's cached write error
1099func (p *printer) cachedWriteError() error {
1100 _, err := p.Write(nil)
1101 return err
1102}
1103
1104func (p *printer) writeIndent(depthDelta int) {
1105 if len(p.prefix) == 0 && len(p.indent) == 0 {
1106 return
1107 }
1108 if depthDelta < 0 {
1109 p.depth--
1110 if p.indentedIn {
1111 p.indentedIn = false
1112 return
1113 }
1114 p.indentedIn = false
1115 }
1116 if p.putNewline {
1117 p.WriteByte('\n')
1118 } else {
1119 p.putNewline = true
1120 }
1121 if len(p.prefix) > 0 {
1122 p.WriteString(p.prefix)
1123 }
1124 if len(p.indent) > 0 {
1125 for i := 0; i < p.depth; i++ {
1126 p.WriteString(p.indent)
1127 }
1128 }
1129 if depthDelta > 0 {
1130 p.depth++
1131 p.indentedIn = true
1132 }
1133}
1134
1135type parentStack struct {
1136 p *printer
1137 xmlns string
1138 parents []string
1139}
1140
1141// setParents sets the stack of current parents to those found in finfo.
1142// It only writes the start elements if vf holds a non-nil value.
1143// If finfo is &noField, it pops all elements.
1144func (s *parentStack) setParents(finfo *fieldInfo, vf reflect.Value) error {
1145 xmlns := s.p.defaultNS
1146 if finfo.xmlns != "" {
1147 xmlns = finfo.xmlns
1148 }
1149 commonParents := 0
1150 if xmlns == s.xmlns {
1151 for ; commonParents < len(finfo.parents) && commonParents < len(s.parents); commonParents++ {
1152 if finfo.parents[commonParents] != s.parents[commonParents] {
1153 break
1154 }
1155 }
1156 }
1157 // Pop off any parents that aren't in common with the previous field.
1158 for i := len(s.parents) - 1; i >= commonParents; i-- {
1159 if err := s.p.writeEnd(Name{
1160 Space: s.xmlns,
1161 Local: s.parents[i],
1162 }); err != nil {
1163 return err
1164 }
1165 }
1166 s.parents = finfo.parents
1167 s.xmlns = xmlns
1168 if commonParents >= len(s.parents) {
1169 // No new elements to push.
1170 return nil
1171 }
1172 if (vf.Kind() == reflect.Ptr || vf.Kind() == reflect.Interface) && vf.IsNil() {
1173 // The element is nil, so no need for the start elements.
1174 s.parents = s.parents[:commonParents]
1175 return nil
1176 }
1177 // Push any new parents required.
1178 for _, name := range s.parents[commonParents:] {
1179 start := &StartElement{
1180 Name: Name{
1181 Space: s.xmlns,
1182 Local: name,
1183 },
1184 }
1185 // Set the default name space for parent elements
1186 // to match what we do with other elements.
1187 if s.xmlns != s.p.defaultNS {
1188 start.setDefaultNamespace()
1189 }
1190 if err := s.p.writeStart(start); err != nil {
1191 return err
1192 }
1193 }
1194 return nil
1195}
1196
1197// A MarshalXMLError is returned when Marshal encounters a type
1198// that cannot be converted into XML.
1199type UnsupportedTypeError struct {
1200 Type reflect.Type
1201}
1202
1203func (e *UnsupportedTypeError) Error() string {
1204 return "xml: unsupported type: " + e.Type.String()
1205}
1206
1207func isEmptyValue(v reflect.Value) bool {
1208 switch v.Kind() {
1209 case reflect.Array, reflect.Map, reflect.Slice, reflect.String:
1210 return v.Len() == 0
1211 case reflect.Bool:
1212 return !v.Bool()
1213 case reflect.Int, reflect.Int8, reflect.Int16, reflect.Int32, reflect.Int64:
1214 return v.Int() == 0
1215 case reflect.Uint, reflect.Uint8, reflect.Uint16, reflect.Uint32, reflect.Uint64, reflect.Uintptr:
1216 return v.Uint() == 0
1217 case reflect.Float32, reflect.Float64:
1218 return v.Float() == 0
1219 case reflect.Interface, reflect.Ptr:
1220 return v.IsNil()
1221 }
1222 return false
1223}