From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a0c:e185:0:b0:474:7ab8:1eaf with SMTP id p5-20020a0ce185000000b004747ab81eafmr13142796qvl.76.1660559515642;
        Mon, 15 Aug 2022 03:31:55 -0700 (PDT)
X-Received: by 2002:a05:6902:1028:b0:686:c4c2:2315 with SMTP id
 x8-20020a056902102800b00686c4c22315mr5469051ybt.509.1660559515385; Mon, 15
 Aug 2022 03:31:55 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 15 Aug 2022 03:31:55 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=187.106.43.228; posting-account=wgmHdgoAAAA-F7JItPEZjeXqFc0KdzEQ
NNTP-Posting-Host: 187.106.43.228
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e1f43654-dba6-46d7-bcd9-4aa79ed82f74n@googlegroups.com>
Subject: About procedures and functions in Ada Pure packages. Thanks!
From: Daniel Norte Moraes <danielcheagle@gmail.com>
Injection-Date: Mon, 15 Aug 2022 10:31:55 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1868
Xref: reader01.eternal-september.org comp.lang.ada:64198
List-Id: <comp.lang.ada>

Hi! and Very Very Very Thanks!

I building and change some packages and I have some doubts
  about procedures and functions in Ada Pure packages.
I'm asking mainly the Ada Language Lawers. the Ada version is Ada2012.

 fact 1: Ada allow the compiler substitute a function with
  the result of this function.

?This is valid to functions with 'in out' or 'out' parameters ?
?This is valid to functions with 'not null access' parameters ?
?This is valid to procedures with 'in out' or 'out' parameters ?
?This is valid to procedures with 'not null access' parameters ?

?If they are replaced (on the second call onwards) by the result,
  will the 'in' 'in out' and 'not null access' parameters be updated
  if they are  changed within the function or procedure?

Very Very Very Thanks in Advance!
Best Wishes,
GrateFull,
Dani.