edu.toronto.cs.proof
Class ProofStepListModel

java.lang.Object
  extended by edu.toronto.cs.proof.ProofStepListModel
All Implemented Interfaces:
javax.swing.ListModel

public class ProofStepListModel
extends java.lang.Object
implements javax.swing.ListModel


Constructor Summary
ProofStepListModel(StatePresenter _statePresenter)
           
 
Method Summary
 void addListDataListener(javax.swing.event.ListDataListener l)
           
 java.lang.Object getElementAt(int index)
           
 int getSize()
           
 void removeListDataListener(javax.swing.event.ListDataListener l)
           
 void setProofStep(ProofStep step)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ProofStepListModel

public ProofStepListModel(StatePresenter _statePresenter)
Method Detail

addListDataListener

public void addListDataListener(javax.swing.event.ListDataListener l)
Specified by:
addListDataListener in interface javax.swing.ListModel

removeListDataListener

public void removeListDataListener(javax.swing.event.ListDataListener l)
Specified by:
removeListDataListener in interface javax.swing.ListModel

getElementAt

public java.lang.Object getElementAt(int index)
Specified by:
getElementAt in interface javax.swing.ListModel

getSize

public int getSize()
Specified by:
getSize in interface javax.swing.ListModel

setProofStep

public void setProofStep(ProofStep step)