public RandomLineSource(OutputStream us, BufferedWriter ts, int limit,
PrintWriter log)
{ if (us != null)
uo = new DataOutputStream(us);
to = ts;
IntGenerator ig = new IntGenerator();
lg = new LineGenerator(ig, new StringGenerator(ig), limit); this.log = log;
}
public RandomLineSource(OutputStream us, BufferedWriter ts, int limit) { this(us, ts, limit, null);
}
public RandomLineSource(BufferedWriter ts, int limit) { this(null, ts, limit);
}
privatevoid flush() throws IOException { if (uo != null) {
uo.flush(); Thread.currentThread().yield();
}
to.flush(); for (int i = 0; i < 10; i++) Thread.currentThread().yield();
}
privateint count = 0;
publicvoid run() { try {
String s;
while ((s = lg.next()) != null) { if (uo != null)
uo.writeUTF(s);
to.write(s + lg.lineTerminator);
flush();
count++;
}
¤ 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.8Bemerkung:
(vorverarbeitet am 2026-09-29)
¤
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.