org.checkerframework.framework.util
Interfaces
AnnotationFormatter
OptionConfiguration
QualifierKind
QualifierKindHierarchy
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
JavaExpressionParseUtil.JavaExpressionContext
MultiGraphQualifierHierarchy
MultiGraphQualifierHierarchy.MultiGraphFactory
PurityAnnotatedTypeFactory
PurityChecker
TreePathCacher
TypeArgumentMapper
Enums
AtmCombo
Contract.Kind
Exceptions
JavaExpressionParseUtil.JavaExpressionParseException