org.checkerframework.framework.util
Interfaces
AnnotationFormatter
BaseContext
CFContext
OptionConfiguration
Classes
AnnotatedTypes
AnnotationMirrorMap
AnnotationMirrorSet
CheckerDevelMain
CheckerMain
ContractsUtils
ContractsUtils.ConditionalPostcondition
ContractsUtils.Contract
ContractsUtils.Postcondition
ContractsUtils.Precondition
DefaultAnnotationFormatter
ExecUtil
ExecUtil.Redirection
FieldInvariants
FlowExpressionParseUtil
FlowExpressionParseUtil.FlowExpressionContext
GraphQualifierHierarchy
Heuristics
Heuristics.Matcher
Heuristics.Matchers
Heuristics.OfKind
Heuristics.OrMatcher
Heuristics.PreceededBy
Heuristics.WithIn
Heuristics.WithinTrueBranch
MultiGraphQualifierHierarchy
MultiGraphQualifierHierarchy.MultiGraphFactory
PurityAnnotatedTypeFactory
PurityChecker
TreePathCacher
TypeArgumentMapper
Enums
AtmCombo
ContractsUtils.Contract.Kind
Exceptions
FlowExpressionParseUtil.FlowExpressionParseException
Annotation Types
PurityUnqualified