Uses of Interface
org.smtlib.IResponse.IError

Packages that use IResponse.IError

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.
org.smtlib.command	This package contains implementations of the SMT-LIB commands, implementing the interfaces defined in ICommand; these implementations are independent of the concrete syntax that might be used, except that each command object has methods that can parse or print representations of the command in the standard (or potentially other) concrete syntaxes.
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.
org.smtlib.solvers	This package implements various instances of org.smtlib.ISolver, which are specific solvers that wrap and interact with various off-the-shelf SMT solvers currently available.

Uses of IResponse.IError in org.smtlib

Fields in org.smtlib declared as IResponse.IError

Modifier and Type	Field	Description
IResponse.IError	Utils.SMTLIBException.errorResponse	The error response describing the problem that caused this exception.

Methods in org.smtlib that return IResponse.IError

Modifier and Type	Method	Description
IResponse.IError	IResponse.IFactory.error(String msg)
IResponse.IError	IResponse.IFactory.error(String msg, IPos pos)
IResponse.IError	IParser.lastError()	Returns the most recent error, or null
IResponse.IError	Log.logError(IResponse.IError r)	Reports the error to any listeners, returning the input.

Methods in org.smtlib with parameters of type IResponse.IError

Modifier and Type	Method	Description
void	Log.IListener.logError(IResponse.IError result)	Called when an IError is being recorded on the normal output - the listener has the opportunity to record error location information as well
IResponse.IError	Log.logError(IResponse.IError r)	Reports the error to any listeners, returning the input.
void	Log.StandardListener.logError(IResponse.IError result)	Writes the offending text line, column location in that line, and the error message to the 'out' stream.
T	IVisitor.TreeVisitor.visit(IResponse.IError e)
T	IVisitor.visit(IResponse.IError e)
ISort	TypeChecker.visit(IResponse.IError e)

Constructors in org.smtlib with parameters of type IResponse.IError

Modifier	Constructor	Description
	SMTLIBException(IResponse.IError err)	Creates an SMTLIBException wrapping the given error response.

Uses of IResponse.IError in org.smtlib.command

Methods in org.smtlib.command that return IResponse.IError

Modifier and Type	Method	Description
IResponse.IError	C_set_option.checkOptionType(SMT.Configuration smtConfig, IExpr.IKeyword keyword, IAttributeValue t)	This method checks that the value for the given keyword has the correct type, when the keyword is used as the key for an SMT-LIB option.

Uses of IResponse.IError in org.smtlib.impl

Classes in org.smtlib.impl that implement IResponse.IError

Modifier and Type	Class	Description
static class	Response.Error	Implements the IResponse.IError interface

Methods in org.smtlib.impl that return IResponse.IError

Modifier and Type	Method	Description
IResponse.IError	Response.Factory.error(String msg)
IResponse.IError	Response.Factory.error(String msg, IPos pos)

Uses of IResponse.IError in org.smtlib.sexpr

Fields in org.smtlib.sexpr declared as IResponse.IError

Modifier and Type	Field	Description
IResponse.IError	Parser.lastError	The most recent error, or null

Methods in org.smtlib.sexpr that return IResponse.IError

Modifier and Type	Method	Description
IResponse.IError	Parser.lastError()

Methods in org.smtlib.sexpr with parameters of type IResponse.IError

Modifier and Type	Method	Description
Void	Printer.visit(IResponse.IError e)

Uses of IResponse.IError in org.smtlib.solvers

Methods in org.smtlib.solvers with parameters of type IResponse.IError

Modifier and Type	Method	Description
String	Solver_simplify.Translator.visit(IResponse.IError e)