Eclipse vs Idea, NullPointerException Options

[Pegasus]

маємо код:

CODE

1. String str;
2. while (null != ((str = input.readLine()))) {
3. appendFile(str);
4. }
5. str.trim();

в рядку 5 Екліпс ОДНОЗНАЧНО каже що завжди буде нулпойнтер, а Ідея тільки припускає, що може бути. В цій ситуації Екліпс показав себе однозначно розумнішою ІДЕ.

[professor]

Cпочатку треба розібратись які є категорії в коде аналізисі екліпса і ідеї, наприклад: може бути нулл референс і буде нулл референс. якщо і там і там є і та і та - тоді екліпс кручє

Згоден, в принципі тут є гарантований run-time error, і коде-аналізіс мав би його цапнути.
Інше питання, чи в утиліти є відповідна категорія для представлення подібних помилок. Решарпер наприклад каже отак:


Думаю, ідея скаже так само. Так що просто не варто ігнорити ворнінги.