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