static class IntermediateProofReplayer.Result
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.List<java.lang.Throwable> |
errors |
private Goal |
lastSelectedGoal |
private java.lang.String |
status |
Constructor and Description |
---|
Result(java.lang.String status,
java.util.List<java.lang.Throwable> errors,
Goal lastSelectedGoal) |
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.Throwable> |
getErrors() |
Goal |
getLastSelectedGoal() |
java.lang.String |
getStatus() |
private java.lang.String status
private java.util.List<java.lang.Throwable> errors
private Goal lastSelectedGoal
public Result(java.lang.String status, java.util.List<java.lang.Throwable> errors, Goal lastSelectedGoal)
public java.lang.String getStatus()
public java.util.List<java.lang.Throwable> getErrors()
public Goal getLastSelectedGoal()