EXTRACTING DATA - HTTP Programming Recipes for Java Bots - page 158

if (Character.toLowerCase(this.source.peek(i)) != Character
.toLowerCase(name.charAt(j)))
{
return false;
}
i++;
}
return true;
}
/**
* Remove any whitespace characters that are next in the
* InputStream.
*
* @throws IOException
* If an I/O exception occurs.
*/
protected void eatWhitespace() throws IOException
{
while (Character.isWhitespace((char) this.source.peek()))
{
this.source.read();
}
}
/**
* Parse an attribute name, if one is present.
*
* @throws IOException
* If an I/O exception occurs.
*/
protected String parseAttributeName() throws IOException
{
eatWhitespace();
if ("\"\'".indexOf(this.source.peek()) == -1)
{
StringBuilder buffer = new StringBuilder();
while (!Character.isWhitespace(this.source.peek())
&& (this.source.peek() != '=') &&
(this.source.peek() != '>')
&& (this.source.peek() != -1))
{
int ch = parseSpecialCharacter();
buffer.append((char) ch);