Package org.smtlib

Class IParser.SyntaxException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.smtlib.IParser.ParserException

org.smtlib.IParser.SyntaxException

All Implemented Interfaces:

Serializable

Enclosing interface:

IParser

public static class IParser.SyntaxException
extends IParser.ParserException

An exception to be thrown if there is an unrecoverable problem scanning the syntax

See Also:

• Serialized Form

Field Summary

Fields inherited from class org.smtlib.IParser.ParserException

pos

Constructor Summary

Constructors

Constructor	Description
SyntaxException(String msg, IPos pos)	Creates an exception from the given error message and problem location

Method Summary

Methods inherited from class org.smtlib.IParser.ParserException

pos

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

SyntaxException

public SyntaxException(String msg,
 IPos pos)

Creates an exception from the given error message and problem location