zserio.tools

Class InputFileManager

java.lang.Object

zserio.tools.InputFileManager

public final class InputFileManager
extends java.lang.Object

The manager which holds all Zserio input file names.

Constructor Summary

Constructors

Constructor and Description
InputFileManager(zserio.tools.CommandLineArguments commandLineArguments) Constructor from command line arguments.

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InputFileManager

public InputFileManager(zserio.tools.CommandLineArguments commandLineArguments)

Constructor from command line arguments.

Parameters:

commandLineArguments - Command line arguments.

Method Detail

getFileFullName

public java.lang.String getFileFullName(java.lang.String fileName)

Gets the input file full name.

Parameters:

fileName - Relative Input file name without source path.

Returns:

Input file full name constructed from given relative file name.

getFileFullName

public java.lang.String getFileFullName(PackageName importedPackageName)

Gets the input file full name.

Parameters:

importedPackageName - Package name from which to construct input file full name.

Returns:

Input file full name constructed from given import node.

registerFile

public void registerFile(java.lang.String fileFullName)

Registers the input file.

Parameters:

fileFullName - Input file full name to register.

isFileRegistered

public boolean isFileRegistered(java.lang.String fileFullName)

Returns true if the input file has been already registered.

Parameters:

fileFullName - Input file full name name to check.

Returns:

True when the file is already registered.

getLastModifiedTime

public long getLastModifiedTime()

Returns last modified timestamp of last modified Zserio source.

Returns:

Last modified timestamp (in milliseconds since epoch).