Issue #13809: kill mutation for JavadocPropertiesGenerator

[Kevin222004]

Issue #13809: kill mutation for JavadocPropertiesGenerator

Mutation

checkstyle/config/pitest-suppressions/pitest-common-2-suppressions.xml

Lines 111 to 118 in a7fa83a

	<mutation unstable="false">
	<sourceFile>JavadocPropertiesGenerator.java</sourceFile>
	<mutatedClass>com.puppycrawl.tools.checkstyle.JavadocPropertiesGenerator</mutatedClass>
	<mutatedMethod>getFirstJavadocSentence</mutatedMethod>
	<mutator>org.pitest.mutationtest.engine.gregor.mutators.NonVoidMethodCallMutator</mutator>
	<description>removed call to com/puppycrawl/tools/checkstyle/api/DetailAST::getNextSibling</description>
	<lineContent>child = child.getNextSibling()) {</lineContent>
	</mutation>

Explaintaion

Test

[romani]

This is internal class to generate one txt file.
If content of file is same, just apply mutation to make pitest happy.

We do not need to test this class much, it doesn't execute on unpredictable user code.

[Kevin222004]

As per the exisiting test if we follow the mutation then it must be timeout but the mutation is surviving.

[romani]

Tests are failing https://app.travis-ci.com/github/checkstyle/checkstyle/builds/266475895#L1555

[romani]

this class is executed at

checkstyle/pom.xml

Lines 781 to 797 in d74f431

	<artifactId>exec-maven-plugin</artifactId>
	<executions>
	<execution>
	<phase>process-classes</phase>
	<goals>
	<goal>java</goal>
	</goals>
	<configuration>
	<classpathScope>compile</classpathScope>
	<mainClass>com.puppycrawl.tools.checkstyle.JavadocPropertiesGenerator</mainClass>
	<arguments>
	<argument>
	${project.build.sourceDirectory}/com/puppycrawl/tools/checkstyle/api/TokenTypes.java
	</argument>
	<argument>--destfile</argument>
	<argument>
	${project.build.outputDirectory}/com/puppycrawl/tools/checkstyle/api/tokentypes.properties

result file tokentypes.properties is not in git, so please show CLI prove that content of it is not changed.

[romani]

Items:

[romani]

Items

[romani]

Ok to merge

[romani]

CI must be green

[romani]

Ok to merge