TabbedPaneMouseWheelListener.java

package com.jsql.view.swing.tab;

import com.jsql.util.LogLevelUtil;
import org.apache.logging.log4j.LogManager;
import org.apache.logging.log4j.Logger;

import javax.swing.*;
import java.awt.event.MouseWheelEvent;
import java.awt.event.MouseWheelListener;

/**
 * Mouse wheel allows to navigate to next/previous tab.
 */
public class TabbedPaneMouseWheelListener implements MouseWheelListener {
    
    private static final Logger LOGGER = LogManager.getRootLogger();
    
    @Override
    public void mouseWheelMoved(MouseWheelEvent event) {
        
        JTabbedPane tabPane = (JTabbedPane) event.getSource();

        int dir = -event.getWheelRotation();
        int selIndex = tabPane.getSelectedIndex();
        int maxIndex = tabPane.getTabCount() - 1;
        
        if ((selIndex == 0 && dir < 0) || (selIndex == maxIndex && dir > 0)) {
            selIndex = maxIndex - selIndex;
        } else {
            selIndex += dir;
        }
        
        if (0 <= selIndex && selIndex < tabPane.getTabCount()) {
            // Fix #54575: NullPointerException on setSelectedIndex()
            // Fix #90835: IllegalArgumentException on setSelectedIndex()
            try {
                tabPane.setSelectedIndex(selIndex);
            } catch (IllegalArgumentException | NullPointerException e) {
                LOGGER.log(LogLevelUtil.CONSOLE_JAVA, e, e);
            }
        }
    }
}









Active mutators

CONDITIONALS_BOUNDARY
EMPTY_RETURNS
FALSE_RETURNS
INCREMENTS
INVERT_NEGS
MATH
NEGATE_CONDITIONALS
NULL_RETURNS
PRIMITIVE_RETURNS
TRUE_RETURNS
VOID_METHOD_CALLS

Tests examined

Report generated by PIT 1.19.1

1		package com.jsql.view.swing.tab;
2
3		import com.jsql.util.LogLevelUtil;
4		import org.apache.logging.log4j.LogManager;
5		import org.apache.logging.log4j.Logger;
6
7		import javax.swing.*;
8		import java.awt.event.MouseWheelEvent;
9		import java.awt.event.MouseWheelListener;
10
11		/**
12		* Mouse wheel allows to navigate to next/previous tab.
13		*/
14		public class TabbedPaneMouseWheelListener implements MouseWheelListener {
15
16		private static final Logger LOGGER = LogManager.getRootLogger();
17
18		@Override
19		public void mouseWheelMoved(MouseWheelEvent event) {
20
21		JTabbedPane tabPane = (JTabbedPane) event.getSource();
22
23	1 1. mouseWheelMoved : removed negation → NO_COVERAGE	int dir = -event.getWheelRotation();
24		int selIndex = tabPane.getSelectedIndex();
25	1 1. mouseWheelMoved : Replaced integer subtraction with addition → NO_COVERAGE	int maxIndex = tabPane.getTabCount() - 1;
26
27	6 1. mouseWheelMoved : negated conditional → NO_COVERAGE 2. mouseWheelMoved : negated conditional → NO_COVERAGE 3. mouseWheelMoved : negated conditional → NO_COVERAGE 4. mouseWheelMoved : negated conditional → NO_COVERAGE 5. mouseWheelMoved : changed conditional boundary → NO_COVERAGE 6. mouseWheelMoved : changed conditional boundary → NO_COVERAGE	if ((selIndex == 0 && dir < 0) \|\| (selIndex == maxIndex && dir > 0)) {
28	1 1. mouseWheelMoved : Replaced integer subtraction with addition → NO_COVERAGE	selIndex = maxIndex - selIndex;
29		} else {
30	1 1. mouseWheelMoved : Replaced integer addition with subtraction → NO_COVERAGE	selIndex += dir;
31		}
32
33	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 (0 <= selIndex && selIndex < tabPane.getTabCount()) {
34		// Fix #54575: NullPointerException on setSelectedIndex()
35		// Fix #90835: IllegalArgumentException on setSelectedIndex()
36		try {
37	1 1. mouseWheelMoved : removed call to javax/swing/JTabbedPane::setSelectedIndex → NO_COVERAGE	tabPane.setSelectedIndex(selIndex);
38		} catch (IllegalArgumentException \| NullPointerException e) {
39		LOGGER.log(LogLevelUtil.CONSOLE_JAVA, e, e);
40		}
41		}
42		}
43		}
		Mutations
23		1.1 Location : mouseWheelMoved Killed by : none removed negation → NO_COVERAGE
25		1.1 Location : mouseWheelMoved Killed by : none Replaced integer subtraction with addition → NO_COVERAGE
27		1.1 Location : mouseWheelMoved Killed by : none negated conditional → NO_COVERAGE 2.2 Location : mouseWheelMoved Killed by : none negated conditional → NO_COVERAGE 3.3 Location : mouseWheelMoved Killed by : none negated conditional → NO_COVERAGE 4.4 Location : mouseWheelMoved Killed by : none negated conditional → NO_COVERAGE 5.5 Location : mouseWheelMoved Killed by : none changed conditional boundary → NO_COVERAGE 6.6 Location : mouseWheelMoved Killed by : none changed conditional boundary → NO_COVERAGE
28		1.1 Location : mouseWheelMoved Killed by : none Replaced integer subtraction with addition → NO_COVERAGE
30		1.1 Location : mouseWheelMoved Killed by : none Replaced integer addition with subtraction → NO_COVERAGE
33		1.1 Location : mouseWheelMoved Killed by : none negated conditional → NO_COVERAGE 2.2 Location : mouseWheelMoved Killed by : none negated conditional → NO_COVERAGE 3.3 Location : mouseWheelMoved Killed by : none changed conditional boundary → NO_COVERAGE 4.4 Location : mouseWheelMoved Killed by : none changed conditional boundary → NO_COVERAGE
37		1.1 Location : mouseWheelMoved Killed by : none removed call to javax/swing/JTabbedPane::setSelectedIndex → NO_COVERAGE

TabbedPaneMouseWheelListener.java

Mutations

Active mutators

Tests examined