/**
* 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);
}