Add unit tests for ParserException (cvc5#10189)

test/unit/api/cpp/input_parser_black.cpp

@@ -22,7 +22,6 @@
 #include "options/base_options.h"
 #include "options/language.h"
 #include "options/options.h"
-#include <cvc5/cvc5_parser.h>
 #include "test_parser.h"
 
 using namespace cvc5::parser;
@@ -203,5 +202,28 @@ TEST_F(TestInputParserBlack, multipleParsers)
                CVC5ApiException);
 }
 
+TEST_F(TestInputParserBlack, ParserExceptions)
+{
+  ParserException defaultConstructor;
+  std::string message = "error";
+  const char* cMessage = "error";
+  std::string filename = "file.smt2";
+  ParserException stringConstructor(message);
+  ParserException cStringConstructor(cMessage);
+  ParserException exception(message, filename, 10, 11);
+  std::stringstream ss;
+  exception.toStream(ss);
+  ASSERT_EQ(message, exception.getMessage());
+  ASSERT_EQ(message, exception.getMessage());
+  ASSERT_EQ(filename, exception.getFilename());
+  ASSERT_EQ(10, exception.getLine());
+  ASSERT_EQ(11, exception.getColumn());
+
+  ParserEndOfFileException eofDefault;
+  ParserException eofString(message);
+  ParserException eofCMessage(cMessage);
+  ParserException eof(message, filename, 10, 11);
+}
+
 }  // namespace test
 }  // namespace cvc5::internal