org.processmining.plugins.ltlchecker

Class XTraceListModel

java.lang.Object

javax.swing.AbstractListModel

org.processmining.plugins.ltlchecker.XTraceListModel

All Implemented Interfaces:

java.io.Serializable, javax.swing.ListModel

public class XTraceListModel
extends javax.swing.AbstractListModel

Author:

Christian W. Guenther (christian@deckfour.org)

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected org.deckfour.xes.model.XTrace	ateList

Fields inherited from class javax.swing.AbstractListModel

listenerList

Constructor Summary

Constructors

Constructor and Description
XTraceListModel(org.deckfour.xes.model.XTrace list)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	getElementAt(int index)
int	getSize()

Methods inherited from class javax.swing.AbstractListModel

addListDataListener, fireContentsChanged, fireIntervalAdded, fireIntervalRemoved, getListDataListeners, getListeners, removeListDataListener

Methods inherited from class java.lang.Object

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

Field Detail

ateList

protected org.deckfour.xes.model.XTrace ateList

Constructor Detail

XTraceListModel

public XTraceListModel(org.deckfour.xes.model.XTrace list)

Method Detail

getElementAt

public java.lang.Object getElementAt(int index)

getSize

public int getSize()