ClassDescriptionUtility methods for operating on
AnnotatedTypeMirror.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 by
BaseTypeVisitoror 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.This is the default implementation of
QualifierKindHierarchy.The default implementation of
QualifierKind.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 conditon 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, see
JavaParserUtil.concatenateAddedStringLiterals(com.github.javaparser.ast.Node).Provides methods for querying the Checker's options.AnnotatedTypeFactory for the
PurityChecker.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, see
StringToJavaExpression.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.Presents formatted type information for various AST trees in a class.A visitor that visits every node in an AST by default and performs a default action on each node after visiting its children.