Кмк, не противоречит, поскольку

> -- Документация писал(а):
> Register makes an anonymous file permanently available.

Register - это регистрация файла в файловой системе с именем. Это не про сохранение открытого в режиме exclusive и модифицированного файла
Если какие-то изменения в файле "висят" в буферах, то надо f.Close, и все буферы окажутся на диске. А если над "отрубить" конец файла, то F.Flush, емнип.


Новичкам чрезвычайно важно первым делом разъяснить, что в Обероне/ББ понятие файла и понятие имени файла отделены. Это фундаментальная разница, без этого им будет непонятно, что за логика в интерфейсе Files.

Файлы могут быть анонимными. Программа может создать файл, попользоваться им, а потом передумать - не регистрировать его. А может - захотеть и зарегистрировать - т.е. занести в каталог файлов с определенным именем. До момента регистрации у файла нет имени - он анонимный. Соответственно доступ к нему эксклюзивный: только у тех (частей программы), которым передается собсно объект Files.File.

Как только файл зарегистрирован, к нему можно получать доступ по имени через Files.dir.Old.