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, getCompletedFiles
flush, readInt, readString, restore, writeInt, writeString
public 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 FileCheckpointData
java.io.IOException
public void read(java.io.InputStream in) throws java.io.IOException
read
in class FileCheckpointData
java.io.IOException