public class TypecheckExecutor extends Object
Constructor and Description |
---|
TypecheckExecutor()
Creates a new TypecheckExecutor.
|
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 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)
A subclass can override this 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.
|
public TypecheckResult runTest(TestConfiguration configuration)
configuration
- the test configurationpublic CompilationResult compile(TestConfiguration configuration)
public TypecheckResult interpretResults(TestConfiguration config, CompilationResult compilationResult)
protected List<TestDiagnostic> readDiagnostics(TestConfiguration config, CompilationResult compilationResult)