Package org.checkerframework.framework.test
package org.checkerframework.framework.test
-
ClassDescriptionA specialized variant of
CheckerFrameworkPerDirectoryTestfor testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of this class) to do inference using the-Ainferoption, and a "validation test" (of classAinferValidatePerDirectoryTest) to check that files typecheck after those inferences are taken into account.A specialized variant ofCheckerFrameworkPerDirectoryTestfor testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of classAinferGeneratePerDirectoryTest) to do inference using the-Ainferoption, and a "validation test" (of this class) to check that files typecheck after those inferences are taken into account.Compiles all test files in a test directory together.Compiles all test files individually.A specialized variant ofCheckerFrameworkPerDirectoryTestfor testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of classAinferGeneratePerDirectoryTest) to do inference using the-Ainferoption, and a "validation test" (of classAinferValidatePerDirectoryTest) to check that files typecheck after those inferences are taken into account.CompilationResult represents the output of the compiler after it is run.Represents all of the information needed to execute the Javac compiler for a given set of test files.PerDirectorySuite runs a test class once for each set of javaFiles returned by its method marked with@ParametersPerDirectorySuite runs a test class once for each set of parameters returned by its method marked with@ParametersSimpleOptionMap is a very basic Option container.A configuration for running CheckerFrameworkTests or running the TypecheckExecutor.Used to create an instance of TestConfiguration.Utilities for testing.Used by the Checker Framework test suite to run the framework and generate a test result.Represents the test results from typechecking one or more Java files using the given TestConfiguration.