char c = rules.charAt(index); if (c == '\'' && index + 2 < len && rules.charAt(index + 2) == '\'' && is_special (rules.charAt(index + 1))) index += 2; else if (is_special (c) || Character.isWhitespace(c))
char c = rules.charAt (index); if (c == '\'' && index + 2 < len && rules.charAt (index + 2) == '\'') { result.append (rules.charAt (index + 1)); index += 2; } else if (is_special (c))
  private final int text_argument (String rules, int index,				   StringBuffer result)  {    result.setLength(0);    int len = rules.length();    while (index < len)      {	char c = rules.charAt(index);	if (c == '\'' && index + 2 < len	    && rules.charAt(index + 2) == '\''	    && is_special (rules.charAt(index + 1)))	  index += 2;	else if (is_special (c) || Character.isWhitespace(c))	  return index;	result.append(c);	++index;      }    return index;  }