Справочник по Аде (Ada 2022)
H.2 Документация решений по реализации
Требования к документации
Реализация должна документировать диапазон последствий для каждой ситуации, которую правила языка определяют как ограниченную ошибку или как имеющую неопределённый эффект. Если реализация может ограничить последствия ошибочного выполнения для данного конструкта, она должна документировать такие ограничения. Документация может быть предоставлена независимо от любого модуля или раздела или как часть аннотированного списка для данного модуля или раздела. См. также 1.1.3 и 1.1.2.
ПРИМЕЧАНИЕ Среди ситуаций, которые необходимо документировать, — соглашения, выбранные для передачи параметров, методы, используемые для управления хранилищем во время выполнения, и метод, используемый для оценки числовых выражений, если это связано с расширенным диапазоном или дополнительной точностью.
