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@ParametersNamePerDirectorySuite runs a test class once for each set of parameters returned by its method marked with@ParametersNameSimpleOptionMap is a very basic command-line option container.A configuration for running CheckerFrameworkTests or running the TypecheckExecutor.Used to create an instance of TestConfiguration.Defines the path to the directory which holds test java files.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.