public class InstanceIDManager
extends java.lang.Object
Constructor and Description |
---|
InstanceIDManager() |
Modifier and Type | Method and Description |
---|---|
static void |
addInstanceIDListener(InstanceIDListener listener)
Adds an instance id listener
|
static InstanceIDFactory |
getInstanceIDFactory() |
static java.lang.String |
getRegisteredID(Tool tool) |
static boolean |
isRegisteredID(Tool tool) |
static java.lang.String |
registerID(Task task,
Tool tool,
boolean preserveinst)
Registers an instance ID for the specified task.
|
static void |
registerID(Tool tool,
java.lang.String id)
Registers the instance id for a tool
|
static void |
removeInstanceIDListener(InstanceIDListener listener)
Removes an instance id listener
|
static void |
setInstanceIDFactory(InstanceIDFactory factory)
Sets the instance id factory
|
static void |
unregisterID(Task task)
Unregisters the instance id for a task
|
public static void setInstanceIDFactory(InstanceIDFactory factory)
public static InstanceIDFactory getInstanceIDFactory()
public static void addInstanceIDListener(InstanceIDListener listener)
public static void removeInstanceIDListener(InstanceIDListener listener)
public static boolean isRegisteredID(Tool tool)
public static java.lang.String getRegisteredID(Tool tool)
public static void registerID(Tool tool, java.lang.String id)
public static java.lang.String registerID(Task task, Tool tool, boolean preserveinst)
task
- the task an instance id is being registered fortool
- the tool used to instantiate the taskpreserveinst
- a flag indicating whether the instance id is preserved from the original tool.public static void unregisterID(Task task)