org.arl.fjage.shell

Class DeleteFileReq

java.lang.Object

org.arl.fjage.Message

org.arl.fjage.shell.DeleteFileReq

All Implemented Interfaces:

java.io.Serializable

public class DeleteFileReq
extends Message

Request to delete a file, or a directory (if the file name ends with a path separator).

See Also:

Serialized Form

Field Summary

Fields inherited from class org.arl.fjage.Message

inReplyTo, msgID, perf, recipient, sender, sentAt

Constructor Summary

Constructors

Constructor and Description
DeleteFileReq() Create an empty request for file deletion.
DeleteFileReq(AgentID to) Create an empty request for file deletion.
DeleteFileReq(AgentID to, java.lang.String filename) Create a request to delete a file.
DeleteFileReq(java.lang.String filename) Create a request to delete a file.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getFilename() Get the name of the file.
void	setFilename(java.lang.String filename) Set the name of the file.

Methods inherited from class org.arl.fjage.Message

getInReplyTo, getJsonCache, getMessageID, getPerformative, getRecipient, getSender, getSentAt, setInReplyTo, setJsonCache, setMessageID, setPerformative, setRecipient, setSender, setSentAt, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

DeleteFileReq

public DeleteFileReq()

Create an empty request for file deletion.

DeleteFileReq

public DeleteFileReq(AgentID to)

Create an empty request for file deletion.

Parameters:

to - shell agent id.

DeleteFileReq

public DeleteFileReq(java.lang.String filename)

Create a request to delete a file.

Parameters:

filename - name of the file to delete.

DeleteFileReq

public DeleteFileReq(AgentID to,
                     java.lang.String filename)

Create a request to delete a file.

Parameters:

to - shell agent id.

filename - name of the file to delete.

Method Detail

getFilename

public java.lang.String getFilename()

Get the name of the file.

Returns:

name of the file.

setFilename

public void setFilename(java.lang.String filename)

Set the name of the file.

Parameters:

filename - name of the file.