| public CopyFile ( string name, IFileSystemDirectory target, string targetName ) : void | ||
| name | string | Name of the file |
| target | IFileSystemDirectory | Target file system directory |
| targetName | string | Name (relative path) in the target directory |
| return | void | |
public void CopyFile(string name, IFileSystemDirectory target, string targetName)
{
Contract.Requires(!String.IsNullOrWhiteSpace(name));
Contract.Requires(!String.IsNullOrWhiteSpace(targetName));
Contract.Requires(target != null);
}
