org.checkerframework.framework.util.typeinference.solver

Class SubtypesSolver

java.lang.Object

org.checkerframework.framework.util.typeinference.solver.SubtypesSolver

public class SubtypesSolver
extends Object

Infers type arguments by using the Greatest Lower Bound computation on the subtype relationships in a constraint map.

Constructor Summary

Constructors

Constructor and Description
SubtypesSolver()

Method Summary

Modifier and Type	Method and Description
InferenceResult	glbSubtypes(Set<TypeVariable> remainingTargets, ConstraintMap constraints, AnnotatedTypeFactory typeFactory)
protected static void	propagatePreviousGlbs(TargetConstraints.Subtypes targetSubtypes, InferenceResult solution, Map<AnnotatedTypeMirror,AnnotationMirrorSet> subtypesOfTarget) /** If the target corresponding to targetRecord must be a subtype of another target for which we have already determined a GLB, add that target's GLB to the list of subtypes to be GLBed for this target.
InferenceResult	solveFromSubtypes(Set<TypeVariable> remainingTargets, ConstraintMap constraints, AnnotatedTypeFactory typeFactory) Infers type arguments using subtype constraints.

Methods inherited from class java.lang.Object

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

Constructor Detail

SubtypesSolver

public SubtypesSolver()

Method Detail

solveFromSubtypes

public InferenceResult solveFromSubtypes(Set<TypeVariable> remainingTargets,
                                         ConstraintMap constraints,
                                         AnnotatedTypeFactory typeFactory)

Infers type arguments using subtype constraints.

Parameters:

remainingTargets - targets for which we still need to infer a value

constraints - the set of constraints for all targets

Returns:

a mapping of ( target ⇒ inferred type ), note this class always infers concrete types and will not infer that the target is equivalent to another target

glbSubtypes

public InferenceResult glbSubtypes(Set<TypeVariable> remainingTargets,
                                   ConstraintMap constraints,
                                   AnnotatedTypeFactory typeFactory)

propagatePreviousGlbs

protected static void propagatePreviousGlbs(TargetConstraints.Subtypes targetSubtypes,
                                            InferenceResult solution,
                                            Map<AnnotatedTypeMirror,AnnotationMirrorSet> subtypesOfTarget)

/** If the target corresponding to targetRecord must be a subtype of another target for which we have already determined a GLB, add that target's GLB to the list of subtypes to be GLBed for this target.