Package org.smtlib.impl

Class Pos.AbstractExpr

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.Pos.AbstractExpr

All Implemented Interfaces:

IAttributeValue, IExpr, INode, IPos.IPosable, IResponse

Direct Known Subclasses:

SMTExpr.AsIdentifier, SMTExpr.AttributedExpr, SMTExpr.Error, SMTExpr.Exists, SMTExpr.FcnExpr, SMTExpr.Forall, SMTExpr.Lambda, SMTExpr.Let, SMTExpr.Literal, SMTExpr.Match, SMTExpr.ParameterizedIdentifier, SMTExpr.Symbol

Enclosing class:

Pos

public abstract static class Pos.AbstractExpr
extends Pos.Printable
implements IExpr

A Printable that also implements IExpr, additionally holding the sort computed for the expression by the type checker (null if not yet, or never, computed).

Nested Class Summary

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

IExpr.IAsIdentifier, IExpr.IAttribute<TT extends IAttributeValue>, IExpr.IAttributedExpr, IExpr.IBinaryLiteral, IExpr.IBinding, IExpr.IConstructor, IExpr.IDecimal, IExpr.IDeclaration, IExpr.IError, IExpr.IExists, IExpr.IFactory, IExpr.IFcnExpr, IExpr.IForall, IExpr.IFunctionDeclaration, IExpr.IHexLiteral, IExpr.IIdentifier, IExpr.IIndex, IExpr.IKeyword, IExpr.ILambda, IExpr.ILet, IExpr.ILiteral, IExpr.IMatch, IExpr.IMatchCase, IExpr.INumeral, IExpr.IParameterizedIdentifier, IExpr.IPattern, IExpr.IPatternTerms, IExpr.IQualifiedIdentifier, IExpr.ISelector, IExpr.ISortDeclaration, IExpr.IStringLiteral, IExpr.ISymbol

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

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

Field Summary

Fields

Modifier and Type	Field	Description
protected ISort	sort

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

pos

Constructor Summary

Constructors

Constructor	Description
AbstractExpr()

Method Summary

Modifier and Type	Method	Description
void	setSort(ISort sort)	Records the sort computed for this expression by the type checker.
ISort	sort()	The sort computed for this expression by the type checker, or null if not yet (or never) computed.

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.IAttributeValue

isOK

Methods inherited from interface org.smtlib.IExpr

isError

Methods inherited from interface org.smtlib.INode

accept

Methods inherited from interface org.smtlib.IPos.IPosable

pos, setPos

Field Details

sort

protected ISort sort

Constructor Details

AbstractExpr

public AbstractExpr()

Method Details

sort

public ISort sort()

Description copied from interface: IExpr

The sort computed for this expression by the type checker, or null if not yet (or never) computed.

Specified by:

sort in interface IExpr

setSort

public void setSort(ISort sort)

Description copied from interface: IExpr

Records the sort computed for this expression by the type checker.

Specified by:

setSort in interface IExpr