Верно. Мы рассмотрим исключения подробнее несколько позже, однако суть состоит в том, что в языке Ada выявление ошибок обычно происходит в момент их возникновения. В частности, вызываемое этой программой исключение имеет имя "Constraint_Error".

Кроме того, примечание для тех, кто использует компилятор GNAT - на данный момент GNAT определяет эту ошибку (целочисленное переполнение) во время исполнения только если при компиляции указана опция "-gnato". Вероятно в будущем эта опция GNAT станет опцией, установленной по умолчанию. Для более подробной информации см. документацию к GNAT.

Вы можете перейти к следующему разделу.

Вы можете также:

PREVIOUS Вернуться к вопросу

OUTLINE  Вернуться к содержанию Урока 1

David A. Wheeler (dwheeler@ida.org)

Перевод: Юрий Королев   Общая редакция перевода: Г.Ю. Сисюк

Исходная копия этого документа находится по адресу "http://www.adahome.com/Tutorials/Lovelace/s1sfr2.htm".

Исходная копия перевода размещена на сайте http://www.ada-ru.org