org.processmining.plugins.ltlchecker

Class CheckListModel

java.lang.Object

javax.swing.AbstractListModel

org.processmining.plugins.ltlchecker.CheckListModel

All Implemented Interfaces:

java.io.Serializable, javax.swing.ListModel

public class CheckListModel
extends javax.swing.AbstractListModel

Author:

Fabrizio M. Maggi

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Vector	list

Fields inherited from class javax.swing.AbstractListModel

listenerList

Constructor Summary

Constructors

Constructor and Description
CheckListModel(java.util.Vector 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

list

protected java.util.Vector list

Constructor Detail

CheckListModel

public CheckListModel(java.util.Vector list)

Method Detail

getElementAt

public java.lang.Object getElementAt(int index)

getSize

public int getSize()