Reduce clutter in toolbar #1051
FliegendeWurst
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
4 warnings
|
Default annotation parameter value:
keyext.exploration/src/main/java/org/key_project/exploration/ExplorationExtension.java#L42
Redundant default parameter value assignment
|
|
Assignment to 'for' loop parameter:
key.ui/src/main/java/de/uka/ilkd/key/gui/plugins/action_history/ActionHistoryExtension.java#L64
Assignment to for-loop parameter `i`
|
|
Unused assignment:
key.ui/src/main/java/de/uka/ilkd/key/gui/plugins/action_history/ActionHistoryExtension.java#L45
Variable `undoUptoButton` initializer `null` is redundant
|
|
Unused assignment:
key.ui/src/main/java/de/uka/ilkd/key/gui/plugins/action_history/ActionHistoryExtension.java#L44
Variable `undoButton` initializer `null` is redundant
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.8 MB |
|