Class AnnotatedContainsInferenceVariable
java.lang.Object
org.checkerframework.framework.util.typeinference8.types.AnnotatedContainsInferenceVariable
Helper class for determining if a type contains an inference variable.
-
Constructor Summary
ConstructorsConstructorDescriptionCreates an AnnotatedContainsInferenceVariable. -
Method Summary
Modifier and TypeMethodDescriptionstatic booleanhasAnyTypeVariable(Collection<? extends TypeVariable> typeVariables, AnnotatedTypeMirror type) Returns true iftypecontains any of the type variables intypeVariables.
-
Constructor Details
-
AnnotatedContainsInferenceVariable
public AnnotatedContainsInferenceVariable()Creates an AnnotatedContainsInferenceVariable.
-
-
Method Details
-
hasAnyTypeVariable
public static boolean hasAnyTypeVariable(Collection<? extends TypeVariable> typeVariables, AnnotatedTypeMirror type) Returns true iftypecontains any of the type variables intypeVariables.- Parameters:
typeVariables- a collection of type variablestype- a type to check- Returns:
- true if
typecontains any of the type variables intypeVariables
-