Class TypeReference


  • public class TypeReference
    extends Object
    A reference to a type appearing in a class, field or method declaration, or on an instruction. Such a reference designates the part of the class where the referenced type is appearing (e.g. an 'extends', 'implements' or 'throws' clause, a 'new' instruction, a 'catch' clause, a type cast, a local variable declaration, etc).
    Author:
    Eric Bruneton
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static int CAST
      The sort of type references that target the type declared in an explicit or implicit cast instruction.
      static int CLASS_EXTENDS
      The sort of type references that target the super class of a class or one of the interfaces it implements.
      static int CLASS_TYPE_PARAMETER
      The sort of type references that target a type parameter of a generic class.
      static int CLASS_TYPE_PARAMETER_BOUND
      The sort of type references that target a bound of a type parameter of a generic class.
      static int CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT
      The sort of type references that target a type parameter of a generic constructor in a constructor call.
      static int CONSTRUCTOR_REFERENCE
      The sort of type references that target the receiver type of a constructor reference.
      static int CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT
      The sort of type references that target a type parameter of a generic constructor in a constructor reference.
      static int EXCEPTION_PARAMETER
      The sort of type references that target the type of the exception of a 'catch' clause in a method.
      static int FIELD
      The sort of type references that target the type of a field.
      static int INSTANCEOF
      The sort of type references that target the type declared in an 'instanceof' instruction.
      static int LOCAL_VARIABLE
      The sort of type references that target the type of a local variable in a method.
      static int METHOD_FORMAL_PARAMETER
      The sort of type references that target the type of a formal parameter of a method.
      static int METHOD_INVOCATION_TYPE_ARGUMENT
      The sort of type references that target a type parameter of a generic method in a method call.
      static int METHOD_RECEIVER
      The sort of type references that target the receiver type of a method.
      static int METHOD_REFERENCE
      The sort of type references that target the receiver type of a method reference.
      static int METHOD_REFERENCE_TYPE_ARGUMENT
      The sort of type references that target a type parameter of a generic method in a method reference.
      static int METHOD_RETURN
      The sort of type references that target the return type of a method.
      static int METHOD_TYPE_PARAMETER
      The sort of type references that target a type parameter of a generic method.
      static int METHOD_TYPE_PARAMETER_BOUND
      The sort of type references that target a bound of a type parameter of a generic method.
      static int NEW
      The sort of type references that target the type of the object created by a 'new' instruction.
      static int RESOURCE_VARIABLE
      The sort of type references that target the type of a resource variable in a method.
      static int THROWS
      The sort of type references that target the type of an exception declared in the throws clause of a method.
    • Constructor Summary

      Constructors 
      Constructor Description
      TypeReference​(int typeRef)
      Constructs a new TypeReference.
    • Field Detail

      • CLASS_TYPE_PARAMETER

        public static final int CLASS_TYPE_PARAMETER
        The sort of type references that target a type parameter of a generic class. See getSort().
        See Also:
        Constant Field Values
      • METHOD_TYPE_PARAMETER

        public static final int METHOD_TYPE_PARAMETER
        The sort of type references that target a type parameter of a generic method. See getSort().
        See Also:
        Constant Field Values
      • CLASS_EXTENDS

        public static final int CLASS_EXTENDS
        The sort of type references that target the super class of a class or one of the interfaces it implements. See getSort().
        See Also:
        Constant Field Values
      • CLASS_TYPE_PARAMETER_BOUND

        public static final int CLASS_TYPE_PARAMETER_BOUND
        The sort of type references that target a bound of a type parameter of a generic class. See getSort().
        See Also:
        Constant Field Values
      • METHOD_TYPE_PARAMETER_BOUND

        public static final int METHOD_TYPE_PARAMETER_BOUND
        The sort of type references that target a bound of a type parameter of a generic method. See getSort().
        See Also:
        Constant Field Values
      • METHOD_RETURN

        public static final int METHOD_RETURN
        The sort of type references that target the return type of a method. See getSort().
        See Also:
        Constant Field Values
      • METHOD_RECEIVER

        public static final int METHOD_RECEIVER
        The sort of type references that target the receiver type of a method. See getSort().
        See Also:
        Constant Field Values
      • METHOD_FORMAL_PARAMETER

        public static final int METHOD_FORMAL_PARAMETER
        The sort of type references that target the type of a formal parameter of a method. See getSort().
        See Also:
        Constant Field Values
      • THROWS

        public static final int THROWS
        The sort of type references that target the type of an exception declared in the throws clause of a method. See getSort().
        See Also:
        Constant Field Values
      • LOCAL_VARIABLE

        public static final int LOCAL_VARIABLE
        The sort of type references that target the type of a local variable in a method. See getSort().
        See Also:
        Constant Field Values
      • RESOURCE_VARIABLE

        public static final int RESOURCE_VARIABLE
        The sort of type references that target the type of a resource variable in a method. See getSort().
        See Also:
        Constant Field Values
      • EXCEPTION_PARAMETER

        public static final int EXCEPTION_PARAMETER
        The sort of type references that target the type of the exception of a 'catch' clause in a method. See getSort().
        See Also:
        Constant Field Values
      • INSTANCEOF

        public static final int INSTANCEOF
        The sort of type references that target the type declared in an 'instanceof' instruction. See getSort().
        See Also:
        Constant Field Values
      • NEW

        public static final int NEW
        The sort of type references that target the type of the object created by a 'new' instruction. See getSort().
        See Also:
        Constant Field Values
      • CONSTRUCTOR_REFERENCE

        public static final int CONSTRUCTOR_REFERENCE
        The sort of type references that target the receiver type of a constructor reference. See getSort().
        See Also:
        Constant Field Values
      • METHOD_REFERENCE

        public static final int METHOD_REFERENCE
        The sort of type references that target the receiver type of a method reference. See getSort().
        See Also:
        Constant Field Values
      • CAST

        public static final int CAST
        The sort of type references that target the type declared in an explicit or implicit cast instruction. See getSort().
        See Also:
        Constant Field Values
      • CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT

        public static final int CONSTRUCTOR_INVOCATION_TYPE_ARGUMENT
        The sort of type references that target a type parameter of a generic constructor in a constructor call. See getSort().
        See Also:
        Constant Field Values
      • METHOD_INVOCATION_TYPE_ARGUMENT

        public static final int METHOD_INVOCATION_TYPE_ARGUMENT
        The sort of type references that target a type parameter of a generic method in a method call. See getSort().
        See Also:
        Constant Field Values
      • CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT

        public static final int CONSTRUCTOR_REFERENCE_TYPE_ARGUMENT
        The sort of type references that target a type parameter of a generic constructor in a constructor reference. See getSort().
        See Also:
        Constant Field Values
      • METHOD_REFERENCE_TYPE_ARGUMENT

        public static final int METHOD_REFERENCE_TYPE_ARGUMENT
        The sort of type references that target a type parameter of a generic method in a method reference. See getSort().
        See Also:
        Constant Field Values
    • Method Detail

      • newTypeParameterReference

        public static TypeReference newTypeParameterReference​(int sort,
                                                              int paramIndex)
        Returns a reference to a type parameter of a generic class or method.
        Parameters:
        sort - one of CLASS_TYPE_PARAMETER or METHOD_TYPE_PARAMETER.
        paramIndex - the type parameter index.
        Returns:
        a reference to the given generic class or method type parameter.
      • newTypeParameterBoundReference

        public static TypeReference newTypeParameterBoundReference​(int sort,
                                                                   int paramIndex,
                                                                   int boundIndex)
        Returns a reference to a type parameter bound of a generic class or method.
        Parameters:
        sort - one of CLASS_TYPE_PARAMETER or METHOD_TYPE_PARAMETER.
        paramIndex - the type parameter index.
        boundIndex - the type bound index within the above type parameters.
        Returns:
        a reference to the given generic class or method type parameter bound.
      • newSuperTypeReference

        public static TypeReference newSuperTypeReference​(int itfIndex)
        Returns a reference to the super class or to an interface of the 'implements' clause of a class.
        Parameters:
        itfIndex - the index of an interface in the 'implements' clause of a class, or -1 to reference the super class of the class.
        Returns:
        a reference to the given super type of a class.
      • newFormalParameterReference

        public static TypeReference newFormalParameterReference​(int paramIndex)
        Returns a reference to the type of a formal parameter of a method.
        Parameters:
        paramIndex - the formal parameter index.
        Returns:
        a reference to the type of the given method formal parameter.
      • newExceptionReference

        public static TypeReference newExceptionReference​(int exceptionIndex)
        Returns a reference to the type of an exception, in a 'throws' clause of a method.
        Parameters:
        exceptionIndex - the index of an exception in a 'throws' clause of a method.
        Returns:
        a reference to the type of the given exception.
      • newTryCatchReference

        public static TypeReference newTryCatchReference​(int tryCatchBlockIndex)
        Returns a reference to the type of the exception declared in a 'catch' clause of a method.
        Parameters:
        tryCatchBlockIndex - the index of a try catch block (using the order in which they are visited with visitTryCatchBlock).
        Returns:
        a reference to the type of the given exception.
      • getSuperTypeIndex

        public int getSuperTypeIndex()
        Returns the index of the "super type" of a class that is referenced by this type reference. This method must only be used for type references whose sort is CLASS_EXTENDS.
        Returns:
        the index of an interface in the 'implements' clause of a class, or -1 if this type reference references the type of the super class.
      • getFormalParameterIndex

        public int getFormalParameterIndex()
        Returns the index of the formal parameter whose type is referenced by this type reference. This method must only be used for type references whose sort is METHOD_FORMAL_PARAMETER.
        Returns:
        a formal parameter index.
      • getExceptionIndex

        public int getExceptionIndex()
        Returns the index of the exception, in a 'throws' clause of a method, whose type is referenced by this type reference. This method must only be used for type references whose sort is THROWS.
        Returns:
        the index of an exception in the 'throws' clause of a method.
      • getTryCatchBlockIndex

        public int getTryCatchBlockIndex()
        Returns the index of the try catch block (using the order in which they are visited with visitTryCatchBlock), whose 'catch' type is referenced by this type reference. This method must only be used for type references whose sort is EXCEPTION_PARAMETER .
        Returns:
        the index of an exception in the 'throws' clause of a method.
      • getValue

        public int getValue()
        Returns the int encoded value of this type reference, suitable for use in visit methods related to type annotations, like visitTypeAnnotation.
        Returns:
        the int encoded value of this type reference.