/** * Gets the character that ends a String, using the starting character. * * @param c the starting character. * @return the corresponding end character, or the null character ('\0') if this does not end a * string. */ protected char getStringEnd(char c) { if (!isStringStart(c)) return '\0'; return kernel.getStringDelimTable().get(c); }
/** * Checks if this is a character that starts a String. * * @param c the character to test. * @return true if so, false if not. */ protected boolean isStringStart(char c) { return kernel.getStringDelimTable().containsKey(c); }