equal
deleted
inserted
replaced
30 { |
30 { |
31 def kind: String = message.markup.name |
31 def kind: String = message.markup.name |
32 def properties: Properties.T = message.markup.properties |
32 def properties: Properties.T = message.markup.properties |
33 def body: XML.Body = message.body |
33 def body: XML.Body = message.body |
34 |
34 |
35 def is_init = kind == Markup.INIT |
35 def is_init: Boolean = kind == Markup.INIT |
36 def is_exit = kind == Markup.EXIT |
36 def is_exit: Boolean = kind == Markup.EXIT |
37 def is_stdout = kind == Markup.STDOUT |
37 def is_stdout: Boolean = kind == Markup.STDOUT |
38 def is_stderr = kind == Markup.STDERR |
38 def is_stderr: Boolean = kind == Markup.STDERR |
39 def is_system = kind == Markup.SYSTEM |
39 def is_system: Boolean = kind == Markup.SYSTEM |
40 def is_status = kind == Markup.STATUS |
40 def is_status: Boolean = kind == Markup.STATUS |
41 def is_report = kind == Markup.REPORT |
41 def is_report: Boolean = kind == Markup.REPORT |
42 def is_syslog = is_init || is_exit || is_system || is_stderr |
42 def is_syslog: Boolean = is_init || is_exit || is_system || is_stderr |
43 |
43 |
44 override def toString: String = |
44 override def toString: String = |
45 { |
45 { |
46 val res = |
46 val res = |
47 if (is_status || is_report) message.body.map(_.toString).mkString |
47 if (is_status || is_report) message.body.map(_.toString).mkString |