lojix/logic/src/main/com/thesett/aima/logic/fol/compiler/PositionalTermTraverserImpl.java
public int getPosition()
    {
        PositionalTermTraverserImpl.PositionalContextOperator position = contextStack.peek();

        return (position != null) ? position.getPosition() : -1;
    }
public int getPosition()
    {
        PositionalTermTraverserImpl.PositionalContextOperator position = contextStack.peek();

        return (position != null) ? position.getPosition() : -1;
    }
{@inheritDoc}