Class AnnotatedTypeFactory.ParameterizedExecutableType
- java.lang.Object
-
- org.checkerframework.framework.type.AnnotatedTypeFactory.ParameterizedExecutableType
-
- Enclosing class:
- AnnotatedTypeFactory
public static class AnnotatedTypeFactory.ParameterizedExecutableType extends java.lang.Object
The type for an instantiated generic method or constructor.
-
-
Field Summary
Fields Modifier and Type Field Description AnnotatedTypeMirror.AnnotatedExecutableType
executableType
The method's/constructor's type.java.util.List<AnnotatedTypeMirror>
typeArgs
The types of the generic type arguments.
-
Constructor Summary
Constructors Constructor Description ParameterizedExecutableType(AnnotatedTypeMirror.AnnotatedExecutableType executableType, java.util.List<AnnotatedTypeMirror> typeArgs)
Create a ParameterizedExecutableType.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
toString()
-
-
-
Field Detail
-
executableType
public final AnnotatedTypeMirror.AnnotatedExecutableType executableType
The method's/constructor's type.
-
typeArgs
public final java.util.List<AnnotatedTypeMirror> typeArgs
The types of the generic type arguments.
-
-
Constructor Detail
-
ParameterizedExecutableType
public ParameterizedExecutableType(AnnotatedTypeMirror.AnnotatedExecutableType executableType, java.util.List<AnnotatedTypeMirror> typeArgs)
Create a ParameterizedExecutableType.
-
-