Class Hierarchy
- java.lang.Object
- org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
- org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest
- org.checkerframework.framework.test.AinferGeneratePerDirectoryTest
- org.checkerframework.framework.test.AinferValidatePerDirectoryTest
- org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest
- org.checkerframework.framework.test.CheckerFrameworkPerFileTest
- org.checkerframework.framework.test.CompilationResult
- org.checkerframework.framework.test.ImmutableTestConfiguration (implements org.checkerframework.framework.test.TestConfiguration)
- org.junit.runner.Runner (implements org.junit.runner.Describable)
- org.junit.runners.ParentRunner<T> (implements org.junit.runner.manipulation.Filterable, org.junit.runner.manipulation.Orderable)
- org.junit.runners.Suite
- org.checkerframework.framework.test.PerDirectorySuite
- org.checkerframework.framework.test.PerFileSuite
- org.junit.runners.Suite
- org.junit.runners.ParentRunner<T> (implements org.junit.runner.manipulation.Filterable, org.junit.runner.manipulation.Orderable)
- org.checkerframework.framework.test.SimpleOptionMap
- org.checkerframework.framework.test.TestConfigurationBuilder
- org.checkerframework.framework.test.TestUtilities
- org.checkerframework.framework.test.TypecheckExecutor
- org.checkerframework.framework.test.TypecheckResult
- org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
Interface Hierarchy
- org.checkerframework.framework.test.TestConfiguration
Annotation Interface Hierarchy
- org.checkerframework.framework.test.PerDirectorySuite.Name (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.test.PerFileSuite.Name (implements java.lang.annotation.Annotation)