Справочник по обработке аннотаций Java для KSP

Элементы программы

Java	Аналогичный элемент в KSP	Примечания
`AnnotationMirror`	`KSAnnotation`
`AnnotationValue`	`KSValueArguments`
`Element`	`KSDeclaration`/`KSDeclarationContainer`
`ExecutableElement`	`KSFunctionDeclaration`
`PackageElement`	`KSFile`	В KSP пакеты не моделируются как элементы программы
`Parameterizable`	`KSDeclaration`
`QualifiedNameable`	`KSDeclaration`
`TypeElement`	`KSClassDeclaration`
`TypeParameterElement`	`KSTypeParameter`
`VariableElement`	`KSValueParameter`/`KSPropertyDeclaration`

Типы

KSP требует явного разрешения типов, поэтому некоторые функциональные возможности Java могут быть реализованы только с помощью KSType и соответствующих элементов до разрешения.

Java	Аналогичный элемент в KSP	Примечания
`ArrayType`	`KSBuiltIns.arrayType`
`DeclaredType`	`KSType`/`KSClassifierReference`
`ErrorType`	`KSType.isError`
`ExecutableType`	`KSType`/`KSCallableReference`
`IntersectionType`	`KSType`/`KSTypeParameter`
`NoType`	`KSType.isError`	Недоступно в KSP
`NullType`		Недоступно в KSP
`PrimitiveType`	`KSBuiltIns`	Не совсем такой же, как примитивный тип в Java
`ReferenceType`	`KSTypeReference`
`TypeMirror`	`KSType`
`TypeVariable`	`KSTypeParameter`
`UnionType`	Недоступно	В Kotlin только один тип на блок catch. `UnionType` также не наблюдается даже Java-процессорами аннотаций
`WildcardType`	`KSType`/`KSTypeArgument`

Разное

Java	Аналогичный элемент в KSP	Примечания
`Name`	`KSName`
`ElementKind`	`ClassKind`/`FunctionKind`
`Modifier`	`Modifier`
`NestingKind`	`ClassKind`/`FunctionKind`
`AnnotationValueVisitor`
`ElementVisitor`	`KSVisitor`
`AnnotatedConstruct`	`KSAnnotated`
`TypeVisitor`
`TypeKind`	`KSBuiltIns`	Некоторые можно найти в встроенных элементах, в противном случае см. `KSClassDeclaration` для `DeclaredType`
`ElementFilter`	`Collection.filterIsInstance`
`ElementKindVisitor`	`KSVisitor`
`ElementScanner`	`KSTopDownVisitor`
`SimpleAnnotationValueVisitor`		Не требуется в KSP
`SimpleElementVisitor`	`KSVisitor`
`SimpleTypeVisitor`
`TypeKindVisitor`
`Types`	`Resolver`/`utils`	Некоторые из `utils` также интегрированы в интерфейсы символов
`Elements`	`Resolver`/`utils`

END_OF_DOCUMENT_MARKER

Детали

Посмотрите, как функциональность API обработки аннотаций Java может быть реализована с помощью KSP.

AnnotationMirror

Java	Эквивалент KSP
`getAnnotationType`	`ksAnnotation.annotationType`
`getElementValues`	`ksAnnotation.arguments`

AnnotationValue

Java	Эквивалент KSP
`getValue`	`ksValueArgument.value`

Элемент

Java	Эквивалент KSP
`asType`	`ksClassDeclaration.asType(...)` доступен только для `KSClassDeclaration`. Требуется указать аргументы типа.
`getAnnotation`	Реализуется в будущем
`getAnnotationMirrors`	`ksDeclaration.annotations`
`getEnclosedElements`	`ksDeclarationContainer.declarations`
`getEnclosingElements`	`ksDeclaration.parentDeclaration`
`getKind`	Проверка типа и приведение после `ClassKind` или `FunctionKind`
`getModifiers`	`ksDeclaration.modifiers`
`getSimpleName`	`ksDeclaration.simpleName`

ExecutableElement

Java	Эквивалент KSP
`getDefaultValue`	Реализуется в будущем
`getParameters`	`ksFunctionDeclaration.parameters`
`getReceiverType`	`ksFunctionDeclaration.parentDeclaration`
`getReturnType`	`ksFunctionDeclaration.returnType`
`getSimpleName`	`ksFunctionDeclaration.simpleName`
`getThrownTypes`	Не требуется в Kotlin
`getTypeParameters`	`ksFunctionDeclaration.typeParameters`
`isDefault`	Проверить, является ли родительское объявление интерфейсом
`isVarArgs`	`ksFunctionDeclaration.parameters.any { it.isVarArg }`

Параметризуемый

Java	Эквивалент KSP
`getTypeParameters`	`ksFunctionDeclaration.typeParameters`

Имеющий полное имя

Java	Эквивалент KSP
`getQualifiedName`	`ksDeclaration.qualifiedName`

Элемент типа

Java	Эквивалент KSP
`getEnclosedElements`	`ksClassDeclaration.declarations`
`getEnclosingElement`	`ksClassDeclaration.parentDeclaration`
`getInterfaces`	// Should be able to do without resolution ksClassDeclaration.superTypes .map { it.resolve() } .filter { (it?.declaration as? KSClassDeclaration)?.classKind == ClassKind.INTERFACE }
`getNestingKind`	Проверьте модификатор `KSClassDeclaration.parentDeclaration` и `inner`
`getQualifiedName`	`ksClassDeclaration.qualifiedName`
`getSimpleName`	`ksClassDeclaration.simpleName`
`getSuperclass`	// Should be able to do without resolution ksClassDeclaration.superTypes .map { it.resolve() } .filter { (it?.declaration as? KSClassDeclaration)?.classKind == ClassKind.CLASS }
`getTypeParameters`	`ksClassDeclaration.typeParameters`

Элемент параметра типа

Java	Эквивалент KSP
`getBounds`	`ksTypeParameter.bounds`
`getEnclosingElement`	`ksTypeParameter.parentDeclaration`
`getGenericElement`	`ksTypeParameter.parentDeclaration`

Элемент переменной

Java	Эквивалент KSP
`getConstantValue`	Реализуется в будущем
`getEnclosingElement`	`ksValueParameter.parentDeclaration`
`getSimpleName`	`ksValueParameter.simpleName`

Тип массива

Java	Эквивалент KSP
`getComponentType`	`ksType.arguments.first()`

Определённый тип

Java	Эквивалент KSP
`asElement`	`ksType.declaration`
`getEnclosingType`	`ksType.declaration.parentDeclaration`
`getTypeArguments`	`ksType.arguments`

Тип исполняемого кода

Java	Эквивалент KSP
`getParameterTypes`	`ksType.declaration.typeParameters`, `ksFunctionDeclaration.parameters.map { it.type }`
`getReceiverType`	`ksFunctionDeclaration.parentDeclaration.asType(...)`
`getReturnType`	`ksType.declaration.typeParameters.last()`
`getThrownTypes`	Не требуется в Kotlin
`getTypeVariables`	`ksFunctionDeclaration.typeParameters`

Тип пересечения

Java	Эквивалент KSP
`getBounds`	`ksTypeParameter.bounds`

Тип зеркала

Java	Эквивалент KSP
`getKind`	Сравните с типами в `KSBuiltIns` для примитивных типов, `Unit` типом, в противном случае объявленные типы

Переменная типа

Java	Эквивалент KSP
`asElement`	`ksType.declaration`
`getLowerBound`	Определяется позже. Требуется только если указан захват и нужна явная проверка границ.
`getUpperBound`	`ksTypeParameter.bounds`

Тип с подстановкой

Java	Эквивалент KSP
`getExtendsBound`	if (ksTypeArgument.variance == Variance.COVARIANT) ksTypeArgument.type else null
`getSuperBound`	if (ksTypeArgument.variance == Variance.CONTRAVARIANT) ksTypeArgument.type else null

Элементы

Java	Эквивалент KSP
`getAllAnnotationMirrors`	`KSDeclarations.annotations`
`getAllMembers`	`getAllFunctions`, `getAllProperties` подлежит реализации
`getBinaryName`	Определяется позже, см. Спецификацию Java
`getConstantExpression`	Существует постоянное значение, а не выражение
`getDocComment`	Подлежит реализации
`getElementValuesWithDefaults`	Подлежит реализации
`getName`	`resolver.getKSNameFromString`
`getPackageElement`	Пакет не поддерживается, хотя информация о пакете может быть получена. Операция с пакетом невозможна для KSP
`getPackageOf`	Пакет не поддерживается
`getTypeElement`	`Resolver.getClassDeclarationByName`
`hides`	Подлежит реализации
`isDeprecated`	KsDeclaration.annotations.any { it.annotationType.resolve()!!.declaration.qualifiedName!!.asString() == Deprecated::class.qualifiedName }
`overrides`	`KSFunctionDeclaration.overrides`/`KSPropertyDeclaration.overrides` (функция-член соответствующего класса)
`printElements`	KSP имеет базовую `toString()` реализацию для большинства классов

Операции с типами

Java	Эквивалент KSP

Последнее изменение: 05 апреля 2022

© 2010–2022 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/docs/ksp-reference.html