Provide additional String formating utility method to reduce code duplication #1470
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
3m 53s
formatting
1m 11s
checkstyle_new
1m 50s
pmd
1m 49s
Annotations
4 warnings
|
'StringBuilder' can be replaced with 'String':
key.core.rifl/src/main/java/de/uka/ilkd/key/util/rifl/RIFLTransformer.java#L200
`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#L64
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#L67
Call to `asList()` to create an empty List
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
qodana-report
Expired
|
13.7 MB |
|