Search Java Classes and Packages
#Org.checkerframework.framework.util Classes and Interfaces - 76 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 |
| AnnotatedTypes | Utility methods for operating on AnnotatedTypeMirror. | Class | org.checkerframework.framework.util | Checker |
| AnnotationBuilder | Builds an annotation mirror that may have some values. | Class | org.checkerframework.framework.util | Checker |
| AnnotationFormatter | Converts AnnotationMirrors to Strings For converting AnnotatedTypeMirrors: | Interface | org.checkerframework.framework.util | Checker |
| AtmCombo | An enum representing the cartesian product of the set of AtmKinds with itself. | Class | org.checkerframework.framework.util | Checker |
| BaseContext | A collection of references to javac components. | Interface | org.checkerframework.framework.util | Checker |
| CFContext | A collection of references to various type checker components. | Interface | org.checkerframework.framework.util | Checker |
| CheckerDevelMain | Class | org.checkerframework.framework.util | Checker | |
| CheckerMain | This class functions essentially the same as the jsr308-langtools javac script EXCEPT that it adds the appropriate jdk. | Class | org.checkerframework.framework.util | Checker |
| ClassTypeParamApplier | Applies the annotations present for a class type parameter onto an AnnotatedTypeVariable. | Class | org.checkerframework.framework.util.element | Checker |
| ComboLog | Created by jburke on 6/12/14. | Class | org.checkerframework.framework.util | 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 |
| ConstructorReturnUtil | Class to hold a utility method needed by TypeFromExpression and BaseTypeVisitor. | Class | org.checkerframework.framework.util | Checker |
| ContractsUtils | A utility class to handle pre- and postconditions. | Class | org.checkerframework.framework.util | Checker |
| DefaultAnnotationFormatter | A utility for converting AnnotationMirrors to Strings. | Class | org.checkerframework.framework.util | 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 |
| DependentTypes | Class | org.checkerframework.framework.util | Checker | |
| ElementAnnotationUtil | Utility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element). | Class | org.checkerframework.framework.util.element | Checker |
| EqualitiesSolver | EqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap. | Class | org.checkerframework.framework.util.typeinference.solver | Checker |
| ExecUtil | Class | org.checkerframework.framework.util | Checker | |
| ExecUtil .Redirection | Class | org.checkerframework.framework.util | 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 |
| FlowExpressionParseUtil | A collection of helper methods to parse a string that represents a restricted Java expression. | Class | org.checkerframework.framework.util | Checker |
| FlowExpressionParseUtil .FlowExpressionContext | Context used to parse a flow expression. | Class | org.checkerframework.framework.util | Checker |
| FlowExpressionParseUtil .FlowExpressionParseException | An exception that indicates a parse error. | Class | org.checkerframework.framework.util | Checker |
| GlbUtil | A class used to determine the greatest lower bounds for a set of AnnotatedTypeMirrors. | Class | org.checkerframework.framework.util.typeinference | Checker |
| GraphQualifierHierarchy | Represents the type qualifier hierarchy of a type system. | Class | org.checkerframework.framework.util | Checker |
| Heuristics | Utilities for determining tree-based heuristics. | Class | org.checkerframework.framework.util | Checker |
| Heuristics .Matcher | A convenience class for tree-matching algorithms. | Class | org.checkerframework.framework.util | Checker |
| Heuristics .Matchers | Class | org.checkerframework.framework.util | Checker | |
| Heuristics .OfKind | Class | org.checkerframework.framework.util | Checker | |
| Heuristics .OrMatcher | Class | org.checkerframework.framework.util | Checker | |
| Heuristics .PreceededBy | Class | org.checkerframework.framework.util | Checker | |
| Heuristics .WithIn | Class | org.checkerframework.framework.util | Checker | |
| Heuristics .WithinTrueBranch | Class | org.checkerframework.framework.util | 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 |
| MethodApplier | Adds annotations from element to the return type, formal parameter types, type parameters, and throws clauses of the AnnotatedExecutableType type. | Class | org.checkerframework.framework.util.element | Checker |
| MethodTypeParamApplier | Applies the annotations present for a method type parameter onto an AnnotatedTypeVariable. | Class | org.checkerframework.framework.util.element | Checker |
| MultiGraphQualifierHierarchy | Represents the type qualifier hierarchy of a type system. | Class | org.checkerframework.framework.util | Checker |
| MultiGraphQualifierHierarchy .MultiGraphFactory | Factory used to create an instance of GraphQualifierHierarchy. | Class | org.checkerframework.framework.util | Checker |
| OptionConfiguration | Provides methods for querying the Checker's options. | Interface | org.checkerframework.framework.util | Checker |
| ParamApplier | Adds annotations to one formal parameter of a method or lambda within a method. | Class | org.checkerframework.framework.util.element | Checker |
| PluginUtil | This file contains basic utility functions that should be reused to create a command line call to CheckerMain. | Class | org.checkerframework.framework.util | Checker |
| PluginUtil .CheckerProp | Class | org.checkerframework.framework.util | Checker | |
| PurityAnnotatedTypeFactory | Class | org.checkerframework.framework.util | Checker | |
| PurityChecker | Perform purity checking only. | Class | org.checkerframework.framework.util | Checker |
| PurityUnqualified | Class | org.checkerframework.framework.util | Checker | |
| QualifierDefaults | Determines the default qualifiers on a type. | Class | org.checkerframework.framework.util.defaults | Checker |
| QualifierDefaults .DefaultApplierElement | Class | org.checkerframework.framework.util.defaults | Checker | |
| QualifierPolymorphism | wish to use it should add calls to annotate(MethodInvocationTree, AnnotatedTypeMirror. | Class | org.checkerframework.framework.util | Checker |
| Resolver2 | A Utility class to find symbols corresponding to string references TODO: This class is only supposed to be used temporarily until a good solution for the MapGetHeuristic is found. | Class | org.checkerframework.framework.util | 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 |
| SuperTypeApplier | When discovering supertypes of an AnnotatedTypeMirror we want to annotate each supertype with the annotations of the subtypes class declaration. | Class | org.checkerframework.framework.util.element | 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 | |
| TreePathCacher | TreePathCacher is a TreeScanner that creates and caches a TreePath for a target This class replicates some logic from TreePath. | Class | org.checkerframework.framework.util | 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 |
| TypeArgumentMapper | Records any mapping between the type parameters of a subtype to the corresponding type parameters of a supertype. | Class | org.checkerframework.framework.util | Checker |
| TypeDeclarationApplier | Apply annotations to a declared type based on its declaration. | Class | org.checkerframework.framework.util.element | Checker |
| TypeVarUseApplier | Class | org.checkerframework.framework.util.element | Checker | |
| VariableApplier | Applies annotations to variable declaration (providing they are not the use of a TYPE_PARAMETER). | Class | org.checkerframework.framework.util.element | Checker |