String pathBaseName(String path) { final String p = path.replaceAll(r'\', '/'); final int i = p.lastIndexOf('/'); return i == -1 ? p : p.replaceRange(0, i + 1, ''); }