//--------------------------------------------------------------------
// Class DiskDriver
//
// Purpose  : handle all access to harddisk
//--------------------------------------------------------------------

import java.io.RandomAccessFile;
import java.io.IOException;

public class DiskDriver extends RandomAccessFile
{

	final static String theHardDisk = "harddisk.txt";
	private static byte [] bArray;


//--------------------------------------------------------------------
// Contructor for DiskDriver
//
// Input    : diskBlockSize
// Output   : None
// Purpose  : contructing the diskDriver
//--------------------------------------------------------------------

	DiskDriver(int diskBlockSize) throws IOException
	{
		super (theHardDisk, "rw");
		bArray = new byte[diskBlockSize];
	}
}


//--------------------------------------------------------------------
// End Class DiskDriver
//--------------------------------------------------------------------