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