Справочное руководство по языку Ада-83


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


В данном стандарте описаны форма представления и семантика программных модулей, написанных на языке Ада. Цель стандарта — повысить переносимость Ада-программ.

1.1.1. СОДЕРЖАНИЕ СТАНДАРТА

Данный стандарт определяет:

а) форму представления программного модуля, написанного на языке Ада;

б) результаты трансляции и выполнения такого программного модуля;

в) способ получения Ада-программ из набора программных модулей;

г) предопределенные программные модули, которые должна обеспечивать согласованная со стандартом реализация (далее в тексте — согласованная реализация);

д) допустимые в рамках стандарта изменения и способы их задания;

е) те нарушения стандарта, которые обязана обнаруживать согласованная реализация, а также результат попытки транслировать или выполнить программный модуль, содержащий такие нарушения;

ж) те нарушения стандарта, которые согласованная реализация не обязана обнаруживать.

Этот стандарт не определяет:

з) средства преобразования программного модуля, написанного на языке Ада, в объектный код, выполняемый процессором;

и) средства запуска трансляции, выполнения программных модулей и управления ими;

к) размер и скорость выполнения объектного кода, а также относительную скорость выполнения различных языковых конструкций;

л) форму и содержание любых листингов, создаваемых реализациями, в частности форму и содержание сообщений об ошибках или предупреждающих сообщений;

м) результат выполнения программного модуля, содержащего любое нарушение стандарта, которое согласованная реализация не обязана обнаруживать;

н) предельный размер программы или программного модуля для конкретной согласованной реализации.

Там, где стандарт предписывает, что программный модуль, написанный на языке Ада, имеет точный результат, этот результат является функциональным значением данного программного модуля, и его должны обеспечить все согласованные реализации. Там, где стандарт допускает неоднозначность результата выполнения программного модуля, под функциональным значением программного модуля в целом понимается множество возможных результатов, и согласованная реализация может обеспечить любой из этих возможных результатов.




Начало  Назад  Вперед



Книжный магазин