org.checkerframework.framework.test

Class TestConfigurationBuilder

java.lang.Object

org.checkerframework.framework.test.TestConfigurationBuilder

public class TestConfigurationBuilder
extends Object

Used to create an instance of TestConfiguration, TestConfigurationBuilder follows the standard builder pattern. That is, it returns itself after every call so you can string together configuration methods as follows: new TestConfigurationBuilder() .addOption("-Awarns") .addSourceFile("src1.java") .addDiagnosticFile("src1.out")

See Also:

TestConfiguration

Field Summary

Fields

Modifier and Type	Field and Description
static String	TESTS_OUTPUTDIR

Constructor Summary

Constructors

Constructor and Description
TestConfigurationBuilder() Note: There are static helper methods named buildConfiguration and buildConfigurationBuilder that can be used to create the most common types of configurations
TestConfigurationBuilder(TestConfiguration initialConfig) Create a builder that has all of the optoins in initialConfig

Method Summary

Modifier and Type	Method and Description
TestConfigurationBuilder	addDiagnosticFile(File diagnostics)
TestConfigurationBuilder	addDiagnosticFiles(Iterable<File> diagnostics)
TestConfigurationBuilder	adddToPathOption(String key, String toAppend)
TestConfigurationBuilder	addOption(String option)
TestConfigurationBuilder	addOption(String option, String value)
TestConfigurationBuilder	addOptionIfValueNonEmpty(String option, String value)
TestConfigurationBuilder	addOptions(Iterable<String> newOptions)
TestConfigurationBuilder	addOptions(Map<String,String> options)
TestConfigurationBuilder	addProcessor(String processor)
TestConfigurationBuilder	addProcessors(Iterable<String> processors)
TestConfigurationBuilder	addSourceFile(File sourceFile)
TestConfigurationBuilder	addSourceFiles(Iterable<File> sourceFiles)
TestConfiguration	build() Creates a TestConfiguration using the settings in this builder.
static TestConfiguration	buildDefaultConfiguration(String testSourcePath, File outputClassDirectory, String classPath, Iterable<File> testSourceFiles, Iterable<String> processors, List<String> options, boolean shouldEmitDebugInfo) This is the default configuration used by Checker Framework JUnit tests.
static TestConfiguration	buildDefaultConfiguration(String testSourcePath, File testFile, String checkerName, List<String> options, boolean shouldEmitDebugInfo) This is the default configuration used by Checker Framework JUnit tests.
TestConfigurationBuilder	dontEmitDebugInfo()
TestConfigurationBuilder	emitDebugInfo()
List<String>	flatOptions()
static String	getDefaultClassPath()
static TestConfigurationBuilder	getDefaultConfigurationBuilder(String testSourcePath, File outputClassDirectory, String classPath, Iterable<File> testSourceFiles, Iterable<String> processors, List<String> options, boolean shouldEmitDebugInfo) This creates a builder for the default configuration used by Checker Framework JUnit tests.
static TestConfigurationBuilder	getDefaultConfigurationBuilder(String testSourcePath, File testFile, String checkerName, List<String> options, boolean shouldEmitDebugInfo) This returns a builder for the default configuration used by Checker Framework JUnit tests.
static String	getJdkJarPathFromProperty() Uses the system property "JDK_JAR" to find the annotated JDK
static File	getOutputDirFromProperty()
TestConfigurationBuilder	setDiagnosticFiles(List<File> diagnosticFiles)
TestConfigurationBuilder	setOptions(Map<String,String> options)
TestConfigurationBuilder	setProcessors(Iterable<String> processors)
TestConfigurationBuilder	setShouldEmitDebugInfo(boolean shouldEmitDebugInfo)
TestConfigurationBuilder	setSourceFiles(List<File> sourceFiles)
String	toString()
List<String>	validate(boolean requireProcessors) Ensures that the minimum requirements for running a test are met.
TestConfiguration	validateThenBuild(boolean requireProcessors) Creates a TestConfiguration using the settings in this builder.

Methods inherited from class java.lang.Object

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

Field Detail

TESTS_OUTPUTDIR

public static final String TESTS_OUTPUTDIR

See Also:

Constant Field Values

Constructor Detail

TestConfigurationBuilder

public TestConfigurationBuilder()

Note: There are static helper methods named buildConfiguration and buildConfigurationBuilder that can be used to create the most common types of configurations

TestConfigurationBuilder

public TestConfigurationBuilder(TestConfiguration initialConfig)

Create a builder that has all of the optoins in initialConfig

Method Detail

getDefaultConfigurationBuilder

public static TestConfigurationBuilder getDefaultConfigurationBuilder(String testSourcePath,
                                                                      File outputClassDirectory,
                                                                      String classPath,
                                                                      Iterable<File> testSourceFiles,
                                                                      Iterable<String> processors,
                                                                      List<String> options,
                                                                      boolean shouldEmitDebugInfo)

This creates a builder for the default configuration used by Checker Framework JUnit tests.

Parameters:

testSourcePath - The path to the Checker test file sources, usually this is the directory of Checker's tests

outputClassDirectory - The directory to place classes compiled for testing

classPath - The classpath to use for compilation

testSourceFiles - The Java files that compose the test

processors - The checkers or other annotation processors to run over the testSourceFiles

options - The options to the compiler/processors

shouldEmitDebugInfo - Whether or not debug information should be emitted

Returns:

The builder that will create an immutable test configuration

getDefaultConfigurationBuilder

public static TestConfigurationBuilder getDefaultConfigurationBuilder(String testSourcePath,
                                                                      File testFile,
                                                                      String checkerName,
                                                                      List<String> options,
                                                                      boolean shouldEmitDebugInfo)

This returns a builder for the default configuration used by Checker Framework JUnit tests.

Parameters:

testSourcePath - The path to the Checker test file sources, usually this is the directory of Checker's tests

testFile - a single test java file to compile

checkerName - a single Checker to include in the processors field

options - The options to the compiler/processors

shouldEmitDebugInfo - Whether or not debug information should be emitted

Returns:

The builder that will create an immutable test configuration

buildDefaultConfiguration

public static TestConfiguration buildDefaultConfiguration(String testSourcePath,
                                                          File outputClassDirectory,
                                                          String classPath,
                                                          Iterable<File> testSourceFiles,
                                                          Iterable<String> processors,
                                                          List<String> options,
                                                          boolean shouldEmitDebugInfo)

This is the default configuration used by Checker Framework JUnit tests.

Parameters:

testSourcePath - The path to the Checker test file sources, usually this is the directory of Checker's tests

outputClassDirectory - The directory to place classes compiled for testing

classPath - The classpath to use for compilation

testSourceFiles - The Java files that compose the test

processors - The checkers or other annotation processors to run over the testSourceFiles

options - The options to the compiler/processors

shouldEmitDebugInfo - Whether or not debug information should be emitted

Returns:

A TestConfiguration with input parameters added plus the normal default options, compiler, and file manager used by Checker Framework tests

buildDefaultConfiguration

public static TestConfiguration buildDefaultConfiguration(String testSourcePath,
                                                          File testFile,
                                                          String checkerName,
                                                          List<String> options,
                                                          boolean shouldEmitDebugInfo)

This is the default configuration used by Checker Framework JUnit tests.

Parameters:

testSourcePath - The path to the Checker test file sources, usually this is the directory of Checker's tests

testFile - a single test java file to compile

checkerName - a single Checker to include in the processors field

options - The options to the compiler/processors

shouldEmitDebugInfo - Whether or not debug information should be emitted

Returns:

A TestConfiguration with input parameters added plus the normal default options, compiler, and file manager used by Checker Framework tests

validate

public List<String> validate(boolean requireProcessors)

Ensures that the minimum requirements for running a test are met. These requirements are:

• There is at least one source file
• There is at least one processor (if requireProcessors has been set to true)
• There is an output directory specified for class files
• There is no -processor option in the optionMap (it should be added by addProcessor instead)

Parameters:

requireProcessors - Whether or not to require that there is at least one processor

Returns:

A list of errors found while validating this configuration

adddToPathOption

public TestConfigurationBuilder adddToPathOption(String key,
                                                 String toAppend)

addDiagnosticFile

public TestConfigurationBuilder addDiagnosticFile(File diagnostics)

addDiagnosticFiles

public TestConfigurationBuilder addDiagnosticFiles(Iterable<File> diagnostics)

setDiagnosticFiles

public TestConfigurationBuilder setDiagnosticFiles(List<File> diagnosticFiles)

addSourceFile

public TestConfigurationBuilder addSourceFile(File sourceFile)

addSourceFiles

public TestConfigurationBuilder addSourceFiles(Iterable<File> sourceFiles)

setSourceFiles

public TestConfigurationBuilder setSourceFiles(List<File> sourceFiles)

setOptions

public TestConfigurationBuilder setOptions(Map<String,String> options)

addOption

public TestConfigurationBuilder addOption(String option)

addOption

public TestConfigurationBuilder addOption(String option,
                                          String value)

addOptionIfValueNonEmpty

public TestConfigurationBuilder addOptionIfValueNonEmpty(String option,
                                                         String value)

addOptions

public TestConfigurationBuilder addOptions(Map<String,String> options)

addOptions

public TestConfigurationBuilder addOptions(Iterable<String> newOptions)

setProcessors

public TestConfigurationBuilder setProcessors(Iterable<String> processors)

addProcessor

public TestConfigurationBuilder addProcessor(String processor)

addProcessors

public TestConfigurationBuilder addProcessors(Iterable<String> processors)

emitDebugInfo

public TestConfigurationBuilder emitDebugInfo()

dontEmitDebugInfo

public TestConfigurationBuilder dontEmitDebugInfo()

setShouldEmitDebugInfo

public TestConfigurationBuilder setShouldEmitDebugInfo(boolean shouldEmitDebugInfo)

build

public TestConfiguration build()

Creates a TestConfiguration using the settings in this builder. The settings are NOT validated first

validateThenBuild

public TestConfiguration validateThenBuild(boolean requireProcessors)

Creates a TestConfiguration using the settings in this builder. The settings are first validated and a runtime exception is thrown if any errors are found

Parameters:

requireProcessors - Whether or not there should be at least 1 processor specified, see method validate

flatOptions

public List<String> flatOptions()

Returns:

The set of Javac options as a flat list

toString

public String toString()

Overrides:

toString in class Object

getOutputDirFromProperty

public static File getOutputDirFromProperty()

getDefaultClassPath

public static String getDefaultClassPath()

getJdkJarPathFromProperty

public static String getJdkJarPathFromProperty()

Uses the system property "JDK_JAR" to find the annotated JDK