The Removal of Recoder #1119

Sign in to view logs

Triggered via pull request July 22, 2023 14:49

wadoon

synchronize #3120

weigl/key-javaparser3

Status Failure

Total duration 34m 12s

Artifacts 1

code_quality.yml

on: pull_request

Annotations

4 errors, 10 warnings, and 10 notices

checkstyle_new

Path does not exist: sarif-report.json

checkstyle_new

Gradle build failed: see console output for details

Gradle build failed: see console output for details

Gradle build failed: see console output for details

Enum 'switch' statement that misses case: key.core/src/main/java/de/uka/ilkd/key/java/loader/JP2KeYConverter.java#L1416

`switch (k) { case PUBLIC: return new Public(pi, c); case PROTECTED: ...` statement on enum type 'com.github.javaparser.ast.Modifier.Keyword' misses cases: 'SEALED', and 'NON_SEALED'

Suspicious variable/parameter name combination: key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java#L1083

'iconHeight' should probably not be passed as parameter 'x'

Suspicious variable/parameter name combination: key.ui/src/main/java/de/uka/ilkd/key/gui/prooftree/ProofTreeView.java#L1098

'iconHeight' should probably not be passed as parameter 'x'

Stream API call chain can be simplified: key.ui/src/main/java/de/uka/ilkd/key/gui/ProofManagementDialog.java#L262

'collect(toList())' can be replaced with 'toList()'

Stream API call chain can be simplified: key.core/src/main/java/de/uka/ilkd/key/util/mergerule/MergeRuleUtils.java#L950

'collect(toList())' can be replaced with 'toList()'

Stream API call chain can be simplified: key.core/src/main/java/de/uka/ilkd/key/util/mergerule/MergeRuleUtils.java#L1148

'collect(toList())' can be replaced with 'toList()'

Stream API call chain can be simplified: key.core/src/main/java/de/uka/ilkd/key/util/mergerule/MergeRuleUtils.java#L1155

'collect(toList())' can be replaced with 'toList()'

Stream API call chain can be simplified: key.core/src/test/java/de/uka/ilkd/key/proof/runallproofs/proofcollection/TestFile.java#L315

'collect(toList())' can be replaced with 'toList()'

Stream API call chain can be simplified: keyext.proofmanagement/src/main/java/org/key_project/proofmanagement/merge/FilesChecker.java#L62

'collect(toUnmodifiableList())' can be replaced with 'toList()'

Stream API call chain can be simplified: key.core/src/main/java/de/uka/ilkd/key/java/transformations/pipeline/TransformationPipelineServices.java#L239

'collect(toList())' can be replaced with 'toList()'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/java/JavaInfo.java#L807

Value `block` is always 'null'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/java/KeYProgModelInfo.java#L463

Value `types` is always 'null'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/java/KeYProgModelInfo.java#L464

Value `decl` is always 'null'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/java/KeYProgModelInfo.java#L446

Value `objectFields` is always 'null'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/UseOperationContractRule.java#L183

Value `ec` is always 'null'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L361

Value `curPosIsPositive` is always 'true'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L361

Value `curPosIsPositive` is always 'true'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L368

Value `curPosIsPositive` is always 'false'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L368

Value `curPosIsPositive` is always 'false'

Constant conditions & exceptions: key.core/src/main/java/de/uka/ilkd/key/rule/QueryExpand.java#L379

Value `curPosIsPositive` is always 'true'

Artifacts

Produced during runtime

Name	Size
qodana-report Expired	20.7 MB