Ада-95. Компилятор GNAT


         

то возможно возникновение коллизии имен


with Odd_Demo; use Odd_Demo;

procedure Odder_Demo is

My_Name : A_String; Radius : Float; Success : Boolean;

begin

Radius := 3.0 * Pi; Insert(4, Success); if Is_Present(34) then ... . . . end Odder_Demo;

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

В этом случае можно избавиться от двусмысленности путем возвращения к использованию полной точечной нотации для соответствующих ресурсов.

------------------------------- package No1 is

A, B, C : Integer; end No1;

------------------------------- package No2 is

C, D, E : Integer; end No2;

------------------------------- with No1; use No1; with No2; use No2;

procedure Clash_Demo is

begin

A := 1; B := 2;

C := 3; -- двусмысленность, мы ссылаемся -- на No1.c или на No2.c?

No1.C := 3; -- избавление от двусмысленности путем возврата No2.C := 3; -- к полной точечной нотации end Clash_Demo;

Может возникнуть другая проблема - когда локально определенный ресурс "затеняет" ресурс пакета указанного в инструкции use.

В этом случае также можно избавиться от двусмысленности путем использования полной точечной нотации.

package No1 is

A : Integer; end No1;

with No1; use No1; procedure P is

A : Integer; begin

A := 4; -- это - двусмысленно P.A := 4; -- удаление двусмысленности путем указания -- имени процедуры в точечной нотации No1.A := 5; -- точечная нотация для пакета end P;


Содержание  Назад  Вперед