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