Skip to content

Resolve Pitest suppression for Javadoc profile #12315

@Kevin222004

Description

@Kevin222004

Related to #7797

kill mutation

<mutation unstable="false">
<sourceFile>JavadocContentLocationCheck.java</sourceFile>
<mutatedClass>com.puppycrawl.tools.checkstyle.checks.javadoc.JavadocContentLocationCheck</mutatedClass>
<mutatedMethod>setLocation</mutatedMethod>
<mutator>org.pitest.mutationtest.engine.gregor.mutators.experimental.NakedReceiverMutator</mutator>
<description>replaced call to java/lang/String::toUpperCase with receiver</description>
<lineContent>location = JavadocContentLocationOption.valueOf(value.trim().toUpperCase(Locale.ENGLISH));</lineContent>
</mutation>
<mutation unstable="false">
<sourceFile>JavadocContentLocationCheck.java</sourceFile>
<mutatedClass>com.puppycrawl.tools.checkstyle.checks.javadoc.JavadocContentLocationCheck</mutatedClass>
<mutatedMethod>setLocation</mutatedMethod>
<mutator>org.pitest.mutationtest.engine.gregor.mutators.experimental.NakedReceiverMutator</mutator>
<description>replaced call to java/lang/String::trim with receiver</description>
<lineContent>location = JavadocContentLocationOption.valueOf(value.trim().toUpperCase(Locale.ENGLISH));</lineContent>
</mutation>

and
<mutation unstable="false">
<sourceFile>JavadocStyleCheck.java</sourceFile>
<mutatedClass>com.puppycrawl.tools.checkstyle.checks.javadoc.JavadocStyleCheck</mutatedClass>
<mutatedMethod>isAllowedTag</mutatedMethod>
<mutator>org.pitest.mutationtest.engine.gregor.mutators.experimental.NakedReceiverMutator</mutator>
<description>replaced call to java/lang/String::toLowerCase with receiver</description>
<lineContent>return ALLOWED_TAGS.contains(tag.getId().toLowerCase(Locale.ENGLISH));</lineContent>
</mutation>

and
<mutation unstable="false">
<sourceFile>JavadocStyleCheck.java</sourceFile>
<mutatedClass>com.puppycrawl.tools.checkstyle.checks.javadoc.JavadocStyleCheck</mutatedClass>
<mutatedMethod>isSingleTag</mutatedMethod>
<mutator>org.pitest.mutationtest.engine.gregor.mutators.experimental.NakedReceiverMutator</mutator>
<description>replaced call to java/lang/String::toLowerCase with receiver</description>
<lineContent>return SINGLE_TAGS.contains(tag.getId().toLowerCase(Locale.ENGLISH));</lineContent>
</mutation>

and
<mutation unstable="false">
<sourceFile>JavadocTypeCheck.java</sourceFile>
<mutatedClass>com.puppycrawl.tools.checkstyle.checks.javadoc.JavadocTypeCheck</mutatedClass>
<mutatedMethod>extractParamNameFromTag</mutatedMethod>
<mutator>org.pitest.mutationtest.engine.gregor.mutators.experimental.NakedReceiverMutator</mutator>
<description>replaced call to java/lang/String::trim with receiver</description>
<lineContent>typeParamName = matchInAngleBrackets.group(1).trim();</lineContent>
</mutation>

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions