hiifong/pmd
1
0
Fork 0
forked from phoedos/pmd
Code Pull Requests Activity

[java] SwitchStmtsShouldHaveDefault: use new PatternLabel attribute

Browse Source
This commit is contained in:
Andreas Dangel 2024-10-24 11:29:40 +02:00
parent e37f82b62d
commit 6c35c73919
No known key found for this signature in database
GPG Key ID: 93450DF2DF9A3FA3
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pmd-java/src/main/resources/category/java/bestpractices.xml
View File

@ -1177,9 +1177,11 @@ class SomeTestClass {
<properties>
<property name="xpath">
<value><![CDATA[
//SwitchStatement[@DefaultCase = false() and @ExhaustiveEnumSwitch = false()]
//SwitchStatement
[@DefaultCase = false()]
[@ExhaustiveEnumSwitch = false()]
(: exclude pattern tests - for these, the compiler will ensure exhaustiveness :)
[not(*/SwitchLabel/(TypePattern|RecordPattern))]
[*/SwitchLabel[@PatternLabel = false()]]
]]></value>
</property>
</properties>