equal
deleted
inserted
replaced
41 def is_stdout = kind == Markup.STDOUT |
41 def is_stdout = kind == Markup.STDOUT |
42 def is_stderr = kind == Markup.STDERR |
42 def is_stderr = kind == Markup.STDERR |
43 def is_system = kind == Markup.SYSTEM |
43 def is_system = kind == Markup.SYSTEM |
44 def is_status = kind == Markup.STATUS |
44 def is_status = kind == Markup.STATUS |
45 def is_report = kind == Markup.REPORT |
45 def is_report = kind == Markup.REPORT |
46 def is_protocol = kind == Markup.PROTOCOL |
|
47 def is_syslog = is_init || is_exit || is_system || is_stderr |
46 def is_syslog = is_init || is_exit || is_system || is_stderr |
48 |
47 |
49 override def toString: String = |
48 override def toString: String = |
50 { |
49 { |
51 val res = |
50 val res = |
52 if (is_status || is_report || is_protocol) message.body.map(_.toString).mkString |
51 if (is_status || is_report) message.body.map(_.toString).mkString |
53 else Pretty.string_of(message.body) |
52 else Pretty.string_of(message.body) |
54 if (properties.isEmpty) |
53 if (properties.isEmpty) |
55 kind.toString + " [[" + res + "]]" |
54 kind.toString + " [[" + res + "]]" |
56 else |
55 else |
57 kind.toString + " " + |
56 kind.toString + " " + |