');
document.write('
/**
');
document.write(' * Copy a file to a new location
');
document.write(' * @param _srcFilename The original file
');
document.write(' * @param _destFilename The location where a copy should be created
');
document.write(' * @param _tmpFile If true, the created file copy will be deleted on program exit
');
document.write(' * @throws IOException If there are IO problems during the copy
');
document.write(' */');
document.write('
public static void copyFile
(String _srcFilename,
String _destFilename,
boolean _tmpFile
) throws IOException {');
document.write('
');
document.write('
// Create channel on the source');
document.write('
FileChannel srcChannel =
new FileInputStream(_srcFilename
).
getChannel();
');
document.write('
');
document.write('
// Create destination file and associated directories if required');
document.write('
File destFile =
new File(_destFilename
);
');
document.write('
if(_tmpFile
) {');
document.write(' destFile.
deleteOnExit();
');
document.write('
}');
document.write('
File destDir = destFile.
getParentFile();
');
document.write('
if (destDir !=
null && !destDir.
exists()) {');
document.write(' destDir.
mkdirs();
');
document.write('
if (_tmpFile
) {');
document.write(' destDir.
deleteOnExit();
');
document.write('
}');
document.write('
}');
document.write(' destFile.
createNewFile();
');
document.write('
');
document.write('
// Create channel on the destination');
document.write('
FileChannel dstChannel =
new FileOutputStream(_destFilename
).
getChannel();
');
document.write('
');
document.write('
// Copy entirefile contents from source to destination');
document.write(' dstChannel.
transferFrom(srcChannel,
0, srcChannel.
size());
');
document.write('
');
document.write('
// Close the channels');
document.write(' srcChannel.
close();
');
document.write(' dstChannel.
close();
');
document.write('
}');
document.write('