jadex.bridge.service.types.deployment

Class FileData

java.lang.Object

jadex.bridge.service.types.deployment.FileData

Direct Known Subclasses:

RemoteJarFile

public class FileData
extends Object

A file data represents a java.io.File that can be transferred to remote address spaces. Does only transfer file information, not the binary data itself. This class is necessary, because java.io.File makes too many assumptions about the underlying OS (slashed, root directories), such that File objects are not portable. I.e. a Windows path produces a corrupted File, when instantiated under Linux and vice versa.

Constructor Summary

Constructors

Constructor and Description
FileData() Create a new remote file.
FileData(File file) Create a new remote file.
FileData(String filename, String path, boolean directory, boolean exists, String displayname, long lastmodified, char separator, int prefix, long filesize) Create a new remote file.

Method Summary

Methods

Modifier and Type	Method and Description
static FileData[]	convertToRemoteFiles(File[] files) Convert files to remote files.
String	getDisplayName() Get the displayname.
static String	getDisplayName(File file) Get the display name for a file.
String	getFilename() Get the filename.
long	getFileSize() Get the filesize.
long	getLastModified() Get the lastmodified.
String	getPath() Get the path.
int	getPrefixLength() Get the prefix.
char	getSeparatorChar() Get the separator char.
boolean	isDirectory() Get the directory.
boolean	isExists() Get the exists flag.
void	setDirectory(boolean directory) Set the directory.
void	setDisplayName(String displayname) Set the displayname.
void	setExists(boolean exists) Set the exists flag.
void	setFilename(String filename) Set the filename.
void	setFileSize(long filesize) Set the filesize.
void	setLastModified(long lastmodified) Set the lastmodified.
void	setPath(String path) Set the path.
void	setPrefixLength(int prefix) Set the prefix.
void	setSeparatorChar(char separator) Set the separator char.
String	toString() Get the string representation.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FileData

public FileData()

Create a new remote file.

FileData

public FileData(String filename,
        String path,
        boolean directory,
        boolean exists,
        String displayname,
        long lastmodified,
        char separator,
        int prefix,
        long filesize)

Create a new remote file.

FileData

public FileData(File file)

Create a new remote file.

Method Detail

getFilename

public String getFilename()

Get the filename.

Returns:

the filename.

setFilename

public void setFilename(String filename)

Set the filename.

Parameters:

filename - The filename to set.

getPath

public String getPath()

Get the path.

Returns:

the path.

setPath

public void setPath(String path)

Set the path.

Parameters:

path - The path to set.

isDirectory

public boolean isDirectory()

Get the directory.

Returns:

the directory.

setDirectory

public void setDirectory(boolean directory)

Set the directory.

Parameters:

directory - The directory to set.

isExists

public boolean isExists()

Get the exists flag.

Returns:

the exists flag.

setExists

public void setExists(boolean exists)

Set the exists flag.

Parameters:

exists - The exists flag to set.

getDisplayName

public String getDisplayName()

Get the displayname.

Returns:

the displayname.

setDisplayName

public void setDisplayName(String displayname)

Set the displayname.

Parameters:

displayname - The displayname to set.

getDisplayName

public static String getDisplayName(File file)

Get the display name for a file.

getLastModified

public long getLastModified()

Get the lastmodified.

Returns:

the lastmodified.

setLastModified

public void setLastModified(long lastmodified)

Set the lastmodified.

Parameters:

lastmodified - The lastmodified to set.

convertToRemoteFiles

public static FileData[] convertToRemoteFiles(File[] files)

Convert files to remote files.

getSeparatorChar

public char getSeparatorChar()

Get the separator char.

Returns:

the separator char.

setSeparatorChar

public void setSeparatorChar(char separator)

Set the separator char.

Parameters:

separator - The separator char to set.

getPrefixLength

public int getPrefixLength()

Get the prefix.

Returns:

the prefix.

setPrefixLength

public void setPrefixLength(int prefix)

Set the prefix.

Parameters:

prefix - The prefix to set.

getFileSize

public long getFileSize()

Get the filesize.

Returns:

The filesize.

setFileSize

public void setFileSize(long filesize)

Set the filesize.

Parameters:

filesize - The filesize to set.

toString

public String toString()

Get the string representation.

Overrides:

toString in class Object

Returns:

The string representation.