88 } |
88 } |
89 |
89 |
90 |
90 |
91 /* display message */ |
91 /* display message */ |
92 |
92 |
93 def display_message(message_type: Int, message: String, show: Boolean = true): Unit = |
93 def display_message(message_type: Int, msg: String, show: Boolean = true): Unit = |
94 write(Protocol.DisplayMessage(message_type, Output.clean_yxml(message), show)) |
94 write(Protocol.DisplayMessage(message_type, Output.clean_yxml(msg), show)) |
95 |
95 |
96 def error_message(message: String, show: Boolean = true): Unit = |
96 def error_message(msg: String) { display_message(Protocol.MessageType.Error, msg, true) } |
97 display_message(Protocol.MessageType.Error, message, show) |
97 def warning(msg: String) { display_message(Protocol.MessageType.Warning, msg, true) } |
98 def warning(message: String, show: Boolean = true): Unit = |
98 def writeln(msg: String) { display_message(Protocol.MessageType.Info, msg, true) } |
99 display_message(Protocol.MessageType.Warning, message, show) |
99 |
100 def writeln(message: String, show: Boolean = true): Unit = |
100 def log_error_message(msg: String) { display_message(Protocol.MessageType.Error, msg, false) } |
101 display_message(Protocol.MessageType.Info, message, show) |
101 def log_warning(msg: String) { display_message(Protocol.MessageType.Warning, msg, false) } |
|
102 def log_writeln(msg: String) { display_message(Protocol.MessageType.Info, msg, false) } |
102 |
103 |
103 |
104 |
104 /* diagnostics */ |
105 /* diagnostics */ |
105 |
106 |
106 def diagnostics(uri: String, diagnostics: List[Protocol.Diagnostic]): Unit = |
107 def diagnostics(uri: String, diagnostics: List[Protocol.Diagnostic]): Unit = |