mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-19 10:20:56 +07:00
72b748d5e0
#IDEA-354810 Fixed (cherry picked from commit d29d3256472dfe368161335732ded20ae95cf34e) IJ-MR-140910 GitOrigin-RevId: 0a9b3cae7aab473f732012ad91b4e67f97ff8697
32 lines
1.3 KiB
Kotlin
32 lines
1.3 KiB
Kotlin
@file:Suppress("UNUSED_VARIABLE", "UNUSED_PARAMETER")
|
|
|
|
import org.checkerframework.checker.tainting.qual.Untainted
|
|
|
|
class LocalCheck {
|
|
fun test(clean: @Untainted MutableList<String?>, cleanList2: @Untainted MutableList<String>, t: @Untainted String?, dirty: String?) {
|
|
sink(t)
|
|
sink(clean[0])
|
|
val list1: List<String?> = clean
|
|
update(list1) //not highlighted in current realisation, might be changed
|
|
clean.add(dirty) //not highlighted in current realisation, might be changed
|
|
sink(<warning descr="Unknown string is used as safe parameter">list1[0]</warning>) //warn
|
|
sink(clean[0]) //warn
|
|
val list3: List<String> = cleanList2
|
|
sink(list3[0])
|
|
sink(<warning descr="Unknown string is used as safe parameter">dirty</warning>) //warn
|
|
var clean2 = t + dirty
|
|
sink(<warning descr="Unknown string is used as safe parameter">clean2</warning>) // warn
|
|
var newT: String?
|
|
newT = t
|
|
sink(newT)
|
|
val runnable = Runnable {
|
|
sink(<warning descr="Unknown string is used as safe parameter">newT</warning>) //warn
|
|
}
|
|
val runnable2: () -> Unit = { sink(<warning descr="Unknown string is used as safe parameter">newT</warning>) } //warn
|
|
newT = dirty
|
|
}
|
|
|
|
private fun update(list: List<String?>?) {}
|
|
fun sink(clean: @Untainted String?) {}
|
|
}
|