Package org.checkerframework.framework.util

Class AnnotatedTypes.TypeArguments

java.lang.Object

org.checkerframework.framework.util.AnnotatedTypes.TypeArguments

Enclosing class:

AnnotatedTypes

public static class AnnotatedTypes.TypeArguments
extends Object

Class representing type arguments for a method, constructor, or method reference expression.

Field Summary

Fields

Modifier and Type	Field	Description
final boolean	inferenceCrash	True if type argument inference crashed.
final Map<TypeVariable,AnnotatedTypeMirror>	typeArguments	A mapping from TypeVariable to its annotated type argument.
final boolean	uncheckedConversion	True if unchecked conversion was needed for inference.

Constructor Summary

Constructors

Constructor	Description
TypeArguments(Map<TypeVariable,AnnotatedTypeMirror> typeArguments, boolean uncheckedConversion, boolean inferenceCrash)	Creates a AnnotatedTypes.TypeArguments object.

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

typeArguments

public final Map<TypeVariable,AnnotatedTypeMirror> typeArguments

A mapping from TypeVariable to its annotated type argument.

uncheckedConversion

public final boolean uncheckedConversion

True if unchecked conversion was needed for inference.

inferenceCrash

public final boolean inferenceCrash

True if type argument inference crashed.

Constructor Details

TypeArguments

public TypeArguments(Map<TypeVariable,AnnotatedTypeMirror> typeArguments,
 boolean uncheckedConversion,
 boolean inferenceCrash)

Creates a AnnotatedTypes.TypeArguments object.

Parameters:

typeArguments - a mapping from TypeVariable to its annotated type argument

uncheckedConversion - true if unchecked conversion was needed for inference

inferenceCrash - true if type argument inference crashed