Skip to content
CodeQuality

Fix various UI bugs #1125

Sign in to view logs

Fix various UI bugs

Fix various UI bugs #1125

Triggered via pull request July 24, 2023 16:24
@FliegendeWurstFliegendeWurst
synchronize #3216
FliegendeWurst:chaosMonkey
Status Success
Total duration 4m 19s
Artifacts 1

code_quality.yml

on: pull_request
qodana
4m 9s
qodana
formatting
1m 0s
formatting
checkstyle_new
1m 56s
checkstyle_new
pmd
1m 25s
pmd
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
Catch block may ignore exception: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L71
Empty `catch` block
Busy wait: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L103
Call to `Thread.sleep()` in a loop, probably busy-waiting
Busy wait: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L109
Call to `Thread.sleep()` in a loop, probably busy-waiting
Busy wait: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L217
Call to `Thread.sleep()` in a loop, probably busy-waiting
Busy wait: key.ui/src/test/java/de/uka/ilkd/key/gui/ChaosMonkey.java#L69
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#L68
`while` statement cannot complete without throwing an exception
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/proof/reference/ReferenceSearcher.java#L57
Method invocation `contains` may produce `NullPointerException`
Result of method call ignored: key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java#L245
Result of `File.mkdirs()` is ignored
Result of method call ignored: key.ui/src/main/java/de/uka/ilkd/key/gui/RecentFileMenu.java#L248
Result of `File.createNewFile()` is ignored

Artifacts

Produced during runtime
Name Size
qodana-report Expired
13.8 MB