| drjava.smyle.core.Disk
All known Subclasses: drjava.smyle.core.FileSystemDisk, drjava.smyle.core.MemoryDisk,
Disk | public interface Disk (Code) | | |
Inner Class :public interface NewFile | |
createFile | public NewFile createFile()(Code) | | |
deleteEverything | public void deleteEverything()(Code) | | |
deleteEverythingBut | public void deleteEverythingBut(Set<FileRef> whiteList)(Code) | | |
getFileLength | public int getFileLength(long id)(Code) | | |
getMasterFile | public long getMasterFile()(Code) | | returns the current master file id, or 0 if there is no master file
|
release | public void release()(Code) | | state that disk object isn't needed anymore; clear locks if any
|
saveMaster | public long saveMaster(Buffer data)(Code) | | atomically create and fill master file
|
setClusterSize | public void setClusterSize(int bytes)(Code) | | for calculation of totalBytesWritten()
|
totalBytesWritten | public long totalBytesWritten()(Code) | | |
|
|