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)
IPositionConvertertoObject in interface IPositionConverter<IExpr>public int toInt(IExpr position)
IPositionConvertertoInt in interface IPositionConverter<IExpr>position - the object which should be converted