public interface History
Modifier and Type | Method and Description |
---|---|
HistoryRecordStructure |
getHistoryRecordsStructure() |
HistoryID |
getID() |
InteractiveHistoryReader |
getInteractiveReader()
Returns an object that can be used to read and query this history.
|
HistoryReader |
getReader()
Returns an object which can be used to read and query this history.
|
HistoryWriter |
getWriter()
Returns an object which can be used to append records to this history.
|
void |
setHistoryRecordsStructure(HistoryRecordStructure structure)
Sets the given structure to be the new history records
structure used in this history implementation.
|
HistoryReader getReader()
InteractiveHistoryReader getInteractiveReader()
HistoryWriter getWriter()
HistoryID getID()
HistoryRecordStructure getHistoryRecordsStructure()
void setHistoryRecordsStructure(HistoryRecordStructure structure)
structure
- the new HistoryRecordStructure to use
Jitsi, the OpenSource Java VoIP and Instant Messaging client.
Distributable under Apache license.