org.eclipse.tptp.platform.execution.client.agent.internal
Class AgentConfiguration

java.lang.Object
  org.eclipse.tptp.platform.execution.client.agent.internal.AgentConfiguration

Deprecated. since TPTP 4.0

public class AgentConfiguration

extends java.lang.Object

This class has been Deprecated - this has been packaged for backward compatibility with TPTP 3.x/Hyades

Field Summary

protected java.lang.String	_agentName Deprecated.
protected java.util.Vector	_entries Deprecated.

Constructor Summary

AgentConfiguration()
Deprecated. AgentConfiguration constructor comment.

Method Summary

void	addEntry(AgentConfigurationEntry entry) Deprecated. Insert the method's description here.
void	clear() Deprecated. Insert the method's description here.
java.lang.String	getAgentName() Deprecated. Insert the method's description here.
AgentConfigurationEntry	getEntryAt(int offset) Deprecated. Insert the method's description here.
boolean	removeEntry(AgentConfigurationEntry entry) Deprecated. Removes an entry from this configuration.
void	setAgentName(java.lang.String name) Deprecated. Insert the method's description here.
int	size() Deprecated. Insert the method's description here.

Methods inherited from class java.lang.Object

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

Field Detail

_agentName

protected java.lang.String _agentName

Deprecated.

_entries

protected java.util.Vector _entries

Deprecated.

Constructor Detail

AgentConfiguration

public AgentConfiguration()

Deprecated.

AgentConfiguration constructor comment.

Method Detail

addEntry

public void addEntry(AgentConfigurationEntry entry)

Deprecated.

Insert the method's description here.

clear

public void clear()

Deprecated.

Insert the method's description here.

getAgentName

public java.lang.String getAgentName()

Deprecated.

Insert the method's description here.

Returns:

AgentName

getEntryAt

public AgentConfigurationEntry getEntryAt(int offset)

Deprecated.

Insert the method's description here.

Parameters:

offset - int

Returns:

AgentConfigurationEntry

setAgentName

public void setAgentName(java.lang.String name)

Deprecated.

Insert the method's description here.

Parameters:

name -

size

public int size()

Deprecated.

Insert the method's description here.

Returns:

int

removeEntry

public boolean removeEntry(AgentConfigurationEntry entry)

Deprecated.

Removes an entry from this configuration.