Exemplo n.º 1
1
  // 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();
  }
Exemplo n.º 2
0
 /**
  * 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;
 }