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

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.List<java.lang.Throwable>	getErrorList()
Node	getNode()
java.lang.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 java.util.List<java.lang.Throwable> errors

status

private java.lang.String status

Constructor Detail

ReplayResult

public ReplayResult(java.lang.String status,
                    java.util.List<java.lang.Throwable> errors,
                    Node node)

Method Detail

getNode

public Node getNode()

getStatus

public java.lang.String getStatus()

getErrorList

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

hasErrors

public boolean hasErrors()