org.checkerframework.framework.test

Interface TestConfiguration

All Known Implementing Classes:

ImmutableTestConfiguration

public interface TestConfiguration

A configuration for running CheckerFrameworkTests or running the TypecheckExecutor.

Method Summary

Modifier and Type	Method and Description
List<File>	getDiagnosticFiles() Diagnostic files consist of a set of lines that enumerate expected error/warning diagnostics.
List<String>	getFlatOptions()
Map<String,String>	getOptions() Some Javac command line arguments require arguments themselves (e.g.
List<String>	getProcessors()
List<File>	getTestSourceFiles()
boolean	shouldEmitDebugInfo()

Method Detail

getTestSourceFiles

List<File> getTestSourceFiles()

Returns:

A list of source files a CheckerFrameworkTest should be run over. These source files will be passed to Javac when the test is run. These are NOT JUnit tests.

getDiagnosticFiles

List<File> getDiagnosticFiles()

Diagnostic files consist of a set of lines that enumerate expected error/warning diagnostics. The lines are of the form: fileName:lineNumber: diagnostKind: (messageKey) e.g., MethodInvocation.java:17: error: (method.invocation.invalid) If getDiagnosticFiles does NOT return an empty list, then the only diagnostics expected by the TestExecutor will be the ones found in these files. If it does return an empty list, then the only diagnostics expected will be the ones found in comments in the input test files. It is preferred that users write the errors in the test files and not in diagnostic files.

Returns:

A List of diagnostic files containing the error/warning messages expected to be output when Javac is run on the files returned by getTestSourceFiles. Return an empty list if these messages were specified within the source files.

getProcessors

List<String> getProcessors()

Returns:

A list of annotation processors (Checkers) passed to the Javac compiler

getOptions

Map<String,String> getOptions()

Some Javac command line arguments require arguments themselves (e.g. -classpath takes a path) getOptions returns a Map(optionName -> optionArgumentIfAny). If an option does not take an argument, pass null as the value. E.g., Map( "-AprintAllQualifiers" -> null "-classpath" -> "myDir1:myDir2" )

Returns:

A Map representing all command line options to Javac other than source files and processors

getFlatOptions

List<String> getFlatOptions()

Returns:

The map returned getOptions but flattened into a list. The entries will be added as followed: List(key1, value1, key2, value2, ..., keyN, valueN) If a value is NULL then it will not appear in the list.

shouldEmitDebugInfo

boolean shouldEmitDebugInfo()

Returns:

true if the TypecheckExecutor should emit debug information on system out, false otherwise