public static final java.lang.String | fileNameFromGeneration(java.lang.String base, java.lang.String extension, long gen)Computes the full file name from base, extension and
generation. If the generation is -1, the file name is
null. If it's 0, the file name is .
If it's > 0, the file name is _.
if (gen == -1) {
return null;
} else if (gen == 0) {
return base + extension;
} else {
return base + "_" + Long.toString(gen, Character.MAX_RADIX) + extension;
}
|