Справочник по Ada 2012
A.14 Общий доступ к файлам
Динамическая семантика
Язык не определяет, может ли один внешний файл быть связан с несколькими объектами файла. Если такая совместная работа поддерживается реализацией, определяются следующие эффекты:
- Операции с одним текстовым объектом файла не влияют на номера столбца, строки и страницы любого другого объекта файла.
- Этот абзац был удален.
- Для прямых и потоковых файлов текущий индекс является свойством каждого объекта файла; операция с одним объектом файла не влияет на текущий индекс любого другого объекта файла.
- Для прямых и потоковых файлов текущий размер файла является свойством внешнего файла.
Все остальные эффекты идентичны.