Package org.checkerframework.framework.util.typeinference8.types

Class AnnotatedContainsInferenceVariable

java.lang.Object

org.checkerframework.framework.util.typeinference8.types.AnnotatedContainsInferenceVariable

public class AnnotatedContainsInferenceVariable
extends Object

Helper class for determining if a type contains an inference variable.

Constructor Summary

Constructors

Constructor	Description
AnnotatedContainsInferenceVariable()	Creates an AnnotatedContainsInferenceVariable.

Method Summary

Modifier and Type	Method	Description
static boolean	hasAnyTypeVariable(Collection<? extends TypeVariable> typeVariables, AnnotatedTypeMirror type)	Returns true if type contains any of the type variables in typeVariables.

Methods inherited from class java.lang.Object

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

Constructor Details

AnnotatedContainsInferenceVariable

public AnnotatedContainsInferenceVariable()

Creates an AnnotatedContainsInferenceVariable.

Method Details

hasAnyTypeVariable

public static boolean hasAnyTypeVariable(Collection<? extends TypeVariable> typeVariables,
 AnnotatedTypeMirror type)

Returns true if type contains any of the type variables in typeVariables.

Parameters:

typeVariables - a collection of type variables

type - a type to check

Returns:

true if type contains any of the type variables in typeVariables