Merge pull request #8134 from tautschnig/cleanup/parser-messaget-prep

Permit constructing parsert with a message handler
diffblue · Dec 20, 2023 · f0c2391 · f0c2391
2 parents 1068770 + c33db82
commit f0c2391
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/util/parser.h b/src/util/parser.h
@@ -12,6 +12,7 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_UTIL_PARSER_H
 #define CPROVER_UTIL_PARSER_H
 
+#include "deprecate.h"
 #include "expr.h"
 #include "message.h"
 
@@ -39,7 +40,13 @@ class parsert
     last_line.clear();
   }
 
+  DEPRECATED(SINCE(2023, 12, 20, "use parsert(message_handler) instead"))
   parsert():in(nullptr) { clear(); }
+  explicit parsert(message_handlert &message_handler)
+    : in(nullptr), log(message_handler)
+  {
+    clear();
+  }
   virtual ~parsert() { }
 
   // The following are for the benefit of the scanner