public class History
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
History.Record
Single history record
|
Modifier and Type | Field and Description |
---|---|
static int |
ACTION_ADD_RECORD
new record added
|
static int |
ACTION_CLEAR_RECORDS
all records removed
|
static int |
ACTION_REMOVE_RECORD
existing record removed
|
Modifier and Type | Method and Description |
---|---|
void |
addActionListener(java.awt.event.ActionListener actionListener) |
void |
addRecord(History.Record record)
add new record
|
void |
addRecords(java.util.Collection<History.Record> records)
add new records
|
void |
clearRecords()
delete all records
|
History.Record |
findLastRecord(java.lang.String gatewayName)
Find last (as in time) record sent to specified gateway.
|
static History |
getInstance()
Get shared instance
|
History.Record |
getRecord(int index)
get record at index
|
java.util.List<History.Record> |
getRecords()
get all records in unmodifiable list
|
void |
removeActionListener(java.awt.event.ActionListener actionListener) |
void |
removeRecord(History.Record record)
remove existing record
|
void |
removeRecords(java.util.Collection<History.Record> records)
remove existing records
|
void |
removeRecordsOlderThan(java.util.Date date)
Remove all records older than limit time
|
public static final int ACTION_ADD_RECORD
public static final int ACTION_REMOVE_RECORD
public static final int ACTION_CLEAR_RECORDS
public void addActionListener(java.awt.event.ActionListener actionListener)
public void removeActionListener(java.awt.event.ActionListener actionListener)
public static History getInstance()
public java.util.List<History.Record> getRecords()
public History.Record getRecord(int index)
public void addRecord(History.Record record)
public void addRecords(java.util.Collection<History.Record> records)
public void removeRecord(History.Record record)
public void removeRecords(java.util.Collection<History.Record> records)
public void removeRecordsOlderThan(java.util.Date date)
date
- limit time which records to keep, older are removed; not nullpublic void clearRecords()
public History.Record findLastRecord(java.lang.String gatewayName)
gatewayName
- name of the gateway