Cleanup deprecated symbol usages in testData
This commit is contained in:
@@ -1,7 +1,7 @@
|
||||
class C : a.Tr
|
||||
|
||||
fun main(args: Array<String>) {
|
||||
val method = javaClass<C>().getDeclaredMethod("foo")
|
||||
val method = C::class.java.getDeclaredMethod("foo")
|
||||
val annotations = method.getDeclaredAnnotations().joinToString("\n")
|
||||
if (annotations != "@a.Ann()") {
|
||||
throw AssertionError(annotations)
|
||||
|
||||
@@ -4,8 +4,8 @@ import constants.*
|
||||
class DummyClass()
|
||||
|
||||
fun main(args: Array<String>) {
|
||||
val klass = javaClass<DummyClass>()!!
|
||||
val annotationClass = javaClass<AnnotationClass>()
|
||||
val klass = DummyClass::class.java
|
||||
val annotationClass = AnnotationClass::class.java
|
||||
val annotation = klass.getAnnotation(annotationClass)!!
|
||||
val value = annotation.value
|
||||
require(value == "100 20000 2000000 2000000000000 3.14 3.14 true \u03c0 :)", { "Annotation value: $value" })
|
||||
|
||||
@@ -11,7 +11,7 @@ fun main(args: Array<String>) {
|
||||
val p: Inv<PrintStream> = inv(printStream())
|
||||
val p1: Inv<PrintStream?> = inv(printStream())
|
||||
|
||||
list().size()
|
||||
list().size
|
||||
val l: Inv<List<String>> = inv(list())
|
||||
val l1: Inv<MutableList<String>?> = inv(list())
|
||||
|
||||
|
||||
@@ -3,4 +3,4 @@ package a
|
||||
public var topLevel: Int = 42
|
||||
|
||||
public val String.extension: Long
|
||||
get() = length().toLong()
|
||||
get() = length.toLong()
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
import a.*
|
||||
|
||||
fun main(args: Array<String>) {
|
||||
val declaredMethod = javaClass<Super>().getDeclaredMethod("foo", javaClass<Rec<*, *>>())
|
||||
val declaredMethod = Super::class.java.getDeclaredMethod("foo", Rec::class.java)
|
||||
val genericString = declaredMethod.toGenericString()
|
||||
if (genericString != "public abstract a.Rec<?, ?> a.Super.foo(a.Rec<?, ?>)") throw AssertionError(genericString)
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user