Package 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	Description
protected	TypecheckResult(TestConfiguration configuration, CompilationResult compilationResult, List<TestDiagnostic> expectedDiagnostics, List<TestDiagnostic> missingDiagnostics, List<TestDiagnostic> unexpectedDiagnostics)

Method Summary

Modifier and Type	Method	Description
boolean	didTestFail()
static TypecheckResult	fromCompilationResults(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()	Summarize unexpected and missing diagnostics.

Methods inherited from class java.lang.Object

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

Constructor Details

TypecheckResult

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

Method Details

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()

Summarize unexpected and missing diagnostics.

Returns:

summary of failures

fromCompilationResults

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