public override bool IncrementToken()
{
while (true)
{
bool gotOne = input.IncrementToken();
if (!gotOne)
{
return false;
}
else if (TermAtt.ToString().Equals("a"))
{
PendingPosInc += PosIncAtt.PositionIncrement;
}
else
{
PosIncAtt.PositionIncrement = PendingPosInc + PosIncAtt.PositionIncrement;
PendingPosInc = 0;
return true;
}
}
}
}