public override VirtualFile ChangeExtension(string oldExtension, string newExtension)
{
string fullname = Path.Replace(oldExtension, newExtension);
return(DiskPath.GetFile(fullname));
}
public DiskFile(DiskPath diskPath, FileData file)
: base(file.Path, file.Name)
{
DiskPath = diskPath;
LastWriteTime = file.LastWriteTime;
}
public DiskFile(DiskPath diskPath, string path, string name)
: base(path, name)
{
DiskPath = diskPath;
}
public DiskFile(DiskPath diskPath, string filename)
: base(filename, System.IO.Path.GetFileName(filename))
{
DiskPath = diskPath;
}
private DiskPath(DiskPath parentPath, string baseDirectory)
{
_parentPath = parentPath;
BaseDirectory = baseDirectory;
}
