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