org.checkerframework.framework.type

Class AnnotatedTypeFactory.ParameterizedMethodType

java.lang.Object

org.checkerframework.framework.type.AnnotatedTypeFactory.ParameterizedMethodType

Enclosing class:

AnnotatedTypeFactory

public static class AnnotatedTypeFactory.ParameterizedMethodType
extends Object

The type for an instantiated generic method.

Field Summary

Fields

Modifier and Type	Field and Description
AnnotatedTypeMirror.AnnotatedExecutableType	methodType The method's type.
List<AnnotatedTypeMirror>	typeArgs The types of the generic type arguments.

Constructor Summary

Constructors

Constructor and Description
ParameterizedMethodType(AnnotatedTypeMirror.AnnotatedExecutableType methodType, List<AnnotatedTypeMirror> typeArgs) Create a ParameterizedMethodType.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

methodType

public final AnnotatedTypeMirror.AnnotatedExecutableType methodType

The method's type.

typeArgs

public final List<AnnotatedTypeMirror> typeArgs

The types of the generic type arguments.

Constructor Detail

ParameterizedMethodType

public ParameterizedMethodType(AnnotatedTypeMirror.AnnotatedExecutableType methodType,
                               List<AnnotatedTypeMirror> typeArgs)

Create a ParameterizedMethodType.