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, toXML
public DerivedHistoryRecord()
public DerivedHistoryRecord(Object derivedObject, String id, String description)
public org.w3c.dom.Document makeDocument()
HistoryRecord
makeDocument
in class HistoryRecord
public void copyInfoFrom(DerivedHistoryRecord he)
public String getId()
public void setID(String id)
public String toString()
toString
in class HistoryRecord