Package org.smtlib

Class IVisitor.VisitorException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.smtlib.IVisitor.VisitorException

All Implemented Interfaces:

Serializable, IPos.IPosable

Enclosing interface:

IVisitor<T>

public static class IVisitor.VisitorException
extends Exception
implements IPos.IPosable

An Exception class to use if there is a problem during execution of an IVisitor (e.g. in printing or translating formulae).

Author:

David R. Cok

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
IPos	pos	Position information about the textual location of the error

Constructor Summary

Constructors

Constructor	Description
VisitorException(String msg, IPos pos)	Constructor for an exception
VisitorException(Throwable e)	Constructor taking an exception
VisitorException(Throwable e, IPos pos)	Constructor taking an exception

Method Summary

Modifier and Type	Method	Description
IPos	pos()	Textual position of this object
void	setPos(IPos pos)	Setting the textual 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

public IPos pos

Position information about the textual location of the error

Constructor Details

VisitorException

public VisitorException(String msg,
 IPos pos)

Constructor for an exception

VisitorException

public VisitorException(Throwable e)

Constructor taking an exception

VisitorException

public VisitorException(Throwable e,
 IPos pos)

Constructor taking an exception

Method Details

pos

public IPos pos()

Description copied from interface: IPos.IPosable

Textual position of this object

Specified by:

pos in interface IPos.IPosable

setPos

public void setPos(IPos pos)

Description copied from interface: IPos.IPosable

Setting the textual position

Specified by:

setPos in interface IPos.IPosable