Skip to content
CodeQuality

Fix for #3501: Decrease log level of duplicate sort warnings (#3505) #50

Sign in to view logs

Fix for #3501: Decrease log level of duplicate sort warnings (#3505)

Fix for #3501: Decrease log level of duplicate sort warnings (#3505) #50

Triggered via push August 29, 2024 05:25
@DrodtDrodt
pushed 8077951
main
Status Failure
Total duration 8m 20s
Artifacts –

code_quality.yml

on: push
checkerFramework
1m 6s
qodana
8m 7s
formatting
56s
checkstyle_new
1m 20s
pmd
1m 14s

Annotations

4 errors, 19 warnings, and 10 notices
checkerFramework
Process completed with exit code 1.
pmd
Resource not accessible by integration
checkstyle_new
Resource not accessible by integration
qodana
Resource not accessible by integration
pmd
Resource not accessible by integration
pmd
Resource not accessible by integration
pmd
Resource not accessible by integration
checkstyle_new
Resource not accessible by integration
checkstyle_new
Resource not accessible by integration
checkstyle_new
Resource not accessible by integration
qodana
Resource not accessible by integration
qodana
Resource not accessible by integration
qodana
Resource not accessible by integration
'equals()' called on itself: key.core/src/test/java/de/uka/ilkd/key/util/TestVersionStringComparator.java#L24
`compare()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L221
`compareToIgnoreCase()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L221
`compare()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L229
`compare()` called on itself
'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java#L246
'finalize()' should not be overridden
'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java#L302
'finalize()' should not be overridden
'finalize()' should not be overridden: key.core/src/main/java/de/uka/ilkd/key/proof/mgt/ProofCorrectnessMgt.java#L270
'finalize()' should not be overridden
Enum 'switch' statement that misses case: key.core/src/main/java/de/uka/ilkd/key/smt/newsmt2/MasterHandler.java#L151
`switch (response) { case YES_THIS_INSTANCE -> { // handle this b...` statement on enum type 'de.uka.ilkd.key.smt.newsmt2.SMTHandler.Capability' misses case 'UNABLE'
String comparison using '==', instead of 'equals()': recoder/src/main/java/recoder/service/DefaultConstantEvaluator.java#L395
String values are compared using `!=`, not 'equals()'
String comparison using '==', instead of 'equals()': recoder/src/main/java/recoder/service/DefaultConstantEvaluator.java#L369
String values are compared using `==`, not 'equals()'
Duplicate branches in 'switch': recoder/src/main/java/recoder/parser/JavaCCParser.java#L3866
Duplicate branch in 'switch'
Duplicate branches in 'switch': recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1064
Branch in 'switch' is a duplicate of the default branch
Duplicate branches in 'switch': recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1136
Branch in 'switch' is a duplicate of the default branch
Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/proof/io/IntermediatePresentationProofFileParser.java#L134
Branch in 'switch' is a duplicate of the default branch
Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/speclang/njml/Translator.java#L1097
Duplicate branch in 'switch'
Duplicate branches in 'switch': key.core/src/main/java/de/uka/ilkd/key/strategy/JavaCardDLStrategy.java#L132
Duplicate branch in 'switch'
Multiple occurrences of the same expression: key.ui/src/main/java/de/uka/ilkd/key/gui/proofdiff/diff_match_patch.java#L1598
Multiple occurrences of `((rd[j + 1] << 1) | 1) & charMatch`
Multiple occurrences of the same expression: key.ui/src/main/java/de/uka/ilkd/key/gui/proofdiff/diff_match_patch.java#L1601
Multiple occurrences of `((rd[j + 1] << 1) | 1) & charMatch`
Multiple occurrences of the same expression: key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L20
Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`
Multiple occurrences of the same expression: key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L20
Multiple occurrences of `Paths.get("z", "a", "b", "c")`