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