equal
deleted
inserted
replaced
33 |
33 |
34 def + (att: Attribute): Elem = Elem(markup + att, body) |
34 def + (att: Attribute): Elem = Elem(markup + att, body) |
35 } |
35 } |
36 case class Text(content: String) extends Tree |
36 case class Text(content: String) extends Tree |
37 |
37 |
|
38 def elem(markup: Markup): XML.Elem = XML.Elem(markup, Nil) |
38 def elem(name: String, body: Body): XML.Elem = XML.Elem(Markup(name, Nil), body) |
39 def elem(name: String, body: Body): XML.Elem = XML.Elem(Markup(name, Nil), body) |
39 def elem(name: String): XML.Elem = XML.Elem(Markup(name, Nil), Nil) |
40 def elem(name: String): XML.Elem = XML.Elem(Markup(name, Nil), Nil) |
40 |
41 |
41 |
42 |
42 /* wrapped elements */ |
43 /* wrapped elements */ |