Hi Teamers,


I'm posting the following problem for a friend of mine:


> I have the following problem, when trying to implement a function "and".
>
>  package Some_Package is
>    type Private_Type is private;
>    function "And" (Left, Right: Private_Type) return Private_Type ;
>  private
>    type Private_Type is array (0 .. 1023) of Boolean;
>  end Some_Package;
>
>
> -- I want to implement Some_Package."And" using the predefined logical
> -- operation "And" for any one-dimensional array type whose components
> -- are of a boolean type.
>  package body Some_Package is
>    function "And" (Left, Right: Private_Type) return Private_Type   is
>    begin
>      return Left and Right;  -- ERROR: AND is here Some_Package."AND",
>                              -- endless recursive
>    end "and";
>  end Some_Package;
>
> To fix the error in the implementation above, I need to qualify the
> predefined
> "And" operation:
>
>
>  package body Some_Package is
>    function "And" (Left, Right: Private_Type) return Private_Type is
>    begin
>      return Standard."And" (Left, Right);  -- ERROR: not possible
>    end "and";
>  end Some_Package;
>
> How is it possible to qualify the predefined logical operations to
> distinguish between Some_Package."and" and the predefined "and"?
>
> Thanks in advance,
>
>
> Juergen Hoyng,  RIO 62             |   email : [log in to unmask]
> DASA/RI                            |   fax   : +49 421 539 4529
> Postfach 286156                    |   voice : +49 421 539 5348
> D-28361 Bremen                     |
> Germany




--
Alexander Heim                       ___       Phone:  +49 421 539-5869
Daimler-Benz Aerospace AG     ________|________  Fax:  +49 421 539-4424
mailto:[log in to unmask]      0