edu.rice.cs.cunit.instrumentors
Class CouldNotRenameException

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

All Implemented Interfaces:

java.io.Serializable

public class CouldNotRenameException
extends RetryIOException

Exception inside the file instrumentor, preventing it to rename two files.

Author:

Mathias Ricken

See Also:

Serialized Form

Field Summary

private java.io.File	_newFile New file.
private java.io.File	_oldFile Old file, to be renamed to _newFile.

Constructor Summary

CouldNotRenameException(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

_oldFile

private java.io.File _oldFile

Old file, to be renamed to _newFile.

_newFile

private java.io.File _newFile

New file.

Constructor Detail

CouldNotRenameException

public CouldNotRenameException(java.io.File oldFile,
                               java.io.File newFile)

Constructs a new exception.

Parameters:

oldFile - old file to be renamed to newFile

newFile - new 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