GraphComponentMouseWheelListener (ObjectCentricConstraintChecking)

java.lang.Object
- org.processmining.objectcentricconstraintchecking.algorithms.listener.GraphComponentMouseWheelListener

All Implemented Interfaces:: java.awt.event.MouseWheelListener, java.util.EventListener

public class GraphComponentMouseWheelListener
extends java.lang.Object
implements java.awt.event.MouseWheelListener

- Constructor Summary
  
  Constructors
  Constructor Description
  
  GraphComponentMouseWheelListener(BasicGraphEditor modelEditor)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void mouseWheelMoved(java.awt.event.MouseWheelEvent e)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - GraphComponentMouseWheelListener
```
public GraphComponentMouseWheelListener(BasicGraphEditor modelEditor)
```
- Method Detail
  - mouseWheelMoved
```
public void mouseWheelMoved(java.awt.event.MouseWheelEvent e)
```
    Specified by:
    
    mouseWheelMoved in interface java.awt.event.MouseWheelListener