edu.rice.cs.cunit.instrumentors
Class CouldNotDeleteAndRenameException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.io.IOException
              extended by edu.rice.cs.cunit.instrumentors.RetryIOException
                  extended by 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.
 
Constructor Summary
CouldNotDeleteAndRenameException(java.io.File toDelete, java.io.File toRename)
          Constructs a new exception.
 
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
 

Field Detail

_toDelete

private java.io.File _toDelete
File to delete.


_toRename

private java.io.File _toRename
File to rename to _toDelete.

Constructor Detail

CouldNotDeleteAndRenameException

public CouldNotDeleteAndRenameException(java.io.File toDelete,
                                        java.io.File toRename)
Constructs a new exception.

Parameters:
toDelete - file to delete
toRename - file to rename to the first file
Method Detail

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