Типы интерфейсов

Element asElement(TypeMirror t)

Возвращает элемент, соответствующий типу. Тип может быть одним из:

• тип DeclaredType
• тип TypeVariable
• псевдотип для пакета или модуля

Метод возвращает null если тип не имеет соответствующего элемента. Типы без соответствующих элементов включают:

• примитивные типы
• выполняемые типы
• псевдотипы «none»
• нулевые типы
• void
• тип аргумента с подстановкой

boolean isSameType(TypeMirror t1, TypeMirror t2)

Проверяет, представляют ли два объекта TypeMirror один и тот же тип.

Ограничение: если любой из аргументов этого метода представляет собой подстановку, этот метод вернёт false. Вследствие этого, подстановка не является тем же типом, что и сама. Это может показаться неожиданным, но имеет смысл, если учесть, что подобный пример должен быть отклонен компилятором:

   List<?> list = new ArrayList<Object>();
   list.add(list.get(0));
 

Поскольку аннотации являются лишь метаданными, связанными с типом, набор аннотаций ни в одном из аргументов не учитывается при вычислении, являются ли два объекта TypeMirror одним и тем же типом. В частности, два объекта TypeMirror могут иметь разные аннотации и всё равно считаться одинаковыми.

boolean isSubtype(TypeMirror t1, TypeMirror t2)

Проверяет, является ли один тип подтипом другого. Любой тип считается подтипом самого себя.

boolean isAssignable(TypeMirror t1, TypeMirror t2)

Проверяет, может ли один тип быть приведён к другому типу.

boolean contains(TypeMirror t1, TypeMirror t2)

Проверяет, содержит ли один тип аргумента другой.

boolean isSubsignature(ExecutableType m1, ExecutableType m2)

Проверяет, является ли сигнатура одного метода подсигнатурой другого.

List<? extends TypeMirror> directSupertypes(TypeMirror t)

Возвращает непосредственные надтипы типа. Типы интерфейсов, если таковые имеются, будут появляться в списке последними. Для типа интерфейса без непосредственных над-интерфейсов возвращается тип-зеркало, представляющее java.lang.Object. Тип java.lang.Object не имеет непосредственного надтипа (JLS 8.1.4, 8.1.5), поэтому для непосредственных надтипов типа-зеркала, представляющего java.lang.Object, возвращается пустой список.

TypeMirror erasure(TypeMirror t)

Возвращает стирание типа.

TypeElement boxedClass(PrimitiveType p)

Возвращает класс упакованного значения примитивного типа-аргумента. Применяется преобразование *упаковки*.

PrimitiveType unboxedType(TypeMirror t)

Возвращает тип (примитивный тип) распакованных значений данного типа. Применяется преобразование *распаковки*.

TypeMirror capture(TypeMirror t)

Применяет преобразование захвата к типу.

PrimitiveType getPrimitiveType(TypeKind kind)

Возвращает примитивный тип.

NullType getNullType()

Возвращает нулевой тип. Это тип null.

NoType getNoType(TypeKind kind)

Возвращает псевдотип, используемый там, где нет подходящего фактического типа. Вид возвращаемого типа может быть либо VOID, либо NONE.

Чтобы получить псевдотип, соответствующий пакету или модулю, вызовите asType() на элементе, моделирующем пакет или модуль. Имена могут быть преобразованы в элементы для пакетов или модулей с использованием Elements.getPackageElement(CharSequence) или Elements.getModuleElement(CharSequence) соответственно.

ArrayType getArrayType(TypeMirror componentType)

Возвращает тип массива со заданным типом компонента.

WildcardType getWildcardType(TypeMirror extendsBound, TypeMirror superBound)

Возвращает новый тип подстановки. Любое из ограничений подстановки может быть задано, или ни одно, но не оба.

DeclaredType getDeclaredType(TypeElement typeElem, TypeMirror... typeArgs)

Возвращает тип, соответствующий элементу типа и фактическим аргументам типа. Принимая элемент типа для Set и тип-отражение для String, этот метод может быть использован для получения параметризованного типа Set<String>.

Количество аргументов типа должно быть равно количеству формальных параметров типа элемента типа, или равно нулю. Если ноль, и если элемент типа является обобщенным, возвращается исходный тип элемента типа.

Если возвращается параметризованный тип, элемент типа не должен содержаться во внешнем обобщенном классе. Параметризованный тип Outer<String>.Inner<Number>, например, может быть построен, сначала используя этот метод для получения типа Outer<String>, а затем вызывая getDeclaredType(DeclaredType, TypeElement, TypeMirror...).

DeclaredType getDeclaredType(DeclaredType containing, TypeElement typeElem, TypeMirror... typeArgs)

Возвращает тип, соответствующий элементу типа и фактическим аргументам типа, задавая содержащий тип, членом которого он является. Параметризованный тип Outer<String>.Inner<Number>, например, может быть построен, сначала используя getDeclaredType(TypeElement, TypeMirror...) для получения типа Outer<String>, а затем вызывая этот метод.

Если содержащий тип является параметризованным типом, количество аргументов типа должно быть равно количеству формальных параметров типа typeElem. Если он не параметризован или является null, этот метод эквивалентен getDeclaredType(typeElem, typeArgs).

TypeMirror asMemberOf(DeclaredType containing, Element element)

Возвращает тип элемента, когда этот элемент рассматривается как член или иным образом непосредственно содержится в заданном типе. Например, при рассмотрении как члена параметризованного типа Set<String>, метод Set.add является ExecutableType, параметр которого имеет тип String.