Функция вывода сообщений об ошибках ERROR

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

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

ERROR(expr_1. expr_2....)

где ехрr_1,... - ряд выражений (возможно, пустой). Наиболее часто ERROR выводит просто строковое сообщение об ошибке, например ERROR (`strings'). Полное сообщение об ошибке имеет вид:

Error, (in name) string....

Приведем пример процедуры, в которой предусмотрен вывод сообщения об ошибке при задании переменной х < 0:

> f:= ргос (х) if x<0 then error "invalid variable x: XI". x else x*(l/2) end if end proc; f:= proc (x) if x < 0 then error "invalid variable x: %1" x else sqrt(x) end if end proc

> f(3.): 1.732050808

> f(-3.);

Error, (in f) invalid variable x: -3.

> lasterror;

"invalid variable x: %1" -3.

> lastexception;

f, "invalid variable x: %1", -3.

Эта процедура вычисляет квадратный корень из числа х. При х < 0 выводится заданное сообщение об ошибке. Еще раз обращаем внимание читателя на учебный характер данного примера,.поскольку вычисление квадратного корня (в том числе из комплексных и отрицательных действительных чисел) реализовано встроенной функцией sqrt.

Ключи в процедурах

В объявление процедуры можно включить ключевые слова, вводимые словом

options opseq

Иногда их называют расширяющими ключами. Предусмотрены следующие ключи:

· arrow — определят процедуру -оператор в нотации ->;

· bulltin — определяет функцию как встроенную;

· call_external — задает обращение к внешним программным модулям;

· copyright — защищает процедуру от копирования;

· inline — определяет процедуру как подчиненную (возможно, не для всех процедур - см. справку);

· load=memberName — загружает нужный для определений процедуры модуль (см. также опцию unload и детали в справке);

· operator — объявляет процедуру — функциональный оператор;

· system — определяет процедуру как системную,

· remember — определяет таблицу памяти для процедуры;

· trace — задает трассировку процедуры;

· unl oacNnemberName — выгружает нужный для определения процедуры модуль (см. опцию load).

Поиск по сайту: