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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,912597791e813f68 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-01-21 11:16:48 PST Newsgroups: comp.lang.ada Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!uunet!sea.uu.net!sac.uu.net!ash.uu.net!world!news From: Robert A Duff Subject: Re: advantages or disadvantages of ADA over pascal or modula User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Sender: news@world.std.com (Mr Usenet Himself) Message-ID: Date: Tue, 21 Jan 2003 19:16:22 GMT Content-Type: text/plain; charset=us-ascii References: <3E171612.E4E2972@t-online.de> <3E296128.4183B70A@t-online.de> <3E2AEA0C.7AD2A87F@t-online.de> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Organization: The World Public Access UNIX, Brookline, MA Xref: archiver1.google.com comp.lang.ada:33310 Date: 2003-01-21T19:16:22+00:00 List-Id: Alfred Hilscher writes: > Well, nice. But - what do you test, debug, document and so on: Ada or > C-code? You test the machine code, of course. You debug either at the Ada level or the C level -- your choice. The Ada compiler can insert #line directives and whatnot into the generated C code, so that one can set breakpoints on Ada lines and so forth. It's not perfect, but it works. In some cases, you need to understand the mapping from Ada names to C names, for example (which is fairly obvious). On some targets, the debugger has been trained to understand Ada better. You document the Ada code. The C code is just an intermediate language used by the compiler, and can be ignored by the programmer, except in some debugging situations. SofCheck also supports other targets for Ada that do not use C as an intermediate language. > Larry Kilgallen schrieb: > > > > In article <3E296128.4183B70A@t-online.de>, Alfred Hilscher writes: > > > > > Assume you have to program a brake control for car, would you do it in > > > Ada? Then I would like to know which tools you use. The systems I know > > > are based on microcontrollers HC11/HC12 or 8051. _I_ don't know any > > > Ada-compiler for these chips. While there are a lot of C develop > > > environments, there are only very few for Modula, and none for Ada. > > > Please correct me if I'm wrong. > > > > The SofCheck AdaMagic compiler is available in a form that uses ANSI C > > as an intermediate language. Thus any target machine for which you > > have an ANSI C compiler can be programmed using Ada. Using this method > > one automatically takes advantage of whatever peephole optimization the > > hardware-specific C compiler provides. > > > > http://www.sofcheck.com Robert A. Duff Vice President of Engineering SofCheck, Inc.