Fix for issue #3286: Parsing of rule display names that contain space… · KeYProject/key@d519a0f

key.core/src/test/java/de/uka/ilkd/key/util/TestVersionStringComparator.java#L24

`compare()` called on itself

key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L228

`compareToIgnoreCase()` called on itself

key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L228

`compare()` called on itself

key.util/src/test/java/org/key_project/util/testcase/java/StringUtilTest.java#L236

`compare()` called on itself

key.ui/src/main/java/de/uka/ilkd/key/gui/nodeviews/SequentView.java#L236

'finalize()' should not be overridden

key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java#L308

'finalize()' should not be overridden

key.core/src/main/java/de/uka/ilkd/key/proof/mgt/ProofCorrectnessMgt.java#L270

'finalize()' should not be overridden

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'

recoder/src/main/java/recoder/service/DefaultConstantEvaluator.java#L369

String values are compared using `==`, not 'equals()'

recoder/src/main/java/recoder/service/DefaultConstantEvaluator.java#L395

String values are compared using `!=`, not 'equals()'

recoder/src/main/java/recoder/parser/JavaCCParser.java#L3866

Duplicate branch in 'switch'

recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1064

Branch in 'switch' is a duplicate of the default branch

recoder/src/main/java/recoder/bytecode/ByteCodeParser.java#L1136

Branch in 'switch' is a duplicate of the default branch

key.core/src/main/java/de/uka/ilkd/key/proof/io/IntermediatePresentationProofFileParser.java#L132

Branch in 'switch' is a duplicate of the default branch

key.core/src/main/java/de/uka/ilkd/key/strategy/JavaCardDLStrategy.java#L130

Duplicate branch in 'switch'

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`

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`

key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L20

Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`

key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L20

Multiple occurrences of `Paths.get("z", "a", "b", "c")`

key.ui/src/test/java/de/uka/ilkd/key/gui/ShortUniqueFileNamesTest.java#L21

Multiple occurrences of `Paths.get("z", "a", "b", "c").toString()`

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Fix for issue #3286: Parsing of rule display names that contain space… #1455

qodana

Fix for issue #3286: Parsing of rule display names that contain space… #1455

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...