public final class RecordLockEvent
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private long |
eventID
Sequential, unique event ID
|
private RecordIdentifier |
identifier
Unique identifier of the locked record
|
private SessionToken |
locker
The locker
|
private LockType |
newType
Lock type after the event
|
private LockType |
oldType
Lock type before the event
|
private integer |
userid
Unique, numeric identifier of user in whose session the event occurred
|
Constructor and Description |
---|
RecordLockEvent(long eventID,
SessionToken locker,
RecordIdentifier identifier,
LockType oldType,
LockType newType)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
long |
getEventID()
Get the unique ID of this event.
|
RecordIdentifier |
getIdentifier()
Get the identifier which uniquely identifies the locked record.
|
SessionToken |
getLocker()
Get the session token of the user which generated this lock event.
|
LockType |
getNewType()
Get the lock type as it was after this event.
|
LockType |
getOldType()
Get the lock type as it was before this event.
|
integer |
getUserid()
Get the ID of the user who generated this lock event.
|
void |
setUserid(integer userid)
Set the ID of the user who generated this lock event.
|
java.lang.String |
toString()
Get a string describing this event.
|
private final long eventID
private final SessionToken locker
private final RecordIdentifier identifier
private final LockType oldType
private final LockType newType
private integer userid
RecordLockEvent(long eventID, SessionToken locker, RecordIdentifier identifier, LockType oldType, LockType newType)
eventID
- Sequential, unique event ID.locker
- The locker.identifier
- Unique identifier of the locked record.oldType
- Lock type before the event.newType
- Lock type after the event.public long getEventID()
public SessionToken getLocker()
public RecordIdentifier getIdentifier()
public LockType getOldType()
public LockType getNewType()
public integer getUserid()
public void setUserid(integer userid)
userid
- public java.lang.String toString()
toString
in class java.lang.Object