1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
| public void run() {
super.run();
try{
RandomAccessFile random = new RandomAccessFile(urlLog.getText(), "r");
long size = random.getChannel().size();
status.setText("Nombre de caractères du fichier: " + size);
sb = "";
for(long i = size; i > 0; i--){
random.seek(i-1);
char car = (char)random.read();
sb = car + sb;
if(sb.startsWith("\n") && i%10 == 0)
refreshContent();
}
refreshContent();
}catch(Exception e){
}
}
private void refreshContent() {
txtArea.insert(sb, 0);
sb = "";
scroll.updateUI();
} |
Partager