Тела пакетов
В отличие от понятий, описанных в видимом разделе спецификации пакета, понятия, описанные в теле пакета, видимы только внутри самого тела пакета. Поэтому пакет с телом пакета может быть использован для создания группы взаимосвязанных подпрограмм (
пакет
прикладных программ в обычном смысле), в которой доступные пользователям операции явно изолированы от внутренних понятий.
При предвыполнении тела пакета сначала предвыполняется его раздел описаний, а затем выполняется его последовательность операторов (если она имеется). Необязательно присутствующие в конце тела пакета обработчики исключений обслуживают исключения, возбуждаемые при выполнении последовательности операторов тела пакета.
Примечание.
Переменная, описанная в теле пакета, видима только внутри этого тела, и, следовательно, ее значение может быть изменено только внутри этого тела пакета. В отсутствие локальных задач значение такой переменной сохраняется неизменным между вызовами извне пакета подпрограмм, описанных в его видимом разделе. Свойства такой переменной аналогичны свойствам «собственной» переменной в языке Алгол-60.
Предвыполнение тела подпрограммы, описанной в видимом разделе пакета, осуществляется при предвыполнении тела пакета. Следовательно, при вызове такой подпрограммы извне программного модуля возбуждается исключение PROGRAM-ERROR, если вызов производится до предвыполнения тела пакета (см. 3.9).
Пример пакета:
package RATIONAL-NUMBERS is
type RATIONAL is record
NUMERATOR : INTEGER; DENOMINATOR : POSITIVE; end record;
function EQUAL (X,Y RATIONAL) return BOOLEAN;
function "/" (X,Y INTEGER) return RATIONAL; —- для образования рационального числа
function "+" (X,Y RATIONAL) return RATIONAL; function "-" (X,Y RATIONAL) return RATIONAL; function "*" (X,Y RATIONAL) return RATIONAL; function "/" (X,Y RATIONAL) return RATIONAL;
end;
package body RATIONAL-NUMBERS is
procedure SAME-DENOMINATOR (X,Y : in out RATIONAL) is begin
-- приведение Х и Y к общему знаменателю; end;
function EQUAL(X,Y : RATIONAL) return BOOLEAN is
U,V : RATIONAL; begin
U := X; V := Y; SAME-DENOMINATOR (U,V); return ENUMERATOR = V.NUMERATOR; end EQUAL;
function "/" (X,Y : INTEGER) return RATIONAL is begin
if Y > 0 then
return (NUMERATOR => X, DENOMINATOR => Y); else
return (NUMERATOR => -X, DENOMINATOR => -Y); end if;
end"/";
function "+" (X,Y RATIONAL) return RATIONAL is ... end "+"; function "-" (X,Y RATIONAL) return RATIONAL is ... end "-"; function "*" (X,Y RATIONAL) return RATIONAL is ... end "*"; function "/" (X,Y RATIONAL) return RATIONAL is ... end "/";
end RATIONAL_NUMBERS;
Ссылки:
видимый раздел 7.2, имя 4.1, исключение 11, исключение PROGRAM-ERROR 11.1, ДЮЗ обработчик исключения 11.1, описание 3.1, переменная 3.2.1, подпрограмма б, последовательность операторов 5.1, Предвыполнение 3.1, 3.9, . программный модуль 6, раздел описаний 3.9, спецификация пакета 7.1.
| Пред. | Уровень выше | След. |
|
7.2. СПЕЦИФИКАЦИИ И ОПИСАНИЯ ПАКЕТОВ |
Содержание | 7.4. ОПИСАНИЯ ЛИЧНЫХ ТИПОВ И СУБКОНСТАНТ |