Package org.smtlib.impl

Class Pos.Posable

java.lang.Object

org.smtlib.impl.Pos.Posable

All Implemented Interfaces:

IPos.IPosable

Direct Known Subclasses:

Pos.Printable

Enclosing class:

Pos

public static class Pos.Posable
extends Object
implements IPos.IPosable

An implementation of IPosable, holding an instance of Pos, that can be used as a base class if necessary

Field Summary

Fields

Modifier and Type	Field	Description
protected IPos	pos

Constructor Summary

Constructors

Constructor	Description
Posable()

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()
IPos	pos()	Textual position of this object
void	setPos(IPos pos)	Setting the textual position

Methods inherited from class java.lang.Object

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

Field Details

pos

protected IPos pos

Constructor Details

Posable

public Posable()

Method Details

pos

public IPos pos()

Description copied from interface: IPos.IPosable

Textual position of this object

Specified by:

pos in interface IPos.IPosable

setPos

public void setPos(IPos pos)

Description copied from interface: IPos.IPosable

Setting the textual position

Specified by:

setPos in interface IPos.IPosable

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object