getFile function
Return the file pointed to by the given path
. This method converts the
given path to a platform dependent path.
Implementation
File getFile(String path) {
if (_sep == '/') {
return File(path);
} else {
return File(path.replaceAll('/', _sep));
}
}