Package org.smtlib

Class SMT.InternalException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.smtlib.SMT.InternalException

All Implemented Interfaces:

Serializable

Enclosing class:

SMT

public static class SMT.InternalException
extends RuntimeException

This class is used to turn internal bugs that we do not want to try to recover into exceptions that can be reported

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
InternalException(String msg)

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 Details

InternalException

public InternalException(String msg)