|
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.AgentDeclarationManager
public class AgentDeclarationManager
| Method Summary | |
|---|---|
AgentDeclaration |
getAgentDeclaration(java.lang.String agentDeclarationId)
|
java.lang.String |
getAgentDeclarationId(java.lang.String agentName,
java.lang.String agentType)
Given an agent name and type, find the corresponding declaration id (if it exists). |
static AgentDeclarationManager |
getInstance()
Return the instance of this singleton class. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static AgentDeclarationManager getInstance()
public AgentDeclaration getAgentDeclaration(java.lang.String agentDeclarationId)
public java.lang.String getAgentDeclarationId(java.lang.String agentName,
java.lang.String agentType)
agentName - The agent nameagentType - The agent type
|
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 | ||||||||