Package org.checkerframework.framework.util.typeinference8.constraint

Class QualifierTyping

java.lang.Object

org.checkerframework.framework.util.typeinference8.constraint.QualifierTyping

All Implemented Interfaces:

Constraint, ReductionResult

public class QualifierTyping
extends Object
implements Constraint

Represents a constraint between two AbstractType. One of:

• Constraint.Kind.QUALIFIER_SUBTYPE < Q <: R >: A qualifier Q is a subtype of a qualifier R.
• Constraint.Kind.QUALIFIER_EQUALITY < Q = R >: A qualifier Q is the same as a qualifier R.

Nested Class Summary

Nested classes/interfaces inherited from interface org.checkerframework.framework.util.typeinference8.constraint.Constraint

Constraint.Kind

Nested classes/interfaces inherited from interface org.checkerframework.framework.util.typeinference8.constraint.ReductionResult

ReductionResult.ReductionResultPair

Field Summary

Fields inherited from interface org.checkerframework.framework.util.typeinference8.constraint.ReductionResult

UNCHECKED_CONVERSION

Constructor Summary

Constructors

Constructor	Description
QualifierTyping(AbstractQualifier Q, AbstractQualifier R, Constraint.Kind kind)	Creates a qualifier typing constraint.

Method Summary

Modifier and Type	Method	Description
Constraint.Kind	getKind()	Return the kind of constraint.
ReductionResult	reduce(Java8InferenceContext context)	Reduce this constraint what this means depends on the kind of constraint.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

QualifierTyping

public QualifierTyping(AbstractQualifier Q,
 AbstractQualifier R,
 Constraint.Kind kind)

Creates a qualifier typing constraint.

Parameters:

Q - the qualifiers on the left hand side of the constraint

R - the qualifiers on the right hand side of the constraint

kind - the kind of qualifier constraint

Method Details

getKind

public Constraint.Kind getKind()

Description copied from interface: Constraint

Return the kind of constraint.

Specified by:

getKind in interface Constraint

Returns:

the kind of constraint

reduce

public ReductionResult reduce(Java8InferenceContext context)

Description copied from interface: Constraint

Reduce this constraint what this means depends on the kind of constraint. Reduction can produce new bounds and/or new constraints.

Reduction is documented in JLS section 18.2

Specified by:

reduce in interface Constraint

Parameters:

context - Java8InferenceContext

Returns:

the result of reducing this constraint

toString

public String toString()

Overrides:

toString in class Object