public class DerivedHistoryRecord extends HistoryRecord
| Modifier and Type | Field and Description |
|---|---|
(package private) String |
id |
description, GenericHistoryRecordType, object, timestamp, type| Constructor and Description |
|---|
DerivedHistoryRecord() |
DerivedHistoryRecord(Object derivedObject,
String id,
String description) |
| Modifier and Type | Method and Description |
|---|---|
void |
copyInfoFrom(DerivedHistoryRecord he) |
String |
getId() |
org.w3c.dom.Document |
makeDocument()
Return the history event DOM tree node for the bare history event.
|
void |
setID(String id) |
String |
toString() |
appendDescription, appendDescription, copyInfoFrom, getDescription, getObject, getTimestamp, getType, setDescription, setObject, setTimestamp, setType, toXMLpublic DerivedHistoryRecord()
public DerivedHistoryRecord(Object derivedObject,
String id,
String description)
public org.w3c.dom.Document makeDocument()
HistoryRecordmakeDocument in class HistoryRecordpublic void copyInfoFrom(DerivedHistoryRecord he)
public String getId()
public void setID(String id)
public String toString()
toString in class HistoryRecord