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,9fb8e2af320d5b3e X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: Bus error Date: Mon, 02 Jul 2007 14:30:53 +0200 Organization: Adalog Message-ID: <36ra6f.th8.ln@hunter.axlog.fr> References: <0367891DA5DA7E408D42A860FA002F44B0CC48@sma2901.cr.eurocopter.corp> <1l4yqvxoid4n1.1u8eo4oo8ml4m$.dlg@40tude.net> <4685280c$0$14869$9b4e6d93@newsspool4.arcor-online.net> <5cba6f.d2f.ln@hunter.axlog.fr> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1183381265 24042 195.25.228.57 (2 Jul 2007 13:01:05 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Mon, 2 Jul 2007 13:01:05 +0000 (UTC) User-Agent: Thunderbird 1.5.0.12 (Windows/20070509) In-Reply-To: Xref: g2news1.google.com comp.lang.ada:16384 Date: 2007-07-02T14:30:53+02:00 List-Id: Dmitry A. Kazakov a �crit : >> Next version of AdaControl (hint: comming soon :-) has a >> "non_identical_renaming" rule that will spot this. > > Great. > > However, there is at least one quite specific case where renaming is indeed > renaming rather than flattening names. > > How will AdaControl handle this: > > type My_Integer is ...; > function Add (Left, Right : My_Integer return My_Integer renames "+"; > function "+" (Left, Right : My_Integer return My_Integer; > > Add is a renaming of the inherited implementation to use it later in the > custom implementation of "+". > AdaControl will do what it is asked to do :-). Non_Identical_Renaming will tell you all renamings with a different name. Non_Identical_Operator_Renaming will do the same, but only for operators. Whether the occurrences of such constructs are errors or not is a matter of interpreting the output of the tool. If it is not an error, and you don't want to be bothered by messages anymore, you can disable the rule locally (i.e. put a special comment to prevent the output of the message). -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr