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