AbstractColoredConsole.java

package com.jsql.view.swing.console;

import com.jsql.util.LogLevelUtil;
import com.jsql.view.swing.text.JPopupTextPane;
import com.jsql.view.swing.util.MediatorHelper;
import org.apache.commons.lang3.StringUtils;
import org.apache.logging.log4j.LogManager;
import org.apache.logging.log4j.Logger;

import javax.swing.*;
import javax.swing.text.SimpleAttributeSet;
import java.awt.*;
import java.awt.event.FocusAdapter;
import java.awt.event.FocusEvent;

/**
 * A JTextPane which displays colored strings.
 */
public abstract class AbstractColoredConsole extends JPopupTextPane {
    
    /**
     * Log4j logger sent to view.
     */
    private static final Logger LOGGER = LogManager.getRootLogger();

    /**
     * Text name of tab.
     */
    private final String tabName;

    /**
     * Create a JTextPane which displays colored strings.
     * @param tabName Text name of tab
     */
    protected AbstractColoredConsole(final String tabName, String placeholder) {
        super(placeholder);
        this.tabName = tabName;
        this.addFocusListener(new FocusAdapter() {
            @Override
            public void focusGained(FocusEvent focusEvent) {
                AbstractColoredConsole.this.getProxy().getCaret().setVisible(true);
                AbstractColoredConsole.this.getProxy().getCaret().setSelectionVisible(true);
            }
        });
        this.setCursor(Cursor.getPredefinedCursor(Cursor.TEXT_CURSOR));
    }
    
    protected abstract SimpleAttributeSet getColorAttribute();

    /**
     * Add a string to the end of JTextPane.
     * @param message Text to add
     * @param attribut Font
     */
    public void append(String message, SimpleAttributeSet attribut) {
        try {
            boolean isCaretAtEnd = this.getProxy().getCaretPosition() == this.getProxy().getDocument().getLength();
            
            JScrollPane scrollPane = (JScrollPane) this.getProxy().getParent().getParent();
            JScrollBar scrollBar = scrollPane.getVerticalScrollBar();
            int extent = scrollBar.getModel().getExtent();
            boolean isScrollBarAtEnd = scrollBar.getValue() >= scrollBar.getMaximum() - extent;
            
            var logMessage = message.substring(15);
            var logTimestamp = message.substring(0, 15);
            
            this.getProxy().getDocument().insertString(
                this.getProxy().getDocument().getLength(),
                (this.getProxy().getDocument().getLength() == 0 ? StringUtils.EMPTY : "\n") + logTimestamp,
                this.getColorAttribute()
            );
            
            this.getProxy().getDocument().insertString(
                this.getProxy().getDocument().getLength(),
                logMessage,
                attribut
            );
            
            if (isCaretAtEnd || isScrollBarAtEnd) {
                scrollBar.setValue(scrollBar.getMaximum() + 1);
            }

            var foregroundColor = UIManager.getColor("TextArea.foreground");
            if (attribut == JTextPaneAppender.ATTRIBUTE_WARN) {
                foregroundColor = LogLevelUtil.COLOR_RED;
            } else if (attribut == JTextPaneAppender.ATTRIBUTE_SUCCESS) {
                foregroundColor = LogLevelUtil.COLOR_GREEN;
            }
            
            int tabIndex = MediatorHelper.tabConsoles().indexOfTab(this.tabName);
            if (0 <= tabIndex && tabIndex < MediatorHelper.tabConsoles().getTabCount()) {
                var tabHeader = MediatorHelper.tabConsoles().getTabComponentAt(tabIndex);
                if (MediatorHelper.tabConsoles().getSelectedIndex() != tabIndex) {
                    tabHeader.setFont(tabHeader.getFont().deriveFont(Font.BOLD));
                    if (foregroundColor != UIManager.getColor("TextArea.foreground")) {  // keep tab colored until user clicks
                        tabHeader.setForeground(foregroundColor);
                    }
                }
            }
        } catch (Exception e) {
            // Report #863: exception during report of exception
            LOGGER.log(LogLevelUtil.CONSOLE_JAVA, message, 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.console;
2
3		import com.jsql.util.LogLevelUtil;
4		import com.jsql.view.swing.text.JPopupTextPane;
5		import com.jsql.view.swing.util.MediatorHelper;
6		import org.apache.commons.lang3.StringUtils;
7		import org.apache.logging.log4j.LogManager;
8		import org.apache.logging.log4j.Logger;
9
10		import javax.swing.*;
11		import javax.swing.text.SimpleAttributeSet;
12		import java.awt.*;
13		import java.awt.event.FocusAdapter;
14		import java.awt.event.FocusEvent;
15
16		/**
17		* A JTextPane which displays colored strings.
18		*/
19		public abstract class AbstractColoredConsole extends JPopupTextPane {
20
21		/**
22		* Log4j logger sent to view.
23		*/
24		private static final Logger LOGGER = LogManager.getRootLogger();
25
26		/**
27		* Text name of tab.
28		*/
29		private final String tabName;
30
31		/**
32		* Create a JTextPane which displays colored strings.
33		* @param tabName Text name of tab
34		*/
35		protected AbstractColoredConsole(final String tabName, String placeholder) {
36		super(placeholder);
37		this.tabName = tabName;
38	1 1. <init> : removed call to com/jsql/view/swing/console/AbstractColoredConsole::addFocusListener → NO_COVERAGE	this.addFocusListener(new FocusAdapter() {
39		@Override
40		public void focusGained(FocusEvent focusEvent) {
41	1 1. focusGained : removed call to javax/swing/text/Caret::setVisible → NO_COVERAGE	AbstractColoredConsole.this.getProxy().getCaret().setVisible(true);
42	1 1. focusGained : removed call to javax/swing/text/Caret::setSelectionVisible → NO_COVERAGE	AbstractColoredConsole.this.getProxy().getCaret().setSelectionVisible(true);
43		}
44		});
45	1 1. <init> : removed call to com/jsql/view/swing/console/AbstractColoredConsole::setCursor → NO_COVERAGE	this.setCursor(Cursor.getPredefinedCursor(Cursor.TEXT_CURSOR));
46		}
47
48		protected abstract SimpleAttributeSet getColorAttribute();
49
50		/**
51		* Add a string to the end of JTextPane.
52		* @param message Text to add
53		* @param attribut Font
54		*/
55		public void append(String message, SimpleAttributeSet attribut) {
56		try {
57	1 1. append : negated conditional → NO_COVERAGE	boolean isCaretAtEnd = this.getProxy().getCaretPosition() == this.getProxy().getDocument().getLength();
58
59		JScrollPane scrollPane = (JScrollPane) this.getProxy().getParent().getParent();
60		JScrollBar scrollBar = scrollPane.getVerticalScrollBar();
61		int extent = scrollBar.getModel().getExtent();
62	3 1. append : Replaced integer subtraction with addition → NO_COVERAGE 2. append : changed conditional boundary → NO_COVERAGE 3. append : negated conditional → NO_COVERAGE	boolean isScrollBarAtEnd = scrollBar.getValue() >= scrollBar.getMaximum() - extent;
63
64		var logMessage = message.substring(15);
65		var logTimestamp = message.substring(0, 15);
66
67	1 1. append : removed call to javax/swing/text/Document::insertString → NO_COVERAGE	this.getProxy().getDocument().insertString(
68		this.getProxy().getDocument().getLength(),
69	1 1. append : negated conditional → NO_COVERAGE	(this.getProxy().getDocument().getLength() == 0 ? StringUtils.EMPTY : "\n") + logTimestamp,
70		this.getColorAttribute()
71		);
72
73	1 1. append : removed call to javax/swing/text/Document::insertString → NO_COVERAGE	this.getProxy().getDocument().insertString(
74		this.getProxy().getDocument().getLength(),
75		logMessage,
76		attribut
77		);
78
79	2 1. append : negated conditional → NO_COVERAGE 2. append : negated conditional → NO_COVERAGE	if (isCaretAtEnd \|\| isScrollBarAtEnd) {
80	2 1. append : removed call to javax/swing/JScrollBar::setValue → NO_COVERAGE 2. append : Replaced integer addition with subtraction → NO_COVERAGE	scrollBar.setValue(scrollBar.getMaximum() + 1);
81		}
82
83		var foregroundColor = UIManager.getColor("TextArea.foreground");
84	1 1. append : negated conditional → NO_COVERAGE	if (attribut == JTextPaneAppender.ATTRIBUTE_WARN) {
85		foregroundColor = LogLevelUtil.COLOR_RED;
86	1 1. append : negated conditional → NO_COVERAGE	} else if (attribut == JTextPaneAppender.ATTRIBUTE_SUCCESS) {
87		foregroundColor = LogLevelUtil.COLOR_GREEN;
88		}
89
90		int tabIndex = MediatorHelper.tabConsoles().indexOfTab(this.tabName);
91	4 1. append : changed conditional boundary → NO_COVERAGE 2. append : changed conditional boundary → NO_COVERAGE 3. append : negated conditional → NO_COVERAGE 4. append : negated conditional → NO_COVERAGE	if (0 <= tabIndex && tabIndex < MediatorHelper.tabConsoles().getTabCount()) {
92		var tabHeader = MediatorHelper.tabConsoles().getTabComponentAt(tabIndex);
93	1 1. append : negated conditional → NO_COVERAGE	if (MediatorHelper.tabConsoles().getSelectedIndex() != tabIndex) {
94	1 1. append : removed call to java/awt/Component::setFont → NO_COVERAGE	tabHeader.setFont(tabHeader.getFont().deriveFont(Font.BOLD));
95	1 1. append : negated conditional → NO_COVERAGE	if (foregroundColor != UIManager.getColor("TextArea.foreground")) { // keep tab colored until user clicks
96	1 1. append : removed call to java/awt/Component::setForeground → NO_COVERAGE	tabHeader.setForeground(foregroundColor);
97		}
98		}
99		}
100		} catch (Exception e) {
101		// Report #863: exception during report of exception
102		LOGGER.log(LogLevelUtil.CONSOLE_JAVA, message, e);
103		}
104		}
105		}
		Mutations
38		1.1 Location : <init> Killed by : none removed call to com/jsql/view/swing/console/AbstractColoredConsole::addFocusListener → NO_COVERAGE
41		1.1 Location : focusGained Killed by : none removed call to javax/swing/text/Caret::setVisible → NO_COVERAGE
42		1.1 Location : focusGained Killed by : none removed call to javax/swing/text/Caret::setSelectionVisible → NO_COVERAGE
45		1.1 Location : <init> Killed by : none removed call to com/jsql/view/swing/console/AbstractColoredConsole::setCursor → NO_COVERAGE
57		1.1 Location : append Killed by : none negated conditional → NO_COVERAGE
62		1.1 Location : append Killed by : none Replaced integer subtraction with addition → NO_COVERAGE 2.2 Location : append Killed by : none changed conditional boundary → NO_COVERAGE 3.3 Location : append Killed by : none negated conditional → NO_COVERAGE
67		1.1 Location : append Killed by : none removed call to javax/swing/text/Document::insertString → NO_COVERAGE
69		1.1 Location : append Killed by : none negated conditional → NO_COVERAGE
73		1.1 Location : append Killed by : none removed call to javax/swing/text/Document::insertString → NO_COVERAGE
79		1.1 Location : append Killed by : none negated conditional → NO_COVERAGE 2.2 Location : append Killed by : none negated conditional → NO_COVERAGE
80		1.1 Location : append Killed by : none removed call to javax/swing/JScrollBar::setValue → NO_COVERAGE 2.2 Location : append Killed by : none Replaced integer addition with subtraction → NO_COVERAGE
84		1.1 Location : append Killed by : none negated conditional → NO_COVERAGE
86		1.1 Location : append Killed by : none negated conditional → NO_COVERAGE
91		1.1 Location : append Killed by : none changed conditional boundary → NO_COVERAGE 2.2 Location : append Killed by : none changed conditional boundary → NO_COVERAGE 3.3 Location : append Killed by : none negated conditional → NO_COVERAGE 4.4 Location : append Killed by : none negated conditional → NO_COVERAGE
93		1.1 Location : append Killed by : none negated conditional → NO_COVERAGE
94		1.1 Location : append Killed by : none removed call to java/awt/Component::setFont → NO_COVERAGE
95		1.1 Location : append Killed by : none negated conditional → NO_COVERAGE
96		1.1 Location : append Killed by : none removed call to java/awt/Component::setForeground → NO_COVERAGE

AbstractColoredConsole.java

Mutations

Active mutators

Tests examined