(String path)
| 2009 | } |
| 2010 | |
| 2011 | public static String addSeparator(String path) { |
| 2012 | if (path==null) |
| 2013 | return null; |
| 2014 | if (path.length()>0 && !(path.endsWith(File.separator)||path.endsWith("/"))) { |
| 2015 | if (IJ.isWindows()&&path.contains(File.separator)) |
| 2016 | path += File.separator; |
| 2017 | else |
| 2018 | path += "/"; |
| 2019 | } |
| 2020 | return path; |
| 2021 | } |
| 2022 | |
| 2023 | /** Alias for getDirectory(). */ |
| 2024 | public static String getDir(String title) { |
no test coverage detected