edu.rice.cs.cunit.instrumentors
Class CouldNotDoubleRenameException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.io.IOException
              edu.rice.cs.cunit.instrumentors.RetryIOException
                  edu.rice.cs.cunit.instrumentors.CouldNotDoubleRenameException

All Implemented Interfaces:

java.io.Serializable

public class CouldNotDoubleRenameException
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	_curFile File to rename to _oldFile.
private java.io.File	_newFile File to rename to _oldFile.
private java.io.File	_oldFile New fname of _curFile.

Constructor Summary

CouldNotDoubleRenameException(java.io.File curFile, java.io.File oldFile, java.io.File newFile)
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

_curFile

private java.io.File _curFile

File to rename to _oldFile.

_oldFile

private java.io.File _oldFile

New fname of _curFile.

_newFile

private java.io.File _newFile

File to rename to _oldFile.

Constructor Detail

CouldNotDoubleRenameException

public CouldNotDoubleRenameException(java.io.File curFile,
                                     java.io.File oldFile,
                                     java.io.File newFile)

Constructs a new exception.

Parameters:

curFile - current file, to be renamed to oldFile

oldFile - old file

newFile - new file, to be renamed to curFile

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