(char c)
| 468 | } |
| 469 | |
| 470 | private static boolean isDelimiter(char c) { |
| 471 | return Character.isWhitespace(c) || c==',' || c==';'; |
| 472 | } |
| 473 | |
| 474 | /** Returns the escaped character if there was a preceding backslash. |
| 475 | * Returns 'c' if there is no known escape sequence backslash-c */ |
no test coverage detected