org.checkerframework.framework.source

Classes

• AggregateChecker
• Result
• Result.DiagMessage
• SourceChecker
• SourceVisitor

Exceptions

• SourceChecker.CheckerError

Annotation Types

• SupportedLintOptions
• SupportedOptions
• SuppressWarningsKeys