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

diff --git a/src/libpspp/message.h b/src/libpspp/message.h
index 8ed2844133..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,6 +80,7 @@ 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 */
   };
 
 /* Initialization. */
@@ -94,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);