Spec-Zone.ru › Ada 2005
Справочник Ada 2005

1.1.1 Область действия

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


Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API