Skip to content
CodeQuality

A new grammar for configuration #1406

Sign in to view logs

A new grammar for configuration

A new grammar for configuration #1406

Triggered via pull request October 12, 2023 23:13
@wadoonwadoon
synchronize #3099
wadoon:weigl/config2
Status Failure
Total duration 7m 52s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

code_quality.yml

on: pull_request
qodana
7m 39s
qodana
formatting
1m 32s
formatting
checkstyle_new
2m 5s
checkstyle_new
pmd
2m 13s
pmd
Fit to window
Zoom out
Zoom in

Annotations

1 error, 7 warnings, and 3 notices
formatting
Gradle build failed: see console output for details
Call to 'printStackTrace()': key.ui/src/main/java/de/uka/ilkd/key/gui/colors/ColorSettings.java#L108
Call to `printStackTrace()` should probably be replaced with more robust logging
Call to 'printStackTrace()': key.ui/src/main/java/de/uka/ilkd/key/gui/keyshortcuts/KeyStrokeSettings.java#L219
Call to `printStackTrace()` should probably be replaced with more robust logging
Copy constructor misses field: key.core/src/main/java/de/uka/ilkd/key/settings/ProofSettings.java#L91
Copy constructor does not copy field 'lastLoadedConfiguration'
Deprecated member is still used: key.core/src/main/java/de/uka/ilkd/key/settings/ProofSettings.java#L189
Deprecated member 'loadSettingsFromPropertyStream' is still used
Unused assignment: key.core/src/main/java/de/uka/ilkd/key/proof/init/InitConfig.java#L56
Variable `category2DefaultChoice` initializer `new LinkedHashMap<>()` is redundant
Result of method call ignored: key.core/src/main/java/de/uka/ilkd/key/settings/ProofIndependentSettings.java#L118
Result of `File.mkdirs()` is ignored
Result of method call ignored: key.core/src/main/java/de/uka/ilkd/key/settings/ProofIndependentSettings.java#L132
Result of `File.mkdirs()` is ignored
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/nparser/ParsingFacade.java#L211
Value `ctx` is always 'null'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/nparser/ConfigurationBuilder.java#L77
Value `name` is always 'null'
Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/nparser/ConfigurationBuilder.java#L77
Value `val` is always 'null'

Artifacts

Produced during runtime
Name Size
qodana-report Expired
14.4 MB