output: Make errors, warnings, and notes into a new "message_item".

[pspp] / src / ui / terminal / msg-ui.h

diff --git a/src/ui/terminal/msg-ui.h b/src/ui/terminal/msg-ui.h
index aa49e730e012d681db53f25dfdf35e2deeb39795..2c08a8822aa4f9948da02f8b13f466882dca76d1 100644 (file)
--- a/src/ui/terminal/msg-ui.h
+++ b/src/ui/terminal/msg-ui.h
@@ -18,14 +18,15 @@
 #define MSG_UI_H 1
 
 #include <stdbool.h>
+#include <stdio.h>
 
-struct source_stream ;
+struct source_stream;
 
-void msg_ui_set_error_file (const char *filename);
+void msg_ui_set_error_file (FILE *);
 void msg_ui_init (struct source_stream *);
 void msg_ui_done (void);
-void check_msg_count (struct source_stream *);
-void reset_msg_count (void);
-bool any_errors (void);
+bool msg_ui_too_many_errors (void);
+void msg_ui_reset_counts (void);
+bool msg_ui_any_errors (void);
 
 #endif /* msg-ui.h */