/** If 'name' is not unique, adds -1, -2, etc. as needed to make it unique. */ public static String makeUniqueName(String name) { return isDuplicateName(name)?getUniqueName(name):name; }
/** If 'name' is not unique, adds -1, -2, etc. as needed to make it unique. */ public static String makeUniqueName(String name) { return isDuplicateName(name)?getUniqueName(name):name; }
/** Returns a unique name by adding, before the extension, -1, -2, etc. as needed. */ public static String getUniqueName(String name) { String name2 = name; String extension = ""; int len = name2.length(); int lastDot = name2.lastIndexOf("."); if (lastDot!=-1 && len-lastDot<6 && lastDot!=len-1) { extension = name2.substring(lastDot, len); name2 = name2.substring(0, lastDot); } int lastDash = name2.lastIndexOf("-"); len = name2.length(); if (lastDash!=-1&&len-lastDash<4&&lastDash<len-1&&Character.isDigit(name2.charAt(lastDash+1))&&name2.charAt(lastDash+1)!='0') name2 = name2.substring(0, lastDash); for (int i=1; i<=99; i++) { String name3 = name2+"-"+ i + extension; //IJ.log(i+" "+name3); if (!isDuplicateName(name3)) return name3; } return name; }
/** Returns a unique name by adding, before the extension, -1, -2, etc. as needed. */ public static String getUniqueName(String name) { String name2 = name; String extension = ""; int len = name2.length(); int lastDot = name2.lastIndexOf("."); if (lastDot!=-1 && len-lastDot<6 && lastDot!=len-1) { extension = name2.substring(lastDot, len); name2 = name2.substring(0, lastDot); } int lastDash = name2.lastIndexOf("-"); len = name2.length(); if (lastDash!=-1&&len-lastDash<4&&lastDash<len-1&&Character.isDigit(name2.charAt(lastDash+1))&&name2.charAt(lastDash+1)!='0') name2 = name2.substring(0, lastDash); for (int i=1; i<=99; i++) { String name3 = name2+"-"+ i + extension; //IJ.log(i+" "+name3); if (!isDuplicateName(name3)) return name3; } return name; }
static void checkForDuplicateName(ImagePlus imp) { if (checkForDuplicateName) { String name = imp.getTitle(); if (isDuplicateName(name)) imp.setTitle(getUniqueName(name)); } checkForDuplicateName = false; }
static void checkForDuplicateName(ImagePlus imp) { if (checkForDuplicateName) { String name = imp.getTitle(); if (isDuplicateName(name)) imp.setTitle(getUniqueName(name)); } checkForDuplicateName = false; }