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()