public class UserHistoryRecord extends ObjectHistoryRecord
Modifier and Type | Field and Description |
---|---|
protected String |
user |
DEFAULT_ID, id
description, GenericHistoryRecordType, object, timestamp, type
Constructor and Description |
---|
UserHistoryRecord() |
UserHistoryRecord(Object obj,
String user) |
Modifier and Type | Method and Description |
---|---|
void |
copyInfoFrom(UserHistoryRecord he) |
String |
getUser() |
org.w3c.dom.Document |
makeDocument()
Create an XML document such that "event" is the outermost tag.
|
void |
setUser(String user) |
String |
toString() |
copyInfoFrom, getID, getObject, setID, setObject
appendDescription, appendDescription, copyInfoFrom, getDescription, getTimestamp, getType, setDescription, setTimestamp, setType, toXML
public UserHistoryRecord()
public UserHistoryRecord(Object obj, String user)
public org.w3c.dom.Document makeDocument()
makeDocument
in class ObjectHistoryRecord
public String toString()
toString
in class HistoryRecord
public void copyInfoFrom(UserHistoryRecord he)
public String getUser()
public void setUser(String user)