Search Java Classes and Packages
#Org.checkerframework.framework.util.typeinference Classes and Interfaces - 26 results found.
| Name | Description | Type | Package | Framework |
| A2F | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| A2FReducer | A2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| AFConstraint | AFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| AFReducer | AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducible | Interface | org.checkerframework.framework.util.typeinference.constraint | Checker |
| ConstraintMap | ConstraintMap holds simplified versions of the TUConstraints for ALL type variable for which we are inferring an argument. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| ConstraintMapBuilder | Converts a set of TUConstraints into a ConstraintMap. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| DefaultTypeArgumentInference | An implementation of TypeArgumentInference that mostly follows the process outlined in JLS7 Note, there are some deviations JLS 7 for the following cases: | Class | org.checkerframework.framework.util.typeinference | Checker |
| EqualitiesSolver | EqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| F2A | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| F2AReducer | F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| FIsA | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| FIsAReducer | FIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| GlbUtil | A class used to determine the greatest lower bounds for a set of AnnotatedTypeMirrors. | Class | org.checkerframework.framework.util.typeinference | Checker |
| InferenceResult | Represents the result from inferring type arguments. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InferredValue | When one of the constraint solvers infers that a the target has a given type/target in ALL qualifier hierarchies or that given an additional set of annotations that we know the target must hold we have covered all hierarchies | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InferredValue .InferredTarget | Indicates that a corresponding target was inferred to be the field "target" in the hierarchies not overridden by additionalAnnotations | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| InferredValue .InferredType | Indicates that a corresponding target was inferred to be the field "type" in all hierarchies. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| SubtypesSolver | Infers type arguments by using the Greatest Lower Bound computation on the subtype relationships in a constraint map. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| SupertypesSolver | Infers type arguments by using the Least Upper Bound computation on the supertype relationships in a constraint map. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| TargetConstraints | TargetConstraints represents the set of all TUConstraints for which target was the type parameter, i. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| TIsU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| TSubU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| TSuperU | Class | org.checkerframework.framework.util.typeinference.constraint | Checker | |
| TUConstraint | Subclasses of TUConstraint represent constraints between type parameter whose type arguments are being inferred and the types used to do that inference. | Class | org.checkerframework.framework.util.typeinference.constraint | Checker |
| TypeArgInferenceUtil | Miscellaneous utilities to help in type argument inference. | Class | org.checkerframework.framework.util.typeinference | Checker |
| TypeArgumentInference | Instances of TypeArgumentInference are used to infer the types of method type arguments when no explicit arguments are provided. | Interface | org.checkerframework.framework.util.typeinference | Checker |