Class AinferTestCheckerJaifsGenerationTest
java.lang.Object
org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest
org.checkerframework.framework.test.AinferGeneratePerDirectoryTest
org.checkerframework.checker.test.junit.ainferrunners.AinferTestCheckerJaifsGenerationTest
Runs whole-program inference and inserts annotations into source code.
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 .jaif 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
-
AinferTestCheckerJaifsGenerationTest
- 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
-