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.

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

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