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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c30642befcd7bf85 X-Google-Attributes: gid103376,public From: ok@goanna.cs.rmit.edu.au (Richard A. O'Keefe) Subject: Re: New GNAT ports (was Re: Ada and Automotive Industry) Date: 1997/01/08 Message-ID: <5avfqo$it9$1@goanna.cs.rmit.edu.au>#1/1 X-Deja-AN: 208616607 references: <5asvku$jtu$1@goanna.cs.rmit.edu.au> <32D2B847.6A7@lmtas.lmco.com> organization: Comp Sci, RMIT, Melbourne, Australia nntp-posting-user: ok newsgroups: comp.lang.ada Date: 1997-01-08T00:00:00+00:00 List-Id: Ken Garlington writes: >Couldn't this be handled via a combination of existing Ada support >(address clauses, etc.) plus linker support? >I don't know if you want to specify origins for >random code; usually, it's for a logically related set of >code/data/literals, or for a specific object. The only reason that I bothered about the placement of code at all was that the 8051 book I was studying included a memory test program that did this. According to the Ada 83 LRM I had handy, you _couldn't_ supply address clauses for code. I suggested a pragma because it seemed to me that they were the _right_ way to add things like that; that specific pragma wouldn't change the meaning of the code, so could be stripped out for testing elsewhere. When you are trying to make a case that "language X can solve problem Y", opponents sometimes regard appeal to "linker support" as a copout. In the absence of an Ada-8051 compiler, if I had to write any microcontroller code, I'd use Prolog or Lisp as a macro assembler, and build a lot of error checking into it. -- My tertiary education cost a quarter of a million in lost income (assuming close-to-minimum wage); why make students pay even more? Richard A. O'Keefe; http://www.cs.rmit.edu.au/%7Eok; RMIT Comp.Sci.