Package org.smtlib.impl

Class Response.Error

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.Response.Error

All Implemented Interfaces:

INode, IPos.IPosable, IResponse, IResponse.IError

Enclosing class:

Response

public static class Response.Error
extends Pos.Printable
implements IResponse.IError

Implements the IResponse.IError interface

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.IResponse

IResponse.IAssertionsResponse, IResponse.IAssignmentResponse, IResponse.IAttributeList, IResponse.IError, IResponse.IFactory, IResponse.IPair<T1,T2>, IResponse.IProofResponse, IResponse.IUnsatAssumptionsResponse, IResponse.IUnsatCoreResponse, IResponse.IValueResponse

Field Summary

Fields inherited from class org.smtlib.impl.Pos.Posable

pos

Constructor Summary

Constructors

Constructor	Description
Error(String errorMsg)
Error(String errorMsg, IPos pos)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(IVisitor<T> v)	The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
String	errorMsg()	Returns the error message held by this response
boolean	isError()	Returns true if the response is an error response
boolean	isOK()	Returns true if the response is a SUCCESS response
<T extends IPos.IPosable> T	setPos(T t, IPos p)	Setting the textual position of the command

Methods inherited from class org.smtlib.impl.Pos.Printable

toString

Methods inherited from class org.smtlib.impl.Pos.Posable

equals, hashCode, pos, setPos

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.smtlib.IPos.IPosable

setPos

Methods inherited from interface org.smtlib.IResponse.IError

pos

Constructor Details

Error

public Error(String errorMsg)

Error

public Error(String errorMsg,
 IPos pos)

Method Details

isOK

public boolean isOK()

Description copied from interface: IResponse

Returns true if the response is a SUCCESS response

Specified by:

isOK in interface IResponse

isError

public boolean isError()

Description copied from interface: IResponse

Returns true if the response is an error response

Specified by:

isError in interface IResponse

errorMsg

public String errorMsg()

Description copied from interface: IResponse.IError

Returns the error message held by this response

Specified by:

errorMsg in interface IResponse.IError

setPos

public <T extends IPos.IPosable> T setPos(T t,
 IPos p)

Setting the textual position of the command

accept

public <T> T accept(IVisitor<T> v)
             throws IVisitor.VisitorException

Description copied from interface: INode

The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }

Specified by:

accept in interface INode

Type Parameters:

T - the return type desired from the visit methods

Parameters:

v - the visitor class

Returns:

the value returned by the visit method

Throws:

IVisitor.VisitorException