org.checkerframework.framework.test

Class ImmutableTestConfiguration

java.lang.Object

org.checkerframework.framework.test.ImmutableTestConfiguration

All Implemented Interfaces:

TestConfiguration

public class ImmutableTestConfiguration
extends Object
implements TestConfiguration

Represents all of the information needed to execute the Javac compiler for a given set of test files.

Constructor Summary

Constructors

Constructor and Description
ImmutableTestConfiguration(List<File> diagnosticFiles, List<File> testSourceFiles, List<String> processors, Map<String,String> options, boolean shouldEmitDebugInfo)

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()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ImmutableTestConfiguration

public ImmutableTestConfiguration(List<File> diagnosticFiles,
                                  List<File> testSourceFiles,
                                  List<String> processors,
                                  Map<String,String> options,
                                  boolean shouldEmitDebugInfo)

Method Detail

getTestSourceFiles

public List<File> getTestSourceFiles()

Specified by:

getTestSourceFiles in interface TestConfiguration

Returns:

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

getDiagnosticFiles

public List<File> getDiagnosticFiles()

Description copied from interface: TestConfiguration

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.

Specified by:

getDiagnosticFiles in interface TestConfiguration

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

public List<String> getProcessors()

Specified by:

getProcessors in interface TestConfiguration

Returns:

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

getOptions

public Map<String,String> getOptions()

Description copied from interface: TestConfiguration

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"
 )
 

Specified by:

getOptions in interface TestConfiguration

Returns:

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

getFlatOptions

public List<String> getFlatOptions()

Specified by:

getFlatOptions in interface TestConfiguration

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

public boolean shouldEmitDebugInfo()

Specified by:

shouldEmitDebugInfo in interface TestConfiguration

Returns:

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

toString

public String toString()

Overrides:

toString in class Object