org.checkerframework.framework.test

Interfaces

• TestConfiguration

Classes

• CheckerFrameworkPerDirectoryTest
• CheckerFrameworkPerFileTest
• CompilationResult
• ImmutableTestConfiguration
• PerDirectorySuite
• PerFileSuite
• SimpleOptionMap
• TestConfigurationBuilder
• TestUtilities
• TypecheckExecutor
• TypecheckResult

Annotation Types

• PerDirectorySuite.Name
• PerFileSuite.Name