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

Simple structure comprising the results of the parser.

Author:

Dominic Scheurer

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

errors

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

status

private java.lang.String status

parsedResult

private BranchNodeIntermediate parsedResult

Constructor Detail

Result

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

Method Detail

getErrors

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

getStatus

public java.lang.String getStatus()

getParsedResult

public BranchNodeIntermediate getParsedResult()