de.uni_freiburg.informatik.ultimate.logic

Class SMTLIBException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

de.uni_freiburg.informatik.ultimate.logic.SMTLIBException

All Implemented Interfaces:

java.io.Serializable

public class SMTLIBException
extends java.lang.RuntimeException

This is the exception thrown by the script interface when an error occurs. This corresponds to the SMTLIB 2 result

(error "msg")

For the result unsupported, the standard java exception UnsupportedOperationException is used. This class extends RuntimeException since it should never be thrown if the script interface is used correctly. It therefore corresponds to other runtime exceptions like IllegalArgumentException.

Author:

hoenicke

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SMTLIBException(java.lang.String message)
SMTLIBException(java.lang.String message, java.lang.Throwable cause)
SMTLIBException(java.lang.Throwable cause)

Method Summary

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

Constructor Detail

SMTLIBException

public SMTLIBException(java.lang.String message)

SMTLIBException

public SMTLIBException(java.lang.Throwable cause)

SMTLIBException

public SMTLIBException(java.lang.String message,
                       java.lang.Throwable cause)