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

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.

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.

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.

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

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_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.

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.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

writeTestConfiguration(File, TestConfiguration) - Static method in class org.checkerframework.framework.test.TestUtilities

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