public class InstanceIDEvent
extends java.util.EventObject
| Modifier and Type | Field and Description |
|---|---|
static int |
ID_REGISTERED |
static int |
ID_UNREGISTERED |
| Constructor and Description |
|---|
InstanceIDEvent(java.lang.Object source,
int eventid,
java.lang.String instanceid,
Tool tool,
int idcount) |
| Modifier and Type | Method and Description |
|---|---|
int |
getEventID() |
int |
getIDCount() |
java.lang.String |
getInstanceID() |
Tool |
getTool() |
public static final int ID_REGISTERED
public static final int ID_UNREGISTERED
public InstanceIDEvent(java.lang.Object source,
int eventid,
java.lang.String instanceid,
Tool tool,
int idcount)
source - the source for this eventeventid - the event id (ID_REGISTERED/ID_UNREGISTERED)instanceid - the instance idtool - the tool that the id is (un)registered for.idcount - the number of tasks existing with the instance idpublic int getEventID()
public java.lang.String getInstanceID()
public Tool getTool()
public int getIDCount()