<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