int parse(byte[] buf, int off, int len) { super.init(buf, off, len); this.errorCount = 0; // a line looks like this: // [completed /path/to/file.java - #1/2025] do { if (findString(". ERROR in ")) { this.errorCount++; } else { return this.errorCount; } } while (true); }
int parse(byte[] buf, int off, int len) { super.init(buf, off, len); this.fileno = -1; this.jobSize = -1; this.lastFilename = null; // a line looks like this: // [completed /path/to/file.java - #1/2025] do { if (findString("[completed ") && skipSpaces() && readIdentifier()) { // remember file name String filename = new String(this.lastIdentifier); if (!skipSpaces()) { continue; } int _c = getNext(); if (_c == Integer.MIN_VALUE) { return this.fileno; } if (_c != '-') { continue; } if (!skipSpaces()) { continue; } _c = getNext(); if (_c == Integer.MIN_VALUE) { return this.fileno; } if (_c != '#') { continue; } if (!readNumber()) { return this.fileno; } int _fileno = this.lastDigit; _c = getNext(); if (_c == Integer.MIN_VALUE) { return this.fileno; } if (_c != '/') { continue; } if (!readNumber()) { return this.fileno; } _c = getNext(); if (_c == Integer.MIN_VALUE) { return this.fileno; } if (_c != ']') { continue; } this.lastFilename = filename; this.fileno = _fileno; this.jobSize = this.lastDigit; // continue parsing (figure out last occurence) } else { return this.fileno; } } while (true); }