Provide additional String formating utility method to reduce code duplication #1515
unp1
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
6m 18s
formatting
1m 3s
checkstyle_new
1m 45s
pmd
1m 39s
Annotations
4 warnings
|
'StringBuilder' can be replaced with 'String':
key.core.rifl/src/main/java/de/uka/ilkd/key/util/rifl/RIFLTransformer.java#L198
`StringBuilder sb` can be replaced with 'String'
|
|
'StringBuilder' can be replaced with 'String':
key.core.symbolic_execution/src/main/java/de/uka/ilkd/key/symbolic_execution/AbstractUpdateExtractor.java#L1504
`StringBuilder sb` can be replaced with 'String'
|
|
Call to 'Arrays.asList()' with too few arguments:
key.util/src/test/java/org/key_project/util/StringsTest.java#L69
Call to `asList()` with only one argument
|
|
Call to 'Arrays.asList()' with too few arguments:
key.util/src/test/java/org/key_project/util/StringsTest.java#L72
Call to `asList()` to create an empty List
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
14.2 MB |
|