Module org.glavo.classfile
Package org.glavo.classfile

Interface TypeAnnotation.TypeArgumentTarget

All Superinterfaces:
TypeAnnotation.TargetInfo
All Known Implementing Classes:
TargetInfoImpl.TypeArgumentTargetImpl
Enclosing interface:
TypeAnnotation
public static sealed interface TypeAnnotation.TypeArgumentTarget extends TypeAnnotation.TargetInfo permits TargetInfoImpl.TypeArgumentTargetImpl
Indicates that an annotation appears either on the i'th type in a cast expression, or on the i'th type argument in the explicit type argument list for any of the following: a new expression, an explicit constructor invocation statement, a method invocation expression, or a method reference expression.
Since:
22

  • Method Summary

    Modifier and Type
    Method
    Description
    Label
    target()
    The code array offset of either the bytecode instruction corresponding to the cast expression, the new bytecode instruction corresponding to the new expression, the bytecode instruction corresponding to the explicit constructor invocation statement, the bytecode instruction corresponding to the method invocation expression, or the bytecode instruction corresponding to the method reference expression.
    int
    typeArgumentIndex()
    For a cast expression, the value of the type_argument_index item specifies which type in the cast operator is annotated.

    Methods inherited from interface org.glavo.classfile.TypeAnnotation.TargetInfo

    size, targetType

  • Method Details

    • target

      Label target()
      The code array offset of either the bytecode instruction corresponding to the cast expression, the new bytecode instruction corresponding to the new expression, the bytecode instruction corresponding to the explicit constructor invocation statement, the bytecode instruction corresponding to the method invocation expression, or the bytecode instruction corresponding to the method reference expression.
      Returns:
      the code label corresponding to the instruction

    • typeArgumentIndex

      int typeArgumentIndex()
      For a cast expression, the value of the type_argument_index item specifies which type in the cast operator is annotated. A type_argument_index value of 0 specifies the first (or only) type in the cast operator. The possibility of more than one type in a cast expression arises from a cast to an intersection type. For an explicit type argument list, the value of the type_argument_index item specifies which type argument is annotated. A type_argument_index value of 0 specifies the first type argument.
      Returns:
      the index into the type arguments