Package org.smtlib.impl

Class SMTExpr.Attribute<TT extends IAttributeValue>

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.SMTExpr.Attribute<TT>

All Implemented Interfaces:

IExpr.IAttribute<TT>, INode, IPos.IPosable, IResponse

Enclosing class:

SMTExpr

public static class SMTExpr.Attribute<TT extends IAttributeValue>
extends Pos.Printable
implements IExpr.IAttribute<TT>

Represents an SMT-LIB attribute: a keyword optionally paired with a value.

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

Modifier and Type	Field	Description
protected IExpr.IKeyword	keyword
protected TT	value

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

pos

Constructor Summary

Constructors

Constructor	Description
Attribute(IExpr.IKeyword keyword, TT value)	Creates an attribute from the given keyword and (possibly null) value.

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); }
TT	attrValue()
boolean	isError()	Returns true if the response is an error response
boolean	isOK()	Returns true if the response is a SUCCESS response
IExpr.IKeyword	keyword()

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

pos, setPos

Field Details

keyword

protected IExpr.IKeyword keyword

value

protected TT extends IAttributeValue value

Constructor Details

Attribute

public Attribute(IExpr.IKeyword keyword,
 TT value)

Creates an attribute from the given keyword and (possibly null) value.

Method Details

keyword

public IExpr.IKeyword keyword()

Specified by:

keyword in interface IExpr.IAttribute<TT extends IAttributeValue>

attrValue

public TT attrValue()

Specified by:

attrValue in interface IExpr.IAttribute<TT extends IAttributeValue>

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

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