public class UserSpaceEvent
extends java.util.EventObject
| Modifier and Type | Field and Description |
|---|---|
static int |
US_CREATED
Event ID indicating that a user space has been created.
|
static int |
US_DELETED
Event ID indicating that a user space has been deleted.
|
static int |
US_READ
Event ID indicating that a user space has been read.
|
static int |
US_WRITTEN
Event ID indicating that a user space has been written.
|
| Constructor and Description |
|---|
UserSpaceEvent(java.lang.Object source,
int id)
Constructs a UserSpaceEvent object.
|
| Modifier and Type | Method and Description |
|---|---|
int |
getID()
Returns the identifier for this event.
|
public static final int US_CREATED
public static final int US_DELETED
public static final int US_READ
public static final int US_WRITTEN