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


Описания переименования - часть 3


Примеры:

declare

L : PERSON renames LEFTMOST_PERSON; -- см. 3.8.1 begin

L.AGE := L.AGE + 1; end;

FULL : exception renames TABLE_MANAGER.TABLE_FULL; -- CM. 7.5

package TM renames TABLE.MANAGER;

function REAL_PLUS(LEFT, RIGHT : REAL ) return REAL renames "+"; function INT_PLUS (LEFT, RIGHT : INTEGER) return INTEGER renames "+";

function ROUGE return COLOR renames RED; —- CM. 3.5.1 function ROT return COLOR renames RED; function ROSSO return COLOR renames ROUGE:

function NEXT(X : COLOR) return COLOR renames COLOR'SUCC; - CM. 3.5.5

Примеры описания переименования с новыми именами параметров:

function "*" (X.Y : VECTOR) return REAL renames DOT_PRODUCT; —- CM. 6.1

Пример описания переименования с новым выражением по умолчанию:

function

MINIMUMtL : LINK := HEAD)

return

CELL

renames

MIN-.CELL; — CM. 6.1

Примечание.

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

универсального-фиксированного

типа.

Вызовы переименованного входа с новым именем являются операторами вызова процедуры и недопустимы в местах, где синтаксис требует оператора вызова входа в условном и временном вызовах входа; аналогично атрибут COUNT нельзя применить к новому имени.

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




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



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