de.uka.ilkd.key.proof.io

Class AbstractProblemLoader.ReplayResult

java.lang.Object

de.uka.ilkd.key.proof.io.AbstractProblemLoader.ReplayResult

Enclosing class:

AbstractProblemLoader

public static class AbstractProblemLoader.ReplayResult
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
private List<Throwable>	errors
private Node	node
private String	status

Constructor Summary

Constructors

Constructor and Description
ReplayResult(String status, List<Throwable> errors, Node node)

Method Summary

Modifier and Type	Method and Description
List<Throwable>	getErrorList()
Node	getNode()
String	getStatus()
boolean	hasErrors()

Methods inherited from class java.lang.Object

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

Field Detail

node

private Node node

errors

private List<Throwable> errors

status

private String status

Constructor Detail

ReplayResult

public ReplayResult(String status,
                    List<Throwable> errors,
                    Node node)

Method Detail

getNode

public Node getNode()

getStatus

public String getStatus()

getErrorList

public List<Throwable> getErrorList()

hasErrors

public boolean hasErrors()