Index (framework-test 3.28.0 API)

A B C D E F G H I J N O P R S T V W

A

addDiagnosticFile(File) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
addDiagnosticFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
adddToPathOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
addOption(String) - Method in class org.checkerframework.framework.test.SimpleOptionMap: Adds an option that takes no argument.
addOption(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap: Adds an option that takes an argument.
addOption(String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
addOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
addOptionIfValueNonEmpty(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap: Adds the option only if value is a non-null, non-empty String.
addOptionIfValueNonEmpty(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
addOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap: Adds all of the options in the given map to this one.
addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap
addOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder: Adds the given options to this.
addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
addProcessor(String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder: Add a processor.
addProcessors(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder: Add processors.
addSourceFile(File) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
addSourceFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
addToPathOption(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap: A method to easily add Strings to an option that takes a filepath as an argument.
adjustTypecheckResult(TypecheckResult) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: This method is called before issuing assertions about a TypecheckResult.
advance() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
AinferGeneratePerDirectoryTest - Class in org.checkerframework.framework.test: A specialized variant of CheckerFrameworkPerDirectoryTest for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of this class) to do inference using the -Ainfer option, and a "validation test" (of class AinferValidatePerDirectoryTest) to check that files typecheck after those inferences are taken into account.
AinferGeneratePerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.AinferGeneratePerDirectoryTest: Creates a new checker test.
AinferValidatePerDirectoryTest - Class in org.checkerframework.framework.test: A specialized variant of CheckerFrameworkPerDirectoryTest for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of class AinferGeneratePerDirectoryTest) to do inference using the -Ainfer option, and a "validation test" (of this class) to check that files typecheck after those inferences are taken into account.
AinferValidatePerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String, Class<? extends AinferGeneratePerDirectoryTest>, String...) - Constructor for class org.checkerframework.framework.test.AinferValidatePerDirectoryTest: Creates a new checker test.
ajavaArgFromFiles(List<File>, String) - Static method in class org.checkerframework.framework.test.AinferValidatePerDirectoryTest: Computes the -Aajava argument that corresponds to the test files.
assertTestDidNotFail(TypecheckResult) - Static method in class org.checkerframework.framework.test.TestUtilities: If the given TypecheckResult has unexpected or missing diagnostics, fail the running JUnit test.
astubsArgFromFiles(List<File>, String) - Static method in class org.checkerframework.framework.test.AinferValidatePerDirectoryTest: Computes the -Astubs argument that corresponds to the test files.

B

build() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder: Creates a TestConfiguration using the settings in this builder.
buildDefaultConfiguration(String, File, Class<?>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder: This is the default configuration used by Checker Framework JUnit tests.
buildDefaultConfiguration(String, Iterable<File>, Iterable<String>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder: This is the default configuration used by Checker Framework JUnit tests.
buildDefaultConfiguration(String, Iterable<File>, Collection<String>, Iterable<String>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder: This is the default configuration used by Checker Framework JUnit tests.

C

checker - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest: The checker to use for tests.
CheckerFrameworkPerDirectoryTest - Class in org.checkerframework.framework.test: Compiles all test files in a test directory together.
CheckerFrameworkPerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: Creates a new checker test.
CheckerFrameworkPerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, List<String>, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: Creates a new checker test.
CheckerFrameworkPerDirectoryTest(List<File>, List<String>, String, List<String>, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: Creates a new checker test.
CheckerFrameworkPerFileTest - Class in org.checkerframework.framework.test: Compiles all test files individually.
CheckerFrameworkPerFileTest(File, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerFileTest: Creates a new checker test.
CheckerFrameworkWPIPerDirectoryTest - Class in org.checkerframework.framework.test: A specialized variant of CheckerFrameworkPerDirectoryTest for testing the Whole Program Inference feature of the Checker Framework, which is tested by running pairs of these tests: a "generation test" (of class AinferGeneratePerDirectoryTest) to do inference using the -Ainfer option, and a "validation test" (of class AinferValidatePerDirectoryTest) to check that files typecheck after those inferences are taken into account.
CheckerFrameworkWPIPerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest: Creates a new checker test.
checkerNames - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: The binary names of the checkers to run.
checkerOptions - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: Extra options to pass to javac when running the checker.
checkerOptions - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest: Extra options to pass to javac when running the checker.
classpathExtra - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: Extra entries for the classpath.
close() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
CompilationResult - Class in org.checkerframework.framework.test: CompilationResult represents the output of the compiler after it is run.
compile(TestConfiguration) - Method in class org.checkerframework.framework.test.TypecheckExecutor: Using the settings from the input configuration, compile all source files in the configuration, and return the result in a CompilationResult.
compiledWithoutError() - Method in class org.checkerframework.framework.test.CompilationResult: Returns whether or not compilation succeeded without errors or exceptions.
continuationPart(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Return the continuation part.
customizeOptions(List<String>) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: Override this method if you would like to supply a checker command-line option that depends on the Java files passed to the test.
customizeOptions(List<String>) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest: Override this method if you would like to supply a checker command-line option that depends on the Java file passed to the test.

D

deeplyEnclosedJavaTestFiles(File) - Static method in class org.checkerframework.framework.test.TestUtilities: Returns all the Java files that are descendants of the given directory.
DIAGNOSTIC_FILE_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_FILE_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_FILE_WARNING_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_FILE_WARNING_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_IN_JAVA_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: How the diagnostics appear in Java source files.
DIAGNOSTIC_IN_JAVA_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: How the diagnostics appear in Java source files.
DIAGNOSTIC_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_WARNING_IN_JAVA_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_WARNING_IN_JAVA_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_WARNING_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DIAGNOSTIC_WARNING_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
DiagnosticKind - Enum in org.checkerframework.framework.test.diagnostics: The kinds of errors that can be encountered during typechecking.
diagnosticsToString(List<TestDiagnostic>) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Converts the given diagnostics to strings (as they would appear in a source file individually).
diagnosticsToStrings(Iterable<Diagnostic<? extends JavaFileObject>>, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
diagnosticToString(Diagnostic<? extends JavaFileObject>, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
didTestFail() - Method in class org.checkerframework.framework.test.TypecheckResult
doNotTypecheck(String) - Method in class org.checkerframework.framework.test.CheckerFrameworkWPIPerDirectoryTest: Do not typecheck any file ending with the given String.
dontEmitDebugInfo() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder

E

emitDebugInfo() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
ensureDirectoryExists(String) - Static method in class org.checkerframework.framework.test.TestUtilities: Create the directory (and its parents) if it does not exist.
equals(Object) - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic: Equality is compared without isFixable/omitParentheses.

F

findComparisonFile(File) - Static method in class org.checkerframework.framework.test.TestUtilities
findFilesInParent(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities: Prepends a file to the beginning of each filename.
findJavaFilesPerDirectory(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities: Returns a list where each item is a list of Java files, excluding any skip tests, for each directory given by dirName and also a list for any subdirectory.
findNestedJavaTestFiles(String...) - Static method in class org.checkerframework.framework.test.TestUtilities
findRelativeNestedJavaFiles(String, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
findRelativeNestedJavaFiles(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
flatOptions() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder: Returns the set of Javac options as a flat list.
formatJavaxToolString(String, boolean) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Given a javax diagnostic, return a pair of (trimmed, fileame), where "trimmed" is the first line of the message, without the leading filename.
fromCompilationResults(TestConfiguration, CompilationResult, List<TestDiagnostic>) - Static method in class org.checkerframework.framework.test.TypecheckResult
fromDiagnosticFileLine(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Convert a line in a DiagnosticFile to a TestDiagnosticLine.
fromDiagnosticFileString(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Instantiate the diagnostic based on a string that would appear in diagnostic files (i.e.
fromJavaFileComment(String, long, String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Instantiate the diagnostic from a string that would appear in a Java file, e.g.: "error: (message)"
fromJavaSourceLine(String, String, long) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Convert a line in a Java source file to a TestDiagnosticLine.
fromJavaxDiagnosticList(List<Diagnostic<? extends JavaFileObject>>, boolean) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
fromJavaxToolsDiagnostic(String, boolean) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Instantiate a diagnostic from output produced by the Java compiler.
fromJSpecifyFileComment(String, long, String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Instantiate the diagnostic from a JSpecify string that would appear in a Java file, e.g.: "jspecify_some_category".
fromParseString(String) - Static method in enum org.checkerframework.framework.test.diagnostics.DiagnosticKind: Convert a string as it would appear in error messages or source code into a DiagnosticKind.
fromPatternMatching(Pattern, Pattern, String, Long, String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Instantiate the diagnostic via pattern-matching against patterns.

G

getActualDiagnostics() - Method in class org.checkerframework.framework.test.TypecheckResult
getChildren() - Method in class org.checkerframework.framework.test.PerDirectorySuite
getChildren() - Method in class org.checkerframework.framework.test.PerFileSuite
getCompilationResult() - Method in class org.checkerframework.framework.test.TypecheckResult
getConfiguration() - Method in class org.checkerframework.framework.test.TypecheckResult
getDefaultClassPath() - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
getDefaultConfigurationBuilder(String, File, String, Iterable<File>, Iterable<String>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder: This creates a builder for the default configuration used by Checker Framework JUnit tests.
getDiagnosticFiles() - Method in class org.checkerframework.framework.test.ImmutableTestConfiguration
getDiagnosticFiles() - Method in interface org.checkerframework.framework.test.TestConfiguration: Diagnostic files consist of a set of lines that enumerate expected error/warning diagnostics.
getDiagnostics() - Method in class org.checkerframework.framework.test.CompilationResult: Returns the diagnostics reported by the compiler.
getDiagnostics() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
getErrorHeaders() - Method in class org.checkerframework.framework.test.TypecheckResult
getExpectedDiagnostics() - Method in class org.checkerframework.framework.test.TypecheckResult
getFilename() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
getFilename() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
getFlatOptions() - Method in class org.checkerframework.framework.test.ImmutableTestConfiguration
getFlatOptions() - Method in interface org.checkerframework.framework.test.TestConfiguration: Returns the map returned by TestConfiguration.getOptions(), flattened into a list.
getJavacOutput() - Method in class org.checkerframework.framework.test.CompilationResult: Returns all of the output from the compiler.
getJavaFileObjects() - Method in class org.checkerframework.framework.test.CompilationResult: Returns the list of Java files passed to the compiler.
getJavaFilesAsArgumentList(File...) - Static method in class org.checkerframework.framework.test.TestUtilities: Traverses the directories listed looking for Java test files.
getKind() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
getLineNumber() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
getLineNumber() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
getMessage() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
getMissingDiagnostics() - Method in class org.checkerframework.framework.test.TypecheckResult
getOptions() - Method in class org.checkerframework.framework.test.ImmutableTestConfiguration
getOptions() - Method in class org.checkerframework.framework.test.SimpleOptionMap: Returns the map that backs this SimpleOptionMap.
getOptions() - Method in interface org.checkerframework.framework.test.TestConfiguration: Some Javac command line arguments require arguments themselves (e.g.
getOptionsAsList() - Method in class org.checkerframework.framework.test.SimpleOptionMap: Creates a "flat" list representation of these options.
getOriginalLine() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
getOutputDirFromProperty() - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
getProcessors() - Method in class org.checkerframework.framework.test.ImmutableTestConfiguration
getProcessors() - Method in interface org.checkerframework.framework.test.TestConfiguration: Returns a list of annotation processors (Checkers) passed to the Javac compiler.
getShouldEmitDebugInfo() - Static method in class org.checkerframework.framework.test.TestUtilities: Returns the value of system property "emit.test.debug".
getTestFile(String) - Static method in class org.checkerframework.framework.test.TestUtilities
getTestSourceFiles() - Method in class org.checkerframework.framework.test.ImmutableTestConfiguration
getTestSourceFiles() - Method in interface org.checkerframework.framework.test.TestConfiguration: Returns a list of source files a CheckerFrameworkPerDirectoryTest should be run over.
getUnexpectedDiagnostics() - Method in class org.checkerframework.framework.test.TypecheckResult

H

handleEndOfLineJavaDiagnostic(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Convert an end-of-line diagnostic message to a beginning-of-line one.
hasDiagnostics() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
hashCode() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
hasNext() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader

I

ImmutableTestConfiguration - Class in org.checkerframework.framework.test: Represents all of the information needed to execute the Javac compiler for a given set of test files.
ImmutableTestConfiguration(List<File>, List<File>, List<String>, Map<String, String>, boolean) - Constructor for class org.checkerframework.framework.test.ImmutableTestConfiguration: Create a new ImmutableTestConfiguration.
interpretResults(TestConfiguration, CompilationResult) - Method in class org.checkerframework.framework.test.TypecheckExecutor: Reads the expected diagnostics for the given configuration and creates a TypecheckResult which contains all of the missing and expected diagnostics.
IS_AT_LEAST_11_JVM - Static variable in class org.checkerframework.framework.test.TestUtilities: True if the JVM is version 11 or above.
IS_AT_LEAST_17_JVM - Static variable in class org.checkerframework.framework.test.TestUtilities: True if the JVM is version 17 or above.
IS_AT_LEAST_18_JVM - Static variable in class org.checkerframework.framework.test.TestUtilities: True if the JVM is version 18 or above.
IS_AT_LEAST_9_JVM - Static variable in class org.checkerframework.framework.test.TestUtilities: True if the JVM is version 9 or above.
IS_AT_MOST_11_JVM - Static variable in class org.checkerframework.framework.test.TestUtilities: True if the JVM is version 11 or lower.
IS_AT_MOST_17_JVM - Static variable in class org.checkerframework.framework.test.TestUtilities: True if the JVM is version 17 or lower.
IS_AT_MOST_18_JVM - Static variable in class org.checkerframework.framework.test.TestUtilities: True if the JVM is version 18 or lower.
isFixable() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
isJavaDiagnosticLineContinuation(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Return true if this line in a Java file continues an expected diagnostic.
isJavaDiagnosticLineStart(String) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils: Return true if this line in a Java file indicates an expected diagnostic that might be continued on the next line.
isJavaFile(File) - Static method in class org.checkerframework.framework.test.TestUtilities
isJavaTestFile(File) - Static method in class org.checkerframework.framework.test.TestUtilities

J

JavaDiagnosticReader - Class in org.checkerframework.framework.test.diagnostics: This class reads expected javac diagnostics from a single file.

N

next() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader

O

optionMapToList(Map<String, String>) - Static method in class org.checkerframework.framework.test.TestUtilities
org.checkerframework.framework.test - package org.checkerframework.framework.test
org.checkerframework.framework.test.diagnostics - package org.checkerframework.framework.test.diagnostics

P

parseString - Variable in enum org.checkerframework.framework.test.diagnostics.DiagnosticKind: How this DiagnosticKind appears in error messages or source code.
PerDirectorySuite - Class in org.checkerframework.framework.test: PerDirectorySuite runs a test class once for each set of javaFiles returned by its method marked with @Parameters
PerDirectorySuite(Class<?>) - Constructor for class org.checkerframework.framework.test.PerDirectorySuite: Only called reflectively.
PerDirectorySuite.Name - Annotation Type in org.checkerframework.framework.test
PerFileSuite - Class in org.checkerframework.framework.test: PerDirectorySuite runs a test class once for each set of parameters returned by its method marked with @Parameters
PerFileSuite(Class<?>) - Constructor for class org.checkerframework.framework.test.PerFileSuite: Only called reflectively.
PerFileSuite.Name - Annotation Type in org.checkerframework.framework.test

R

readDiagnosticFiles(Iterable<? extends File>) - Static method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader: Reads diagnostics line-by-line from the input diagnostic files.
readDiagnostics(TestConfiguration, CompilationResult) - Method in class org.checkerframework.framework.test.TypecheckExecutor: A subclass can override this to filter out errors or add new expected errors.
readJavaSourceFiles(Iterable<? extends Object>) - Static method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader: Returns all the diagnostics in any of the Java source files.
remove() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
removeDiagnosticsOfKind(DiagnosticKind, List<TestDiagnostic>) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
run() - Method in class org.checkerframework.framework.test.AinferValidatePerDirectoryTest
run() - Method in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
run() - Method in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
runTest(TestConfiguration) - Method in class org.checkerframework.framework.test.TypecheckExecutor: Runs a typechecking test using the given configuration and returns the test result.

S

setDiagnosticFiles(List<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
setOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap: Clears the current set of options and copies the input options to this map.
setOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
setProcessors(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder: Set the processors.
setShouldEmitDebugInfo(boolean) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
setSourceFiles(List<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
shouldEmitDebugInfo() - Method in class org.checkerframework.framework.test.ImmutableTestConfiguration
shouldEmitDebugInfo() - Method in interface org.checkerframework.framework.test.TestConfiguration: Returns true if the TypecheckExecutor should emit debug information on system out, false otherwise.
shouldOmitParentheses() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic: Returns whether or not the printed representation should omit parentheses around the message.
SimpleOptionMap - Class in org.checkerframework.framework.test: SimpleOptionMap is a very basic Option container.
SimpleOptionMap() - Constructor for class org.checkerframework.framework.test.SimpleOptionMap
summarize() - Method in class org.checkerframework.framework.test.TypecheckResult: Summarize unexpected and missing diagnostics.
summarizeSourceFiles(List<File>) - Static method in class org.checkerframework.framework.test.TestUtilities: Return the file absolute pathnames, separated by commas.

T

TestConfiguration - Interface in org.checkerframework.framework.test: A configuration for running CheckerFrameworkTests or running the TypecheckExecutor.
TestConfigurationBuilder - Class in org.checkerframework.framework.test: Used to create an instance of TestConfiguration.
TestConfigurationBuilder() - Constructor for class org.checkerframework.framework.test.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) - Constructor for class org.checkerframework.framework.test.TestConfigurationBuilder: Create a builder that has all of the options in initialConfig.
TestDiagnostic - Class in org.checkerframework.framework.test.diagnostics: Represents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler.
TestDiagnostic(String, long, DiagnosticKind, String, boolean, boolean) - Constructor for class org.checkerframework.framework.test.diagnostics.TestDiagnostic: Basic constructor that sets the immutable fields of this diagnostic.
TestDiagnosticLine - Class in org.checkerframework.framework.test.diagnostics: Represents a list of TestDiagnostics, which was read from a one line of a file.
TestDiagnosticLine(String, long, String, List<TestDiagnostic>) - Constructor for class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
TestDiagnosticUtils - Class in org.checkerframework.framework.test.diagnostics: A set of utilities and factory methods useful for working with TestDiagnostics.
TestDiagnosticUtils() - Constructor for class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
testDir - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: The path, relative to currentDir/test to the directory containing test inputs.
testDir - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest: The path, relative to currentDir/test to the directory containing test inputs.
testFile - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest: The file containing test code, which will be type-checked.
testFiles - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest: The files containing test code, which will be type-checked.
TESTS_OUTPUTDIR - Static variable in class org.checkerframework.framework.test.TestConfigurationBuilder
TestUtilities - Class in org.checkerframework.framework.test: Utilities for testing.
TestUtilities() - Constructor for class org.checkerframework.framework.test.TestUtilities
toString() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic: Returns a representation of this diagnostic as if it appeared in a diagnostics file.
toString() - Method in class org.checkerframework.framework.test.ImmutableTestConfiguration
toString() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
TypecheckExecutor - Class in org.checkerframework.framework.test: Used by the Checker Framework test suite to run the framework and generate a test result.
TypecheckExecutor() - Constructor for class org.checkerframework.framework.test.TypecheckExecutor: Creates a new TypecheckExecutor.
TypecheckResult - Class in org.checkerframework.framework.test: Represents the test results from typechecking one or more Java files using the given TestConfiguration.
TypecheckResult(TestConfiguration, CompilationResult, List<TestDiagnostic>, List<TestDiagnostic>, List<TestDiagnostic>) - Constructor for class org.checkerframework.framework.test.TypecheckResult

V

validate(boolean) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder: Ensures that the minimum requirements for running a test are met.
validateThenBuild(boolean) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder: Creates a TestConfiguration using the settings in this builder.
valueOf(String) - Static method in enum org.checkerframework.framework.test.diagnostics.DiagnosticKind: Returns the enum constant of this type with the specified name.
values() - Static method in enum org.checkerframework.framework.test.diagnostics.DiagnosticKind: Returns an array containing the constants of this enum type, in the order they are declared.

W

writeDiagnostics(File, File, List<String>, List<String>, List<String>, List<String>, boolean, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
writeJavacArguments(File, Iterable<? extends JavaFileObject>, Iterable<String>, Iterable<String>) - Static method in class org.checkerframework.framework.test.TestUtilities
writeLines(File, Iterable<?>) - Static method in class org.checkerframework.framework.test.TestUtilities: Write all the lines in the given Iterable to the given File.
writeTestConfiguration(File, TestConfiguration) - Static method in class org.checkerframework.framework.test.TestUtilities: Append a test configuration to the end of a file.

A B C D E F G H I J N O P R S T V W