| 1 | package com.jsql.view.swing.panel.preferences.listener; | |
| 2 | ||
| 3 | import javax.swing.*; | |
| 4 | import java.awt.event.MouseWheelEvent; | |
| 5 | import java.awt.event.MouseWheelListener; | |
| 6 | ||
| 7 | public class SpinnerMouseWheelListener implements MouseWheelListener { | |
| 8 | @Override | |
| 9 | public void mouseWheelMoved(MouseWheelEvent e) { | |
| 10 | JSpinner source = (JSpinner) e.getComponent(); | |
| 11 | SpinnerNumberModel model = (SpinnerNumberModel) source.getModel(); | |
| 12 | Integer oldValue = (Integer) source.getValue(); | |
| 13 |
2
1. mouseWheelMoved : Replaced integer multiplication with division → NO_COVERAGE 2. mouseWheelMoved : Replaced integer subtraction with addition → NO_COVERAGE |
var intValue = oldValue - e.getWheelRotation() * model.getStepSize().intValue(); |
| 14 | int max = (Integer) model.getMaximum(); | |
| 15 | int min = (Integer) model.getMinimum(); | |
| 16 |
4
1. mouseWheelMoved : negated conditional → NO_COVERAGE 2. mouseWheelMoved : negated conditional → NO_COVERAGE 3. mouseWheelMoved : changed conditional boundary → NO_COVERAGE 4. mouseWheelMoved : changed conditional boundary → NO_COVERAGE |
if (min <= intValue && intValue <= max) { |
| 17 |
1
1. mouseWheelMoved : removed call to javax/swing/JSpinner::setValue → NO_COVERAGE |
source.setValue(intValue); |
| 18 | } | |
| 19 | } | |
| 20 | } | |
Mutations | ||
| 13 |
1.1 2.2 |
|
| 16 |
1.1 2.2 3.3 4.4 |
|
| 17 |
1.1 |