Package org.smtlib

Class IParser.ParserException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.smtlib.IParser.ParserException

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

IParser.SyntaxException

Enclosing interface:

IParser

public static class IParser.ParserException
extends Exception

An exception thrown if parsing is to be aborted.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
protected IPos	pos	The location of the parsing problem

Constructor Summary

Constructors

Constructor	Description
ParserException(String msg, IPos pos)	Creates a parse exception from the given error message and problem location

Method Summary

Modifier and Type	Method	Description
IPos	pos()	Returns the error position

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

pos

protected IPos pos

The location of the parsing problem

Constructor Details

ParserException

public ParserException(String msg,
 IPos pos)

Creates a parse exception from the given error message and problem location

Method Details

pos

public IPos pos()

Returns the error position