|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ExportFileNameGenerator
An interface for a class which can generate meaningful and unique (for a single VM) names that may be used as file names in the export process.
Method Summary | |
---|---|
java.io.File |
createExportDirectory()
Create a unique directory within which an export operation can create any necessary files and final output. |
java.io.File |
getExportFile(java.lang.String... differentiators)
Generate a File that can be used to create an output. |
java.lang.String |
getExportFileName(java.lang.String... differentiators)
Generate a unique file name encompassing the differentiator parameters supplied. |
Method Detail |
---|
java.io.File createExportDirectory() throws java.io.IOException
java.io.IOException
- if there is a problem creating the output directory.java.lang.String getExportFileName(java.lang.String... differentiators)
differentiators
- 0 or more components that will be used in creation of the file name.
java.io.File getExportFile(java.lang.String... differentiators) throws java.io.IOException
Generate a File that can be used to create an output. All necessary parent directories will be created as necessary meaning the supplied File simply has to be opened for writing.
This method is a convenient combination of createExportDirectory()
and
getExportFileName(String...)
.
differentiators
- 0 or more components that will be used in creation of the file name.
java.io.IOException
- if there is a problem creating the output directory.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |