Справочник по Ada 2012
1.1.1 Охватываемый материал
Этот международный стандарт определяет:
- Форму программы, написанной на языке Ada;
- Эффект трансляции и выполнения такой программы;
- Способ, которым единицы программ могут быть объединены для формирования программ на Ada;
- Библиотечные единицы языка, которые должны быть предоставлены соответствующей реализацией;
- Допустимые вариации в стандарте и способ их документирования;
- Нарушения стандарта, которые соответствующая реализация должна обнаруживать, и эффект попытки трансляции или выполнения программы, содержащей такие нарушения;
- Нарушения стандарта, которые соответствующая реализация не обязана обнаруживать.
Этот международный стандарт не определяет:
- Способы преобразования программы, написанной на Ada, в объектный код, выполняемый процессором;
- Способы вызова трансляции или выполнения программ и управления выполняющими единицами;
- Размер или скорость объектного кода, или относительную скорость выполнения различных конструкций языка;
- Форму или содержимое любых списков, создаваемых реализациями; в частности, форму или содержимое сообщений об ошибках или предупреждениях;
- Эффект неопределенного выполнения.
- Размер программы или единицы программы, который превысит возможности конкретной соответствующей реализации.
