// tokenizes a string for PBM and PGM headers and plain PBM and PGM data. If oneChar is true,
// then
// rather than parsing a whole string, a single character is read (not including whitespace or
// comments)
static String tokenizeString(InputStream stream, boolean oneChar) throws IOException {
final int EOF = -1;
StringBuilder b = new StringBuilder();
int c;
boolean inComment = false;
while (true) {
c = stream.read();
if (c == EOF)
throw new IOException(
"Stream ended prematurely, before table reading was completed."); // no more tokens
else if (inComment) {
if (c == '\r' || c == '\n') // escape the comment
inComment = false;
else {
} // do nothing
} else if (Character.isWhitespace((char) c)) {
} // do nothing
else if (c == '#') // start of a comment
{
inComment = true;
} else // start of a string
{
b.append((char) c);
break;
}
}
if (oneChar) return b.toString();
// at this point we have a valid string. We read until whitespace or a #
while (true) {
c = stream.read();
if (c == EOF) break;
else if (c == '#') // start of comment, read until a '\n'
{
while (true) {
c = stream.read(); // could hit EOF, which is fine
if (c == EOF) break;
else if (c == '\r' || c == '\n') break;
}
// break; // comments are not delimiters
} else if (Character.isWhitespace((char) c)) break;
else b.append((char) c);
}
return b.toString();
}
/**
* Returns a shortened version (up to the first 60 characters or first newline and suffix removed)
* of the label of the specified slice. Returns null if the slice does not have a label.
*/
public String getShortSliceLabel(int n) {
String shortLabel = getSliceLabel(n);
if (shortLabel == null) return null;
int newline = shortLabel.indexOf('\n');
if (newline == 0) return null;
if (newline > 0) shortLabel = shortLabel.substring(0, newline);
int len = shortLabel.length();
if (len > 4
&& shortLabel.charAt(len - 4) == '.'
&& !Character.isDigit(shortLabel.charAt(len - 1)))
shortLabel = shortLabel.substring(0, len - 4);
if (shortLabel.length() > 60) shortLabel = shortLabel.substring(0, 60);
return shortLabel;
}
