public class FilenameGenerator
extends java.lang.Object
| Constructor and Description |
|---|
FilenameGenerator(java.util.Random random,
boolean wipeFiles,
java.io.File dir,
java.lang.String prefix) |
| Modifier and Type | Method and Description |
|---|---|
java.io.File |
getDir() |
java.io.File |
getFilename(long id) |
java.io.File |
makeRandomFile() |
long |
makeRandomFilename() |
protected boolean |
matches(java.io.File file) |
java.io.File |
maybeMove(java.io.File file,
long id) |
public FilenameGenerator(java.util.Random random,
boolean wipeFiles,
java.io.File dir,
java.lang.String prefix)
throws java.io.IOException
random - wipeFiles - dir - if null then use the default temporary directoryprefix - java.io.IOExceptionpublic long makeRandomFilename()
throws java.io.IOException
java.io.IOExceptionpublic java.io.File getFilename(long id)
public java.io.File makeRandomFile()
throws java.io.IOException
java.io.IOExceptionpublic java.io.File getDir()
protected boolean matches(java.io.File file)
public java.io.File maybeMove(java.io.File file,
long id)