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

Class CaptureVariable

java.lang.Object

org.checkerframework.framework.util.typeinference8.types.Variable

org.checkerframework.framework.util.typeinference8.types.CaptureVariable

@Interned
public class CaptureVariable
extends Variable

Variables created as a part of a capture bound.

Field Summary

Fields inherited from class org.checkerframework.framework.util.typeinference8.types.Variable

context, id, invocation, map, typeVariable, typeVariableJava, variableBounds

Method Summary

Modifier and Type	Method	Description
ConstraintSet	getWildcardConstraints(AbstractType Ai, AbstractType Bi)	Returns the constraints generated when incorporating a capture bound.
boolean	isCaptureVariable()	Returns whether this variable was created for a capture bound.
String	toString()

Methods inherited from class org.checkerframework.framework.util.typeinference8.types.Variable

equals, getBounds, getInstantiation, getInvocation, getJavaType, hashCode, initialBounds, restore, save

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details

toString

public String toString()

Overrides:

toString in class Variable

getWildcardConstraints

public ConstraintSet getWildcardConstraints(AbstractType Ai,
 AbstractType Bi)

Returns the constraints generated when incorporating a capture bound. See JLS 18.3.2.

Parameters:

Ai - the captured type argument

Bi - the bound of the type variable

Returns:

constraints generated when incorporating a capture bound

isCaptureVariable

public boolean isCaptureVariable()

Description copied from class: Variable

Returns whether this variable was created for a capture bound.

Overrides:

isCaptureVariable in class Variable

Returns:

whether this variable was created for a capture bound