unconstrainded array question

[therionics@computer.org (Technobabble)]

Greetings,

anyone know if it is legal or not in Ada95 to use a RANGE attribute on
an unconstrained array, as in the example:


package My_Package is

  procedure XYZ (This : in Object);

  type UC_Array is array (integer <>) of integer;
  xyz : AC_Array (1..100);


end My_Package;

then in the body ....
procedure XYZ (This : Object) is
begin

     for I in This.xyz'RANGE
         loop 
          ......
end XYZ;


Thanks,
Richmond