+ public void ChangeRoots(string oldPath, string newPath)
+ {
+ Contract.Requires(!String.IsNullOrWhiteSpace(oldPath));
+ Contract.Requires(Path.IsPathRooted(oldPath));
+ Contract.Requires(!string.IsNullOrWhiteSpace(newPath));
+ Contract.Requires(Path.IsPathRooted(newPath));
+ }