Package org.smtlib

Interface IResponse.IError

All Superinterfaces:

INode, IPos.IPosable, IResponse

All Known Implementing Classes:

Response.Error

Enclosing interface:

IResponse

public static interface IResponse.IError
extends IResponse, IPos.IPosable

The interface for error responses

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

Method Summary

Modifier and Type	Method	Description
String	errorMsg()	Returns the error message held by this response
IPos	pos()	Returns the textual location for the response, if available and applicable, otherwise null.

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

setPos

Methods inherited from interface org.smtlib.IResponse

isError, isOK

Method Details

errorMsg

String errorMsg()

Returns the error message held by this response

pos

IPos pos()

Returns the textual location for the response, if available and applicable, otherwise null.

Specified by:

pos in interface IPos.IPosable