Package org.checkerframework.checker.test.junit.ainferrunners

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

public class AinferTestCheckerStubsGenerationTest
extends AinferGeneratePerDirectoryTest

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

Constructor	Description
AinferTestCheckerStubsGenerationTest(List<File> testFiles)

Method Summary

Modifier and Type	Method	Description
void	checkResult(TypecheckResult typecheckResult)	Check that the TypecheckResult did not fail.
static String[]	getTestDirs()
protected File	resolveTestDirectory()	Resolves the test root directory from the optional TestRootDirectory annotation or falls back to the default of currentDir/tests.

Methods inherited from class org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest

doNotTypecheck, hasSkipComment

Methods inherited from class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest

adjustTypecheckResult, customizeOptions, run

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AinferTestCheckerStubsGenerationTest

public AinferTestCheckerStubsGenerationTest(List<File> testFiles)

Parameters:

testFiles - the files containing test code, which will be type-checked

Method Details

getTestDirs

public static String[] getTestDirs()

resolveTestDirectory

protected File resolveTestDirectory()

Resolves the test root directory from the optional TestRootDirectory annotation or falls back to the default of currentDir/tests.

Returns:

the resolved directory

checkResult

public void checkResult(TypecheckResult typecheckResult)

Check that the TypecheckResult did not fail.

Parameters:

typecheckResult - result to check