org.checkerframework.framework.util

Interfaces

• AnnotationFormatter
• BaseContext
• CFContext
• OptionConfiguration

Classes

• AnnotatedTypes
• AnnotationBuilder
• AnnotationMirrorMap
• AnnotationMirrorSet
• CheckerDevelMain
• CheckerMain
• ComboLog
• ContractsUtils
• ContractsUtils.ConditionalPostcondition
• ContractsUtils.Contract
• ContractsUtils.Postcondition
• ContractsUtils.Precondition
• DefaultAnnotationFormatter
• DependentTypes
• ExecUtil
• ExecUtil.Redirection
• FlowExpressionParseUtil
• FlowExpressionParseUtil.FlowExpressionContext
• GraphQualifierHierarchy
• Heuristics
• Heuristics.Matcher
• Heuristics.Matchers
• Heuristics.OfKind
• Heuristics.OrMatcher
• Heuristics.PreceededBy
• Heuristics.WithIn
• Heuristics.WithinTrueBranch
• MultiGraphQualifierHierarchy
• MultiGraphQualifierHierarchy.MultiGraphFactory
• PluginUtil
• PurityAnnotatedTypeFactory
• PurityChecker
• QualifierPolymorphism
• TreePathCacher
• TypeArgumentMapper

Enums

• AtmCombo
• ContractsUtils.Contract.Kind
• PluginUtil.CheckerProp

Exceptions

• FlowExpressionParseUtil.FlowExpressionParseException

Annotation Types

• PurityUnqualified