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

Class QualifierVar

java.lang.Object

org.checkerframework.framework.util.typeinference8.types.AbstractQualifier

org.checkerframework.framework.util.typeinference8.types.QualifierVar

public class QualifierVar
extends AbstractQualifier

A QualifierVar is a variable for a polymorphic qualifier that needs to be viewpoint adapted at a call site.

Field Summary

Fields

Modifier and Type	Field	Description
protected final int	id	Identification number.
protected AnnotationMirror	instantiation	The instantiation of this variable.
protected final ExpressionTree	invocation	The expression for which this variable is being solved.
protected final AnnotationMirror	polyQualifier	The polymorphic qualifier associated with this var.
final EnumMap<VariableBounds.BoundKind,Set<AbstractQualifier>>	qualifierBounds	A mapping from a VariableBounds.BoundKind to a set of abstract qualifiers.

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

context, hierarchyName

Constructor Summary

Constructors

Constructor	Description
QualifierVar(ExpressionTree invocation, AnnotationMirror polyQualifier, Java8InferenceContext context)	Creates a QualifierVar.

Method Summary

Modifier and Type	Method	Description
ConstraintSet	addBound(VariableBounds.BoundKind kind, AbstractQualifier otherQual)	Add a bound for this qualifier variable
boolean	equals(Object o)
int	hashCode()
String	toString()

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

create, glb, lub, sameHierarchy

Methods inherited from class java.lang.Object

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

Field Details

id

protected final int id

Identification number. Used only to make debugging easier.

invocation

protected final ExpressionTree invocation

The expression for which this variable is being solved. Used to differentiate qualifier variables for two different invocations of the same method or constructor.

polyQualifier

protected final AnnotationMirror polyQualifier

The polymorphic qualifier associated with this var.

qualifierBounds

public final EnumMap<VariableBounds.BoundKind,Set<AbstractQualifier>> qualifierBounds

A mapping from a VariableBounds.BoundKind to a set of abstract qualifiers.

instantiation

protected AnnotationMirror instantiation

The instantiation of this variable. This is set during inference.

Constructor Details

QualifierVar

public QualifierVar(ExpressionTree invocation,
 AnnotationMirror polyQualifier,
 Java8InferenceContext context)

Creates a QualifierVar.

Parameters:

invocation - the expression for which this variable is being solved

polyQualifier - polymorphic qualifier associated with this var

context - the context

Method Details

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

addBound

public ConstraintSet addBound(VariableBounds.BoundKind kind,
 AbstractQualifier otherQual)

Add a bound for this qualifier variable

Parameters:

kind - a bound kind

otherQual - the bound to add

Returns:

a set of constraints generated from adding this bound.