Java Reference
In-Depth Information
!Character.isWhitespace(ch));
String b = buffer.toString().trim().toLowerCase();
// did we find a special character?
if (b.length() > 0)
{
if (b.charAt(0) == '#')
{
try
{
result = (char) Integer.parseInt(b.substring(1));
} catch (NumberFormatException e)
{
advanceBy = 0;
}
} else
{
if (charMap.containsKey(b))
{
result = charMap.get(b);
} else
{
advanceBy = 0;
}
}
} else
{
advanceBy = 0;
}
}
while (advanceBy > 0)
{
read();
advanceBy--;
}
return result;
}
/**
* Check to see if the ending tag is present.
* @param name The type of end tag being saught.
* @return True if the ending tag was found.
* @throws IOException Thrown if an IO error occurs.
*/
Search WWH ::




Custom Search