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