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=1.9 required=5.0 tests=BAYES_50,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!uunet!husc6!mailrus!uwmcsd1!ig!agate!ucbvax!meridian.COM!sboyd
From: sboyd@meridian.COM
Newsgroups: comp.lang.ada
Subject: Re: converted types as actual in out parameters
Message-ID: <8809162348.AA00188@meridian.com>
Date: 16 Sep 88 23:48:58 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>


 
Regarding your procedure --

procedure TEST is

       a : short_integer;

       procedure set_value( value : in out integer ) is
       begin
          value := 1;
       end set_value;

   begin
       set_value( integer(a) );

       if a = 1
       then
           put_line("This is a Vax-Ada compiler!");
       else
           put_line("Is this a Verdix Ada compiler?");
       end if;
   end TEST;

-- 
Meridian's v2.2 AdaVantage also considers "a = 1" as a true predicate.

Stowe Boyd                               Meridian Software Systems
Director of Research and Development     23141 Verdugo Drive #105
sboyd%Meridian.COM@ICS.UCI.EDU           Laguna Hills CA 92653
                                         714/380-9800