Циклический инвариант для повторных вызовов readLine()

Question

У меня есть цикл while (показано ниже), который непрерывно читает файл, пока не будет достигнута EOF. Я должен написать инвариант цикла для любого нетривиального цикла. Это тривиальная петля? Если нет, то какой будет цикл для этого цикла? Раньше я никогда не писал инвариантов.

while (line != null) { 
    System.out.println(line); 
    line = reader.readLine(); 
} 

Answer 1

Вы можете использовать FileReader:

while ((line = fileReader.hasNextLine()) != null) { 
    String line = fileReader.nextLine(); 
    System.out.println(line); 
} 

= D