meka.gui.core

Class ResultHistoryList.ResultHistoryModel

java.lang.Object

javax.swing.AbstractListModel

meka.gui.core.ResultHistoryList.ResultHistoryModel

All Implemented Interfaces:

java.io.Serializable, javax.swing.ListModel

Enclosing class:

ResultHistoryList

public static class ResultHistoryList.ResultHistoryModel
extends javax.swing.AbstractListModel

Model for results histories.

Version:

$Revision: 303 $

Author:

fracpete (fracpete at waikato dot ac dot nz)

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ResultHistoryList.ResultHistoryModel() Initializes the model with an empty history.
ResultHistoryList.ResultHistoryModel(ResultHistory history) Initializes the model with the history.

Method Summary

Methods

Modifier and Type	Method and Description
void	addElement(Result result, java.lang.String suffix) Adds the element to the history.
void	clear() Clears the history.
java.lang.Object	getElementAt(int index) Returns the element at the specified location.
ResultHistory	getHistory() Returns the underlying history.
Result	getResultAt(int index) Returns the element at the specified location.
int	getSize() Returns the number of history entries.
java.lang.String	getSuffixAt(int index) Returns the suffix at the specified location.
java.util.Date	getTimestampAt(int index) Returns the element at the specified location.
Result	removeElementAt(int index) Removes the element at the specified location.

Methods inherited from class javax.swing.AbstractListModel

addListDataListener, getListDataListeners, getListeners, removeListDataListener

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ResultHistoryList.ResultHistoryModel

public ResultHistoryList.ResultHistoryModel()

Initializes the model with an empty history.

ResultHistoryList.ResultHistoryModel

public ResultHistoryList.ResultHistoryModel(ResultHistory history)

Initializes the model with the history.

Parameters:

history - the history to use

Method Detail

clear

public void clear()

Clears the history.

getSize

public int getSize()

Returns the number of history entries.

Returns:

the number of entries

addElement

public void addElement(Result result,
              java.lang.String suffix)

Adds the element to the history.

Parameters:

result - the item to add

suffix - the suffix to add

getElementAt

public java.lang.Object getElementAt(int index)

Returns the element at the specified location.

Parameters:

index - the location

Returns:

the item

getTimestampAt

public java.util.Date getTimestampAt(int index)

Returns the element at the specified location.

Parameters:

index - the location

Returns:

the item

getResultAt

public Result getResultAt(int index)

Returns the element at the specified location.

Parameters:

index - the location

Returns:

the item

getSuffixAt

public java.lang.String getSuffixAt(int index)

Returns the suffix at the specified location.

Parameters:

index - the location

Returns:

the suffix

removeElementAt

public Result removeElementAt(int index)

Removes the element at the specified location.

Parameters:

index - the location

Returns:

the removed item

getHistory

public ResultHistory getHistory()

Returns the underlying history.

Returns:

the history