|
TPTP 4.5.0 Platform Project Internal API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectorg.eclipse.tptp.trace.ui.internal.launcher.core.AgentDeclaration
public class AgentDeclaration
Represents an agent delcalarion.
| Method Summary | |
|---|---|
static AgentDeclaration |
constructInstance(org.eclipse.core.runtime.IConfigurationElement element)
Construct an instance of this class based on the configuration passed in. |
java.lang.String |
getId()
|
java.lang.String |
getName()
|
java.lang.String |
getType()
|
void |
setId(java.lang.String id)
|
void |
setName(java.lang.String name)
|
void |
setType(java.lang.String type)
|
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static AgentDeclaration constructInstance(org.eclipse.core.runtime.IConfigurationElement element)
element - The element representing the declaration
public java.lang.String getName()
public void setName(java.lang.String name)
public java.lang.String getType()
public void setType(java.lang.String type)
public void setId(java.lang.String id)
public java.lang.String getId()
|
TPTP 4.5.0 Platform Project Internal API Specification |
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||