Class AinferTestCheckerStubsGenerationTest
java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest
org.checkerframework.framework.test.AinferGeneratePerDirectoryTest
org.checkerframework.checker.test.junit.ainferrunners.AinferTestCheckerStubsGenerationTest
Tests whole-program inference with the aid of stub files. This test is the first pass on the test
data, which generates the stubs.
IMPORTANT: The errors captured in the tests located in tests/ainfer-testchecker/ are not relevant. The meaning of this test class is to test if the generated stub files are similar to the expected ones. The errors on .java files must be ignored.
-
Field Summary
Fields inherited from class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
checkerNames, checkerOptions, classpathExtra, testDir, testFiles
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
checkResult
(TypecheckResult typecheckResult) Check that theTypecheckResult
did not fail.static String[]
protected File
Resolves the test root directory from the optionalTestRootDirectory
annotation or falls back to the default ofcurrentDir/tests
.Methods inherited from class org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest
doNotTypecheck, hasSkipComment
Methods inherited from class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
adjustTypecheckResult, customizeOptions, run
-
Constructor Details
-
AinferTestCheckerStubsGenerationTest
- Parameters:
testFiles
- the files containing test code, which will be type-checked
-
-
Method Details
-
getTestDirs
-
resolveTestDirectory
Resolves the test root directory from the optionalTestRootDirectory
annotation or falls back to the default ofcurrentDir/tests
.- Returns:
- the resolved directory
-
checkResult
Check that theTypecheckResult
did not fail.- Parameters:
typecheckResult
- result to check
-