public interface IFileExporter
Modifier and Type | Method and Description |
---|---|
void |
finished()
Do all required cleanup now that we are finished with the
currently-open file.
|
void |
write(IFile resource,
java.lang.String destinationPath)
Write the passed resource to the current archive
|
void finished() throws java.io.IOException
java.io.IOException
void write(IFile resource, java.lang.String destinationPath) throws java.io.IOException, CoreException
resource
- destinationPath
- java.io.IOException
CoreException