Package org.smtlib.sexpr

Class Sexpr.Token<T>

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.sexpr.Sexpr

org.smtlib.sexpr.Sexpr.Token<T>

All Implemented Interfaces:

IAttributeValue, INode, IPos.IPosable, IResponse, ISexpr, ISexpr.IToken<T>

Enclosing class:

Sexpr

public static class Sexpr.Token<T>
extends Sexpr
implements ISexpr.IToken<T>

Represents a single S-expression token with intrinsic type T

Nested Class Summary

Nested classes/interfaces inherited from class org.smtlib.sexpr.Sexpr

Sexpr.Seq, Sexpr.Token<T>

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

Nested classes/interfaces inherited from interface org.smtlib.sexpr.ISexpr

ISexpr.ISeq, ISexpr.IToken<T>

Field Summary

Fields

Modifier and Type	Field	Description
protected T	value

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

pos

Constructor Summary

Constructors

Constructor	Description
Token(T value)

Method Summary

Modifier and Type	Method	Description
<TT> TT	accept(IVisitor<TT> v)	The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
boolean	isError()	Returns true if the response is an error response
boolean	isOK()	Returns true if the response is a SUCCESS response
String	kind()	A word characterizing the subclass
T	value()

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

value

protected T value

Constructor Details

Token

public Token(T value)

Method Details

value

public T value()

Specified by:

value in interface ISexpr.IToken<T>

kind

public String kind()

Description copied from interface: ISexpr

A word characterizing the subclass

Specified by:

kind in interface ISexpr

isOK

public boolean isOK()

Description copied from interface: IResponse

Returns true if the response is a SUCCESS response

Specified by:

isOK in interface IAttributeValue

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 IAttributeValue

Specified by:

isError in interface IResponse

accept

public <TT> TT accept(IVisitor<TT> 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:

TT - the return type desired from the visit methods

Parameters:

v - the visitor class

Returns:

the value returned by the visit method

Throws:

IVisitor.VisitorException