withExtension method
Creates an Path like this but with the given extension.
Implementation
WindowsPath withExtension(String extension) {
final stem = fileStemOpt().unwrapOr("");
final parentN = parent();
if (parentN == null) {
if (stem.isEmpty) {
return WindowsPath(extension);
} else {
if (extension.isEmpty) {
return WindowsPath(stem);
}
return WindowsPath("$stem.$extension");
}
}
if (stem.isEmpty) {
return parentN.join(WindowsPath(extension));
}
if (extension.isEmpty) {
return parentN.join(WindowsPath(stem));
}
return parentN.join(WindowsPath("$stem.$extension"));
}