edu.rice.cs.cunit.instrumentors
Class CouldNotDeleteAndRenameException
java.lang.Object
java.lang.Throwable
java.lang.Exception
java.io.IOException
edu.rice.cs.cunit.instrumentors.RetryIOException
edu.rice.cs.cunit.instrumentors.CouldNotDeleteAndRenameException
- All Implemented Interfaces:
- java.io.Serializable
public class CouldNotDeleteAndRenameException
- extends RetryIOException
Exception inside the file instrumentor, preventing it to delete and rename two files.
- Author:
- Mathias Ricken
- See Also:
- Serialized Form
Field Summary |
private java.io.File |
_toDelete
File to delete. |
private java.io.File |
_toRename
File to rename to _toDelete. |
Method Summary |
void |
retry()
Retry the failed operation one more time. |
Methods inherited from class java.lang.Throwable |
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
_toDelete
private java.io.File _toDelete
- File to delete.
_toRename
private java.io.File _toRename
- File to rename to _toDelete.
CouldNotDeleteAndRenameException
public CouldNotDeleteAndRenameException(java.io.File toDelete,
java.io.File toRename)
- Constructs a new exception.
- Parameters:
toDelete
- file to deletetoRename
- file to rename to the first file
retry
public void retry()
throws java.io.IOException
- Retry the failed operation one more time.
- Specified by:
retry
in class RetryIOException
- Throws:
java.io.IOException