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

Class ContainsInferenceVariable

java.lang.Object

org.checkerframework.framework.util.typeinference8.types.ContainsInferenceVariable

public class ContainsInferenceVariable
extends Object

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

Method Summary

Modifier and Type	Method	Description
static Set<TypeVariable>	getMentionedTypeVariables(Collection<? extends TypeVariable> typeVariables, TypeMirror type)	Returns the type variables in typeVariables that appear in type.
static boolean	hasAnyTypeVariable(Collection<? extends TypeVariable> typeVariables, TypeMirror 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,
 TypeMirror 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

getMentionedTypeVariables

public static Set<TypeVariable> getMentionedTypeVariables(Collection<? extends TypeVariable> typeVariables,
 TypeMirror type)

Returns the type variables in typeVariables that appear in type.

Parameters:

typeVariables - a collection of type variables

type - a type to check

Returns:

the type variables in typeVariables that appear in type