org.checkerframework.framework.test

Interfaces

• TestConfiguration

Classes

• CheckerFrameworkTest
• CompilationResult
• ImmutableTestConfiguration
• SimpleOptionMap
• TestConfigurationBuilder
• TestSuite
• TestUtilities
• TypecheckExecutor
• TypecheckResult

Annotation Types

• TestSuite.Name