de.uka.ilkd.key.proof.init

Class ProofInputException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.antlr.runtime.RecognitionException

de.uka.ilkd.key.proof.init.ProofInputException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

SLTranslationException

public class ProofInputException
extends RecognitionException

Reading prover input failed

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private String	message

Fields inherited from class org.antlr.runtime.RecognitionException

approximateLineInfo, c, charPositionInLine, index, input, line, node, token

Constructor Summary

Constructors

Constructor and Description
ProofInputException(Exception e)
ProofInputException(String s)
ProofInputException(String message, Throwable cause)

Method Summary

Modifier and Type	Method and Description
String	getMessage()

Methods inherited from class org.antlr.runtime.RecognitionException

extractInformationFromTreeNodeStream, getUnexpectedType

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Detail

message

private final String message

Constructor Detail

ProofInputException

public ProofInputException(Exception e)

ProofInputException

public ProofInputException(String s)

ProofInputException

public ProofInputException(String message,
                           Throwable cause)

Method Detail

getMessage

public String getMessage()

Overrides:

getMessage in class Throwable