Utils.SMTLIBException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.smtlib.Utils.SMTLIBException

All Implemented Interfaces:: Serializable

Enclosing class:: Utils

public static class Utils.SMTLIBException extends Exception

A checked exception used internally to propagate SMT-LIB errors that carry an IResponse.IError.

See Also:

Field Summary

Fields

Modifier and Type

Field

Description

IResponse.IError

errorResponse

The error response describing the problem that caused this exception.
Constructor Summary

Constructors

Constructor

Description

SMTLIBException(IResponse.IError err)

Creates an SMTLIBException wrapping the given error response.
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

Field Details
- errorResponse
  
  public IResponse.IError errorResponse
  
  The error response describing the problem that caused this exception.
Constructor Details
- SMTLIBException
  
  public SMTLIBException(IResponse.IError err)
  
  Creates an SMTLIBException wrapping the given error response.