phoedos/pmd
1
1
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[java] Fix test BranchingExprsTestCases

Browse Source 
- Renamed to BranchingExprsTests so that it is picked up by surefire
- Fix cast context
This commit is contained in:
Andreas Dangel
2024-05-17 08:29:34 +02:00
parent ae76c8f293
commit 24c1093bf1
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/internal/infer/BranchingExprsTestCases.kt → pmd-java/src/test/kotlin/net/sourceforge/pmd/lang/java/types/internal/infer/BranchingExprsTests.kt
+5 -4
View File
@@ -13,7 +13,7 @@ import net.sourceforge.pmd.lang.test.ast.shouldBe
import net.sourceforge.pmd.lang.test.ast.shouldMatchN
class BranchingExprsTestCases : ProcessorTestSpec({
class BranchingExprsTests : ProcessorTestSpec({
fun TypeSystem.stringSupplier() : JTypeMirror = with (TypeDslOf(this)) {
java.util.function.Supplier::class[gen.t_String]
@@ -276,7 +276,8 @@ class Scratch {
Collection<String> fun(boolean messageSelector) {
Collection<String> textFromMessage =
// compile error: a cast doesn't contribute a target type,
// compile error: Inconvertible types; cannot cast 'java.util.Collection<java.lang.Object>' to 'java.util.Collection<java.lang.String>'
// a cast doesn't contribute a target type,
// the ternary is inferred to Collection<Object>
(Collection<String>) (messageSelector ? emptyList() : emptySet());
@@ -293,8 +294,8 @@ class Scratch {
val (ternary1, ternary2) = acu.descendants(ASTConditionalExpression::class.java).toList()
spy.shouldBeOk {
ternary1 shouldHaveType java.util.Collection::class[ts.OBJECT]
ternary2 shouldHaveType java.util.Collection::class[ts.STRING]
ternary1 shouldHaveType gen.t_Collection[captureMatcher(`?`)] // java.util.Collection<capture#534 of ?>
ternary2 shouldHaveType gen.`t_Collection{String}` // java.util.Collection<java.lang.String>
}
}