Skip to content

Commit

Permalink
Issue #13809: kill mutation for JavadocPropertiesGenerator-2
Browse files Browse the repository at this point in the history
  • Loading branch information
Kevin222004 committed Oct 11, 2023
1 parent 4ce6328 commit 72aa003
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 13 deletions.
9 changes: 0 additions & 9 deletions config/pitest-suppressions/pitest-common-2-suppressions.xml
Original file line number Diff line number Diff line change
Expand Up @@ -9,13 +9,4 @@
<description>removed call to com/puppycrawl/tools/checkstyle/grammar/java/JavaLanguageLexer::removeErrorListeners</description>
<lineContent>lexer.removeErrorListeners();</lineContent>
</mutation>

<mutation unstable="false">
<sourceFile>JavadocPropertiesGenerator.java</sourceFile>
<mutatedClass>com.puppycrawl.tools.checkstyle.JavadocPropertiesGenerator</mutatedClass>
<mutatedMethod>main</mutatedMethod>
<mutator>org.pitest.mutationtest.engine.gregor.mutators.experimental.NakedReceiverMutator</mutator>
<description>replaced call to picocli/CommandLine::setUsageHelpWidth with receiver</description>
<lineContent>final CommandLine cmd = new CommandLine(cliOptions).setUsageHelpWidth(USAGE_HELP_WIDTH);</lineContent>
</mutation>
</suppressedMutations>
Original file line number Diff line number Diff line change
Expand Up @@ -63,9 +63,6 @@ public final class JavadocPropertiesGenerator {
private static final Pattern END_OF_SENTENCE_PATTERN = Pattern.compile(
"(([^.?!]|[.?!](?!\\s|$))*+[.?!])(\\s|$)");

/** Max width of the usage help message for this command. */
private static final int USAGE_HELP_WIDTH = 100;

/**
* Don't create instance of this class, use the {@link #main(String[])} method instead.
*/
Expand All @@ -80,7 +77,7 @@ private JavadocPropertiesGenerator() {
**/
public static void main(String... args) throws CheckstyleException {
final CliOptions cliOptions = new CliOptions();
final CommandLine cmd = new CommandLine(cliOptions).setUsageHelpWidth(USAGE_HELP_WIDTH);
final CommandLine cmd = new CommandLine(cliOptions);
try {
final ParseResult parseResult = cmd.parseArgs(args);
if (parseResult.isUsageHelpRequested()) {
Expand Down

0 comments on commit 72aa003

Please sign in to comment.