comparison 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
comparison
equal deleted inserted replaced
1773:b914a726061f 1774:764723436f05
45 45
46 private String[] lines() { 46 private String[] lines() {
47 return text.split("\n",-1); 47 return text.split("\n",-1);
48 } 48 }
49 49
50 public String getSuperMessage() {
51 return super.getMessage();
52 }
53
50 @Override public String getMessage() { 54 @Override public String getMessage() {
51 String line; 55 String line;
52 int pos; 56 int pos;
53 StringBuilder sb = new StringBuilder(super.getMessage()); 57 StringBuilder sb = new StringBuilder(super.getMessage());
54 if( text.indexOf('\n') == -1 ) { 58 if( text.indexOf('\n') == -1 ) {