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.7 required=5.0 tests=AXB_XMAILER_MIMEOLE_OL_024C2, BAYES_00,MAILING_LIST_MULTI autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,30f8e9ec3e840189 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-12 02:03:02 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!opentransit.net!wanadoo.fr!freenix!enst!enst.fr!not-for-mail From: "David C. Hoos, Sr." Newsgroups: comp.lang.ada Subject: Re: avl tree - booch components Date: Wed, 12 Sep 2001 04:02:48 -0500 Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: References: <20010907091153.12625104.tonygair@nospam.blueyonder.co.uk> Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: 7bit X-Trace: avanie.enst.fr 1000285381 50361 137.194.161.2 (12 Sep 2001 09:03:01 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Wed, 12 Sep 2001 09:03:01 +0000 (UTC) Cc: To: Return-Path: X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.4 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , List-Archive: Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:13045 Date: 2001-09-12T04:02:48-05:00 Here is the relevant information: pragma Style_Checks Syntax: pragma Style_Checks (string_LITERAL | ALL_CHECKS | On | Off [, LOCAL_NAME]); This pragma is used in conjunction with compiler switches to control the built in style checking provided by GNAT. The compiler switches, if set provide an initial setting for the switches, and this pragma may be used to modify these settings, or the settings may be provided entirely by the use of the pragma. This pragma can be used anywhere that a pragma is legal, including use as a configuration pragma (including use in the `gnat.adc' file). The form with a string literal specifies which style options are to be activated. These are additive, so they apply in addition to any previously set style check options. The codes for the options are the same as those used in the -gnaty switch on the gcc or gnatmake line. For example the following two methods can be used to enable layout checking: pragma Style_Checks ("l"); gcc -c -gnatyl ... The form ALL_CHECKS activates all checks (its use is equivalent to the use of the gnaty switch with no options. See GNAT User's Guide for details. The forms with Off and On can be used to temporarily disable style checks as shown in the following example: pragma Style_Checks ("k"); -- requires keywords in lower case pragma Style_Checks (Off); -- turn off style checks NULL; -- this will not generate an error message pragma Style_Checks (On); -- turn style checks back on NULL; -- this will generate an error message Finally the two argument form is allowed only if the first argument is On or Off. The effect is to turn of semantic style checks for the specified entity, as shown in the following example: pragma Style_Checks ("r"); -- require consistency of identifier casing Arg : Integer; Rf1 : Integer := ARG; -- incrrect, wrong case pragma Style_Checks (Off, Arg); Rf2 : Integer := ARG; -- OK, no error ----- Original Message ----- From: "Simon Wright" Newsgroups: comp.lang.ada To: Sent: September 11, 2001 12:45 AM Subject: Re: avl tree - booch components Pascal Obry writes: > I don't have the info at hand but I think that there is a pragma to > enable/disable the syle checks. Just put that arround the CVS $Id$ > line. Should fix the problem... Nor do I, but when I tried it I got the strong impression that you can turn checks On but not Off. _______________________________________________ comp.lang.ada mailing list comp.lang.ada@ada.eu.org http://ada.eu.org/mailman/listinfo/comp.lang.ada