de.uka.ilkd.key.java

Class ConvertException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.uka.ilkd.key.java.ConvertException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

PosConvertException

public class ConvertException
extends RuntimeException

This exception class is mainly thrown by Recoder2KeY and its companions. It stores its reason not only by the cause mechanism of Exceptions but also separately if it is a parser error. This information is then read by the KeYParser to produce helpful error messages.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Constructor Summary

Constructors

Constructor and Description
ConvertException(String errmsg)
ConvertException(String errmsg, Throwable cause)
ConvertException(Throwable pe)

Method Summary

Modifier and Type	Method and Description
ParseException	parseException()
ParseException	proofJavaException()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, 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

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

ConvertException

public ConvertException(String errmsg)

ConvertException

public ConvertException(Throwable pe)

ConvertException

public ConvertException(String errmsg,
                        Throwable cause)

Method Detail

parseException

public ParseException parseException()

proofJavaException

public ParseException proofJavaException()