ArrayTypeStyleCheck.java

1
////////////////////////////////////////////////////////////////////////////////
2
// checkstyle: Checks Java source code for adherence to a set of rules.
3
// Copyright (C) 2001-2017 the original author or authors.
4
//
5
// This library is free software; you can redistribute it and/or
6
// modify it under the terms of the GNU Lesser General Public
7
// License as published by the Free Software Foundation; either
8
// version 2.1 of the License, or (at your option) any later version.
9
//
10
// This library is distributed in the hope that it will be useful,
11
// but WITHOUT ANY WARRANTY; without even the implied warranty of
12
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13
// Lesser General Public License for more details.
14
//
15
// You should have received a copy of the GNU Lesser General Public
16
// License along with this library; if not, write to the Free Software
17
// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
18
////////////////////////////////////////////////////////////////////////////////
19
20
package com.puppycrawl.tools.checkstyle.checks;
21
22
import com.puppycrawl.tools.checkstyle.api.AbstractCheck;
23
import com.puppycrawl.tools.checkstyle.api.DetailAST;
24
import com.puppycrawl.tools.checkstyle.api.TokenTypes;
25
26
/**
27
 * Checks the style of array type definitions.
28
 * Some like Java-style: {@code public static void main(String[] args)}
29
 * and some like C-style: public static void main(String args[])
30
 *
31
 * <p>By default the Check enforces Java style.
32
 * @author lkuehne
33
 */
34
public class ArrayTypeStyleCheck extends AbstractCheck {
35
    /**
36
     * A key is pointing to the warning message text in "messages.properties"
37
     * file.
38
     */
39
    public static final String MSG_KEY = "array.type.style";
40
41
    /** Controls whether to use Java or C style. */
42
    private boolean javaStyle = true;
43
44
    @Override
45
    public int[] getDefaultTokens() {
46 1 1. getDefaultTokens : mutated return of Object value for com/puppycrawl/tools/checkstyle/checks/ArrayTypeStyleCheck::getDefaultTokens to ( if (x != null) null else throw new RuntimeException ) → KILLED
        return getAcceptableTokens();
47
    }
48
49
    @Override
50
    public int[] getAcceptableTokens() {
51 1 1. getAcceptableTokens : mutated return of Object value for com/puppycrawl/tools/checkstyle/checks/ArrayTypeStyleCheck::getAcceptableTokens to ( if (x != null) null else throw new RuntimeException ) → KILLED
        return new int[] {TokenTypes.ARRAY_DECLARATOR};
52
    }
53
54
    @Override
55
    public int[] getRequiredTokens() {
56 1 1. getRequiredTokens : mutated return of Object value for com/puppycrawl/tools/checkstyle/checks/ArrayTypeStyleCheck::getRequiredTokens to ( if (x != null) null else throw new RuntimeException ) → KILLED
        return getAcceptableTokens();
57
    }
58
59
    @Override
60
    public void visitToken(DetailAST ast) {
61
        final DetailAST typeAST = ast.getParent();
62 1 1. visitToken : negated conditional → KILLED
        if (typeAST.getType() == TokenTypes.TYPE
63
                // Do not check method's return type.
64
                // We have no alternatives here.
65 1 1. visitToken : negated conditional → KILLED
                && typeAST.getParent().getType() != TokenTypes.METHOD_DEF) {
66
            final DetailAST variableAST = typeAST.getNextSibling();
67 1 1. visitToken : negated conditional → KILLED
            if (variableAST != null) {
68
                final boolean isJavaStyle =
69 2 1. visitToken : changed conditional boundary → KILLED
2. visitToken : negated conditional → KILLED
                    variableAST.getLineNo() > ast.getLineNo()
70 3 1. visitToken : changed conditional boundary → KILLED
2. visitToken : Replaced integer subtraction with addition → KILLED
3. visitToken : negated conditional → KILLED
                    || variableAST.getColumnNo() - ast.getColumnNo() > -1;
71
72 1 1. visitToken : negated conditional → KILLED
                if (isJavaStyle != javaStyle) {
73 1 1. visitToken : removed call to com/puppycrawl/tools/checkstyle/checks/ArrayTypeStyleCheck::log → KILLED
                    log(ast.getLineNo(), ast.getColumnNo(), MSG_KEY);
74
                }
75
            }
76
        }
77
    }
78
79
    /**
80
     * Controls whether to check for Java or C style.
81
     * @param javaStyle true if Java style should be used.
82
     */
83
    public void setJavaStyle(boolean javaStyle) {
84
        this.javaStyle = javaStyle;
85
    }
86
}

Mutations

46

1.1
Location : getDefaultTokens
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
mutated return of Object value for com/puppycrawl/tools/checkstyle/checks/ArrayTypeStyleCheck::getDefaultTokens to ( if (x != null) null else throw new RuntimeException ) → KILLED

51

1.1
Location : getAcceptableTokens
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testGetRequiredTokens(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
mutated return of Object value for com/puppycrawl/tools/checkstyle/checks/ArrayTypeStyleCheck::getAcceptableTokens to ( if (x != null) null else throw new RuntimeException ) → KILLED

56

1.1
Location : getRequiredTokens
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testGetRequiredTokens(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
mutated return of Object value for com/puppycrawl/tools/checkstyle/checks/ArrayTypeStyleCheck::getRequiredTokens to ( if (x != null) null else throw new RuntimeException ) → KILLED

62

1.1
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
negated conditional → KILLED

65

1.1
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
negated conditional → KILLED

67

1.1
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
negated conditional → KILLED

69

1.1
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
changed conditional boundary → KILLED

2.2
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
negated conditional → KILLED

70

1.1
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
changed conditional boundary → KILLED

2.2
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
Replaced integer subtraction with addition → KILLED

3.3
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
negated conditional → KILLED

72

1.1
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
negated conditional → KILLED

73

1.1
Location : visitToken
Killed by : com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest.testJavaStyleOn(com.puppycrawl.tools.checkstyle.checks.ArrayTypeStyleCheckTest)
removed call to com/puppycrawl/tools/checkstyle/checks/ArrayTypeStyleCheck::log → KILLED

Active mutators

Tests examined


Report generated by PIT 1.2.2