Class QualifierTyping
java.lang.Object
org.checkerframework.framework.util.typeinference8.constraint.QualifierTyping
- All Implemented Interfaces:
Constraint,ReductionResult
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.KindNested 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
ConstructorsConstructorDescriptionCreates a qualifier typing constraint. -
Method Summary
Modifier and TypeMethodDescriptiongetKind()Return the kind of constraint.reduce(Java8InferenceContext context) Reduce this constraint what this means depends on the kind of constraint.toString()
-
Constructor Details
-
QualifierTyping
Creates a qualifier typing constraint.- Parameters:
Q- the qualifiers on the left hand side of the constraintR- the qualifiers on the right hand side of the constraintkind- the kind of qualifier constraint
-
-
Method Details
-
getKind
Description copied from interface:ConstraintReturn the kind of constraint.- Specified by:
getKindin interfaceConstraint- Returns:
- the kind of constraint
-
reduce
Description copied from interface:ConstraintReduce 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:
reducein interfaceConstraint- Parameters:
context- Java8InferenceContext- Returns:
- the result of reducing this constraint
-
toString
-