fr.ove.openmath.jome.ctrlview.bidim.selection
Class SelectionManager

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.selection.SelectionManager

All Implemented Interfaces:

java.util.EventListener, SelectionEventListener

public class SelectionManager

extends java.lang.Object

implements SelectionEventListener

This class manages a list of selected elements.

Version:

1.0 30/06/98

Author:

© 1998 DIRAT Laurent

Constructor Summary

SelectionManager()
The constructor.

Method Summary

void	consumeSelectionEvent(SelectionEvent selectionEvent) Consumes (i.e. treats) the event received.

Methods inherited from class java.lang.Object

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

Constructor Detail

SelectionManager

public SelectionManager()

The constructor.

Method Detail

consumeSelectionEvent

public void consumeSelectionEvent(SelectionEvent selectionEvent)

Consumes (i.e. treats) the event received.

Specified by:

consumeSelectionEvent in interface SelectionEventListener

Parameters:

selectionEvent - the event to consume.