org.checkerframework.framework.test

Class TestUtilities

java.lang.Object

org.checkerframework.framework.test.TestUtilities

public class TestUtilities
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	isAtLeast8Jvm
static boolean	isJSR308Compiler

Constructor Summary

Constructors

Constructor and Description
TestUtilities()

Method Summary

Modifier and Type	Method and Description
static void	assertResultsAreValid(TypecheckResult testResult) TODO: REDO COMMENT Compares the result of the compiler against an array of Strings.
static List<File>	deeplyEnclosedJavaTestFiles(File directory) Returns all the java files that are descendants of the given directory
static Set<String>	diagnosticsToStrings(Iterable<Diagnostic<? extends JavaFileObject>> actualDiagnostics, boolean usingAnomsgtxt)
static String	diagnosticToString(Diagnostic<? extends JavaFileObject> diagnostic, boolean usingAnomsgtxt)
static void	ensureDirectoryExists(File path)
static File	findComparisonFile(File testFile)
static List<Object[]>	findFilesInParent(File parent, String... fileNames)
static List<List<File>>	findJavaFilesPerDirectory(File parent, String... dirNames) 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.
static List<File>	findNestedJavaTestFiles(String... dirNames)
static List<File>	findRelativeNestedJavaFiles(File parent, String... dirNames)
static List<File>	findRelativeNestedJavaFiles(String parent, String... dirNames)
static List<File>	getJavaFilesAsArgumentList(File... dirs) Traverses the directories listed looking for java test files
static boolean	getShouldEmitDebugInfo()
static File	getTestFile(String fileRelativeToTestsDir)
static boolean	isJavaFile(File file)
static boolean	isJavaTestFile(File file)
static List<String>	optionMapToList(Map<String,String> options)
static String	summarizeSourceFiles(List<File> javaFiles)
static boolean	testBooleanProperty(String propName)
static boolean	testBooleanProperty(String propName, boolean defaultValue)
static void	writeDiagnostics(File file, File testFile, List<String> expected, List<String> actual, List<String> unexpected, List<String> missing, boolean usingNoMsgText, boolean testFailed)
static void	writeJavacArguments(File file, Iterable<? extends JavaFileObject> files, Iterable<String> options, Iterable<String> processors)
static void	writeLines(File file, Iterable<?> lines)
static void	writeTestConfiguration(File file, TestConfiguration config)

Methods inherited from class java.lang.Object

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

Field Detail

isJSR308Compiler

public static final boolean isJSR308Compiler

isAtLeast8Jvm

public static final boolean isAtLeast8Jvm

Constructor Detail

TestUtilities

public TestUtilities()

Method Detail

findNestedJavaTestFiles

public static List<File> findNestedJavaTestFiles(String... dirNames)

findRelativeNestedJavaFiles

public static List<File> findRelativeNestedJavaFiles(String parent,
                                                     String... dirNames)

findRelativeNestedJavaFiles

public static List<File> findRelativeNestedJavaFiles(File parent,
                                                     String... dirNames)

findJavaFilesPerDirectory

public static List<List<File>> findJavaFilesPerDirectory(File parent,
                                                         String... dirNames)

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.

Parameters:

parent - parent directory of the dirNames directories

dirNames - names of directories to search

Returns:

list where each item is a list of Java test files grouped by directory

findFilesInParent

public static List<Object[]> findFilesInParent(File parent,
                                               String... fileNames)

getJavaFilesAsArgumentList

public static List<File> getJavaFilesAsArgumentList(File... dirs)

Traverses the directories listed looking for java test files

deeplyEnclosedJavaTestFiles

public static List<File> deeplyEnclosedJavaTestFiles(File directory)

Returns all the java files that are descendants of the given directory

isJavaFile

public static boolean isJavaFile(File file)

isJavaTestFile

public static boolean isJavaTestFile(File file)

diagnosticToString

public static String diagnosticToString(Diagnostic<? extends JavaFileObject> diagnostic,
                                        boolean usingAnomsgtxt)

diagnosticsToStrings

public static Set<String> diagnosticsToStrings(Iterable<Diagnostic<? extends JavaFileObject>> actualDiagnostics,
                                               boolean usingAnomsgtxt)

summarizeSourceFiles

public static String summarizeSourceFiles(List<File> javaFiles)

getTestFile

public static File getTestFile(String fileRelativeToTestsDir)

findComparisonFile

public static File findComparisonFile(File testFile)

optionMapToList

public static List<String> optionMapToList(Map<String,String> options)

writeLines

public static void writeLines(File file,
                              Iterable<?> lines)

writeDiagnostics

public static void writeDiagnostics(File file,
                                    File testFile,
                                    List<String> expected,
                                    List<String> actual,
                                    List<String> unexpected,
                                    List<String> missing,
                                    boolean usingNoMsgText,
                                    boolean testFailed)

writeTestConfiguration

public static void writeTestConfiguration(File file,
                                          TestConfiguration config)

writeJavacArguments

public static void writeJavacArguments(File file,
                                       Iterable<? extends JavaFileObject> files,
                                       Iterable<String> options,
                                       Iterable<String> processors)

assertResultsAreValid

public static void assertResultsAreValid(TypecheckResult testResult)

TODO: REDO COMMENT Compares the result of the compiler against an array of Strings.

In a checker, we treat a more specific error message as subsumed by a general one. For example, "new.array.type.invalid" is subsumed by "type.invalid". This is not the case in the test framework; the exact error key is expected.

ensureDirectoryExists

public static void ensureDirectoryExists(File path)

testBooleanProperty

public static boolean testBooleanProperty(String propName)

testBooleanProperty

public static boolean testBooleanProperty(String propName,
                                          boolean defaultValue)

getShouldEmitDebugInfo

public static boolean getShouldEmitDebugInfo()