<init>

Требования к платформе и версии: JVM (1.0)

PurelyImplements(value: String)

Инструктирует компилятор Kotlin рассматривать аннотированный Java-класс как чистое воплощение заданного Kotlin-интерфейса. «Чистое» здесь означает, что каждый параметр типа класса становится неплатформенным аргументом типа этого интерфейса.

Пример:

class MyList<T> extends AbstractList<T> { ... }

Методы, определённые в MyList<T> используют T как платформу, т. е. в Kotlin можно выполнить небезопасную операцию:

MyList<Int>().add(null) // compiles

@PurelyImplements("kotlin.collections.MutableList")
class MyPureList<T> extends AbstractList<T> { ... }

Методы, определённые в MyPureList<T> и переопределяющие методы в MutableList используют T в качестве неплатформенных типов:

MyPureList<Int>().add(null) // Error
MyPureList<Int?>().add(null) // Ok