diff src/goodjava/parser/ParseException.java @ 1774:764723436f05

better json_parse exception
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 27 Jul 2023 17:24:49 -0600
parents 27efb1fcbcb5
children
line wrap: on
line diff
--- a/src/goodjava/parser/ParseException.java	Tue Jul 18 11:56:40 2023 -0600
+++ b/src/goodjava/parser/ParseException.java	Thu Jul 27 17:24:49 2023 -0600
@@ -47,6 +47,10 @@
 		return text.split("\n",-1);
 	}
 
+	public String getSuperMessage() {
+		return super.getMessage();
+	}
+
 	@Override public String getMessage() {
 		String line;
 		int pos;