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 java.lang.Object

Simple structure containing the results of the replay procedure.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<java.lang.Throwable>	errors
private Goal	lastSelectedGoal
private java.lang.String	status

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

status

private java.lang.String status

errors

private java.util.List<java.lang.Throwable> errors

lastSelectedGoal

private Goal lastSelectedGoal

Constructor Detail

Result

public Result(java.lang.String status,
              java.util.List<java.lang.Throwable> errors,
              Goal lastSelectedGoal)

Method Detail

getStatus

public java.lang.String getStatus()

getErrors

public java.util.List<java.lang.Throwable> getErrors()

getLastSelectedGoal

public Goal getLastSelectedGoal()