publicstaticvoid main(String[] args) throws Exception {
BufferedReader r = new BufferedReader(new StringReader("12")); int count = 0;
r.read();
r.mark(2); // trigger the call to fill() while (r.read() != -1);
r.reset();
// now should only read 1 character while (r.read() != -1) {
count++;
} if (count != 1) { thrownew Exception("Expect 1 character, but got " + count);
}
}
}
Messung V0.5 in Prozent
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet am 2026-10-11)
¤
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.