de.uka.ilkd.key.proof.io

Class IntermediateProofReplayer.Result

java.lang.Object

de.uka.ilkd.key.proof.io.IntermediateProofReplayer.Result

Enclosing class:

IntermediateProofReplayer

static class IntermediateProofReplayer.Result
extends Object

Simple structure containing the results of the replay procedure.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private List<Throwable>	errors
private Goal	lastSelectedGoal
private String	status

Constructor Summary

Constructors

Constructor and Description
Result(String status, List<Throwable> errors, Goal lastSelectedGoal)

Method Summary

Modifier and Type	Method and Description
List<Throwable>	getErrors()
Goal	getLastSelectedGoal()
String	getStatus()

Methods inherited from class java.lang.Object

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

Field Detail

status

private String status

errors

private List<Throwable> errors

lastSelectedGoal

private Goal lastSelectedGoal

Constructor Detail

Result

public Result(String status,
              List<Throwable> errors,
              Goal lastSelectedGoal)

Method Detail

getStatus

public String getStatus()

getErrors

public List<Throwable> getErrors()

getLastSelectedGoal

public Goal getLastSelectedGoal()