Package org.checkerframework.framework.type

Class AnnotatedTypeFactory.ParameterizedExecutableType

java.lang.Object

org.checkerframework.framework.type.AnnotatedTypeFactory.ParameterizedExecutableType

Enclosing class:

AnnotatedTypeFactory

public static class AnnotatedTypeFactory.ParameterizedExecutableType
extends Object

The type for an instantiated generic method or constructor.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
ParameterizedExecutableType(AnnotatedTypeMirror.AnnotatedExecutableType executableType, List<AnnotatedTypeMirror> typeArgs)	Create a ParameterizedExecutableType.

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

executableType

public final AnnotatedTypeMirror.AnnotatedExecutableType executableType

The method's/constructor's type.

typeArgs

public final List<AnnotatedTypeMirror> typeArgs

The types of the generic type arguments.

Constructor Details

ParameterizedExecutableType

public ParameterizedExecutableType(AnnotatedTypeMirror.AnnotatedExecutableType executableType,
 List<AnnotatedTypeMirror> typeArgs)

Create a ParameterizedExecutableType.

Method Details

toString

public String toString()

Overrides:

toString in class Object