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_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,46a68619f4362304 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!fu-berlin.de!uni-berlin.de!not-for-mail From: "Nick Roberts" Newsgroups: comp.lang.ada Subject: Re: Specifying parameter passing convention and place (register) Date: Wed, 07 Jul 2004 22:01:01 +0100 Message-ID: References: <$RVvBAOy5BPi@eisner.encompasserve.org> <6qg+KjvqRKch@eisner.encompasserve.org> Mime-Version: 1.0 Content-Type: text/plain; format=flowed; delsp=yes; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.uni-berlin.de oem5Q4y9hrsYqMywQurDUAok4jUpE+jECY4QFY21je0gBcX2o= User-Agent: Opera M2/7.51 (Win32, build 3798) Xref: g2news1.google.com comp.lang.ada:2108 Date: 2004-07-07T22:01:01+01:00 List-Id: On 7 Jul 2004 13:54:01 -0500, Larry Kilgallen wrote: > Well, of course GNAT comes with source, right ? :-) I've looked through the source of the GNAT version that I've got (3.15p), specifically the file 'einfo.ads' which purportedly lists all the attributes, internal and external, that GNAT uses (to decorate the parse tree its sends to GCC or Gigi or whatever it's called). It's a long list, but no joy. > The design of the World Wide Web envisioned that URLs would be > somewhat invisible to readers and clicking links would get you > there. I presume that works if you work your way through the > whole web hierarchy to what you want, Well thank Google almighty for search engines. Trawling the entire WWW by hand these days would be a Sisyphean job indeed. > but if you want the following shortcut it is somewhat weirdly > named: > > http://h71000.www7.hp.com/commercial/ada/documentation.html Well that weird link redirects me to another page, which, believe it or not, is practically the /second/ place I looked! Unfortunately, although this page has links to various bits of Ada documentation, none of that documentation has the information I need. I have looked in the LRM listed there (a PDF file), which lists the implementation-specific pragmas and attributes, but there are neither any pragmas nor any attributes relating to parameter passing mechanisms. Do I take it DEC Ada doesn't, in fact, have any such pragmas or attributes? > I thought Robert Dewar had stated they were extending the DEC > features to their other platforms. I don't know, but it doesn't sound very likely that mechanisms relating to VAX/VMS or Alpha/VMS (or VAX/Unix) will be very transferable to other architectures/environments. > But my answer was based on VAX/DEC/Compaq/HP Ada, where machine code > insertions are not supported. One writes (and I have written) an > assembler module and links it to the Ada modules. I don't have > an understanding of the fascination with machine code insertions > on other operating systems. There's no fascination, as such, on my part. It's just that it's a little bit easier to have your Ada and assembly code in one source text file than in two. For writing a piece of low-to-the-bone level software (of which the AdaOS kernel is surely typical), the proportion of assembly required is small (less than 10%), probably less than a hundred lines total. It's using a sledgehammer to crack a nut to use a separate assembler, isn't it? -- Nick Roberts