+ readable var _warning_count: Int = 0
+
+ # Directory where to generate log files
+ readable var _log_directory: String = "logs"
+
+ # Messages
+ var _messages: Array[Message] = new Array[Message]
+ var _message_sorter: ComparableSorter[Message] = new ComparableSorter[Message]
+
+ fun check_errors
+ do
+ if _messages.length > 0 then
+ _message_sorter.sort(_messages)
+
+ for m in _messages do
+ stderr.write("{m}\n")
+ end
+
+ _messages.clear
+ end
+
+ if error_count > 0 then exit(1)
+ end