public class UserHistoryRecord extends ObjectHistoryRecord
| Modifier and Type | Field and Description |
|---|---|
protected String |
user |
DEFAULT_ID, iddescription, 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, setObjectappendDescription, appendDescription, copyInfoFrom, getDescription, getTimestamp, getType, setDescription, setTimestamp, setType, toXMLpublic UserHistoryRecord()
public UserHistoryRecord(Object obj,
String user)
public org.w3c.dom.Document makeDocument()
makeDocument in class ObjectHistoryRecordpublic String toString()
toString in class HistoryRecordpublic void copyInfoFrom(UserHistoryRecord he)
public String getUser()
public void setUser(String user)