@Override public String readLine() throws IOException {
if (lineBuffer == null) {
lineBuffer = newchar[MAX_LINE_LENGTH];
}
String result = null;
int pos = 0; int end = -1; int skip = -1;
StringBuilder aggregator = null; while (end < 0) {
mark(MAX_LINE_LENGTH); while ((pos < MAX_LINE_LENGTH) && (end < 0)) { int nRead = read(lineBuffer, pos, MAX_LINE_LENGTH - pos); if (nRead < 0) { if (pos == 0 && aggregator == null) { returnnull;
}
end = pos;
skip = pos;
} for (int i = pos; (i < (pos + nRead)) && (end < 0); i++) { if (lineBuffer[i] == LINE_SEP[0]) {
end = i;
skip = i + 1; char nextchar; if (i == (pos + nRead - 1)) {
nextchar = (char) read();
} else {
nextchar = lineBuffer[i + 1];
} if (nextchar == LINE_SEP[1]) {
skip++;
}
} elseif (lineBuffer[i] == LINE_SEP[1]) {
end = i;
skip = i + 1;
}
} if (nRead > 0) {
pos += nRead;
}
} if (end < 0) { if (aggregator == null) {
aggregator = new StringBuilder();
}
aggregator.append(lineBuffer);
pos = 0;
} else {
reset(); // No need to check return value. We know there are at least skip characters available.
skip(skip);
}
}
if (aggregator == null) {
result = new String(lineBuffer, 0, end);
} else {
aggregator.append(lineBuffer, 0, end);
result = aggregator.toString();
}
return result;
}
}
Messung V0.5 in Prozent
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.35Bemerkung:
(vorverarbeitet am 2026-06-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.