例13.txt

这是一本java基础教程 对新手上路有很大帮助

import java.io.*;
import java.nio.*;
import java.nio.channels.*;
public class Example9_13{
    public static void main(String args[]){
        int b;
        byte tom[]=new byte[12];
        try{  RandomAccessFile input=new RandomAccessFile("Example9_1.java","rw");
             FileChannel channel=input.getChannel();
             while((b=input.read(tom,0,10))!=-1){
                 FileLock lock=channel.tryLock();
                 String s=new String (tom,0,b);
                 System.out.print(s);
                 try {  Thread.sleep(1000);
                       lock.release();
                 }
                 catch(Exception eee){
     System.out.println(eee);
                 }
             }
             input.close();
        }  
        catch(Exception ee){
             System.out.println(ee);
        }
    }
}