Class TypecheckResult
- java.lang.Object
-
- org.checkerframework.framework.test.TypecheckResult
-
public class TypecheckResult extends java.lang.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, java.util.List<TestDiagnostic> expectedDiagnostics, java.util.List<TestDiagnostic> missingDiagnostics, java.util.List<TestDiagnostic> unexpectedDiagnostics)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
didTestFail()
static TypecheckResult
fromCompilationResults(TestConfiguration configuration, CompilationResult result, java.util.List<TestDiagnostic> expectedDiagnostics)
java.util.List<javax.tools.Diagnostic<? extends javax.tools.JavaFileObject>>
getActualDiagnostics()
CompilationResult
getCompilationResult()
TestConfiguration
getConfiguration()
java.util.List<java.lang.String>
getErrorHeaders()
java.util.List<TestDiagnostic>
getExpectedDiagnostics()
java.util.List<TestDiagnostic>
getMissingDiagnostics()
java.util.List<TestDiagnostic>
getUnexpectedDiagnostics()
java.lang.String
summarize()
Summarize unexpected and missing diagnostics.
-
-
-
Constructor Detail
-
TypecheckResult
protected TypecheckResult(TestConfiguration configuration, CompilationResult compilationResult, java.util.List<TestDiagnostic> expectedDiagnostics, java.util.List<TestDiagnostic> missingDiagnostics, java.util.List<TestDiagnostic> unexpectedDiagnostics)
-
-
Method Detail
-
getConfiguration
public TestConfiguration getConfiguration()
-
getCompilationResult
public CompilationResult getCompilationResult()
-
getActualDiagnostics
public java.util.List<javax.tools.Diagnostic<? extends javax.tools.JavaFileObject>> getActualDiagnostics()
-
getExpectedDiagnostics
public java.util.List<TestDiagnostic> getExpectedDiagnostics()
-
didTestFail
public boolean didTestFail()
-
getMissingDiagnostics
public java.util.List<TestDiagnostic> getMissingDiagnostics()
-
getUnexpectedDiagnostics
public java.util.List<TestDiagnostic> getUnexpectedDiagnostics()
-
getErrorHeaders
public java.util.List<java.lang.String> getErrorHeaders()
-
summarize
public java.lang.String summarize()
Summarize unexpected and missing diagnostics.- Returns:
- summary of failures
-
fromCompilationResults
public static TypecheckResult fromCompilationResults(TestConfiguration configuration, CompilationResult result, java.util.List<TestDiagnostic> expectedDiagnostics)
-
-