IParser.AbortInputException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.smtlib.IParser.AbortInputException

All Implemented Interfaces:: Serializable

Enclosing interface:: IParser

public static class IParser.AbortInputException extends RuntimeException

An exception to be thrown if parsing is to be intentionally aborted (and restarted, ignoring any tokens since the last successful call to the parser.

See Also:

Constructor Summary

Constructors

Constructor

Description

AbortInputException()

Signals that interactive input was intentionally aborted by the user.
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
- AbortInputException
  
  public AbortInputException()
  
  Signals that interactive input was intentionally aborted by the user.