org.checkerframework.framework.util

Interfaces

• AnnotationFormatter
• OptionConfiguration
• QualifierKind
• QualifierKindHierarchy
• StringToJavaExpression

Classes

• AnnotatedTypes
• AnnotationMirrorMap
• AnnotationMirrorSet
• CheckerDevelMain
• CheckerMain
• Contract
• Contract.ConditionalPostcondition
• Contract.Postcondition
• Contract.Precondition
• ContractsFromMethod
• DefaultAnnotationFormatter
• DefaultQualifierKindHierarchy
• DefaultQualifierKindHierarchy.DefaultQualifierKind
• ExecUtil
• ExecUtil.Redirection
• FieldInvariants
• GraphQualifierHierarchy
• Heuristics
• Heuristics.Matcher
• Heuristics.OfKind
• Heuristics.OrMatcher
• Heuristics.PreceededBy
• Heuristics.Within
• Heuristics.WithinTrueBranch
• JavaExpressionParseUtil
• JavaParserUtil
• JavaParserUtil.StringLiteralConcatenateVisitor
• MultiGraphQualifierHierarchy
• MultiGraphQualifierHierarchy.MultiGraphFactory
• PurityAnnotatedTypeFactory
• PurityChecker
• TreePathCacher
• TypeArgumentMapper
• VoidVisitorWithDefaultAction

Enums

• AtmCombo
• Contract.Kind

Exceptions

• JavaExpressionParseUtil.JavaExpressionParseException