org.eclipse.tptp.platform.execution.client.core
Interface IFileLocater

public interface IFileLocater

Method Summary

void	deleteFile(java.lang.String filename) Delete a file on a remote system.
IFileLocation	getFile(java.lang.String filename) Retrieve a remote file
IFileLocation	putFile(java.lang.String filename) Put a file on a remote system

Method Detail

getFile

public IFileLocation getFile(java.lang.String filename)
                      throws java.io.IOException

Retrieve a remote file

Parameters:

filename - - the absolute path of the file to get

Returns:

the details of where the file can be retrieved from

Throws:

java.io.IOException

putFile

public IFileLocation putFile(java.lang.String filename)
                      throws java.io.IOException

Put a file on a remote system

Parameters:

filename - the absolute name of the file on the remote system

Returns:

the details of where the file can be written to

Throws:

java.io.IOException

deleteFile

public void deleteFile(java.lang.String filename)
                throws java.io.IOException

Delete a file on a remote system.

Parameters:

filename - the absolute name of the file on the remote system

Throws:

java.io.IOException