public class DetailedFileCheckpointData extends FileCheckpointData
| Constructor and Description |
|---|
DetailedFileCheckpointData(CheckpointUserIfc userObj) |
| Modifier and Type | Method and Description |
|---|---|
long |
getCurrentFileLocation() |
java.lang.String |
getCurrentFileName() |
void |
read(java.io.InputStream in) |
void |
setCurrentFileLocation(long loc) |
void |
setCurrentFileName(java.lang.String name) |
void |
write(java.io.OutputStream out) |
addCompletedFile, addCompletedFiles, clearCompletedFiles, completedFileIterator, getCompletedFilesflush, readInt, readString, restore, writeInt, writeStringpublic DetailedFileCheckpointData(CheckpointUserIfc userObj)
public void setCurrentFileLocation(long loc)
public long getCurrentFileLocation()
public void setCurrentFileName(java.lang.String name)
public java.lang.String getCurrentFileName()
public void write(java.io.OutputStream out)
throws java.io.IOException
write in class FileCheckpointDatajava.io.IOExceptionpublic void read(java.io.InputStream in)
throws java.io.IOException
read in class FileCheckpointDatajava.io.IOException