package org.qoolloop.sample.exceptionhandling;

import java.io.File;
import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.DirectoryNotEmptyException;
import static java.nio.file.StandardCopyOption.REPLACE_EXISTING;

public class FileManipulation {
        
    ・・・

    /**
     * Move a file.
     * 
     * @param i_sourceName path of the file to move
     * @param i_destinationName the new path for the file
     *  
     * @throws RecoveredException_NoSuchFile The source did not exist.
     * @throws RecoveredException_SourceNotFile The source was not a file.
     * @throws RecoveredException_DirectoryNotEmpty The destination was a non-empty directory.
     * @throws UnrecoveredException_IO There was an I/O exception, and storage may not have been recovered.
     */
        public static void move(String i_sourceName, String i_destinationName) 
	throws RecoveredException_NoSuchFile, RecoveredException_SourceNotFile, 
	       RecoveredException_DirectoryNotEmpty, UnrecoveredException_IO
    {        
	File sourceFile = new File(i_sourceName);
	File destinationFile = new File(i_destinationName);
                
	if (!sourceFile.exists()) {
	    throw new RecoveredException_NoSuchFile(null, sourceFile);
	}

	if (!sourceFile.isFile()) {
	    throw new RecoveredException_SourceNotFile(i_sourceName, null);
	}

	try {
	    Files.move(sourceFile.toPath(),destinationFile.toPath(), REPLACE_EXISTING);
	} catch (DirectoryNotEmptyException c_exception) {
	    throw new RecoveredException_DirectoryNotEmpty(c_exception, destinationFile);
	} catch (IOException c_exception) {
	    throw new UnrecoveredException_IO(c_exception, sourceFile, destinationFile);
	} catch (Throwable c_thrown) {
	    throw new FatalError("Unexpected Throwable", c_thrown);
	}
    }        
}