public class FileHistoryRecord extends ObjectHistoryRecord
| Modifier and Type | Field and Description |
|---|---|
File |
file |
static String |
FileHistoryRecordType |
DEFAULT_ID, iddescription, 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, setObjectappendDescription, appendDescription, copyInfoFrom, getDescription, getTimestamp, getType, setDescription, setTimestamp, setType, toXMLpublic FileHistoryRecord()
public FileHistoryRecord(Object obj,
File f)
public org.w3c.dom.Document makeDocument()
makeDocument in class ObjectHistoryRecordpublic void copyInfoFrom(FileHistoryRecord he)
public File getFile()
public void setFile(File file)
public String toString()
toString in class HistoryRecord