org.checkerframework.framework.test

Class TypecheckExecutor

java.lang.Object

org.checkerframework.framework.test.TypecheckExecutor

public class TypecheckExecutor
extends Object

Used by the Checker Framework test suite to run the framework and generate a test result.

Constructor Summary

Constructors

Constructor and Description
TypecheckExecutor()

Method Summary

Modifier and Type	Method and Description
CompilationResult	compile(TestConfiguration configuration) Using the settings from the input configuration, compile all source files in the configuration, and return place the result in a CompilationResult
TypecheckResult	interpretResults(TestConfiguration config, CompilationResult compilationResult) Reads the expected diagnostics for the given configuration and creates a TypecheckResult which contains all of the missing and expected diagnostics
protected List<TestDiagnostic>	readDiagnostics(TestConfiguration config, CompilationResult compilationResult) Added in case a subclass wishes to filter out errors or add new expected errors.
TypecheckResult	runTest(TestConfiguration configuration) Runs a typechecking test using the given configuration and returns the test result

Methods inherited from class java.lang.Object

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

Constructor Detail

TypecheckExecutor

public TypecheckExecutor()

Method Detail

runTest

public TypecheckResult runTest(TestConfiguration configuration)

Runs a typechecking test using the given configuration and returns the test result

compile

public CompilationResult compile(TestConfiguration configuration)

Using the settings from the input configuration, compile all source files in the configuration, and return place the result in a CompilationResult

interpretResults

public TypecheckResult interpretResults(TestConfiguration config,
                                        CompilationResult compilationResult)

Reads the expected diagnostics for the given configuration and creates a TypecheckResult which contains all of the missing and expected diagnostics

readDiagnostics

protected List<TestDiagnostic> readDiagnostics(TestConfiguration config,
                                               CompilationResult compilationResult)

Added in case a subclass wishes to filter out errors or add new expected errors. This method is called immediately before results are checked.