org.checkerframework.framework.util
Interfaces
AnnotationFormatter
OptionConfiguration
QualifierKind
QualifierKindHierarchy
StringToJavaExpression
Classes
AnnotatedTypes
AnnotationMirrorMap
AnnotationMirrorSet
CheckerMain
Contract
Contract.ConditionalPostcondition
Contract.Postcondition
Contract.Precondition
ContractsFromMethod
DefaultAnnotationFormatter
DefaultQualifierKindHierarchy
DefaultQualifierKindHierarchy.DefaultQualifierKind
ExecUtil
ExecUtil.Redirection
FieldInvariants
Heuristics
Heuristics.Matcher
Heuristics.OfKind
Heuristics.OrMatcher
Heuristics.PreceededBy
Heuristics.Within
Heuristics.WithinTrueBranch
JavaExpressionParseUtil
JavaParserUtil
JavaParserUtil.StringLiteralConcatenateVisitor
PurityAnnotatedTypeFactory
PurityChecker
TreePathCacher
TypeArgumentMapper
VoidVisitorWithDefaultAction
Enums
AtmCombo
Contract.Kind
Exceptions
JavaExpressionParseUtil.JavaExpressionParseException