public final class OutputFileManager
extends java.lang.Object
| Constructor and Description |
|---|
OutputFileManager(ExtensionParameters extensionParameters)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
checkTimestamps(java.io.File outputFile)
Checks file's timestamps against timestamps of Zserio sources and resources (e.g.
|
java.lang.Boolean |
getOutputFileInfo(java.io.File outputFile)
Gets information about an output file.
|
void |
printReport()
Prints report about output files.
|
void |
registerOutputFile(java.io.File outputFile)
Registers newly generated output file.
|
void |
registerOutputFile(java.io.File outputFile,
boolean generated)
Registers an output file.
|
public OutputFileManager(ExtensionParameters extensionParameters)
extensionParameters - Extension parameters.public void printReport()
public boolean checkTimestamps(java.io.File outputFile)
outputFile - Output file to check.public void registerOutputFile(java.io.File outputFile,
boolean generated)
throws ZserioExtensionException
outputFile - Output file to register.generated - True if file is newly generated, False if the file generation is skipped.ZserioExtensionException - if the outputFile is already registered.public void registerOutputFile(java.io.File outputFile)
throws ZserioExtensionException
outputFile - Output file to register.ZserioExtensionException - if the outputFile is already registered.public java.lang.Boolean getOutputFileInfo(java.io.File outputFile)
outputFile - Output file to get info for.Last updated 2024-10-29 12:56:13