Class AinferIndexAjavaGenerationTest
java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest
org.checkerframework.framework.test.AinferGeneratePerDirectoryTest
org.checkerframework.checker.test.junit.ainferrunners.AinferIndexAjavaGenerationTest
Tests whole-program inference with the aid of ajava files. This test is the first pass on the
test data, which generates the ajava files. This specific test suite is designed to elicit
problems with ajava parsing that only occur when an aggregate checker is in use.
IMPORTANT: The errors captured in the tests located in tests/ainfer-index/ are not relevant. The meaning of this test class is to test if the generated ajava 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
-
AinferIndexAjavaGenerationTest
- 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
-