de.uka.ilkd.key.proof.io

Class IntermediatePresentationProofFileParser.Result

java.lang.Object

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

Enclosing class:

IntermediatePresentationProofFileParser

static class IntermediatePresentationProofFileParser.Result
extends Object

Simple structure comprising the results of the parser.

Author:

Dominic Scheurer

Field Summary

Fields

Modifier and Type	Field and Description
private List<Throwable>	errors
private BranchNodeIntermediate	parsedResult
private String	status

Constructor Summary

Constructors

Constructor and Description
Result(List<Throwable> errors, String status, BranchNodeIntermediate parsedResult)

Method Summary

Modifier and Type	Method and Description
List<Throwable>	getErrors()
BranchNodeIntermediate	getParsedResult()
String	getStatus()

Methods inherited from class java.lang.Object

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

Field Detail

errors

private List<Throwable> errors

status

private String status

parsedResult

private BranchNodeIntermediate parsedResult

Constructor Detail

Result

public Result(List<Throwable> errors,
              String status,
              BranchNodeIntermediate parsedResult)

Method Detail

getErrors

public List<Throwable> getErrors()

getStatus

public String getStatus()

getParsedResult

public BranchNodeIntermediate getParsedResult()