Здравствуйте, WolfHound, Вы писали:

А что будет если newSize == bestSize >= 0 ?

 while (true)
      {
        def newSize = newTokens.NextTokenSize();
        def bestSize = bestTokens.NextTokenSize();
        when (newSize > bestSize) goto new_better;
        when (newSize < bestSize) goto best_better;
        when (newSize < 0)        goto equal;
      }

Здравствуйте, WolfHound, Вы писали:

А что будет если newSize == bestSize >= 0 для всех следующих токенов ?

 while (true)
      {
        def newSize = newTokens.NextTokenSize();
        def bestSize = bestTokens.NextTokenSize();
        when (newSize > bestSize) goto new_better;
        when (newSize < bestSize) goto best_better;
        when (newSize < 0)        goto equal;
      }