Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Resolve Pitest suppression for Javadoc profile #12315

Closed
Kevin222004 opened this issue Oct 19, 2022 · 1 comment
Closed

Resolve Pitest suppression for Javadoc profile #12315

Kevin222004 opened this issue Oct 19, 2022 · 1 comment

Comments

@Kevin222004
Copy link
Collaborator

Kevin222004 commented Oct 19, 2022

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>

@romani
Copy link
Member

romani commented Oct 22, 2022

Fix is merged

@romani romani closed this as completed Oct 22, 2022
@romani romani added this to the 10.3.5 milestone Oct 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants