public final class InputFileManager
extends java.lang.Object
| Constructor and Description |
|---|
InputFileManager(zserio.tools.CommandLineArguments commandLineArguments)
Constructor from command line arguments.
|
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getFileFullName(PackageName importedPackageName)
Gets the input file full name.
|
java.lang.String |
getFileFullName(java.lang.String fileName)
Gets the input file full name.
|
long |
getLastModifiedTime()
Returns last modified timestamp of last modified Zserio source.
|
boolean |
isFileRegistered(java.lang.String fileFullName)
Returns true if the input file has been already registered.
|
void |
registerFile(java.lang.String fileFullName)
Registers the input file.
|
public InputFileManager(zserio.tools.CommandLineArguments commandLineArguments)
commandLineArguments - Command line arguments.public java.lang.String getFileFullName(java.lang.String fileName)
fileName - Relative Input file name without source path.public java.lang.String getFileFullName(PackageName importedPackageName)
importedPackageName - Package name from which to construct input file full name.public void registerFile(java.lang.String fileFullName)
fileFullName - Input file full name to register.public boolean isFileRegistered(java.lang.String fileFullName)
fileFullName - Input file full name name to check.public long getLastModifiedTime()
Last updated 2024-07-18 11:27:53