equal
deleted
inserted
replaced
82 kind == STATUS |
82 kind == STATUS |
83 } |
83 } |
84 |
84 |
85 class Result(val kind: Kind.Value, val props: List[(String, String)], val body: List[XML.Tree]) |
85 class Result(val kind: Kind.Value, val props: List[(String, String)], val body: List[XML.Tree]) |
86 { |
86 { |
87 def message = XML.Elem(Markup.MESSAGE, (Markup.CLASS, Kind.markup(kind)) :: props, body) |
87 def message = Output.Message(Kind.markup(kind), props, body) |
88 |
88 |
89 override def toString: String = |
89 override def toString: String = |
90 { |
90 { |
91 val res = |
91 val res = |
92 if (kind == Kind.STATUS) body.map(_.toString).mkString |
92 if (kind == Kind.STATUS) body.map(_.toString).mkString |