public class FileCheckpointData extends BaseCheckpointData
| Constructor and Description |
|---|
FileCheckpointData(CheckpointUserIfc userObj) |
| Modifier and Type | Method and Description |
|---|---|
void |
addCompletedFile(java.lang.String filename) |
void |
addCompletedFiles(java.util.List appendFileList) |
void |
clearCompletedFiles() |
java.util.Iterator |
completedFileIterator() |
java.util.List |
getCompletedFiles() |
void |
read(java.io.InputStream in) |
void |
write(java.io.OutputStream out) |
flush, readInt, readString, restore, writeInt, writeStringpublic FileCheckpointData(CheckpointUserIfc userObj)
public void addCompletedFile(java.lang.String filename)
public java.util.Iterator completedFileIterator()
public void write(java.io.OutputStream out)
throws java.io.IOException
write in class BaseCheckpointDatajava.io.IOExceptionpublic void read(java.io.InputStream in)
throws java.io.IOException
read in class BaseCheckpointDatajava.io.IOExceptionpublic void clearCompletedFiles()
public java.util.List getCompletedFiles()
public void addCompletedFiles(java.util.List appendFileList)