org.protege.editor.owl.model.selection
Class OWLSelectionHistoryManagerImpl

java.lang.Object
  org.protege.editor.owl.model.selection.OWLSelectionHistoryManagerImpl

All Implemented Interfaces:

OWLSelectionHistoryManager

public class OWLSelectionHistoryManagerImpl
extends Object
implements OWLSelectionHistoryManager

Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: 07-Jun-2006

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Constructor Summary

OWLSelectionHistoryManagerImpl(OWLSelectionModel owlSelectionModel)

Method Summary

void	addChangeListener(ChangeListener changeListener)
boolean	canGoBack()
boolean	canGoForward()
void	dispose()
protected void	fireStateChanged()
void	goBack()
void	goForward()
void	removeChangeListener(ChangeListener changeListener)

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLSelectionHistoryManagerImpl

public OWLSelectionHistoryManagerImpl(OWLSelectionModel owlSelectionModel)

Method Detail

dispose

public void dispose()

Specified by:

dispose in interface OWLSelectionHistoryManager

canGoBack

public boolean canGoBack()

Specified by:

canGoBack in interface OWLSelectionHistoryManager

goBack

public void goBack()

Specified by:

goBack in interface OWLSelectionHistoryManager

canGoForward

public boolean canGoForward()

Specified by:

canGoForward in interface OWLSelectionHistoryManager

goForward

public void goForward()

Specified by:

goForward in interface OWLSelectionHistoryManager

addChangeListener

public void addChangeListener(ChangeListener changeListener)

Specified by:

addChangeListener in interface OWLSelectionHistoryManager

removeChangeListener

public void removeChangeListener(ChangeListener changeListener)

Specified by:

removeChangeListener in interface OWLSelectionHistoryManager

fireStateChanged

protected void fireStateChanged()