X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flibpspp%2Fmessage.h;h=32342f40e993501c56ba7e3245f5e45866b3acad;hb=dc3765ea5122dfc403a39b08b8f61cc1a6c89d05;hp=5ced994ad52c7db1c7a70919d8422b0536f5d67d;hpb=9ade26c8349b4434008c46cf09bc7473ec743972;p=pspp

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index 5ced994ad5..32342f40e9 100644
--- a/src/libpspp/message.h
+++ b/src/libpspp/message.h
@@ -39,6 +39,8 @@ enum msg_severity
     MSG_N_SEVERITIES
   };
 
+const char *msg_severity_to_string (enum msg_severity);
+
 /* Combination of a category and a severity for convenience. */
 enum msg_class
   {
@@ -78,10 +80,9 @@ struct msg
     int first_column;           /* 1-based first column, or 0 if none. */
     int last_column;            /* 1-based exclusive last column (0=none). */
     char *text;                 /* Error text. */
+    bool shipped;               /* True if this message has been emitted */
   };
 
-struct source_stream ;
-
 /* Initialization. */
 void msg_set_handler (void (*handler) (const struct msg *, void *lexer),
                       void *aux);
@@ -96,6 +97,9 @@ void msg (enum msg_class, const char *format, ...)
      PRINTF_FORMAT (2, 3);
 void msg_emit (struct msg *);
 
+void msg_error (int errnum, const char *format, ...);
+
+
 /* Enable and disable messages. */
 void msg_enable (void);
 void msg_disable (void);