org.checkerframework.framework.test

Class TypecheckResult

java.lang.Object

org.checkerframework.framework.test.TypecheckResult

public class TypecheckResult
extends Object

Represents the test results from typechecking one or more java files using the given TestConfiguration.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TypecheckResult(TestConfiguration configuration, CompilationResult compilationResult, List<TestDiagnostic> expectedDiagnostics, boolean testFailed, List<TestDiagnostic> missingDiagnostics, List<TestDiagnostic> unexpectedDiagnostics)

Method Summary

Modifier and Type	Method and Description
boolean	didTestFail()
static TypecheckResult	fromCompilationResults(TestConfiguration configuration, CompilationResult result, List<TestDiagnostic> expectedDiagnostics)
static TypecheckResult	fromCompilationResultsExpectedDiagnostics(TestConfiguration configuration, CompilationResult result, List<TestDiagnostic> expectedDiagnostics)
List<Diagnostic<? extends JavaFileObject>>	getActualDiagnostics()
CompilationResult	getCompilationResult()
TestConfiguration	getConfiguration()
List<String>	getErrorHeaders()
List<TestDiagnostic>	getExpectedDiagnostics()
List<TestDiagnostic>	getMissingDiagnostics()
List<TestDiagnostic>	getUnexpectedDiagnostics()
String	summarize()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypecheckResult

protected TypecheckResult(TestConfiguration configuration,
                          CompilationResult compilationResult,
                          List<TestDiagnostic> expectedDiagnostics,
                          boolean testFailed,
                          List<TestDiagnostic> missingDiagnostics,
                          List<TestDiagnostic> unexpectedDiagnostics)

Method Detail

getConfiguration

public TestConfiguration getConfiguration()

getCompilationResult

public CompilationResult getCompilationResult()

getActualDiagnostics

public List<Diagnostic<? extends JavaFileObject>> getActualDiagnostics()

getExpectedDiagnostics

public List<TestDiagnostic> getExpectedDiagnostics()

didTestFail

public boolean didTestFail()

getMissingDiagnostics

public List<TestDiagnostic> getMissingDiagnostics()

getUnexpectedDiagnostics

public List<TestDiagnostic> getUnexpectedDiagnostics()

getErrorHeaders

public List<String> getErrorHeaders()

summarize

public String summarize()

fromCompilationResults

public static TypecheckResult fromCompilationResults(TestConfiguration configuration,
                                                     CompilationResult result,
                                                     List<TestDiagnostic> expectedDiagnostics)

fromCompilationResultsExpectedDiagnostics

public static TypecheckResult fromCompilationResultsExpectedDiagnostics(TestConfiguration configuration,
                                                                        CompilationResult result,
                                                                        List<TestDiagnostic> expectedDiagnostics)