CVC5ParserException

java.lang.Object

java.lang.Throwable

java.lang.Exception

io.github.cvc5.CVC5ParserException

All Implemented Interfaces:: Serializable

public class CVC5ParserException extends Exception

A parser-related API exception.

See Also:

Constructor Summary

Constructors

Constructor

Description

CVC5ParserException(String message)

Construct with message from a string.
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
- CVC5ParserException
  
  public CVC5ParserException(String message)
  
  Construct with message from a string.
  
  Parameters:
  
  message - The error message.