()
| 208 | } |
| 209 | |
| 210 | public List<String> split() { |
| 211 | if (split != null) { |
| 212 | return split; |
| 213 | } |
| 214 | |
| 215 | var ar = value.split("[\\\\/]"); |
| 216 | var l = Arrays.stream(ar).filter(s -> !s.isEmpty()).toList(); |
| 217 | split = l; |
| 218 | return l; |
| 219 | } |
| 220 | |
| 221 | public FilePath toUnix() { |
| 222 | if (value.equals("/")) { |