analysis

migrate to jspecify annotations (was checker framework) #4913

Sign in to view logs

GitHub Actions / Qodana Community for JVM completed Nov 26, 2024 in 0s

3 new problems found by Qodana Community for JVM

Qodana Community for JVM

3 new problems were found

Inspection name	Severity	Problems
`Condition is covered by further condition`	🔶 Warning	1
`Redundant type cast`	🔶 Warning	1
`Suspicious collection method call`	🔶 Warning	1

💡 Qodana analysis was run in the pull request mode: only the changed files were checked
☁️ View the detailed Qodana report

Contact Qodana team

Contact us at [email protected]

Or via our issue tracker: https://jb.gg/qodana-issue
Or share your feedback: https://jb.gg/qodana-discussions

Details

This result was published with Qodana GitHub Action

Annotations

Check warning on line 377 in caffeine/src/main/java/com/github/benmanes/caffeine/cache/UnboundedLocalCache.java

github-actions / Qodana Community for JVM

Condition is covered by further condition

Condition 'value != null' covered by subsequent condition 'newValue != value'

Check warning on line 1760 in caffeine/src/main/java/com/github/benmanes/caffeine/cache/BoundedLocalCache.java

github-actions / Qodana Community for JVM

Redundant type cast

Casting `valueRef` to `Object` is redundant

Check warning on line 214 in caffeine/src/main/java/com/github/benmanes/caffeine/cache/LocalAsyncCache.java

github-actions / Qodana Community for JVM

Suspicious collection method call

Suspicious call to 'ConcurrentMap.remove()'

View more details on GitHub Actions