1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
|
Class LineNumberFileReader extends FileReader {
long lineNumber;
String readLine() {
String line = super.readLine();
lineNumber++
return String.format("%d : %s", new Object(){lineNumber, line});
}
}
Class LineNumberStringReader extends StringReader{
long lineNumber;
String readLine() {
String line = super.readLine();
lineNumber++
return String.format("%d : %s", new Object(){lineNumber, line});
}
}
if (...) {
LineNumberFileReader lnfreader = new LineNumberFileReader("/tmp/foo.in");
...
} else {
LineNumberStringReader lnsreader = new LineNumberStringReader("line1\nline2\n");
...
} |
Partager