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

Interface Constraint

All Superinterfaces:

ReductionResult

All Known Implementing Classes:

AdditionalArgument, CheckedExceptionConstraint, Expression, QualifierTyping, TypeConstraint, Typing

public interface Constraint
extends ReductionResult

A constraint. See JLS.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	Constraint.Kind	A kind of Constraint.

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

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.

Method Details

getKind

Constraint.Kind getKind()

Return the kind of constraint.

Returns:

the kind of constraint

reduce

ReductionResult reduce(Java8InferenceContext context)

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

Parameters:

context - Java8InferenceContext

Returns:

the result of reducing this constraint