/// <summary>
/// Copies a file while replacing the tokens identified by the given
/// <see cref="FilterSetCollection" />.
/// </summary>
/// <param name="sourceFileName">The file to copy.</param>
/// <param name="destinationFileName">The name of the destination file.</param>
/// <param name="encoding">The <see cref="Encoding" /> used when filter-copying the file.</param>
/// <param name="filtersets">The collection of filtersets that should be applied to the file.</param>
public static void CopyFile(string sourceFileName, string destinationFileName, Encoding encoding, FilterSetCollection filtersets)
{
if (filtersets.HasFilters())
{
StreamReader reader = null;
StreamWriter writer = null;
try {
if (encoding == null)
{
reader = new StreamReader(new BufferedStream(File.OpenRead(sourceFileName)));
writer = new StreamWriter(new BufferedStream(File.Create(destinationFileName)));
}
else
{
reader = new StreamReader(new BufferedStream(File.OpenRead(sourceFileName)), encoding);
writer = new StreamWriter(new BufferedStream(File.Create(destinationFileName)), encoding);
}
string line = reader.ReadLine();
while (line != null)
{
if (line.Length == 0)
{
writer.WriteLine();
}
else
{
writer.WriteLine(filtersets.ReplaceTokens(line));
}
line = reader.ReadLine();
}
} finally {
if (writer != null)
{
writer.Close();
}
if (reader != null)
{
reader.Close();
}
}
}
else
{
// copy the source file to the destination file
File.Copy(sourceFileName, destinationFileName, true);
}
}
