Package org.checkerframework.framework.util
package org.checkerframework.framework.util
-
ClassDescriptionUtility methods for operating on
AnnotatedTypeMirror.Converts AnnotationMirrors to Strings.An enum representing the cartesian product of the set of AtmKinds with itself.This class behaves similarly to javac.A contract represents an annotation on an expression.Represents a conditional postcondition that must be verified byBaseTypeVisitoror one of its subclasses.Enumerates the kinds of contracts.A postcondition contract.A precondition contract.A utility class to retrieve pre- and postconditions from a method.A utility for converting AnnotationMirrors to Strings.This is the default implementation ofQualifierKindHierarchy.The default implementation ofQualifierKind.Utilities for executing external processes.Represents field invariants, which the user states by writing@FieldInvariant.Utilities for determining tree-based heuristics.A base class for tree-matching algorithms.match()returns true if called on a path whose leaf has the given kind (supplied at object initialization).match()returns true if any of the given matchers returns true.match()returns true if called on a path, any element of which matches the given matcher (supplied at object initialization).match()returns true if called on a path whose leaf is within the "then" clause of an if whose condition matches the matcher (supplied at object initialization).Helper methods to parse a string that represents a restricted Java expression.An exception that indicates a parse error.Utility methods for working with JavaParser.Visitor that combines added String literals, seeJavaParserUtil.concatenateAddedStringLiterals(com.github.javaparser.ast.Node).Provides methods for querying the Checker's options.AnnotatedTypeFactory for thePurityChecker.Perform purity checking only.Represents a kind of qualifier, which is an annotation class.This interface holds information about the subtyping relationships between kinds of qualifiers.This interface is both a functional interface, seeStringToJavaExpression.toJavaExpression(String), and also a collection of static methods that convert a string to a JavaExpression at common locations.TreePathCacher is a TreeScanner that creates and caches a TreePath for a target Tree.Records any mapping between the type parameters of a subtype to the corresponding type parameters of a supertype.A visitor that visits every node in an AST by default and performs a default action on each node after visiting its children.