From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.1 required=5.0 tests=BAYES_05,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f9cd205deb0d77f2
X-Google-Attributes: gid103376,public
From: Andreas Kalla <kalla@asrv01.atlas.de>
Subject: Re: How can I qualify the predefined logical operations
Date: 1998/07/17
Message-ID: <35AF1649.15FB@asrv01.atlas.de>#1/1
X-Deja-AN: 372308016
Content-Transfer-Encoding: 7bit
References: <6okcnl$n93$1@nnrp1.dejanews.com>
Content-Type: text/plain; charset=us-ascii
Organization: Atlas Elektronik GmbH
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1998-07-17T00:00:00+00:00
List-Id: <comp.lang.ada>

Hi!

hoyngj@my-dejanews.com wrote:

> 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
> 

What about this solution:

   function "And" (Left, Right: Private_Type) return Private_Type   is

     Ret_Value : Private_Type := ( others => false ) ;

   begin

        for i in Private_Type'range
        loop
            Ret_Value ( i ) := Left ( i ) and Right ( i ) ;
        end loop ;

        return Ret_Value ;

   end ;


Andreas Kalla
-- __  __
  (_ )( _) mailto:kalla@vossnet.de      or
    \\//   mailto:kalla@asrv01.atlas.de
   _//\\_  I'm Online? look at http://wwp.mirabilis.com/10343510
  (__)(__) http://pages.vossnet.de/kalla