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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,6e45fe936511d518,start X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!postnews.google.com!z17g2000hsg.googlegroups.com!not-for-mail From: Hibou57 Newsgroups: comp.lang.ada Subject: GNAT - System.ads - System Implementation Parameters Date: Thu, 14 Feb 2008 13:15:12 -0800 (PST) Organization: http://groups.google.com Message-ID: <74711a57-e7f2-4a11-90bc-865a3fd07d5d@z17g2000hsg.googlegroups.com> NNTP-Posting-Host: 86.75.149.225 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: posting.google.com 1203023713 29390 127.0.0.1 (14 Feb 2008 21:15:13 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 14 Feb 2008 21:15:13 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: z17g2000hsg.googlegroups.com; posting-host=86.75.149.225; posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D User-Agent: G2/1.0 X-HTTP-UserAgent: Opera/9.23 (Windows NT 5.1; U; fr),gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:19794 Date: 2008-02-14T13:15:12-08:00 List-Id: Hola, Hello, Salam lik, In the GNAT standard librarie source code, one may see in the "System" package specification (system.ads), a section commented as "System Implementation Parameters". Here is what it contains : > -------------------------------------- > -- System Implementation Parameters -- > -------------------------------------- > > -- These parameters provide information about the target that is used > -- by the compiler. They are in the private part of System, where they > -- can be accessed using the special circuitry in the Targparm unit > -- whose source should be consulted for more detailed descriptions > -- of the individual switch values. > > AAMP : constant Boolean := False; > Backend_Divide_Checks : constant Boolean := False; > Backend_Overflow_Checks : constant Boolean := False; > Command_Line_Args : constant Boolean := True; > Configurable_Run_Time : constant Boolean := True; > Denorm : constant Boolean := True; > Duration_32_Bits : constant Boolean := False; > Exit_Status_Supported : constant Boolean := True; > Fractional_Fixed_Ops : constant Boolean := False; > Frontend_Layout : constant Boolean := False; > Functions_Return_By_DSP : constant Boolean := False; > Machine_Overflows : constant Boolean := False; > Machine_Rounds : constant Boolean := True; > OpenVMS : constant Boolean := False; > Signed_Zeros : constant Boolean := True; > Stack_Check_Default : constant Boolean := False; > Stack_Check_Probes : constant Boolean := False; > Support_64_Bit_Divides : constant Boolean := True; > Support_Aggregates : constant Boolean := True; > Support_Composite_Assign : constant Boolean := True; > Support_Composite_Compare : constant Boolean := True; > Support_Long_Shifts : constant Boolean := True; > Suppress_Standard_Library : constant Boolean := True; > Use_Ada_Main_Program_Name : constant Boolean := False; > ZCX_By_Default : constant Boolean := False; > GCC_ZCX_Support : constant Boolean := False; > Front_End_ZCX_Support : constant Boolean := False; Unfortinately, I was not able to found any formal documentation about the meaning of each of this parameter. I may guess some meanings, but I do not want to guess, I rather want to be sure. I've found one the web some mailing list where people try to guess and play with it, but without beeing sure of anything (not better than me). By the way, there seems to be some interesting project of OS kernels written in Ada ;) Good! (good idea to use Ada for this kind of stuff... certainly better than C). I would like, if some people know, to have some suggestions to get formal documentations about those parameters. I think this may be an interresting subject, not solely for me ;) Thanks to all boys and girls around here :) Read you soon... Yannick