Skip to content
Back to pull request #3216

Fix various UI bugs #1177

Sign in to view logs

Fix various UI bugs

Fix various UI bugs #1177

Triggered via pull request July 27, 2023 17:32
@FliegendeWurstFliegendeWurst
synchronize #3216
FliegendeWurst:chaosMonkey
Status Success
Total duration 5m 4s
Artifacts 1

code_quality.yml

on: pull_request
qodana
4m 51s
qodana
formatting
56s
formatting
checkstyle_new
1m 33s
checkstyle_new
pmd
1m 40s
pmd
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Catch block may ignore exception: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L72
Empty `catch` block
Busy wait: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L104
Call to `Thread.sleep()` in a loop, probably busy-waiting
Busy wait: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L110
Call to `Thread.sleep()` in a loop, probably busy-waiting
Busy wait: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L218
Call to `Thread.sleep()` in a loop, probably busy-waiting
Busy wait: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L70
Call to `Thread.sleep()` in a loop, probably busy-waiting
Infinite loop statement: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L69
`while` statement cannot complete without throwing an exception
Constant conditions & exceptions: key.ui/src/main/java/de/uka/ilkd/key/core/Main.java#L549
Method invocation `getAbsolutePath` may produce `NullPointerException`
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/proof/reference/ReferenceSearcher.java#L57
Method invocation `contains` may produce `NullPointerException`
Deprecated member is still used: key.ui/src/main/java/de/uka/ilkd/key/gui/notification/events/GeneralFailureEvent.java#L16
Deprecated member 'GeneralFailureEvent' is still used
Result of method call ignored: key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java#L245
Result of `File.mkdirs()` is ignored

Artifacts

Produced during runtime
Name Size
qodana-report Expired
13.9 MB