7.5. ИСКЛЮЧИТЕЛЬНЫЕ СИТУАЦИИ

Исключительной ситуацией называется аварийное состояние вычислительного процесса, зарегистрированное во время исполнения программы. Обработкой исключительной ситуации называются действия, осуществляемые программой в случае возникновения исключительной ситуации.

Любые исключительные ситуации, возникающие в ходе доказательства, считаются локальными по отношению к самому внутреннему из вложенных акторов, в котором эта ситуация возникла. Доказательство такого актора останавливается и объявляется неудачным, все его результаты отменяются таким образом, как это происходит при откате программы.

После прекращения доказательства актора P, в том же самом мире, где был исполнен соответствующий акторный вызов, автоматически вызывается  предикат

alarm(Exception),

аргументом которого является "обозначение" обрабатываемой исключительной ситуации - неотрицательное целое число или символ. Если доказательство предиката alarm заканчивается успехом, обработка исключительной ситуации завершается, после чего происходит откат из точки вызова доказательства актора P. Если доказательство заканчивается неудачей, происходит вызов исключительной ситуации с тем же обозначением на следующем уровне вложенности акторов. Если в ходе доказательства предиката alarm возникает новая исключительная ситуация, ее обработка также осуществляется на следующем уровне вложенности акторов.

Если в результате возникновения исключительной ситуации прекращается доказательство некоторого актора процесса G, не являющегося вложенным по отношению к какому-либо другому актору этого процесса, управление передается встроенному обработчику ошибок.

Действия встроенного обработчика ошибок должны быть определены в конкретной реализации языка. При этом, однако, встроенному обработчику ошибок не разрешается самостоятельно приостанавливать или прекращать исполнение каких-либо процессов программы.

 Исключительная ситуация может быть вызвана из программы с помощью встроенного управляющего оператора

break(Exception),

где Exception - обозначение исключительной ситуации. Если значение аргумента оператора не является обозначением исключительной ситуации, или если в качестве аргумента использована несвязанная переменная, исполнение оператора завершается неудачей. Допускается использование оператора break без аргумента, в этом случае обозначением исключительной ситуации считается константа 0 (ноль).

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

Пример. Вызов исключительной ситуации.

class 'Example' specializing 'TextPage':
[
goal:-
     break('name_of_exception').
alarm(Code):-
     write("Exception: ",Code).
]
В результате доказательства предиката goal будет напечатано:

Exception: name_of_exception

Ссылки: актор 7.1, акторный вызов 6.2, вложенные акторы 7.1, встроенный оператор 8, встроенный предикат 8, доказательство актора 6.3.1, значение терма 3, исполнение предиката 6.3.1, исполнение программы 4, исполнение процесса 5.2, константа 3.1, мир 5.1, несвязанная переменная 3.1, откат 6.3.4, программа 4, процесс 5.2, символ 2.1.2, число 3.1, class 2.1.2, goal 5.4.1, specializing 2.1.2.


Следующий: 8. ВСТРОЕННЫЕ ПРЕДИКАТЫ И ОПЕРАТОРЫ
Предыдущий: 7.4.3. ПОТОКОВЫЕ СООБЩЕНИЯ


7. АКТОРЫ И ПОВТОРНЫЕ ДОКАЗАТЕЛЬСТВА
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)