Skip to content
CodeQuality

Renovation: package.html to package-info.java (#3381) #1973

Sign in to view logs

Renovation: package.html to package-info.java (#3381)

Renovation: package.html to package-info.java (#3381) #1973

Triggered via push January 12, 2024 16:09
@github-merge-queuegithub-merge-queue[bot]
pushed df9dc75
main
Status Success
Total duration 6m 22s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

code_quality.yml

on: push
qodana
6m 12s
qodana
formatting
56s
formatting
checkstyle_new
1m 34s
checkstyle_new
pmd
1m 36s
pmd
Fit to window
Zoom out
Zoom in

Annotations

10 warnings and 10 notices
'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#L228
`compareToIgnoreCase()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L228
`compare()` called on itself
'equals()' called on itself: key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L236
`compare()` called on itself
'finalize()' should not be overridden: key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java#L237
'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#L150
`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#L1136
Branch in 'switch' is a duplicate of the default branch
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': 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/strategy/JavaCardDLStrategy.java#L131
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")`
Multiple occurrences of the same expression: key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L21
Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`

Artifacts

Produced during runtime
Name Size
qodana-report Expired
35.6 MB