public class PositionConverter extends java.lang.Object implements IPositionConverter<IExpr>
Constructor and Description |
---|
PositionConverter() |
Modifier and Type | Method and Description |
---|---|
int |
toInt(IExpr position)
Convert the object into an integer number >= 0
|
IExpr |
toObject(int i)
Convert the integer position number >= 0 into an object
|
public IExpr toObject(int i)
IPositionConverter
toObject
in interface IPositionConverter<IExpr>
public int toInt(IExpr position)
IPositionConverter
toInt
in interface IPositionConverter<IExpr>
position
- the object which should be converted